Package ai.domain.boolintv

Examples of ai.domain.boolintv.BoolIntvSemantics

80
81
82
83
84
85
86
87
88
89
90
91
92
93
  }
 
  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
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
    return "JavaAI analysis";
  }
 
  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
118
119
120
121
122
123
124
125
126
127
128
    //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) {
        count += processIcu(icu, semantics, intv, comparisonResults, aeh, timeoutSeconds);
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
    if (selection == null){
      MessageDialog.openInformation(window.getShell(), "Information", "No input files selected");
      return;
    }
    int count = 0;
    BoolIntvSemantics semantics = new BoolIntvSemantics();
    AnalysisErrorHandler aeh = new AnalysisErrorHandler();
    try {
      List<ICompilationUnit> allTasks = Utils.getSelectedIcu(selection);
      for (ICompilationUnit icu : allTasks) {
        count += processIcu(icu, semantics, aeh);
View Full Code Here
53
54
55
56
57
58
59
60
  private final BoolIntvSemantics boolIntvSem;
  private final String wideningDescription;
 
  public IntegerBoxesSemantics(String wideningDescription) {
    this.boolIntvSem = new BoolIntvSemantics();
    this.wideningDescription = wideningDescription;
  }
View Full Code Here
TOP

Related Classes of ai.domain.boolintv.BoolIntvSemantics

  • ai.actions.AnalyseBoolIntvAction
  • ai.actions.AnalyseBoxesAction
  • ai.codestatistics.AIAnalysis
  • ai.domain.bool.Bool
  • ai.domain.boxes.IntegerBoxesSemantics
  • ai.domain.interval.Interval
  • ai.domain.interval.IntervalBackwardTestSemantics
  • ai.domain.interval.IntervalValue
  • 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.