Package edu.cmu.cs.fusion.constraint

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

120
121
122
123
124
125
126
127
128
129
130
   
    Assert.assertTrue("Parsed predicate should be a BOM, but is " + op.getClass().getCanonicalName(), op instanceof BeginOfMethodOp);
   
    BeginOfMethodOp invoke = (BeginOfMethodOp)op;
       
    FreeVars vars = invoke.getFreeVariables();
    Assert.assertEquals("Wrong number of free vars", 3, vars.size());
    Assert.assertEquals("Wrong type", "java.lang.Object", vars.getType(Constraint.RECEIVER));   
    Assert.assertEquals("Wrong type", "Baz", vars.getType(new SpecVar("baz")));   
    Assert.assertEquals("Wrong type", "Bar", vars.getType(new SpecVar("bar")));   
  }
View Full Code Here
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
    utils = new TestUtils();
  }
 
  @Test
  public void testFreeVars() {
    FreeVars fv;
    ReferenceEqualityPredicate pred;
   
    pred = new ReferenceEqualityPredicate(utils.getVar(0), utils.getVar(1));
    fv = pred.getFreeVariables();
 
    assertEquals(FreeVars.OBJECT_TYPE, fv.getType(utils.getVar(0)));
    assertEquals(FreeVars.OBJECT_TYPE, fv.getType(utils.getVar(1)));
   
    assertEquals(2, fv.size());
  }
View Full Code Here
138
139
140
141
142
143
144
145
146
147
   
    Assert.assertTrue("Parsed predicate should be a BOM, but is " + op.getClass().getCanonicalName(), op instanceof BeginOfMethodOp);
   
    BeginOfMethodOp invoke = (BeginOfMethodOp)op;
       
    FreeVars vars = invoke.getFreeVariables();
    Assert.assertEquals("Wrong number of free vars", 2, vars.size());   
    Assert.assertEquals("Wrong type", "Baz", vars.getType(new SpecVar("baz")));   
    Assert.assertEquals("Wrong type", "Bar", vars.getType(new SpecVar("bar")));   
  }
View Full Code Here
155
156
157
158
159
160
161
162
163
164
   
    Assert.assertTrue("Parsed predicate should be a MethodInvoke, but is " + op.getClass().getCanonicalName(), op instanceof MethodInvocationOp);
   
    MethodInvocationOp invoke = (MethodInvocationOp)op;
       
    FreeVars vars = invoke.getFreeVariables();
    Assert.assertEquals("Wrong number of free vars", 2, vars.size());
    Assert.assertEquals("Wrong type", "Foo", vars.getType(Constraint.RECEIVER));   
    Assert.assertEquals("Wrong type", "Baz", vars.getType(Constraint.RESULT));   
  }
View Full Code Here
172
173
174
175
176
177
178
179
180
181
182
   
    Assert.assertTrue("Parsed predicate should be a MethodInvoke, but is " + op.getClass().getCanonicalName(), op instanceof MethodInvocationOp);
   
    MethodInvocationOp invoke = (MethodInvocationOp)op;
       
    FreeVars vars = invoke.getFreeVariables();
    Assert.assertEquals("Wrong number of free vars", 3, vars.size());
    Assert.assertEquals("Wrong type", "Foo", vars.getType(Constraint.RECEIVER));   
    Assert.assertEquals("Wrong type", "Baz", vars.getType(Constraint.RESULT));   
    Assert.assertEquals("Wrong type", "Bar", vars.getType(new SpecVar("bar")));   
  }
View Full Code Here
190
191
192
193
194
195
196
197
198
199
200
201
   
    Assert.assertTrue("Parsed predicate should be a MethodInvoke, but is " + op.getClass().getCanonicalName(), op instanceof MethodInvocationOp);
   
    MethodInvocationOp invoke = (MethodInvocationOp)op;
       
    FreeVars vars = invoke.getFreeVariables();
    Assert.assertEquals("Wrong number of free vars", 4, vars.size());
    Assert.assertEquals("Wrong type", "Foo", vars.getType(Constraint.RECEIVER));   
    Assert.assertEquals("Wrong type", "Baz", vars.getType(Constraint.RESULT));   
    Assert.assertEquals("Wrong type", "Bar", vars.getType(new SpecVar("bar")));   
    Assert.assertEquals("Wrong type", "Baz", vars.getType(new SpecVar("baz")));   
  }
View Full Code Here
209
210
211
212
213
214
215
216
217
   
    Assert.assertTrue("Parsed predicate should be a ConstructorOp, but is " + op.getClass().getCanonicalName(), op instanceof ConstructorOp);
   
    ConstructorOp construct = (ConstructorOp)op;
       
    FreeVars vars = construct.getFreeVariables();
    Assert.assertEquals("Wrong number of free vars", 1, vars.size());
    Assert.assertEquals("Wrong type", "Foo", vars.getType(Constraint.RESULT));       
  }
View Full Code Here
225
226
227
228
229
230
231
232
233
234
   
    Assert.assertTrue("Parsed predicate should be a ConstructorOp, but is " + op.getClass().getCanonicalName(), op instanceof ConstructorOp);
   
    ConstructorOp construct = (ConstructorOp)op;
       
    FreeVars vars = construct.getFreeVariables();
    Assert.assertEquals("Wrong number of free vars", 2, vars.size());
    Assert.assertEquals("Wrong type", "Foo", vars.getType(Constraint.RESULT));       
    Assert.assertEquals("Wrong type", "Bar", vars.getType(new SpecVar("bar")));       
  }
View Full Code Here
242
243
244
245
246
247
248
249
250
251
252
   
    Assert.assertTrue("Parsed predicate should be a ConstructorOp, but is " + op.getClass().getCanonicalName(), op instanceof ConstructorOp);
   
    ConstructorOp construct = (ConstructorOp)op;
       
    FreeVars vars = construct.getFreeVariables();
    Assert.assertEquals("Wrong number of free vars", 3, vars.size());
    Assert.assertEquals("Wrong type", "Foo", vars.getType(Constraint.RESULT));       
    Assert.assertEquals("Wrong type", "Bar", vars.getType(new SpecVar("bar")));       
    Assert.assertEquals("Wrong type", "Baz", vars.getType(new SpecVar("baz")));       
  }
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
  }

  @Test
  public void testEmptyValidLabels() {
    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, null, null, testH, new InferenceEnvironment(null), Variant.PRAGMATIC_VARIANT);
    FreeVars fv = new FreeVars().addVar(new SpecVar("a"), "Foo").addVar(new SpecVar("b"), "Bar");
    Substitution existing = new Substitution().addSub(new SpecVar("a"), labels[0]).addSub(new SpecVar("b"), labels[1]);
   
    List<Substitution> subs = env.allValidSubs(existing, fv);
   
    Iterator<Substitution> itr = subs.iterator();
View Full Code Here
TOP

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

  • edu.cmu.cs.fusion.constraint.operations.BeginOfMethodOp
  • edu.cmu.cs.fusion.constraint.operations.ConstructorOp
  • edu.cmu.cs.fusion.constraint.operations.EndOfMethodOp
  • edu.cmu.cs.fusion.constraint.operations.MethodInvocationOp
  • edu.cmu.cs.fusion.constraint.operations.NoOp
  • edu.cmu.cs.fusion.constraint.predicates.BooleanValue
  • edu.cmu.cs.fusion.constraint.predicates.FalsePredicate
  • edu.cmu.cs.fusion.constraint.predicates.InstanceOfPredicate
  • edu.cmu.cs.fusion.constraint.predicates.ReferenceEqualityPredicate
  • edu.cmu.cs.fusion.constraint.predicates.RelationshipPredicate
    • 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.