Package edu.cmu.cs.fusion.constraint

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

198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
  }

  @Test
  public void testFindLabelsDefAndPoss() {
    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, null, null, testH, new InferenceEnvironment(null), Variant.PRAGMATIC_VARIANT);
    FreeVars fv = new FreeVars().addVar(new SpecVar("a"), "SnaFu").addVar(new SpecVar("b"), "Bazar");
    ConsList<Binding> list = ConsList.empty();
   
    list = ConsList.cons(new Binding(new SpecVar("a"), vars[2]), list);
    list = ConsList.cons(new Binding(new SpecVar("b"), vars[4]), list);
   
    List<Substitution> subs = env.findLabels(list, fv);
   
    assertEquals(4, subs.size());
View Full Code Here
43
44
45
46
47
48
49
    BooleanValue val = (BooleanValue)pred;
    Assert.assertTrue("Parsed predicate should be positive", val.isPositive());
   
    FreeVars vars = val.getFreeVariables();
    Assert.assertEquals("Should only contain one free variable", 1, vars.size());
    Assert.assertEquals("Foo should have a boolean type", "boolean", vars.getType(new SpecVar("foo")));
  }
View Full Code Here
59
60
61
62
63
64
65
    BooleanValue val = (BooleanValue)pred;
    Assert.assertTrue("Parsed predicate should be negative", !val.isPositive());
   
    FreeVars vars = val.getFreeVariables();
    Assert.assertEquals("Should only contain one free variable", 1, vars.size());
    Assert.assertEquals("Foo should have a boolean type", "boolean", vars.getType(new SpecVar("foo")));
  }
View Full Code Here
30
31
32
33
34
35
36
37
38
    Assert.assertTrue("Parsed inner predicate should be positive", val.getRelationship().isPositive());
    Assert.assertEquals("Inner relationship incorrect", "Foo", val.getRelationship().getRelation().getName());
   
    FreeVars vars = val.getFreeVariables();
    Assert.assertEquals("Should only contain three free variables", 3, vars.size());
    Assert.assertEquals("c should have a boolean type", "boolean", vars.getType(new SpecVar("c")));   
    Assert.assertEquals("a should have a Bar type", "Bar", vars.getType(new SpecVar("a")));   
    Assert.assertEquals("b should have a Baz type", "Baz", vars.getType(new SpecVar("b")));   
  }
View Full Code Here
54
55
56
57
58
59
60
61
62
    Assert.assertTrue("Parsed inner predicate should be positive", val.getRelationship().isPositive());
    Assert.assertEquals("Inner relationship incorrect", "Foo", val.getRelationship().getRelation().getName());
   
    FreeVars vars = val.getFreeVariables();
    Assert.assertEquals("Should only contain three free variables", 3, vars.size());
    Assert.assertEquals("c should have a boolean type", "boolean", vars.getType(new SpecVar("c")));   
    Assert.assertEquals("a should have a Bar type", "Bar", vars.getType(new SpecVar("a")));   
    Assert.assertEquals("b should have a Baz type", "Baz", vars.getType(new SpecVar("b")));   
  }
View Full Code Here
77
78
79
80
81
82
83
84
85
    Assert.assertTrue("Parsed inner predicate should be negative", !val.getRelationship().isPositive());
    Assert.assertEquals("Inner relationship incorrect", "Foo", val.getRelationship().getRelation().getName());
   
    FreeVars vars = val.getFreeVariables();
    Assert.assertEquals("Should only contain three free variables", 3, vars.size());
    Assert.assertEquals("c should have a boolean type", "boolean", vars.getType(new SpecVar("c")));   
    Assert.assertEquals("a should have a Bar type", "Bar", vars.getType(new SpecVar("a")));   
    Assert.assertEquals("b should have a Baz type", "Baz", vars.getType(new SpecVar("b")));   
  }
View Full Code Here
100
101
102
103
104
105
106
107
108
    Assert.assertTrue("Parsed inner predicate should be negative", !val.getRelationship().isPositive());
    Assert.assertEquals("Inner relationship incorrect", "Foo", val.getRelationship().getRelation().getName());
   
    FreeVars vars = val.getFreeVariables();
    Assert.assertEquals("Should only contain three free variables", 3, vars.size());
    Assert.assertEquals("c should have a boolean type", "boolean", vars.getType(new SpecVar("c")));   
    Assert.assertEquals("a should have a Bar type", "Bar", vars.getType(new SpecVar("a")));   
    Assert.assertEquals("b should have a Baz type", "Baz", vars.getType(new SpecVar("b")));   
  }
View Full Code Here
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
      String[] paramTypes = new String[method.getParameterTypes().length];
      SpecVar[] opParams = new SpecVar[method.getParameterNames().length];
     
      for (int ndx = 0; ndx < paramTypes.length; ndx++) {
        paramTypes[ndx] = Utilities.resolveType(contextType, Signature.toString(method.getParameterTypes()[ndx]));
        opParams[ndx] = new SpecVar(method.getParameterNames()[ndx]);
      }
      op = new ConstructorOp(type, opParams, paramTypes);
   
    }
    else {
      IType contextType = method.getDeclaringType();
      String methodName = method.getElementName();
      String receiverType = contextType.getFullyQualifiedName();
      String returnType = Utilities.resolveType(contextType, Signature.toString(method.getReturnType()));
      String[] paramTypes = new String[method.getParameterTypes().length];
      SpecVar[] opParams = new SpecVar[method.getParameterNames().length];
      boolean isStatic = Flags.isStatic(method.getFlags());
     
      for (int ndx = 0; ndx < paramTypes.length; ndx++) {
        paramTypes[ndx] = Utilities.resolveType(contextType, Signature.toString(method.getParameterTypes()[ndx]));
        opParams[ndx] = new SpecVar(method.getParameterNames()[ndx]);
      }
      op = new MethodInvocationOp(methodName, receiverType, opParams, paramTypes, returnType, isStatic);
    }
    String owner = method.getDeclaringType().getFullyQualifiedName();
    constraints.add(new Constraint(owner, op, new TruePredicate(), new TruePredicate(), new TruePredicate(), effects));
View Full Code Here
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
   
    for (int ndx = 0; ndx < objParams.length; ndx++) {
      if (objParams[ndx].equals(SpecVar.WILD_CARD))
        params[ndx] = SpecVar.createWildCard();
      else
        params[ndx] = new SpecVar((String)objParams[ndx]);
    }
   
/*      try {
      checkTypes(rel, params, method);
    } catch (ParseException e) {
      // TODO Put out a real error message
      e.printStackTrace();
    }
*/     
    edu.cmu.cs.fusion.annot.Relation.Effect actualEffect;
   
    if (actEffectPair != null) {
      String strEffect = ((String)actEffectPair.getValue()).substring(((String)actEffectPair.getValue()).lastIndexOf('.') + 1); //SCREW YOU ECLIPSE!!!!!
      actualEffect = edu.cmu.cs.fusion.annot.Relation.Effect.valueOf(strEffect);
    }
    else
      actualEffect = edu.cmu.cs.fusion.annot.Relation.Effect.ADD;
   
    String test = null;
   
    switch (actualEffect) {
    case ADD:
      effect = RelEffect.createAddEffect(rel, params);
      break;
    case REMOVE:
      effect = RelEffect.createRemoveEffect(rel, params);
      break;
    case TEST:
      test = (String) testPair.getValue();
      effect = RelEffect.createTestEffect(rel, params, new SpecVar(test));
      break;
    }
    return effect;
  }
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
   
    String[] paramTypes = new String[methodType.getParameterTypes().length];
    SpecVar[] params = new SpecVar[paramTypes.length];
    for (int ndx = 0; ndx < paramTypes.length; ndx++) {
      paramTypes[ndx] = Utilities.resolveBinaryType(declaringType, methodType.getParameterTypes()[ndx]);
      params[ndx] = new SpecVar(methodType.getParameterNames()[ndx]);
    }
   
    boolean isStatic = Flags.isStatic(methodType.getFlags());
   
    Operation op = new BeginOfMethodOp(declaringType.getFullyQualifiedName(), methodType.getElementName(), params, paramTypes, isStatic);
View Full Code Here
TOP

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

  • edu.cmu.cs.fusion.constraint.requestors.CallbackRequestor
  • edu.cmu.cs.fusion.constraint.requestors.EffectRequestor
  • edu.cmu.cs.fusion.test.constraint.TestFreeVars
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseBinaryPredicate
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseBuiltInRels
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseEffect
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseOperations
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseRelationshipPredicate
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseSimplePredicate
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseTestPredicate
    • 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.