Package edu.cmu.cs.fusion.constraint

Examples of edu.cmu.cs.fusion.constraint.Predicate

17
18
19
20
21
22
23
24
25
26
27
28
29
  @Test
  public void testAndPredicate() throws ParseException {
    String string = "a AND b";
   
    FPLParser parser = new FPLParser(string, null, null);
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a AndPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof AndPredicate);
   
    AndPredicate val = (AndPredicate)pred;
   
    Assert.assertTrue("Left side is a bool value", val.getLeft() instanceof BooleanValue);
    Assert.assertTrue("Right side is a bool value", val.getRight() instanceof BooleanValue);
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
54
55
  @Test
  public void testAnd2Predicate() throws ParseException {
    String string = "a AND b AND c";
   
    FPLParser parser = new FPLParser(string, null, null);
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a AndPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof AndPredicate);
   
    AndPredicate val = (AndPredicate)pred;
   
    Assert.assertTrue("Left side is a and pred", val.getLeft() instanceof AndPredicate);
    Assert.assertTrue("Right side is a bool value", val.getRight() instanceof BooleanValue);
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
82
  @Test
  public void testAnd3ParenPredicate() throws ParseException {
    String string = "a AND (b AND (c AND d))";
   
    FPLParser parser = new FPLParser(string, null, null);
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a AndPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof AndPredicate);   
    AndPredicate val = (AndPredicate)pred;
   
    Assert.assertTrue("Left side is a bool value", val.getLeft() instanceof BooleanValue);
    Assert.assertTrue("Right side is a and pred", val.getRight() instanceof AndPredicate);
   
View Full Code Here
119
120
121
122
123
124
125
126
127
128
129
130
131
  @Test
  public void testOrAndPredicate() throws ParseException {
    String string = "c OR b AND a";
   
    FPLParser parser = new FPLParser(string, null, null);
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a OrPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof OrPredicate);
   
    OrPredicate val = (OrPredicate)pred;
   
    Assert.assertTrue("Left side is a bool value", val.getLeft() instanceof BooleanValue);
    Assert.assertTrue("Right side is a and pred", val.getRight() instanceof AndPredicate);
View Full Code Here
147
148
149
150
151
152
153
154
155
156
157
158
159
  @Test
  public void testOrAndParenPredicate() throws ParseException {
    String string = "(c OR b) AND a";
   
    FPLParser parser = new FPLParser(string, null, null);
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a AndPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof AndPredicate);
   
    AndPredicate val = (AndPredicate)pred;
   
    Assert.assertTrue("Left side is a or pred", val.getLeft() instanceof OrPredicate);
    Assert.assertTrue("Right side is a bool value", val.getRight() instanceof BooleanValue);
View Full Code Here
175
176
177
178
179
180
181
182
183
184
185
186
187
  @Test
  public void testOrPredicate() throws ParseException {
    String string = "a OR b";
   
    FPLParser parser = new FPLParser(string, null, null);
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a OrPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof OrPredicate);
   
    OrPredicate val = (OrPredicate)pred;
   
    Assert.assertTrue("Left side is a bool value", val.getLeft() instanceof BooleanValue);
    Assert.assertTrue("Right side is a bool value", val.getRight() instanceof BooleanValue);
View Full Code Here
201
202
203
204
205
206
207
208
209
210
211
212
213
  @Test
  public void testOr2Predicate() throws ParseException {
    String string = "a OR b OR c";
   
    FPLParser parser = new FPLParser(string, null, null);
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a OrPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof OrPredicate);
   
    OrPredicate val = (OrPredicate)pred;
   
    Assert.assertTrue("Left side is a or pred", val.getLeft() instanceof OrPredicate);
    Assert.assertTrue("Right side is a bool value", val.getRight() instanceof BooleanValue);
View Full Code Here
228
229
230
231
232
233
234
235
236
237
238
239
240
  @Test
  public void testImpliesOrPredicate() throws ParseException {
    String string = "c IMPLIES b OR a";
   
    FPLParser parser = new FPLParser(string, null, null);
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a ImpliesPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof ImpliesPredicate);
   
    ImpliesPredicate val = (ImpliesPredicate)pred;
   
    Assert.assertTrue("Left side is a bool value", val.getLeft() instanceof BooleanValue);
    Assert.assertTrue("Right side is a or pred", val.getRight() instanceof OrPredicate);
View Full Code Here
256
257
258
259
260
261
262
263
264
265
266
267
268
  @Test
  public void testImpliesOrParenPredicate() throws ParseException {
    String string = "(c IMPLIES b) OR a";
   
    FPLParser parser = new FPLParser(string, null, null);
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a ImpliesPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof OrPredicate);
   
    OrPredicate val = (OrPredicate)pred;
   
    Assert.assertTrue("Left side is a implies pred", val.getLeft() instanceof ImpliesPredicate);
    Assert.assertTrue("Right side is a bool value", val.getRight() instanceof BooleanValue);
View Full Code Here
284
285
286
287
288
289
290
291
292
293
294
295
296
  @Test
  public void testImpliesPredicate() throws ParseException {
    String string = "a IMPLIES b";
   
    FPLParser parser = new FPLParser(string, null, null);
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a ImpliesPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof ImpliesPredicate);
   
    ImpliesPredicate val = (ImpliesPredicate)pred;
   
    Assert.assertTrue("Left side is a bool value", val.getLeft() instanceof BooleanValue);
    Assert.assertTrue("Right side is a bool value", val.getRight() instanceof BooleanValue);
View Full Code Here
TOP

Related Classes of edu.cmu.cs.fusion.constraint.Predicate

  • edu.cmu.cs.fusion.constraint.requestors.ConstraintRequestor
  • edu.cmu.cs.fusion.constraint.requestors.InferRequestor
  • edu.cmu.cs.fusion.relationship.TestFullBoundEffects
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresComplete
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresPragmatic
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresSound
  • edu.cmu.cs.fusion.relationship.TestFullyBoundRestrictions
  • edu.cmu.cs.fusion.relationship.TestSingleConstraint
  • edu.cmu.cs.fusion.test.constraint.predicates.TestBooleanValue
  • edu.cmu.cs.fusion.test.constraint.predicates.TestSimplePred
    • 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.