Package ai.test.comment

Examples of ai.test.comment.TestCommentData$GraphComparator

78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
    }
    return result;
  }
 
  protected void testBooleansAndIntervals(MethodControlFlowGraph cfg) {
    TestCommentData commentData = TestCommentData.parseComments(cfg);

    BoolIntvSemantics as = new BoolIntvSemantics();
    NonRelationalDomain<Bool> initialBools = commentData.getInitialBools();
    NonRelationalDomain<Interval> initialIntervals = commentData.getInitialIntervals();
    ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>> initialValue = as.getInitialValue();
    if (initialBools!=null)
      initialValue = initialValue.setLeft(initialBools);
    if (initialIntervals!=null)
      initialValue = initialValue.setRight(initialIntervals);
    Map<CFGVertice, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> result = Interpreter
        .analyse(cfg, as, initialValue, new StopCondition.NoStopCondition());

    NonRelationalDomain<Bool> boolsBottom = NonRelationalDomain.getStaticBottom();
    NonRelationalDomain<Interval> intvBottom = NonRelationalDomain.getStaticBottom();
    commentData.matchBools(cfg, makeMap1(result, boolsBottom));
    commentData.matchIntervals(cfg, makeMap2(result, intvBottom));
  }
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
    commentData.matchBools(cfg, makeMap1(result, boolsBottom));
    commentData.matchIntervals(cfg, makeMap2(result, intvBottom));
  }
 
  protected void testBooleansAndBoxes(MethodControlFlowGraph cfg) {
    TestCommentData commentData = TestCommentData.parseComments(cfg);
    IntegerBoxesSemantics as = new IntegerBoxesSemantics("");

    NonRelationalDomain<Bool> initialBools = commentData.getInitialBools();
    IntegerBoxes initialBoxes = commentData.getInitialBoxes();

    ProductDomain<NonRelationalDomain<Bool>, IntegerBoxes> initialValue = as.getInitialValue();

    if (initialBools != null)
      initialValue = initialValue.setLeft(initialBools);
    if (initialBoxes != null)
      initialValue = initialValue.setRight(initialBoxes);

    Map<CFGVertice, ProductDomain<NonRelationalDomain<Bool>, IntegerBoxes>> result = Interpreter
        .analyse(cfg, as, initialValue, new StopCondition.NoStopCondition());

    NonRelationalDomain<Bool> boolsBottom = NonRelationalDomain.getStaticBottom();
    IntegerBoxes boxesBottom = IntegerBoxes.BOTTOM;
    commentData.matchBools(cfg, makeMap1(result, boolsBottom));
    commentData.matchBoxes(cfg, makeMap2(result, boxesBottom));
  }
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
    commentData.matchBools(cfg, makeMap1(result, boolsBottom));
    commentData.matchBoxes(cfg, makeMap2(result, boxesBottom));
  }
 
  protected void testBooleans(MethodControlFlowGraph cfg) {
    TestCommentData commentData = TestCommentData.parseComments(cfg);
//    Pair<BiMap<CFGVertice, String>, Map<String, Variable>> matchResult = commentData.matchMethodGraph(cfg);
   
    AbstractSemanticsIntf<NonRelationalDomain<Bool>> as = new BoolsSemantics();
    NonRelationalDomain<Bool> initialValue = as.getInitialValue();
    NonRelationalDomain<Bool> initialBools = commentData.getInitialBools();   
    if (initialBools!=null)
      initialValue = initialBools;
   
    Map<CFGVertice, NonRelationalDomain<Bool>> result = Interpreter.analyse(cfg, as, initialValue, new StopCondition.NoStopCondition());
   
    commentData.matchBools(cfg, result);
  }
View Full Code Here
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
   
    commentData.matchBools(cfg, result);
  }

  protected void testIntervals(MethodControlFlowGraph cfg) {
    TestCommentData commentData = TestCommentData.parseComments(cfg);
//    Pair<BiMap<CFGVertice, String>, Map<String, Variable>> matchResult = commentData.matchMethodGraph(cfg);
   
    AbstractSemanticsIntf<NonRelationalDomain<Interval>> as = new IntervalsSemantics();
    NonRelationalDomain<Interval> initialValue = as.getInitialValue();
    NonRelationalDomain<Interval> initialBools = commentData.getInitialIntervals();   
    if (initialBools!=null)
      initialValue = initialBools;
   
    Map<CFGVertice, NonRelationalDomain<Interval>> result = Interpreter.analyse(cfg, as, initialValue, new StopCondition.NoStopCondition());
   
    commentData.matchIntervals(cfg, result);
  }
View Full Code Here
TOP

Related Classes of ai.test.comment.TestCommentData$GraphComparator

  • ai.cfg.CFGVertice
  • ai.cfg.ControlFlowGraphVisitor
  • ai.cfg.edges.CFGMultiTargetEdge.CFGSingleEdge
  • ai.cfg.InterestingCodeFragment
  • ai.domain.boxes.IntegerBoxes
  • ai.domain.Variable
  • ai.test.comment.CommentGraph.EdgeBase
  • ai.test.comment.domains.CommentBooleans
  • ai.test.comment.domains.CommentBoxes
  • ai.test.comment.domains.CommentIntv
    • 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.