private DoWhileLoop TraverseDoWhileLoop(DoLoopBlockSyntax dbs, ref int returnCnt, bool nested = false) { DoWhileLoop doWhileLoop = new DoWhileLoop(); DoStatementSyntax dss = dbs.DoStatement; doWhileLoop.IsNested = nested; foreach (SyntaxNode sn in dss.DescendantNodesAndSelf()) { if (sn is BinaryExpressionSyntax) { doWhileLoop.ConditionCount++; } else if (sn is IdentifierNameSyntax) { Variables variable = new Variables(); variable.IsReferenced = true; variable.Name = (sn as IdentifierNameSyntax).Identifier.ValueText; doWhileLoop.AccessedVars.Add(variable); } } foreach (StatementSyntax ss in dbs.Statements) { if (ss is AssignmentStatementSyntax) { //TODO: need to look at more than just then name! Method tempMethod = TraverseAccessVars(ss as AssignmentStatementSyntax); doWhileLoop.AccessedVars.AddRange(tempMethod.AccessedVariables); doWhileLoop.InvokedMethods.AddRange(tempMethod.InvokedMethods); } else if (ss is LocalDeclarationStatementSyntax) { Method tempMethod = TraverseVarDecls(ss as LocalDeclarationStatementSyntax); doWhileLoop.AccessedVars.AddRange(tempMethod.AccessedVariables); doWhileLoop.InvokedMethods.AddRange(tempMethod.InvokedMethods); } else if (ss is SingleLineIfStatementSyntax) { Decisions decision = TraverseIfStatement(ss as SingleLineIfStatementSyntax, ref returnCnt, true); doWhileLoop.Nested.AddRange(decision.IfStatements); doWhileLoop.Nested.AddRange(decision.ElseStatements); } else if (ss is MultiLineIfBlockSyntax) { Decisions decisions = TraverseMultiIfStatement(ss as MultiLineIfBlockSyntax, ref returnCnt, true); doWhileLoop.Nested.AddRange(decisions.IfStatements); doWhileLoop.Nested.AddRange(decisions.ElseStatements); } else if (ss is ElseStatementSyntax) { doWhileLoop.Nested.Add(TravsereElseStatement(ss as ElseStatementSyntax, ref returnCnt, true)); } else if (ss is ForBlockSyntax) { Decisions tempDecision = TraverseForStatement(ss as ForBlockSyntax, ref returnCnt, true); doWhileLoop.Nested.AddRange(tempDecision.IfStatements); doWhileLoop.Nested.AddRange(tempDecision.ElseStatements); doWhileLoop.Nested.AddRange(tempDecision.ForEachStatements); doWhileLoop.Nested.AddRange(tempDecision.ForStatements); doWhileLoop.Nested.AddRange(tempDecision.WhileLoops); doWhileLoop.Nested.AddRange(tempDecision.DoWhileLoops); doWhileLoop.Nested.AddRange(tempDecision.Catches); doWhileLoop.Nested.AddRange(tempDecision.SwitchStatements); } else if (ss is SelectBlockSyntax) { doWhileLoop.Nested.Add(TraverseSwitchStatement(ss as SelectBlockSyntax, ref returnCnt, true)); } else if (ss is DoLoopBlockSyntax) { doWhileLoop.Nested.Add(TraverseDoWhileLoop(ss as DoLoopBlockSyntax, ref returnCnt, true)); } else if (ss is WhileBlockSyntax) { doWhileLoop.Nested.Add(TraverseWhileLoop(ss as WhileBlockSyntax, ref returnCnt, true)); } else if (ss is CallStatementSyntax) { doWhileLoop.InvokedMethods.Add(TraverseInvokedMethod(ss as CallStatementSyntax)); } else if (ss is ReturnStatementSyntax) { Method tempMethod = TraverseReturnStatement(ss as ReturnStatementSyntax); doWhileLoop.InvokedMethods.AddRange(tempMethod.InvokedMethods); doWhileLoop.AccessedVars.AddRange(tempMethod.AccessedVariables); returnCnt++; } } return doWhileLoop; }
private Decisions TraverseDoStatements(DoStatementSyntax dss, ref int exitPoints, bool nested = false) { Decisions retDecision = new Decisions(); DoWhileLoop retDo = new DoWhileLoop(); if (dss.HasLeadingTrivia) { SetOuterComments(retDo, dss.GetLeadingTrivia().ToFullString()); } if (dss.HasTrailingTrivia) { SetInnerComments(retDo, dss.GetTrailingTrivia().ToFullString()); } ExpressionSyntax es = dss.Condition; var binaryExpressions = from aBinaryExpression in dss.Condition.DescendantNodesAndSelf().OfType<BinaryExpressionSyntax>() select aBinaryExpression; retDo.ConditionCount = binaryExpressions.Count(); foreach (BinaryExpressionSyntax bes in binaryExpressions) { Method tempMethod = TraverseBinaryExpression(bes); retDo.AccessedVars.AddRange(tempMethod.AccessedVariables); retDo.InvokedMethods.AddRange(tempMethod.InvokedMethods); } var catches = from aCatch in dss.ChildNodes().OfType<CatchClauseSyntax>() select aCatch; foreach (CatchClauseSyntax ccs in catches) { Decisions tempCatch = TraverseCatchClauses(ccs, ref exitPoints, true); retDo.Nested.AddRange(tempCatch.Catches); } var statements = from aStatement in dss.Statement.ChildNodes().OfType<StatementSyntax>() select aStatement; List<BaseDecisions> retBd = new List<BaseDecisions>(); List<InvokedMethod> retIm = new List<InvokedMethod>(); #region Nested and Invoked Methods and accessed vars foreach (StatementSyntax ss in statements) { //if (ss is BreakStatementSyntax) //{ //} //else if (ss is CheckedStatementSyntax) //{ //} //else if (ss is ContinueStatementSyntax) //{ //} if (ss is DoStatementSyntax) { Decisions dwl = TraverseDoStatements(ss as DoStatementSyntax, ref exitPoints, true); retDo.Nested.AddRange(dwl.DoWhileLoops); //dwl.IsNested = true; //retDo.Nested.Add(dwl); } //else if (ss is EmptyStatementSyntax) //{ //} else if (ss is ExpressionStatementSyntax) { Method tempMethod = TraverseExpressionStatementSyntax(ss as ExpressionStatementSyntax); retDo.AccessedVars.AddRange(tempMethod.AccessedVariables); retDo.InvokedMethods.AddRange(tempMethod.InvokedMethods); } //else if (ss is FixedStatementSyntax) //{ //} else if (ss is ForEachStatementSyntax) { Decisions fes = TraverseForEachStatements(ss as ForEachStatementSyntax, ref exitPoints, true); retDo.Nested.AddRange(fes.ForEachStatements); //fes.IsNested = true; //retDo.Nested.Add(fes); } else if (ss is ForStatementSyntax) { Decisions fs = TraverseForStatements(ss as ForStatementSyntax, ref exitPoints, true); retDo.Nested.AddRange(fs.ForStatements); //fs.IsNested = true; //retDo.Nested.Add(fs); } //else if (ss is GotoStatementSyntax) //{ //} else if (ss is IfStatementSyntax) { Decisions ifstm = TraverseIfStatements(ss as IfStatementSyntax, ref exitPoints, true); retDo.Nested.AddRange(ifstm.IfStatements); //ifstm.IsNested = true; //retDo.Nested.Add(ifstm); } //else if (ss is LabeledStatementSyntax) //{ // BaseDecisions bd = new BaseDecisions(); // bd.IsNested = true; // bd.Nested.Add(TraverseLabelStatements(ss as LabeledStatementSyntax)); // retIf.Nested.Add(bd); //} else if (ss is LocalDeclarationStatementSyntax) { Method tempMethod = TransverseAccessVars(ss as LocalDeclarationStatementSyntax); retDo.AccessedVars.AddRange(tempMethod.AccessedVariables); retDo.InvokedMethods.AddRange(tempMethod.InvokedMethods); } //else if (ss is LockStatementSyntax) //{ //} //else if (ss is ReturnStatementSyntax) //{ //} else if (ss is SwitchStatementSyntax) { Decisions switchStm = TraverseSwitchStatements(ss as SwitchStatementSyntax, ref exitPoints, true); retDo.Nested.AddRange(switchStm.SwitchStatements); //switchStm.IsNested = true; //retDo.Nested.Add(switchStm); } //else if (ss is ThrowStatementSyntax) //{ //} //else if (ss is TryStatementSyntax) //{ //} //else if (ss is UnsafeStatementSyntax) //{ //} //else if (ss is UsingStatementSyntax) //{ // //using list? //} else if (ss is WhileStatementSyntax) { Decisions wl = TraverseWhileLoops(ss as WhileStatementSyntax, ref exitPoints, true); retDo.Nested.AddRange(wl.WhileLoops); //wl.IsNested = true; //retDo.Nested.Add(wl); } //else if (ss is YieldStatementSyntax) //{ //} } #endregion retDecision.DoWhileLoops.Add(retDo); return retDecision; }