Package ai.cfg

Examples of ai.cfg.MethodControlFlowGraph

39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
  @Test
  public void testEmptyMethod() throws CoreException{
    ProjectFile pf = project.openFile("cfg", "MethodNames.java");
    //top level methods
    MethodControlFlowGraph cfg = pf.getCFG("MethodNames", "topLevelMethod");
    org.junit.Assert.assertEquals(cfg.getCodeFragment().getUniqueName(), "cfg.MethodNames:topLevelMethod()");

    cfg = pf.getCFG("MethodNames", "anotherTopLevelMethod");
    org.junit.Assert.assertEquals(cfg.getCodeFragment().getUniqueName(), "cfg.MethodNames:anotherTopLevelMethod()");

    //inner class methods
    cfg = pf.getCFG("MethodNames$InnerClass", "innerClassMethod");
    org.junit.Assert.assertEquals(cfg.getCodeFragment().getUniqueName(), "cfg.MethodNames$InnerClass:innerClassMethod()");
   
    cfg = pf.getCFG("MethodNames$InnerClass", "anotherInnerClassMethod");
    org.junit.Assert.assertEquals(cfg.getCodeFragment().getUniqueName(), "cfg.MethodNames$InnerClass:anotherInnerClassMethod()");

    //top level anonymous methods
    cfg = pf.getCFG("MethodNames$1", "compareTo");
    org.junit.Assert.assertEquals(cfg.getCodeFragment().getUniqueName(), "cfg.MethodNames$1:compareTo(String)");
   
    //inner class anonymous
    cfg = pf.getCFG("MethodNames$InnerClass$1", "compareTo");
    org.junit.Assert.assertEquals(cfg.getCodeFragment().getUniqueName(), "cfg.MethodNames$InnerClass$1:compareTo(String)");
  }
View Full Code Here
83
84
85
86
87
88
89
90
91
    TestCommentData.parseComments(project.getControlFlowGraph("cfg", "SimpleInstructions.java", "SimpleInstructions:statementIf"));
  }

  @Test
  public void testSimpleIfOnlyTrue() {
    MethodControlFlowGraph cfg = project.getControlFlowGraph("cfg", "SimpleInstructions.java", "SimpleInstructions:statementIfOnlyTrue");
    TestCommentData.parseComments(cfg);
    org.junit.Assert.assertEquals("Loop vertice found!!", Utils.findLoopVertices(cfg).size(), 0);
  }
View Full Code Here
90
91
92
93
94
95
96
97
98
    org.junit.Assert.assertEquals("Loop vertice found!!", Utils.findLoopVertices(cfg).size(), 0);
  }

  @Test
  public void testSimpleIfOnlyFalse() {
    MethodControlFlowGraph cfg = project.getControlFlowGraph("cfg", "SimpleInstructions.java", "SimpleInstructions:statementIfOnlyFalse");
    TestCommentData.parseComments(cfg);
    org.junit.Assert.assertEquals("Loop vertice found!!", Utils.findLoopVertices(cfg).size(), 0);
  }
View Full Code Here
144
145
146
147
148
149
150
151
  // --------------------------- DO-WHILE ------------------------------

  @Test
  public void testDoWhile() {
    MethodControlFlowGraph graph = project.getControlFlowGraph("cfg", "Loops.java", "Loops:statementDoWhile");
    TestCommentData.parseComments(graph);
  }
View Full Code Here
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
  @Override
  public Map<ASTNode, Object> analyse(CompilationUnit cu) {
    System.gc(); // FIXME: trying to solve memory issues
    Map<ASTNode, AIAnalysisResult> result = new HashMap<ASTNode, AIAnalysisResult>();
    for (InterestingCodeFragment codeFragment: MethodFinder.findMethods(cu)) {
      MethodControlFlowGraph graph = buildGraph(codeFragment);
      if (graph == null)
        continue;
     
      Pair<Multimap<CFGVertice, ASTNode>, Multimap<CFGVertice, ASTNode>> mappings = graph.getVerticeMappings();
      Map<CFGVertice, ASTNode> loopVerticesMap = graph.getLoopVerticesMapping();
     
      for(Map.Entry<String, AbstractSemanticsIntf<?>> entry: semanticsToApply.entrySet()) {       
        Map<CFGVertice, ?> results = ExecutionUtils.analyseOne(graph, entry.getValue(), aeh, codeFragment, timeoutSeconds);
        if (results == null) {
          results = new HashMap<CFGVertice, Object>();
          for(CFGVertice vertice: graph.getVertices())
            results.put(vertice, null);
        }
        analyseResult(entry.getKey(), results, mappings, result, loopVerticesMap);
      }
    }
View Full Code Here
154
155
156
157
158
159
160
161
162
163
164
    int count = 0;
    for (InterestingCodeFragment codeFragment: MethodFinder.findMethods(cu)) {
      if (Prefs.ONLY_METHOD != null && !codeFragment.getUniqueName().equals(Prefs.ONLY_METHOD))
        continue;
      // build graph
      MethodControlFlowGraph graph;
      try {
        graph = MethodCFGBuilder.buildCFG(codeFragment);
      } catch (RuntimeException e) {
        System.err.println("Error building graph for:" + codeFragment.getUniqueName());
        e.printStackTrace(System.err);
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
//    List<MethodControlFlowGraph> result = new LinkedList<MethodControlFlowGraph>();
    int count = 0;
    for(InterestingCodeFragment codeFragment: MethodFinder.findMethods(cu)){
      if (Prefs.ONLY_METHOD != null && !codeFragment.getUniqueName().equals(Prefs.ONLY_METHOD))
        continue;
      MethodControlFlowGraph graph;
      try {
        graph = MethodCFGBuilder.buildCFG(codeFragment);
      } catch (RuntimeException e) {
        System.err.println("Error parsing method:" + codeFragment.getUniqueName());
        e.printStackTrace(System.err);
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
    int count = 0;
    for(InterestingCodeFragment codeFragment: MethodFinder.findMethods(cu)){
      if (Prefs.ONLY_METHOD != null && !codeFragment.getUniqueName().equals(Prefs.ONLY_METHOD))
        continue;
      //build graph
      MethodControlFlowGraph graph;
      try {
         graph = MethodCFGBuilder.buildCFG(codeFragment);
      } catch (RuntimeException e) {
        System.err.println("Error building graph for:" + codeFragment.getUniqueName());
        e.printStackTrace(System.err);
View Full Code Here
36
37
38
39
40
41
42
43
  @Test
  public void testNumericArgument() throws CoreException{
    Logger logger = Logger.getRootLogger();
    logger.setLevel(Level.DEBUG);
   
    MethodControlFlowGraph cfg = project.getControlFlowGraph("domain.intervals", "Basics.java", "Basics:numericArgument");
    performTest(cfg);
  }
View Full Code Here
TOP

Related Classes of ai.cfg.MethodControlFlowGraph

  • ai.actions.AnalyseBoolIntvAction
  • ai.actions.AnalyseBoxesAction
  • ai.actions.BuildCFGAction
  • ai.cfg.edges.CFGMultiTargetEdge
  • ai.cfg.edges.ConditionalEdge
  • ai.cfg.edges.ConstructorInvocationEdge
  • ai.cfg.edges.EmptyEdge
  • ai.cfg.edges.ExpressionStatementEdge
  • ai.cfg.edges.FinallyOrCatchEdge
  • ai.cfg.edges.InputEdge
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.