Package edu.cmu.cs.crystal.tac.model

Examples of edu.cmu.cs.crystal.tac.model.NewObjectInstruction

42
43
44
45
46
47
48
49
50
51
52
53
54
55
    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    ClassInstanceCreation instance = (ClassInstanceCreation) EclipseTACSimpleTestDriver.getLastStatementReturn(m).getExpression();
    TACInstruction instr = tac.instruction(instance);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof NewObjectInstruction);
    NewObjectInstruction newobj = (NewObjectInstruction) instr;
   
    Assert.assertFalse(newobj.isAnonClassType());
    Assert.assertNotNull(newobj.resolveInstantiatedType());
    Assert.assertEquals(instance.resolveTypeBinding(), newobj.resolveInstantiatedType());
   
    Assert.assertFalse(newobj.hasOuterObjectSpecifier());
    Assert.assertNull(newobj.getOuterObjectSpecifierOperand());
  }
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
79
80
81
    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    ClassInstanceCreation instance = (ClassInstanceCreation) EclipseTACSimpleTestDriver.getLastStatementReturn(m).getExpression();
    TACInstruction instr = tac.instruction(instance);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof NewObjectInstruction);
    NewObjectInstruction newobj = (NewObjectInstruction) instr;
   
    Assert.assertFalse(newobj.isAnonClassType());
    Assert.assertNotNull(newobj.resolveInstantiatedType());
    Assert.assertEquals(instance.resolveTypeBinding(), newobj.resolveInstantiatedType());
   
    Assert.assertFalse(newobj.hasOuterObjectSpecifier());
    Assert.assertNull(newobj.getOuterObjectSpecifierOperand());
  }
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    ClassInstanceCreation instance = (ClassInstanceCreation) EclipseTACSimpleTestDriver.getLastStatementReturn(m).getExpression();
    TACInstruction instr = tac.instruction(instance);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof NewObjectInstruction);
    NewObjectInstruction newobj = (NewObjectInstruction) instr;
   
    Assert.assertFalse(newobj.isAnonClassType());
    Assert.assertNotNull(newobj.resolveInstantiatedType());
    Assert.assertEquals(instance.resolveTypeBinding(), newobj.resolveInstantiatedType());
   
    Assert.assertTrue(newobj.hasOuterObjectSpecifier());
    Assert.assertNotNull(newobj.getOuterObjectSpecifierOperand());
    Assert.assertEquals(tac.thisVariable(), newobj.getOuterObjectSpecifierOperand());
  }
View Full Code Here
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    ClassInstanceCreation instance = (ClassInstanceCreation) EclipseTACSimpleTestDriver.getLastStatementReturn(m).getExpression();
    TACInstruction instr = tac.instruction(instance);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof NewObjectInstruction);
    NewObjectInstruction newobj = (NewObjectInstruction) instr;
   
    Assert.assertFalse(newobj.isAnonClassType());
    Assert.assertNotNull(newobj.resolveInstantiatedType());
    Assert.assertEquals(instance.resolveTypeBinding(), newobj.resolveInstantiatedType());
   
    Assert.assertTrue(newobj.hasOuterObjectSpecifier());
    Assert.assertNotNull(newobj.getOuterObjectSpecifierOperand());
    Assert.assertEquals(tac.variable(instance.getExpression()), newobj.getOuterObjectSpecifierOperand());
  }
View Full Code Here
153
154
155
156
157
158
159
160
161
162
163
164
165
166
    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    ClassInstanceCreation instance = (ClassInstanceCreation) EclipseTACSimpleTestDriver.getLastStatementReturn(m).getExpression();
    TACInstruction instr = tac.instruction(instance);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof NewObjectInstruction);
    NewObjectInstruction newobj = (NewObjectInstruction) instr;
   
    Assert.assertFalse(newobj.isAnonClassType());
    Assert.assertNotNull(newobj.resolveInstantiatedType());
    Assert.assertEquals(instance.resolveTypeBinding(), newobj.resolveInstantiatedType());
   
    Assert.assertFalse(newobj.hasOuterObjectSpecifier());
    Assert.assertNull(newobj.getOuterObjectSpecifierOperand());
  }
View Full Code Here
181
182
183
184
185
186
187
188
189
190
191
192
193
194
    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    ClassInstanceCreation instance = (ClassInstanceCreation) EclipseTACSimpleTestDriver.getLastStatementReturn(m).getExpression();
    TACInstruction instr = tac.instruction(instance);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof NewObjectInstruction);
    NewObjectInstruction newobj = (NewObjectInstruction) instr;
   
    Assert.assertFalse(newobj.isAnonClassType());
    Assert.assertNotNull(newobj.resolveInstantiatedType());
    Assert.assertEquals(instance.resolveTypeBinding(), newobj.resolveInstantiatedType());
   
    Assert.assertFalse(newobj.hasOuterObjectSpecifier());
    Assert.assertNull(newobj.getOuterObjectSpecifierOperand());
  }
View Full Code Here
209
210
211
212
213
214
215
216
217
218
219
220
221
222
    EclipseTAC tac = new EclipseTAC(m.resolveBinding());
    ClassInstanceCreation instance = (ClassInstanceCreation) EclipseTACSimpleTestDriver.getLastStatementReturn(m).getExpression();
    TACInstruction instr = tac.instruction(instance);
    Assert.assertTrue(instr != null);
    Assert.assertTrue(instr instanceof NewObjectInstruction);
    NewObjectInstruction newobj = (NewObjectInstruction) instr;
   
    Assert.assertTrue(newobj.isAnonClassType());
    Assert.assertNotNull(newobj.resolveInstantiatedType());
    Assert.assertEquals(instance.resolveTypeBinding(), newobj.resolveInstantiatedType());
   
    Assert.assertFalse(newobj.hasOuterObjectSpecifier());
    Assert.assertNull(newobj.getOuterObjectSpecifierOperand());
  }
View Full Code Here
105
106
107
108
109
110
111
112
    TACInstruction instr = tac.instruction(init);
    Assert.assertNotNull(instr);
    Assert.assertTrue(instr instanceof NewObjectInstruction);
   
    NewObjectInstruction alloc = (NewObjectInstruction) instr;
    Assert.assertEquals(alloc.getTarget(), store.getSourceOperand());
  }
View Full Code Here
61
62
63
64
65
66
67
68
69
70
71
    assertTrue(map == null);
  }
 
  @Test
  public void testMatchWrongType() {
    NewObjectInstruction instr = getNOI(new StubVariable(), new StubVariable());
   
    ConstructorOp op = new ConstructorOp("Baz", new SpecVar[] {utils.getVar(1)}, new String[] {"Bar"});
   
    ConsList<Binding> map = op.matches(new EqualityOnlyTypeHierarchy(), null, instr);
   
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
    assertTrue(map == null);
  }

  @Test
  public void testMatchWrongParamType() {
    NewObjectInstruction instr = getNOI(new StubVariable(), new StubVariable());

    ConstructorOp op = new ConstructorOp("Foo", new SpecVar[] {utils.getVar(1)}, new String[] {"Baz"});
   
    ConsList<Binding> map = op.matches(new EqualityOnlyTypeHierarchy(), null, instr);
   
View Full Code Here
TOP

Related Classes of edu.cmu.cs.crystal.tac.model.NewObjectInstruction

  • edu.cmu.cs.crystal.tac.eclipse.EclipseTACFieldInitTest
  • edu.cmu.cs.crystal.tac.eclipse.EclipseTACNewObjectTest
  • edu.cmu.cs.fusion.constraint.operations.ConstructorOp
  • edu.cmu.cs.fusion.test.constraint.operations.TestBeginOfMethodOp
  • edu.cmu.cs.fusion.test.constraint.operations.TestMethodInvocationOp
  • edu.cmu.cs.fusion.test.constraint.operations.TestNewObjectInstructionOp
    • 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.