Package edu.cmu.cs.fusion

Examples of edu.cmu.cs.fusion.Relation

22
23
24
25
26
27
28
29
30
31
32
33
 
  static ObjectLabel w, x, y, z;

  @BeforeClass
  static public void testRelationships() {
    tA = new Relation("A", new String[] {"Foo", "Bar"});
    tB = new Relation("B", new String[] {"Bar", "Bar"});
   
    w = new AbstractObjectLabel("w");
    x = new AbstractObjectLabel("x");
    y = new AbstractObjectLabel("y");
    z = new AbstractObjectLabel("z");
View Full Code Here
18
19
20
21
22
23
24
25
26
27
28
 
  @Test
  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);
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
 
  @Test
  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);
View Full Code Here
21
22
23
24
25
26
27
28
29
30
31
32
  static ObjectLabel w, x, y, z;

  @BeforeClass
  static public void testRelationships() {
    RelationshipDelta delta;
    tA = new Relation("A", new String[] {"Foo", "Bar"});
    tB = new Relation("B", new String[] {"Bar", "Bar"});
   
    w = new AbstractObjectLabel("w");
    x = new AbstractObjectLabel("x");
    y = new AbstractObjectLabel("y");
    z = new AbstractObjectLabel("z");
View Full Code Here
16
17
18
19
20
21
22
23
24
25
26
 
  @Test
  public void testAddEffect() 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());
    RelEffect effect = parser.relEffect();
   
    Assert.assertEquals("Effect type is wrong", RelEffect.EffectType.ADD, effect.getType());
View Full Code Here
34
35
36
37
38
39
40
41
42
43
44
 
  @Test
  public void testRemoveEffect() 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());
    RelEffect effect = parser.relEffect();
   
    Assert.assertEquals("Effect type is wrong", RelEffect.EffectType.REMOVE, effect.getType());
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
 
  @Test
  public void testRemoveManyEffect() throws ParseException {
    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());
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
  @Test
  public void testTestEffect() throws ParseException {
    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());
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
  @Test
  public void testNegTestEffect() throws ParseException {
    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());
View Full Code Here
62
63
64
65
66
67
68
69
70
71
72
73
74
    aliases = new TestAliasContext[2];
   
    RelationshipDelta delta;
    TestAliasContext aliasContext;
   
    relations[0] = new Relation("A", new String[] {"Foo", "Bar"});
    relations[1] = new Relation("B", new String[] {"Bar", "Bar"});
    relations[2] = new Relation("C", new String[] {"Bar", "Bazar"});
 
    labels[0] = new AbstractObjectLabel("w", "Bar");
    labels[1] = new AbstractObjectLabel("x");
    labels[2] = new AbstractObjectLabel("y", "Foo");
    labels[3] = new AbstractObjectLabel("z");
View Full Code Here
TOP

Related Classes of edu.cmu.cs.fusion.Relation

  • edu.cmu.cs.fusion.constraint.requestors.CallbackRequestor
  • edu.cmu.cs.fusion.constraint.requestors.EffectRequestor
  • edu.cmu.cs.fusion.relationship.TestFullyBoundRestrictions
  • edu.cmu.cs.fusion.test.lattice.ContextTest
  • edu.cmu.cs.fusion.test.lattice.DeltaTest
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseEffect
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseRelationshipPredicate
  • edu.cmu.cs.fusion.test.parsers.predicate.ParseTestPredicate
  • edu.cmu.cs.fusion.test.TestGetInferredDelta
  • edu.cmu.cs.fusion.test.TestUtils
    • 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.