Examples of edu.cmu.cs.fusion.relationship.RelationshipContext

edu.cmu.cs.fusion.relationship.RelationshipContext
The relationship context. This is effectively the tuple lattice which maps relationships to true, false, or unknown. Bottom is not used. Notice that since it does not use bottom, it treats the bottom of the lattice as the same as the top of the lattice. This issue is handled by a seperate bottom flag. Notice that as soon as ANY modification is made, it goes from bottom directly to top. This is an immutable lattice! The only way to make changes is by joining (and getting a new lattice) or by applying delta changes (and getting a new lattice). @author ciera

    assertTrue(join.getValue(new Relationship(tB, new ObjectLabel[] {z, y})) == SevenPointLattice.UNK);
  }
  
  @Test
  public void testStrictPrecise() {
    RelationshipContext ctx = new RelationshipContext(false).applyChangesFromDelta(d1);
    RelationshipDelta delta;
    
    //test the empty delta
    delta = new RelationshipDelta();
    assertTrue(!delta.isStrictlyMorePrecise(ctx));

View Full Code Here

    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {w, z}), SevenPointLattice.FAL);
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {x, y}), SevenPointLattice.TRU);
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {x, z}), SevenPointLattice.FAL);
    delta.setRelationship(new Relationship(tB, new ObjectLabel[] {y, z}), SevenPointLattice.TRU);
    delta.setRelationship(new Relationship(tB, new ObjectLabel[] {z, y}), SevenPointLattice.UNK);
    c1 = new RelationshipContext(true).applyChangesFromDelta(delta);
    
    delta = new RelationshipDelta();
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {w, y}), SevenPointLattice.TRU);
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {w, z}), SevenPointLattice.FAL);
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {x, y}), SevenPointLattice.FAL);
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {x, z}), SevenPointLattice.TRU);
    delta.setRelationship(new Relationship(tB, new ObjectLabel[] {y, z}), SevenPointLattice.UNK);
    delta.setRelationship(new Relationship(tB, new ObjectLabel[] {z, y}), SevenPointLattice.UNK);
    c2 = new RelationshipContext(true).applyChangesFromDelta(delta);


    delta = new RelationshipDelta();
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {w, y}), SevenPointLattice.TRU);
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {w, z}), SevenPointLattice.FAL);
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {x, y}), SevenPointLattice.UNK);
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {x, z}), SevenPointLattice.UNK);
    delta.setRelationship(new Relationship(tB, new ObjectLabel[] {y, z}), SevenPointLattice.UNK);
    delta.setRelationship(new Relationship(tB, new ObjectLabel[] {z, y}), SevenPointLattice.UNK);
    c3 = new RelationshipContext(true).applyChangesFromDelta(delta);


    delta = new RelationshipDelta();
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {w, y}), SevenPointLattice.TRU);
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {w, z}), SevenPointLattice.UNK);
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {x, y}), SevenPointLattice.FAL);
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {x, z}), SevenPointLattice.UNK);
    delta.setRelationship(new Relationship(tB, new ObjectLabel[] {y, z}), SevenPointLattice.UNK);
    delta.setRelationship(new Relationship(tB, new ObjectLabel[] {z, y}), SevenPointLattice.UNK);
    c4 = new RelationshipContext(true).applyChangesFromDelta(delta);
    
    
    d1 = new RelationshipDelta();
    d1.setRelationship(new Relationship(tA, new ObjectLabel[] {w, y}), SevenPointLattice.TRU);
    d1.setRelationship(new Relationship(tA, new ObjectLabel[] {x, z}), SevenPointLattice.FAL);

View Full Code Here

    d4.setRelationship(new Relationship(tB, new ObjectLabel[] {z, y}), SevenPointLattice.TRU_STAR);
}
  
  @Test
  public void testJoinSame() {
    RelationshipContext joined = c1.join(c2);
    assertTrue(joined.getRelationship(new Relationship(tA, new ObjectLabel[] {w, y})) == ThreeValue.TRUE);
    assertTrue(joined.getRelationship(new Relationship(tA, new ObjectLabel[] {w, z})) == ThreeValue.FALSE);
    assertTrue(joined.getRelationship(new Relationship(tA, new ObjectLabel[] {x, y})) == ThreeValue.UNKNOWN);
    assertTrue(joined.getRelationship(new Relationship(tA, new ObjectLabel[] {x, z})) == ThreeValue.UNKNOWN);
    assertTrue(joined.getRelationship(new Relationship(tB, new ObjectLabel[] {y, z})) == ThreeValue.UNKNOWN);
    assertTrue(joined.getRelationship(new Relationship(tB, new ObjectLabel[] {z, y})) == ThreeValue.UNKNOWN);
  }

View Full Code Here

    assertTrue(joined.getRelationship(new Relationship(tB, new ObjectLabel[] {z, y})) == ThreeValue.UNKNOWN);
  }
  
  @Test
  public void testJoinMorePrecise() {
    RelationshipContext joined = c2.join(c3);
    assertTrue(joined.equals(c3));
  }

View Full Code Here

    assertTrue(joined.equals(c3));
  }
  
  @Test
  public void testJoinBottom() {
    RelationshipContext b1 = new RelationshipContext(true);
    RelationshipContext b2 = new RelationshipContext(true);
    RelationshipContext joined;
    
    joined = c2.join(b1);
    assertTrue(joined.equals(c2));
    
    joined = b1.join(c4);
    assertTrue(joined.equals(c4));
  
    joined = b1.join(b2);
    assertTrue(joined.equals(b2));
    assertTrue(joined.equals(b1));
  }

View Full Code Here

    assertTrue(joined.equals(b1));
  }
  
  @Test
  public void testBottomIsMorePrecise() {
    RelationshipContext b1 = new RelationshipContext(true);
    RelationshipContext b2 = new RelationshipContext(true);
    
    assertTrue(b1.isMorePreciseOrEqualTo(c3));
    assertTrue(!c1.isMorePreciseOrEqualTo(b2));
    assertTrue(b1.isMorePreciseOrEqualTo(b2));
  }

View Full Code Here

  }
  
  
  @Test
  public void testBottomStrictlyIsMorePrecise() {
    RelationshipContext b1 = new RelationshipContext(true);
    RelationshipContext b2 = new RelationshipContext(true);
    
    assertTrue(b1.isStrictlyMorePrecise(c3));
    assertTrue(!c1.isStrictlyMorePrecise(b2));
    assertTrue(!b1.isStrictlyMorePrecise(b2));
  }

View Full Code Here

  }


  
  @Test
  public void testApplyChangesToContext() {
    RelationshipContext applied;
    
    applied = c1.applyChangesFromDelta(d1);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {w, y})) == ThreeValue.TRUE);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {w, z})) == ThreeValue.FALSE);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {x, y})) == ThreeValue.TRUE);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {x, z})) == ThreeValue.FALSE);
    assertTrue(applied.getRelationship(new Relationship(tB, new ObjectLabel[] {y, z})) == ThreeValue.TRUE);
    assertTrue(applied.getRelationship(new Relationship(tB, new ObjectLabel[] {z, y})) == ThreeValue.UNKNOWN);
  
    applied = c1.applyChangesFromDelta(d2);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {w, y})) == ThreeValue.TRUE);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {w, z})) == ThreeValue.FALSE);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {x, y})) == ThreeValue.FALSE);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {x, z})) == ThreeValue.FALSE);
    assertTrue(applied.getRelationship(new Relationship(tB, new ObjectLabel[] {y, z})) == ThreeValue.UNKNOWN);
    assertTrue(applied.getRelationship(new Relationship(tB, new ObjectLabel[] {z, y})) == ThreeValue.UNKNOWN);


    applied = c1.applyChangesFromDelta(d3);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {w, y})) == ThreeValue.TRUE);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {w, z})) == ThreeValue.FALSE);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {x, y})) == ThreeValue.UNKNOWN);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {x, z})) == ThreeValue.UNKNOWN);
    assertTrue(applied.getRelationship(new Relationship(tB, new ObjectLabel[] {y, z})) == ThreeValue.UNKNOWN);
    assertTrue(applied.getRelationship(new Relationship(tB, new ObjectLabel[] {z, y})) == ThreeValue.UNKNOWN);


    applied = c1.applyChangesFromDelta(d4);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {w, y})) == ThreeValue.TRUE);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {w, z})) == ThreeValue.UNKNOWN);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {x, y})) == ThreeValue.TRUE);
    assertTrue(applied.getRelationship(new Relationship(tA, new ObjectLabel[] {x, z})) == ThreeValue.FALSE);
    assertTrue(applied.getRelationship(new Relationship(tB, new ObjectLabel[] {y, z})) == ThreeValue.UNKNOWN);
    assertTrue(applied.getRelationship(new Relationship(tB, new ObjectLabel[] {z, y})) == ThreeValue.UNKNOWN);
  }

View Full Code Here

    assertTrue(applied.getRelationship(new Relationship(tB, new ObjectLabel[] {z, y})) == ThreeValue.UNKNOWN);
  }


  @Test
  public void testApplyChangesToContextBottom() {
    RelationshipContext b1 = new RelationshipContext(true);
    RelationshipDelta delta = new RelationshipDelta();
    RelationshipContext changes;
    
    changes = b1.applyChangesFromDelta(delta);
    assertTrue(b1.isMorePreciseOrEqualTo(changes));
    assertTrue(changes.isMorePreciseOrEqualTo(b1));
    
    delta.setRelationship(new Relationship(tA, new ObjectLabel[] {w, y}), SevenPointLattice.UNK);
    changes = b1.applyChangesFromDelta(delta);
    assertTrue(b1.isMorePreciseOrEqualTo(changes));
    assertTrue(!changes.isMorePreciseOrEqualTo(b1));
  }

View Full Code Here


    relations = new Relation[2];
    relations[0] = new Relation("A", new String[] {"Foo", "Bar"});
    relations[1] = new Relation("B", new String[] {"Foo", "Foo"});
    
    ctx = new RelationshipContext(false);
    RelationshipDelta delta = new RelationshipDelta();
    delta.setRelationship(new Relationship(relations[0], new ObjectLabel[] {labels[0], labels[1]}), SevenPointLattice.TRU);
    ctx = ctx.applyChangesFromDelta(delta);
    
    FreeVars.setHierarchy(testH);

View Full Code Here

0 1

TOP

Related Classes of edu.cmu.cs.fusion.relationship.RelationshipContext

edu.cmu.cs.fusion.constraint.predicates.RelationshipPredicate

edu.cmu.cs.fusion.DefaultRetriever

edu.cmu.cs.fusion.ErrorReporterVisitor

edu.cmu.cs.fusion.FusionAnalysis

edu.cmu.cs.fusion.Relationship

edu.cmu.cs.fusion.test.lattice.ContextTest

edu.cmu.cs.fusion.test.lattice.DeltaTest

edu.cmu.cs.fusion.test.TestGetInferredDelta

edu.cmu.cs.fusion.test.TestUtils

edu.cmu.cs.fusion.xml.XMLRetriever

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.