Package edu.cmu.cs.fusion.constraint

Examples of edu.cmu.cs.fusion.constraint.FreeVars.union()

57
58
59
60
61
62
63
64
65
66
67
    FreeVars vars1 = new FreeVars();
    vars1 = vars1.addVar(new SpecVar("foo"), "Foo");

    FreeVars vars2 = new FreeVars();
    vars2 = vars2.addVar(new SpecVar("bar"), "Bar");
    vars2 = vars2.union(vars1);
    assertEquals(2, vars2.size());
    assertEquals("Foo", vars2.getType(new SpecVar("foo")));
    assertEquals("Bar", vars2.getType(new SpecVar("bar")));
  }
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
    vars1 = vars1.addVar(new SpecVar("foo"), "Foo");

    FreeVars vars2 = new FreeVars();
    vars2 = vars2.addVar(new SpecVar("foo"), "SnaFu");
    vars2 = vars2.addVar(new SpecVar("bar"), "Bar");
    vars2 = vars2.union(vars1);
    assertEquals(2, vars2.size());
    assertEquals("Foo", vars2.getType(new SpecVar("foo")));
    assertEquals("Bar", vars2.getType(new SpecVar("bar")));
  }
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
    vars1 = vars1.addVar(new SpecVar("foo"), "SnaFu");

    FreeVars vars2 = new FreeVars();
    vars2 = vars2.addVar(new SpecVar("foo"), "Foo");
    vars2 = vars2.addVar(new SpecVar("bar"), "Bar");
    vars2 = vars2.union(vars1);
    assertEquals(2, vars2.size());
    assertEquals("Foo", vars2.getType(new SpecVar("foo")));
    assertEquals("Bar", vars2.getType(new SpecVar("bar")));
  }
 
View Full Code Here
100
101
102
103
104
105
106
107
108
109
110
    vars1 = vars1.addVar(new SpecVar("bazar"), "Bazar");

    FreeVars vars2 = new FreeVars();
    vars2 = vars2.addVar(new SpecVar("foo"), "Foo");
    vars2 = vars2.addVar(new SpecVar("bar"), "Bar");
    vars2 = vars2.union(vars1).subtract(vars2);
    assertEquals(1, vars2.size());
    assertEquals("Bazar", vars2.getType(new SpecVar("bazar")));
  }

  @Test
View Full Code Here
114
115
116
117
118
119
120
121
122
123
124
    vars1 = vars1.addVar(new SpecVar("bar"), "Bazar");

    FreeVars vars2 = new FreeVars();
    vars2 = vars2.addVar(new SpecVar("foo"), "Bazar");
    vars2 = vars2.addVar(new SpecVar("bar"), "Snafu");
    vars2 = vars2.union(vars1);
    assertEquals(2, vars2.size());
    assertEquals(FreeVars.OBJECT_TYPE, vars2.getType(new SpecVar("foo")));
    assertEquals(FreeVars.OBJECT_TYPE, vars2.getType(new SpecVar("bar")));
  }
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.