Package edu.cmu.cs.fusion.constraint

Examples of edu.cmu.cs.fusion.constraint.Operation

50
51
52
53
54
55
56
57
58
59
60
  @BeforeClass
  static public void setup() {
    utils = new TestUtils();
   
    Operation op;
    Predicate trigger;
    Predicate req;
    List<Effect> effects = new LinkedList<Effect>();
   
    op = new MethodInvocationOp("methodName", "Foo", new SpecVar[] {utils.getVar(0), utils.getVar(1)}, new String[] {"Foo", "Bar"}, "Bar", false);
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
  @BeforeClass
  static public void setup() {
    utils = new TestUtils();
   
    Operation op;
    Predicate trigger;
    Predicate rst;
   
    op = new MethodInvocationOp("methodName", "Foo", new SpecVar[] {utils.getVar(0), utils.getVar(1)}, new String[] {"Foo", "Bar"}, "Bar", false);
    trigger = new RelationshipPredicate(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)});
View Full Code Here
57
58
59
60
61
62
63
64
65
66
67
    parsed.add(constraint);
  }

  private void parseConstraint(IAnnotation constraint, IType contextType) throws JavaModelException {
    FPLParser parser = new FPLParser(rels, contextType);
    Operation op = null;
    Predicate trigger = null, requires = null, restrict = null;
    List<Effect> effects = new LinkedList<Effect>();
   
    try {
      for (IMemberValuePair pair : constraint.getMemberValuePairs()) {
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
      }
    }
    parsed.add(method);
    assert(effects.size() > 0);
   
    Operation op;
    //this effect could be on a method OR a constructor.
    if (method.isConstructor()) {
      IType contextType = method.getDeclaringType();
      String type = contextType.getFullyQualifiedName();
      String[] paramTypes = new String[method.getParameterTypes().length];
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
      params[ndx] = new SpecVar(methodType.getParameterNames()[ndx]);
    }
   
    boolean isStatic = Flags.isStatic(methodType.getFlags());
   
    Operation op = new BeginOfMethodOp(declaringType.getFullyQualifiedName(), methodType.getElementName(), params, paramTypes, isStatic);
    List<Effect> effects = new LinkedList<Effect>();
    effects.add(RelEffect.createAddEffect(relation, new SpecVar[] {Constraint.RECEIVER}));
   
    String owner = methodType.getDeclaringType().getFullyQualifiedName();
    constraints.add(new Constraint(owner, op, new TruePredicate(), new TruePredicate(), new TruePredicate(), effects));
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
  @BeforeClass
  static public void setup() {
    utils = new TestUtils();
   
    Operation op;
    Predicate trigger;
    Predicate req;
    List<Effect> effects = new LinkedList<Effect>();
   
    op = new MethodInvocationOp("methodName", "Foo", new SpecVar[] {utils.getVar(0)}, new String[] {"Bar"}, "Foo", false);
View Full Code Here
145
146
147
148
149
150
151
152
153
154
155
   
    AliasDelta expected = new AliasDelta();
    expected.addChange(instr.getTarget(), labels[3]);
    expected.addChange(instr.getArgOperands().get(0), labels[5]); 
   
    Operation op = new ConstructorOp("Foo", new SpecVar[] {utils.getVar(0)}, new String[] {"Bar"});
    List<Effect> effects = new LinkedList<Effect>();
    effects.add(RelEffect.createRemoveEffect(utils.getRelation(1), new SpecVar[] {utils.getVar(0), utils.getVar(0)}));
    effects.add(RelEffect.createAddEffect(utils.getRelation(0), new SpecVar[] {Constraint.RESULT, utils.getVar(0)}));
   
    Constraint cons = new Constraint("", op, new TruePredicate(), new TruePredicate(), new TruePredicate(), effects);
View Full Code Here
TOP

Related Classes of edu.cmu.cs.fusion.constraint.Operation

  • edu.cmu.cs.fusion.constraint.requestors.CallbackRequestor
  • edu.cmu.cs.fusion.constraint.requestors.ConstraintRequestor
  • edu.cmu.cs.fusion.constraint.requestors.EffectRequestor
  • edu.cmu.cs.fusion.relationship.TestFullBoundEffects
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresComplete
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresPragmatic
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresSound
  • edu.cmu.cs.fusion.relationship.TestFullyBoundRestrictions
  • edu.cmu.cs.fusion.relationship.TestSingleConstraint
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseOperations
    • 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.