Package ai.cfg

Examples of ai.cfg.ControlFlowGraphVisitor

304
305
306
307
308
309
310
311
312
313
314
  public void matchIntervals(MethodControlFlowGraph graph, final Map<CFGVertice, NonRelationalDomain<Interval>> result) {
    if (!domains.containsKey("intervals"))
      throw new CommentParserException("No intervals domain to verify");
    final CommentIntv domain = (CommentIntv) domains.get("intervals");
    Utils.walkGraph(graph, new ControlFlowGraphVisitor() {
      @Override
      public boolean visitVertice(CFGVertice vertice) {
        // verify values
//        String commentVertice = verticeMap.get(vertice);
        NonRelationalDomain<Interval> analysisResult = result.get(vertice);
View Full Code Here
325
326
327
328
329
330
331
332
333
334
335
  public void matchBools(MethodControlFlowGraph graph, final Map<CFGVertice, NonRelationalDomain<Bool>> result) {
    if (!domains.containsKey("booleans"))
      throw new CommentParserException("No booleans domain to verify");
    final CommentBooleans domain = (CommentBooleans) domains.get("booleans");
    Utils.walkGraph(graph, new ControlFlowGraphVisitor() {
      @Override
      public boolean visitVertice(CFGVertice vertice) {
        // verify values
        NonRelationalDomain<Bool> analysisResult = result.get(vertice);
        domain.compareResult(vertice, analysisResult);
View Full Code Here
346
347
348
349
350
351
352
353
354
355
356
  public void matchBoxes(MethodControlFlowGraph graph, final Map<CFGVertice, IntegerBoxes> result) {
    if (!domains.containsKey("boxes"))
      throw new CommentParserException("No boxes domain to verify");
   
    final CommentBoxes domain = (CommentBoxes) domains.get("boxes");
    Utils.walkGraph(graph, new ControlFlowGraphVisitor() {
      @Override
      public boolean visitVertice(CFGVertice vertice) {
        // verify values
        IntegerBoxes analysisResult = result.get(vertice);
        domain.compareResult(vertice, analysisResult);
View Full Code Here
TOP

Related Classes of ai.cfg.ControlFlowGraphVisitor

  • ai.test.comment.TestCommentData
    • 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.