Package edu.cmu.cs.fusion.test

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

114
115
116
117
118
119
120
121
122
123
124
   
    //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);
View Full Code Here
115
116
117
118
119
120
121
122
123
124
125
    //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
116
117
118
119
120
121
122
123
124
125
126
    //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
138
139
140
141
142
143
144
145
146
147
148
   
    StubNewObjectInstruction instr = new StubNewObjectInstruction(vars,
         new StubMethodBinding(new NamedTypeBinding("Foo"), new NamedTypeBinding[]{new NamedTypeBinding("Bar")}), new StubVariable("tVar", "Foo"));
   
    TestAliasContext aliases = new TestAliasContext();
    aliases.addAlias(instr.getTarget(), labels[3]);
    aliases.addAlias(instr.getArgOperands().get(0), labels[5]);
   
    AliasDelta expected = new AliasDelta();
    expected.addChange(instr.getTarget(), labels[3]);
    expected.addChange(instr.getArgOperands().get(0), labels[5]); 
View Full Code Here
139
140
141
142
143
144
145
146
147
148
149
    StubNewObjectInstruction instr = new StubNewObjectInstruction(vars,
         new StubMethodBinding(new NamedTypeBinding("Foo"), new NamedTypeBinding[]{new NamedTypeBinding("Bar")}), new StubVariable("tVar", "Foo"));
   
    TestAliasContext aliases = new TestAliasContext();
    aliases.addAlias(instr.getTarget(), labels[3]);
    aliases.addAlias(instr.getArgOperands().get(0), labels[5]);
   
    AliasDelta expected = new AliasDelta();
    expected.addChange(instr.getTarget(), labels[3]);
    expected.addChange(instr.getArgOperands().get(0), labels[5]); 
   
View Full Code Here
175
176
177
178
179
180
181
182
183
184
185
    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]);
View Full Code Here
176
177
178
179
180
181
182
183
184
185
186
    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]);
View Full Code Here
177
178
179
180
181
182
183
184
185
186
187
    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]); 
View Full Code Here
207
208
209
210
211
212
213
214
215
216
217
    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]);
View Full Code Here
208
209
210
211
212
213
214
215
216
217
218
    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]);
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.