Exemplo n.º 1
0
 @Test
 public void testSimpleCaseStmtHasCorrectTypes() {
   ASTExpression exp = getOrderedNodes(ASTExpression.class, TEST6).get(0);
   DataFlowNode dfn = null;
   dfn = exp.getDataFlowNode().getFlow().get(0);
   assertTrue(dfn instanceof StartOrEndDataFlowNode);
   dfn = exp.getDataFlowNode().getFlow().get(1);
   assertEquals(2, dfn.getLine());
   assertTrue(dfn.getNode() instanceof ASTProgramUnit);
   dfn = exp.getDataFlowNode().getFlow().get(2);
   assertEquals(4, dfn.getLine());
   assertTrue(dfn.isType(NodeType.SWITCH_START));
   assertTrue(dfn.isType(NodeType.CASE_LAST_STATEMENT));
   dfn = exp.getDataFlowNode().getFlow().get(3);
   assertEquals(5, dfn.getLine());
   assertTrue(dfn.isType(NodeType.CASE_LAST_STATEMENT));
   assertTrue(dfn.isType(NodeType.BREAK_STATEMENT));
   dfn = exp.getDataFlowNode().getFlow().get(4);
   assertEquals(6, dfn.getLine());
   assertTrue(dfn.isType(NodeType.SWITCH_LAST_DEFAULT_STATEMENT));
   assertTrue(dfn.isType(NodeType.BREAK_STATEMENT));
   dfn = exp.getDataFlowNode().getFlow().get(5);
   assertEquals(7, dfn.getLine());
   assertTrue(dfn.isType(NodeType.SWITCH_END));
 }
Exemplo n.º 2
0
 @Test
 public void testIfStmtHasCorrectTypes() {
   ASTExpression exp = getOrderedNodes(ASTExpression.class, TEST3).get(0);
   assertEquals(5, exp.getDataFlowNode().getFlow().size());
   DataFlowNode dfn = exp.getDataFlowNode().getFlow().get(2);
   assertTrue(dfn.isType(NodeType.IF_EXPR));
   assertEquals(3, dfn.getLine());
   dfn = exp.getDataFlowNode().getFlow().get(3);
   assertTrue(dfn.isType(NodeType.IF_LAST_STATEMENT_WITHOUT_ELSE));
   assertEquals(3, dfn.getLine());
 }
Exemplo n.º 3
0
 /**
  * Java ASTStatementExpression equivalent is inferred as an Expression() which has an
  * UnlabelledStatement as a parent.
  */
 @Test
 public void testExpressionParentChildLinks() {
   ASTExpression ex = getOrderedNodes(ASTExpression.class, TEST1).get(0);
   DataFlowNode dfn = ex.getDataFlowNode();
   assertEquals(3, dfn.getLine());
   assertTrue(dfn.getNode() instanceof ASTExpression);
   List<DataFlowNode> dfns = dfn.getParents();
   assertEquals(1, dfns.size());
   DataFlowNode parentDfn = dfns.get(0);
   assertEquals(2, parentDfn.getLine());
   assertTrue(parentDfn.getNode() instanceof ASTProgramUnit);
   ASTProgramUnit exParent = (ASTProgramUnit) parentDfn.getNode();
   // Validate the two-way link between Program Unit and Statement
   assertEquals(ex, exParent.getDataFlowNode().getChildren().get(0).getNode());
   assertEquals(exParent, ex.getDataFlowNode().getParents().get(0).getNode());
 }
Exemplo n.º 4
0
 /*
  * @Test public void testSearchedCaseStmtHasCorrectTypes()
  * { List<ASTStatement> statements = getOrderedNodes(ASTStatement.class,
  * TEST7); List<ASTExpression> expressions =
  * getOrderedNodes(ASTExpression.class, TEST7);
  *
  * ASTStatement st = statements.get(0); ASTStatement st1 =
  * statements.get(1); ASTStatement st2 = statements.get(2); ASTStatement st3
  * = statements.get(3);
  * System.err.println("testSearchedCaseStmtHasCorrectTypes-st(0)="+st.
  * getBeginLine());
  *
  * ASTExpression ex = expressions.get(0); ASTExpression ex1 =
  * expressions.get(1); ASTExpression ex2 = expressions.get(2); ASTExpression
  * ex3 = expressions.get(3); ASTExpression ex4 = expressions.get(4);
  * System.err.println("ASTExpression="+ex );
  *
  * DataFlowNode dfn = null; //dfn = ex.getDataFlowNode().getFlow().get(0);
  * //dfn = st.getDataFlowNode().getFlow().get(0); dfn = (DataFlowNode)
  * st.getDataFlowNode(); System.err.println("DataFlowNode(st-0)="+dfn ) ;
  * System.err.println("DataFlowNode(st-1)="+st1.getDataFlowNode() ) ;
  * System.err.println("DataFlowNode(st-2)="+st2.getDataFlowNode() ) ;
  * System.err.println("DataFlowNode(st-3)="+st3.getDataFlowNode() ) ;
  *
  * System.err.println("DataFlowNode(ex-0)="+ex.getDataFlowNode() ) ;
  * System.err.println("DataFlowNode(ex-1)="+ex1.getDataFlowNode() ) ;
  * System.err.println("DataFlowNode(ex-2)="+ex2.getDataFlowNode() ) ;
  * System.err.println("DataFlowNode(ex-3)="+ex3.getDataFlowNode() ) ;
  * System.err.println("DataFlowNode(ex-4)="+ex4.getDataFlowNode() ) ;
  * List<DataFlowNode> dfns = dfn.getFlow();
  * System.err.println("DataFlowNodes List size="+dfns.size()) ; DataFlowNode
  * firstDfn = dfns.get(0); System.err.println("firstDataFlowNode="+firstDfn
  * ) ;
  * System.err.println("testSearchedCaseStmtHasCorrectTypes-dfn(0)="+dfn);
  * dfn = st.getDataFlowNode().getFlow().get(1);
  * System.err.println("testSearchedCaseStmtHasCorrectTypes-dfn(1)="+dfn);
  * dfn = st.getDataFlowNode().getFlow().get(2);
  * System.err.println("testSearchedCaseStmtHasCorrectTypes-dfn(2)="+dfn);
  * assertTrue(dfn.isType(NodeType.SWITCH_START)); dfn =
  * st.getDataFlowNode().getFlow().get(3);
  * System.err.println("testSearchedCaseStmtHasCorrectTypes-dfn(3)="+dfn);
  * assertTrue(dfn.isType(NodeType.CASE_LAST_STATEMENT)); //dfn =
  * st.getDataFlowNode().getFlow().get(4);
  * System.err.println("testSearchedCaseStmtHasCorrectTypes-dfn(5)="+dfn);
  * assertTrue(dfn.isType(NodeType.CASE_LAST_STATEMENT)); dfn =
  * st.getDataFlowNode().getFlow().get(5);
  * System.err.println("testSearchedCaseStmtHasCorrectTypes-dfn(7)="+dfn);
  * assertTrue(dfn.isType(NodeType.SWITCH_LAST_DEFAULT_STATEMENT)); dfn =
  * st.getDataFlowNode().getFlow().get(6);
  * System.err.println("testSearchedCaseStmtHasCorrectTypes-dfn(8)="+dfn);
  * assertTrue(dfn.isType(NodeType.SWITCH_END)); }
  */
 @Test
 public void testLabelledStmtHasCorrectTypes() {
   ASTExpression exp = getOrderedNodes(ASTExpression.class, TEST8).get(0);
   DataFlowNode dfn = exp.getDataFlowNode().getFlow().get(2);
   assertEquals(3, dfn.getLine());
   assertTrue(dfn.isType(NodeType.LABEL_STATEMENT));
 }
Exemplo n.º 5
0
 @Test
 public void testForStmtHasCorrectTypes() {
   ASTExpression exp = getOrderedNodes(ASTExpression.class, TEST5).get(0);
   DataFlowNode dfn = null;
   dfn = exp.getDataFlowNode().getFlow().get(0);
   assertTrue(dfn instanceof StartOrEndDataFlowNode);
   dfn = exp.getDataFlowNode().getFlow().get(1);
   assertTrue(dfn.getNode() instanceof ASTProgramUnit);
   assertEquals(2, dfn.getLine());
   dfn = exp.getDataFlowNode().getFlow().get(2);
   assertEquals(3, dfn.getLine());
   assertTrue(dfn.isType(NodeType.FOR_EXPR));
   assertTrue(dfn.isType(NodeType.FOR_BEFORE_FIRST_STATEMENT));
   dfn = exp.getDataFlowNode().getFlow().get(3);
   assertEquals(3, dfn.getLine());
   assertTrue(dfn.isType(NodeType.FOR_END));
 }