Package ai.domain

Examples of ai.domain.Variable

87
88
89
90
91
92
93
94
95
96
97
      if (EvaluationUtils.isBooleanType(node)) {
        Boolean aValue = EvaluationUtils.tryGetBooleanValue(node);
        if (aValue != null) { // a constant??
          value = Bool.get(aValue);
        } else {// variable??
          Variable var = EvaluationUtils.tryGetVariable(node);
          if (var == null) { // not a variable, we know nothing :(
            value = Bool.TOP;
          } else
            value = EvaluationUtils.getValueForVariable(input.getLeft(), var);
        }
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
    @Override
    public ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>> processBooleanAssignment(
        ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>> input, Expression toWhat,
        Bool value) {
      Variable var = EvaluationUtils.tryGetVariable(toWhat);
      if (var != null)
        return input.setLeft(input.getLeft().updateVariable(var, value));
      else
        // FIXME: ???
        return input;
View Full Code Here
185
186
187
188
189
190
191
192
193
194
195
  }

  @Override
  public NonRelationalDomain<Bool> processEmptyEdge(NonRelationalDomain<Bool> input, List<SimpleName> variablesToRemove) {
    for(SimpleName name: variablesToRemove){
      Variable var = EvaluationUtils.tryGetVariable(name);
      if (var == null)
        continue;
      input = input.removeVariable(var);
    }
    return input;
View Full Code Here
195
196
197
198
199
200
201
202
203
204
205
      if (input.isBottom())
        return input;
      if (value.isBottom())
        return input.getBottom();

      Variable var = EvaluationUtils.tryGetVariable(node);
      if (var == null) // no change in state
        return input;
      else
        return input.setRight(EvaluationUtils.updateValueOfVariable(input.getRight(), var, value));
    }
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
      if (EvaluationUtils.isBooleanType(node)) {
        Boolean aValue = EvaluationUtils.tryGetBooleanValue(node);
        if (aValue!=null) { // a constant??
          value = Bool.get(aValue);
        } else {// variable??
          Variable var = EvaluationUtils.tryGetVariable(node);
          if (var == null){ // not a variable, we know nothing :(
            value = Bool.TOP;
          } else
            value = input.getValueFor(var);
        }
View Full Code Here
143
144
145
146
147
148
149
150
151
152
153
    }

    @Override
    public NonRelationalDomain<Bool> processBooleanAssignment(NonRelationalDomain<Bool> input, Expression toWhat,
        Bool value) {
      Variable var = EvaluationUtils.tryGetVariable(toWhat);
      if (var != null)
        return input.updateVariable(var, value);
      else // FIXME: ??
        return input;
    }
View Full Code Here
258
259
260
261
262
263
264
265
266
267
268
      if (EvaluationUtils.isIntegerType(node)) {
        IntervalValue aValue = EvaluationUtils.tryGetIntervalValue(node);
        if (aValue != null) { // a constant??
          value = new Interval(aValue);
        } else {// variable??
          Variable var = EvaluationUtils.tryGetVariable(node);
          if (var == null) { // not a variable, we know nothing :(
            value = Interval.TOP;
          } else
            value = EvaluationUtils.getValueForVariable(input.right.getRight(), var);
        }
View Full Code Here
322
323
324
325
326
327
328
329
330
331
332
    public Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processIntegerValueChange(
        Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> input,
        Expression ofWhat, int delta, boolean postfixOrPrefix) {
      Interval valueBeforeChange = input.left;
      Interval valueAfterChange = sem.delta(valueBeforeChange, delta);
      Variable var = EvaluationUtils.tryGetVariable(ofWhat);
      NonRelationalDomain<Interval> output = input.right.getRight();
      if (var != null && EvaluationUtils.isIntegerType(ofWhat))
        output = output.updateVariable(var, valueAfterChange);
      return Pair.create(postfixOrPrefix ? valueBeforeChange : valueAfterChange, input.right.setRight(output));
    }
View Full Code Here
377
378
379
380
381
382
383
384
385
386
387
    @Override
    public Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processIntegerAssignment(
        Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> input,
        Expression toWhat) {
      Variable var = EvaluationUtils.tryGetVariable(toWhat);
      if (var == null)
        return input;

      ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>> output = input.right;
      output = output.setRight(output.getRight().updateVariable(var, input.left));
View Full Code Here
50
51
52
53
54
55
56
57
58
59
60
      throw new DomainException("Join only allowed with the same variables!!, mine: "+this +", other:"+other);

    //join of values
    Map<Variable, DI> result = new HashMap<Variable, DI>();
    for(Map.Entry<Variable, DI> entry: variableValues.entrySet()) {
      Variable var = entry.getKey();
      DI value = entry.getValue();
      DI resultValue = value.join(other.variableValues.get(var));
      result.put(var, resultValue);
    }
//   
View Full Code Here
TOP

Related Classes of ai.domain.Variable

  • ai.cfg.verifiers.VariablesVerifier$VarExpressionVisitor
  • ai.cfg.verifiers.VariablesVerifier$Variables
  • ai.codestatistics.DomainComparator
  • ai.domain.bool.BoolsSemantics
  • ai.domain.bool.BoolsSemantics$MyBooleanSemantics
  • ai.domain.boolintv.BoolIntvSemantics
  • ai.domain.boolintv.BoolIntvSemantics$MyBooleanSemantics
  • ai.domain.boolintv.BoolIntvSemantics$MyIntegerSemantics
  • ai.domain.boolintv.BoolIntvSemantics$MyIntergerBackwardSemantics
  • ai.domain.boxes.BoxesWideningFactory$MyThresholds
    • 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.