Package edu.cmu.cs.fusion

Examples of edu.cmu.cs.fusion.Binding

141
142
143
144
145
146
147
   
    ConsList<Binding> map = op.matches(new EqualityOnlyTypeHierarchy(), pair.snd(), pair.fst());
   
    assertTrue(map != null);
    assertEquals(1, map.size());
    assertTrue(map.contains(new Binding(Constraint.RECEIVER, var)));
  }
View Full Code Here
195
196
197
198
199
200
201
202
203
204
205
    BeginOfMethodOp op = new BeginOfMethodOp("Foo", "name", vars, vTypes, false);
   
    ConsList<Binding> list = op.matches(new EqualityOnlyTypeHierarchy(), pair.snd(), pair.fst());
   
    assertTrue(list != null);
    assertTrue(list.contains(new Binding(Constraint.RECEIVER, tVar)));
    assertTrue(list.contains(new Binding(utils.getVar(0), p1)));
    assertTrue(list.contains(new Binding(utils.getVar(1), p2)));
   
    assertEquals(3, list.size());
  } 
View Full Code Here
219
220
221
222
223
224
225
226
227
228
    BeginOfMethodOp op = new BeginOfMethodOp("Foo", "name", vars, vTypes, true);
   
    ConsList<Binding> list = op.matches(new EqualityOnlyTypeHierarchy(), pair.snd(), pair.fst());
   
    assertTrue(list != null);
    assertTrue(list.contains(new Binding(utils.getVar(0), p1)));
    assertTrue(list.contains(new Binding(utils.getVar(1), p2)));
   
    assertEquals(2, list.size());
  } 
View Full Code Here
240
241
242
243
244
245
246
247
248
249
250
251
    BeginOfMethodOp op = new BeginOfMethodOp(null, null, vars, vTypes, false);
   
    ConsList<Binding> list = op.matches(new EqualityOnlyTypeHierarchy(), pair.snd(), pair.fst());
   
    assertTrue(list != null);
    assertTrue(list.contains(new Binding(Constraint.RECEIVER, tVar)));
    assertTrue(list.contains(new Binding(utils.getVar(0), tVar)));
    assertTrue(list.contains(new Binding(utils.getVar(1), tVar)));
   
    assertEquals(3, list.size());

  }
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
153
    MethodInvocationOp op = new MethodInvocationOp("mName", "Foo", vars, vTypes, "Bazaz", false);
   
    ConsList<Binding> list = op.matches(new EqualityOnlyTypeHierarchy(), null, instr);
   
    assertTrue(list != null);
    assertTrue(list.contains(new Binding(Constraint.RESULT, tVar)));
    assertTrue(list.contains(new Binding(Constraint.RECEIVER, rVar)));
    assertTrue(list.contains(new Binding(utils.getVar(0), p1)));
    assertTrue(list.contains(new Binding(utils.getVar(1), p2)));
   
    assertEquals(4, list.size());
  } 
View Full Code Here
169
170
171
172
173
174
175
176
177
178
179
180
181
    MethodInvocationOp op = new MethodInvocationOp("mName", "Foo", vars, vTypes, "Bar", false);
   
    ConsList<Binding> list = op.matches(new EqualityOnlyTypeHierarchy(), null, instr);
   
    assertTrue(list != null);
    assertTrue(list.contains(new Binding(Constraint.RESULT, tVar)));
    assertTrue(list.contains(new Binding(Constraint.RECEIVER, rVar)));
    assertTrue(list.contains(new Binding(utils.getVar(0), rVar)));
    assertTrue(list.contains(new Binding(utils.getVar(1), tVar)));
   
    assertEquals(4, list.size());

  }
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
59
      if (!types.existsCommonSubtype(paramTypes[ndx], binding.getParameterTypes()[ndx].getQualifiedName()))
        return null;
   
    ConsList<Binding> vars = ConsList.empty();
   
    vars = ConsList.cons(new Binding(ret, newObj.getTarget()), vars);
   
    for (int ndx = 0; ndx < params.length; ndx++)
      vars = ConsList.cons(new Binding(params[ndx], newObj.getArgOperands().get(ndx)), vars);

    return vars;
  }
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
82
83
      Variable[] params = method.getParams();
 
      for (int ndx = 0; ndx < paramTypes.length; ndx++) {
        if (!types.existsCommonSubtype(paramTypes[ndx], binding.getParameterTypes()[ndx].getQualifiedName()))
          return null;
        vars = ConsList.cons(new Binding(paramNames[ndx], params[ndx]), vars);
      }
    }
   
    if (!isStatic)
      vars = ConsList.cons(new Binding(Constraint.RECEIVER, invoke.getReceiver()), vars);
   
    return vars;
  }
View Full Code Here
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
        return null;
     
      for (int ndx = 0; ndx < paramTypes.length; ndx++) {
        if (!types.existsCommonSubtype(paramTypes[ndx], binding.getParameterTypes()[ndx].getQualifiedName()))
          return null;
        vars = ConsList.cons(new Binding(paramNames[ndx], params[ndx]), vars);
      }
    }

    if (invoke.getReturnedVariable() != null && resType != null)
      vars = ConsList.cons(new Binding(Constraint.RESULT, invoke.getReturnedVariable()), vars);
   
    if (!isStatic)
      vars = ConsList.cons(new Binding(Constraint.RECEIVER, method.getThisVar()), vars);
    return vars;
  }
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
79
80
        return null;
   
    ConsList<Binding> vars = ConsList.empty();
   
    if (!isStatic) 
      vars = ConsList.cons(new Binding(thisVar, invoke.getReceiverOperand()), vars);
    vars = ConsList.cons(new Binding(retVar, invoke.getTarget()), vars);
   
    for (int ndx = 0; ndx < params.length; ndx++)
      vars = ConsList.cons(new Binding(params[ndx], invoke.getArgOperands().get(ndx)), vars);

    return vars;
  }
View Full Code Here
TOP

Related Classes of edu.cmu.cs.fusion.Binding

  • 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.test.constraint.operations.TestBeginOfMethodOp
  • edu.cmu.cs.fusion.test.constraint.operations.TestEOMOp
  • edu.cmu.cs.fusion.test.constraint.operations.TestMethodInvocationOp
  • edu.cmu.cs.fusion.test.constraint.operations.TestNewObjectInstructionOp
  • edu.cmu.cs.fusion.test.TestFindLabels
    • 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.