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

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

309
310
311
312
313
314
315
316
317
318
319
320
  @Test
  public void testImplies2Predicate() throws ParseException {
    String string = "a IMPLIES b IMPLIES c";
   
    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
336
337
338
339
340
341
342
343
344
345
346
347
  @Test
  public void testImpliesAndPredicate() throws ParseException {
    String string = "c IMPLIES b AND 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
20
21
22
23
24
25
26
27
28
29
30
31
  public void testRelPred() throws ParseException {
    String string = "Foo(a, b)";
    RelationsEnvironment env = new RelationsEnvironment();
    env.addRelation(new Relation("Foo", new String[] {"Bar", "Baz"}));
   
    FPLParser parser = new FPLParser(string, env, new StubIType());
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a RelationshipPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof RelationshipPredicate);
   
    RelationshipPredicate val = (RelationshipPredicate)pred;
    Assert.assertTrue("Parsed predicate should be positive", val.isPositive());
View Full Code Here
40
41
42
43
44
45
46
47
48
49
50
51
  public void testNegRelPred() throws ParseException {
    String string = "!Foo(a, b)";
    RelationsEnvironment env = new RelationsEnvironment();
    env.addRelation(new Relation("Foo", new String[] {"Bar", "Baz"}));

    FPLParser parser = new FPLParser(string, env, new StubIType());
    Predicate pred = parser.expression();
   
    Assert.assertTrue("Parsed predicate should be a RelationshipPredicate, but is " + pred.getClass().getCanonicalName(), pred instanceof RelationshipPredicate);
   
    RelationshipPredicate val = (RelationshipPredicate)pred;
    Assert.assertTrue("Parsed predicate should be negative", !val.isPositive());
View Full Code Here
18
19
20
21
22
23
24
25
26
27
28
29
public class ParseOperations { 
  @Test
  public void testEOMEmpty() throws ParseException {
    String string = "EOM";
   
    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;
       
View Full Code Here
33
34
35
36
37
38
39
40
41
42
43
44
  @Test
  public void testEOMNonStaticReturns() throws ParseException {
    String string = "EOM: Foo.bar(..) : Baz";
   
    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;
       
View Full Code Here
50
51
52
53
54
55
56
57
58
59
60
61
  @Test
  public void testEOMStaticReturns() throws ParseException {
    String string = "EOM: static Foo.bar(..) : Baz";
   
    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;
       
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
77
 
  @Test
  public void testBOMEmpty() throws ParseException {
    String string = "BOM";
   
    FPLParser parser = new FPLParser(string, null, new StubIType());
    Operation op = parser.operation();
   
    Assert.assertTrue("Parsed predicate should be a BOM, but is " + op.getClass().getCanonicalName(), op instanceof BeginOfMethodOp);
   
    BeginOfMethodOp invoke = (BeginOfMethodOp)op;
       
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
92
  @Test
  public void testBOMWCParams() throws ParseException {
    String string = "BOM: Foo.Bar(..)";
   
    FPLParser parser = new FPLParser(string, null, new StubIType());
    Operation op = parser.operation();
   
    Assert.assertTrue("Parsed predicate should be a BOM, but is " + op.getClass().getCanonicalName(), op instanceof BeginOfMethodOp);
   
    BeginOfMethodOp invoke = (BeginOfMethodOp)op;
       
View Full Code Here
97
98
99
100
101
102
103
104
105
106
107
108
  @Test
  public void testBOMWCName() throws ParseException {
    String string = "BOM: Foo.*()";
   
    FPLParser parser = new FPLParser(string, null, new StubIType());
    Operation op = parser.operation();
   
    Assert.assertTrue("Parsed predicate should be a BOM, but is " + op.getClass().getCanonicalName(), op instanceof BeginOfMethodOp);
   
    BeginOfMethodOp invoke = (BeginOfMethodOp)op;
       
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.