Package ai.domain.boxes

Examples of ai.domain.boxes.IntegerBoxesSemantics

99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
    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);
View Full Code Here
66
67
68
69
70
71
72
73
74
75
 
  private AbstractSemanticsIntf<?> getSemantics(String repr) {
    if (repr.equals("intv"))
      return new BoolIntvSemantics();
    if (repr.equals("boxes"))
      return new IntegerBoxesSemantics("");
    if (repr.startsWith("boxes:"))
      return new IntegerBoxesSemantics(repr.substring("boxes:".length()));
    throw new RuntimeException("Unknown domain description");
  }
View Full Code Here
117
118
119
120
121
122
123
124
125
126
127
    ComparisonResults comparisonResults = new ComparisonResults();
    //read configuration
    String boxesWideningDescription = JavaAIPlugin.getDefault().getPreferenceStore().getString(PreferenceConstants.P_BOXES_THRESHOLDS);
    int timeoutSeconds = JavaAIPlugin.getDefault().getPreferenceStore().getInt(PreferenceConstants.P_TIMEOUT);
   
    IntegerBoxesSemantics semantics = new IntegerBoxesSemantics(boxesWideningDescription);
    BoolIntvSemantics intv = new BoolIntvSemantics();
    AnalysisErrorHandler aeh = new AnalysisErrorHandler();
    try {
      List<ICompilationUnit> allTasks = Utils.getSelectedIcu(selection);
      for (ICompilationUnit icu : allTasks) {
View Full Code Here
TOP

Related Classes of ai.domain.boxes.IntegerBoxesSemantics

  • ai.actions.AnalyseBoxesAction
  • ai.codestatistics.AIAnalysis
  • ai.domain.boolintv.BoolIntvSemantics
  • ai.domain.interval.Interval
  • ai.domain.Variable
  • ai.test.TestsBase
    • 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.