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

Examples of edu.cmu.cs.fusion.constraint.operations.EndOfMethodOp

23
24
25
26
27
28
29
30
31
32
    FPLParser parser = new FPLParser(string, null, new StubIType());
    Operation op = parser.operation();
   
    Assert.assertTrue("Parsed predicate should be a EOM, but is " + op.getClass().getCanonicalName(), op instanceof EndOfMethodOp);
   
    EndOfMethodOp invoke = (EndOfMethodOp)op;
       
    FreeVars vars = invoke.getFreeVariables();
    Assert.assertEquals("Wrong number of free vars", 0, vars.size());   
  }
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
49
    FPLParser parser = new FPLParser(string, null, new StubIType());
    Operation op = parser.operation();
   
    Assert.assertTrue("Parsed predicate should be a EOM, but is " + op.getClass().getCanonicalName(), op instanceof EndOfMethodOp);
   
    EndOfMethodOp invoke = (EndOfMethodOp)op;
       
    FreeVars vars = invoke.getFreeVariables();
    Assert.assertEquals("Wrong number of free vars", 2, vars.size());   
    Assert.assertEquals("Wrong type", "Foo", vars.getType(Constraint.RECEIVER));   
    Assert.assertEquals("Wrong type", "Baz", vars.getType(Constraint.RESULT));   
  }
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
    FPLParser parser = new FPLParser(string, null, new StubIType());
    Operation op = parser.operation();
   
    Assert.assertTrue("Parsed predicate should be a EOM, but is " + op.getClass().getCanonicalName(), op instanceof EndOfMethodOp);
   
    EndOfMethodOp invoke = (EndOfMethodOp)op;
       
    FreeVars vars = invoke.getFreeVariables();
    Assert.assertEquals("Wrong number of free vars", 1, vars.size());     
    Assert.assertEquals("Wrong type", "Baz", vars.getType(Constraint.RESULT));   
  }
View Full Code Here
32
33
34
35
36
37
38
39
40
41
    utils = new TestUtils();
  }

  @Test
  public void testFreeVars() {
    EndOfMethodOp construct = new EndOfMethodOp(null, null, null, null, null, false);
    FreeVars fv = construct.getFreeVariables();
   
    assertEquals(1, fv.size());
  }
View Full Code Here
40
41
42
43
44
45
46
47
48
49
    assertEquals(1, fv.size());
  }
 
  @Test
  public void testFreeVarsStaticReturn() {
    EndOfMethodOp construct = new EndOfMethodOp(null, null, null, null, "Bar", true);
    FreeVars fv = construct.getFreeVariables();
   
    assertEquals(1, fv.size());
  }
View Full Code Here
57
58
59
60
61
62
63
64
65
66
67
   
    NamedTypeBinding rBinding = new NamedTypeBinding("Foo");   
   
    StubMethodCallInstruction instr = new StubMethodCallInstruction("mName", new StubVariable(), params, new StubMethodBinding(rBinding, vBindings), new StubVariable()); 
   
    EndOfMethodOp op = new EndOfMethodOp(null, null, null, null, null, false);
   
    ConsList<Binding> map = op.matches(new EqualityOnlyTypeHierarchy(), null, instr);

    assertTrue(map == null);
  }
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
84
85
    params.add(new StubVariable());
    StubVariable var = new StubVariable();
 
    Pair<ReturnInstruction, Method> pair = getRetAndMethod(var, params, new StubVariable());
   
    EndOfMethodOp op = new EndOfMethodOp(null, null, null, null, null, false);

    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
91
92
93
94
95
96
97
98
99
100
101
102
103
    params.add(new StubVariable());
    StubVariable var = new StubVariable("A", "Foo");
 
    Pair<ReturnInstruction, Method> pair = getRetAndMethod(new StubVariable(), params, var);
   
    EndOfMethodOp op = new EndOfMethodOp(null, null, null, null, "Foo", true);

    ConsList<Binding> map = op.matches(new EqualityOnlyTypeHierarchy(), pair.snd(), pair.fst());
   
    assertTrue(map != null);
    assertEquals(1, map.size());
    assertTrue(map.contains(new Binding(Constraint.RESULT, var)));
  } 
View Full Code Here
110
111
112
113
114
115
116
117
118
119
120
121
122
    StubVariable var = new StubVariable();
    StubVariable retVar = new StubVariable("A" , "Foo");
 
    Pair<ReturnInstruction, Method> pair = getRetAndMethod(var, params, retVar);
   
    EndOfMethodOp op = new EndOfMethodOp(null, null, null, null, "Foo", false);

    ConsList<Binding> map = op.matches(new EqualityOnlyTypeHierarchy(), pair.snd(), pair.fst());
   
    assertTrue(map != null);
    assertEquals(2, map.size());
    assertTrue(map.contains(new Binding(Constraint.RESULT, retVar)));
    assertTrue(map.contains(new Binding(Constraint.RECEIVER, var)));
View Full Code Here
TOP

Related Classes of edu.cmu.cs.fusion.constraint.operations.EndOfMethodOp

  • edu.cmu.cs.crystal.tac.model.ReturnInstruction
  • edu.cmu.cs.fusion.Binding
  • edu.cmu.cs.fusion.constraint.FreeVars
  • edu.cmu.cs.fusion.test.constraint.operations.TestEOMOp
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseOperations
  • org.eclipse.jdt.core.dom.IMethodBinding
    • 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.