Package edu.cmu.cs.fusion.parsers.predicate

Examples of edu.cmu.cs.fusion.parsers.predicate.FPLParser

16
17
18
19
20
21
22
23
24
25
26
27
public class ParseBinaryPredicate {
  @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;
   
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
53
 
  @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;
   
View Full Code Here
69
70
71
72
73
74
75
76
77
78
79
80
 
  @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);
View Full Code Here
118
119
120
121
122
123
124
125
126
127
128
129
 
  @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;
   
View Full Code Here
146
147
148
149
150
151
152
153
154
155
156
157
  @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;
   
View Full Code Here
174
175
176
177
178
179
180
181
182
183
184
185
  @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;
   
View Full Code Here
200
201
202
203
204
205
206
207
208
209
210
211
 
  @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;
   
View Full Code Here
227
228
229
230
231
232
233
234
235
236
237
238
  @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;
   
View Full Code Here
255
256
257
258
259
260
261
262
263
264
265
266
 
  @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;
   
View Full Code Here
283
284
285
286
287
288
289
290
291
292
293
294
  @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;
   
View Full Code Here
TOP

Related Classes of edu.cmu.cs.fusion.parsers.predicate.FPLParser

  • edu.cmu.cs.fusion.constraint.ConstraintEnvironment
  • edu.cmu.cs.fusion.constraint.InferenceEnvironment
  • edu.cmu.cs.fusion.constraint.requestors.ConstraintRequestor
  • edu.cmu.cs.fusion.constraint.requestors.InferRequestor
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseBinaryPredicate
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseBuiltInRels
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseEffect
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseOperations
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseRelationshipPredicate
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseSimplePredicate
    • 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.