Examples of relEffect()

Examples of edu.cmu.cs.fusion.parsers.predicate.FPLParser.relEffect()

19
20
21
22
23
24
25
26
27
28
29
    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());
    RelEffect effect = parser.relEffect();
   
    Assert.assertEquals("Effect type is wrong", RelEffect.EffectType.ADD, effect.getType());
    Assert.assertEquals("Effect relation is wrong", "Foo", effect.getRelation().getName());
   
    FreeVars vars = effect.getFreeVariables();
View Full Code Here

Examples of edu.cmu.cs.fusion.parsers.predicate.FPLParser.relEffect()

37
38
39
40
41
42
43
44
45
46
47
    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());
    RelEffect effect = parser.relEffect();
   
    Assert.assertEquals("Effect type is wrong", RelEffect.EffectType.REMOVE, effect.getType());
    Assert.assertEquals("Effect relation is wrong", "Foo", effect.getRelation().getName());
   
    FreeVars vars = effect.getFreeVariables();
View Full Code Here

Examples of edu.cmu.cs.fusion.parsers.predicate.FPLParser.relEffect()

55
56
57
58
59
60
61
62
63
64
65
    String string = "!Foo(*, b)";
    RelationsEnvironment env = new RelationsEnvironment();
    env.addRelation(new Relation("Foo", new String[] {"Bar", "Baz"}));
   
    FPLParser parser = new FPLParser(string, env, new StubIType());
    RelEffect effect = parser.relEffect();
   
    Assert.assertEquals("Effect type is wrong", RelEffect.EffectType.REMOVE, effect.getType());
    Assert.assertEquals("Effect relation is wrong", "Foo", effect.getRelation().getName());
   
    FreeVars vars = effect.getFreeVariables();
View Full Code Here

Examples of edu.cmu.cs.fusion.parsers.predicate.FPLParser.relEffect()

79
80
81
82
83
84
85
86
87
88
89
    String string = "?Foo(a, b):c";
    RelationsEnvironment env = new RelationsEnvironment();
    env.addRelation(new Relation("Foo", new String[] {"Bar", "Baz"}));
   
    FPLParser parser = new FPLParser(string, env, new StubIType());
    RelEffect effect = parser.relEffect();
   
    Assert.assertEquals("Effect type is wrong", RelEffect.EffectType.TEST, effect.getType());
    Assert.assertEquals("Effect relation is wrong", "Foo", effect.getRelation().getName());
   
    FreeVars vars = effect.getFreeVariables();
View Full Code Here

Examples of edu.cmu.cs.fusion.parsers.predicate.FPLParser.relEffect()

98
99
100
101
102
103
104
105
106
107
108
    String string = "?!Foo(a, b):c";
    RelationsEnvironment env = new RelationsEnvironment();
    env.addRelation(new Relation("Foo", new String[] {"Bar", "Baz"}));
   
    FPLParser parser = new FPLParser(string, env, new StubIType());
    RelEffect effect = parser.relEffect();
   
    Assert.assertEquals("Effect type is wrong", RelEffect.EffectType.NEG_TEST, effect.getType());
    Assert.assertEquals("Effect relation is wrong", "Foo", effect.getRelation().getName());
   
    FreeVars vars = effect.getFreeVariables();
View Full Code Here

Examples of edu.cmu.cs.fusion.parsers.predicate.FPLParser.relEffect()

73
74
75
76
77
78
79
80
81
82
83
      trigger = parser.expression();
      assert(trigger != null);
     
      for (String eString : effStrings) {
        parser.reset(eString);
        effects.add(parser.relEffect());
      }
     
      inferRules.add(new InferredRel(trigger, effects));
    } catch (ParseException e) {
      ReportingUtility.reportParseError(infer.getResource(), infer.getNameRange(), e.getMessage());
View Full Code Here

Examples of edu.cmu.cs.fusion.parsers.predicate.FPLParser.relEffect()

83
84
85
86
87
88
89
90
91
92
93
          parser.reset(node.getTextContent());
          trigger = parser.expression();
        }
        else if (name.equals("eff")) {
          parser.reset(node.getTextContent());
          effects.add(parser.relEffect());
        }
      }
      assert (trigger != null);
      assert (!effects.isEmpty());
      inferRules.add(new InferredRel(trigger, effects));
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.