Package edu.cmu.cs.fusion.test

Examples of edu.cmu.cs.fusion.test.TestAliasContext.addAlias()

209
210
211
212
213
214
215
216
217
218
219
    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]); 
View Full Code Here
237
238
239
240
241
242
243
244
245
246
247
    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();
View Full Code Here
238
239
240
241
242
243
244
245
246
247
248
    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]);
View Full Code Here
239
240
241
242
243
244
245
246
247
248
249
    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]);
View Full Code Here
240
241
242
243
244
245
246
247
248
249
250
   
    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]);
View Full Code Here
272
273
274
275
276
277
278
279
280
281
282
    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();
View Full Code Here
273
274
275
276
277
278
279
280
281
282
283
    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]);
View Full Code Here
274
275
276
277
278
279
280
281
282
283
284
    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]);
View Full Code Here
275
276
277
278
279
280
281
282
283
284
285
   
    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]); 
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.