Package edu.cmu.cs.fusion.test.constraint.operations

Examples of edu.cmu.cs.fusion.test.constraint.operations.StubMethodCallInstruction

269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
  @Test
  public void testCombined() throws FusionException {
    RelationshipContext rels = new RelationshipContext(false);

    StubMethodCallInstruction instr = getMCI();
   
    TestAliasContext aliases = new TestAliasContext();
    aliases.addAlias(instr.getReceiverOperand(), labels[0]);
    aliases.addAlias(instr.getTarget(), labels[3]);
    aliases.addAlias(instr.getArgOperands().get(0), labels[1]);
    aliases.addAlias(instr.getArgOperands().get(0), labels[2]);

    AliasDelta expected = new AliasDelta();
    expected.addChange(instr.getReceiverOperand(), labels[0]);
    expected.addChange(instr.getTarget(), labels[3]);
    expected.addChange(instr.getArgOperands().get(0), labels[1]); 
    expected.addChange(instr.getArgOperands().get(0), labels[2]); 

    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, AliasDelta> deltas = runSingleConstraint(env, cons, instr);
    FusionErrorReport error = checkSingleConstraint(env, cons, instr);
    Relationship eff1 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[0], labels[1]});
View Full Code Here
305
306
307
308
309
310
311
312
313
 
  private StubMethodCallInstruction getMCI() {
    List<StubVariable> vars = new LinkedList<StubVariable>();
    vars.add(new StubVariable("p0",  "Bar"));
   
    StubMethodCallInstruction instr = new StubMethodCallInstruction("methodName", new StubVariable("rVar", "Foo"), vars,
         new StubMethodBinding(new NamedTypeBinding("Foo"), new NamedTypeBinding[]{new NamedTypeBinding("Bar")}), new StubVariable("tVar", "java.lang.Object"));
    return instr;
  }
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
   * aliasing configuration!
   */
  public void testNoMatches() throws FusionException {
    RelationshipContext rels = new RelationshipContext(false);
   
    StubMethodCallInstruction instr = getMCI();
   
    //op has type Foo.methodName(Foo) : Bar
    //instr has type Foo.m(Foo) : Bar
   
    TestAliasContext aliases = new TestAliasContext();
    aliases.addAlias(instr.getReceiverOperand(), labels[5]);
    aliases.addAlias(instr.getTarget(), labels[0]);
    aliases.addAlias(instr.getArgOperands().get(0), labels[3]);

    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, AliasDelta> deltas = runSingleConstraint(env, cons, instr);
    FusionErrorReport error = checkSingleConstraint(env, cons, instr);
   
View Full Code Here
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
 
  @Test
  public void testDefOnly() throws FusionException {
    RelationshipContext rels = new RelationshipContext(false);

    StubMethodCallInstruction instr = getMCI();
   
    TestAliasContext aliases = new TestAliasContext();
    aliases.addAlias(instr.getReceiverOperand(), labels[0]);
    aliases.addAlias(instr.getTarget(), labels[3]);
    aliases.addAlias(instr.getArgOperands().get(0), labels[5]);
   
    AliasDelta expected = new AliasDelta();
    expected.addChange(instr.getReceiverOperand(), labels[0]);
    expected.addChange(instr.getTarget(), labels[3]);
    expected.addChange(instr.getArgOperands().get(0), labels[5]); 


    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, AliasDelta> deltas = runSingleConstraint(env, cons, instr);
    FusionErrorReport error = checkSingleConstraint(env, cons, instr);
View Full Code Here
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
 
  @Test
  public void testPartialOnly() throws FusionException {
    RelationshipContext rels = new RelationshipContext(false);

    StubMethodCallInstruction instr = getMCI();
   
    TestAliasContext aliases = new TestAliasContext();
    aliases.addAlias(instr.getReceiverOperand(), labels[0]);
    aliases.addAlias(instr.getTarget(), labels[3]);
    aliases.addAlias(instr.getArgOperands().get(0), labels[2]);
   
    AliasDelta expected = new AliasDelta();
    expected.addChange(instr.getReceiverOperand(), labels[0]);
    expected.addChange(instr.getTarget(), labels[3]);
    expected.addChange(instr.getArgOperands().get(0), labels[2]); 

    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, AliasDelta> deltas = runSingleConstraint(env, cons, instr);
    FusionErrorReport error = checkSingleConstraint(env, cons, instr);
    Relationship eff1 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[0], labels[2]});
View Full Code Here
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
 
  @Test
  public void testSeveralDef() throws FusionException {
    RelationshipContext rels = new RelationshipContext(false);

    StubMethodCallInstruction instr = getMCI();
   
    TestAliasContext aliases = new TestAliasContext();
    aliases.addAlias(instr.getReceiverOperand(), labels[0]);
    aliases.addAlias(instr.getTarget(), labels[3]);
    aliases.addAlias(instr.getTarget(), labels[4]);
    aliases.addAlias(instr.getArgOperands().get(0), labels[5]);
   
    AliasDelta expected = new AliasDelta();
    expected.addChange(instr.getReceiverOperand(), labels[0]);
    expected.addChange(instr.getTarget(), labels[3]);
    expected.addChange(instr.getTarget(), labels[4]);
    expected.addChange(instr.getArgOperands().get(0), labels[5]); 

    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, AliasDelta> deltas = runSingleConstraint(env, cons, instr);
    FusionErrorReport error = checkSingleConstraint(env, cons, instr);
    Relationship eff1 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[0], labels[5]});
View Full Code Here
TOP

Related Classes of edu.cmu.cs.fusion.test.constraint.operations.StubMethodCallInstruction

  • edu.cmu.cs.fusion.relationship.TestSingleConstraint
    • 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.