Examples of InferenceEnvironment

edu.cmu.cs.fusion.constraint.InferenceEnvironment

Examples of edu.cmu.cs.fusion.constraint.InferenceEnvironment

    partialSub = partialSub.addSub(utils.getVar(0), labels[0]);
    partialSub = partialSub.addSub(utils.getVar(1), labels[1]);
    partialSub = partialSub.addSub(Constraint.RESULT, labels[6]);
    partialSub = partialSub.addSub(Constraint.RECEIVER, labels[1]);


    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);    
    Pair<RelationshipDelta, Substitution> deltas = runFullyBound(env, partialSub, cons);


    Relationship eRel = new Relationship(utils.getRelation(1), new ObjectLabel[]{labels[6], labels[1]});


    assertEquals(1, deltas.fst().numberOfChanges());

View Full Code Here

Examples of edu.cmu.cs.fusion.constraint.InferenceEnvironment

    partialSub = partialSub.addSub(Constraint.RESULT, labels[6]);
    partialSub = partialSub.addSub(Constraint.RECEIVER, labels[1]);


    Relationship eRel = new Relationship(utils.getRelation(1), new ObjectLabel[]{labels[6], labels[1]});


    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);    
    Pair<RelationshipDelta, Substitution> deltas = runFullyBound(env, partialSub, cons);


    assertEquals(1, deltas.fst().numberOfChanges());
    assertEquals(SevenPointLattice.FAL_STAR, deltas.fst().getValue(eRel));

View Full Code Here

Examples of edu.cmu.cs.fusion.constraint.InferenceEnvironment

    partialSub = partialSub.addSub(Constraint.RESULT, labels[6]);
    partialSub = partialSub.addSub(Constraint.RECEIVER, labels[1]);


    Relationship eRel = new Relationship(utils.getRelation(1), new ObjectLabel[]{labels[6], labels[1]});


    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);    
    Pair<RelationshipDelta, Substitution> deltas = runFullyBound(env, partialSub, cons);


    assertEquals(1, deltas.fst().numberOfChanges());
    assertEquals(SevenPointLattice.FAL_STAR, deltas.fst().getValue(eRel));

View Full Code Here

Examples of edu.cmu.cs.fusion.constraint.InferenceEnvironment


public class TestEnvironment extends FusionEnvironment<AliasContext> {
  Map<ObjectLabel, ThreeValue> bools;
  
  public TestEnvironment(RelationshipContext relLattice, Variant variant) {
    super(null, relLattice, null, new EqualityOnlyTypeHierarchy(), new InferenceEnvironment(null), variant);
    bools = new HashMap<ObjectLabel, ThreeValue>();
  }

View Full Code Here

Examples of edu.cmu.cs.fusion.constraint.InferenceEnvironment

    super(null, relLattice, null, new EqualityOnlyTypeHierarchy(), new InferenceEnvironment(null), variant);
    bools = new HashMap<ObjectLabel, ThreeValue>();
  }


  public TestEnvironment(RelationshipContext relLattice, Map<ObjectLabel, ThreeValue> bools, Variant variant) {
    super(null, relLattice, null, new EqualityOnlyTypeHierarchy(), new InferenceEnvironment(null), variant);
    this.bools = bools;
  }

View Full Code Here

Examples of edu.cmu.cs.fusion.constraint.InferenceEnvironment

    super(null, relLattice, null, new EqualityOnlyTypeHierarchy(), new InferenceEnvironment(null), variant);
    this.bools = bools;
  }
  
  public TestEnvironment(AliasContext aliases, RelationshipContext relLattice, Map<ObjectLabel, ThreeValue> bools, Variant variant) {
    super(aliases, relLattice, null, new EqualityOnlyTypeHierarchy(), new InferenceEnvironment(null), variant);
    this.bools = bools;
  }

View Full Code Here

Examples of edu.cmu.cs.fusion.constraint.InferenceEnvironment


  }
  
  @Test
  public void testEmptyFindLabels() {
    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, null, null, testH, new InferenceEnvironment(null), Variant.PRAGMATIC_VARIANT);
    FreeVars fv = new FreeVars();
    ConsList<Binding> emptyList = ConsList.empty();
    List<Substitution> subs = env.findLabels(emptyList, fv);
    
    assertEquals(1, subs.size());

View Full Code Here

Examples of edu.cmu.cs.fusion.constraint.InferenceEnvironment

    assertEquals(0, itr.next().size());
  }
  
  @Test
  public void testFindLabelsOneOption() {
    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, null, null, testH, new InferenceEnvironment(null), Variant.PRAGMATIC_VARIANT);
    FreeVars fv = new FreeVars().addVar(new SpecVar("a"), "Foo").addVar(new SpecVar("b"), "Bar");
    ConsList<Binding> list = ConsList.empty();
    
    list = ConsList.cons(new Binding(new SpecVar("a"), vars[0]), list);
    list = ConsList.cons(new Binding(new SpecVar("b"), vars[1]), list);

View Full Code Here

Examples of edu.cmu.cs.fusion.constraint.InferenceEnvironment

    assertEquals(labels[1], sub.getSub(new SpecVar("b")));  
  }


  @Test
  public void testFindLabelsAliasesAllDefinite() {
    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, null, null, testH, new InferenceEnvironment(null), Variant.PRAGMATIC_VARIANT);
    FreeVars fv = new FreeVars().addVar(new SpecVar("a"), "Foo").addVar(new SpecVar("b"), "Bar");
    ConsList<Binding> list = ConsList.empty();
    
    list = ConsList.cons(new Binding(new SpecVar("a"), vars[2]), list);
    list = ConsList.cons(new Binding(new SpecVar("b"), vars[1]), list);

View Full Code Here

Examples of edu.cmu.cs.fusion.constraint.InferenceEnvironment

    }
  }
  
  @Test
  public void testFindLabelsPossibleFromSuperTypes() {
    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, null, null, testH, new InferenceEnvironment(null), Variant.PRAGMATIC_VARIANT);
    FreeVars fv = new FreeVars().addVar(new SpecVar("a"), "SnaFu").addVar(new SpecVar("b"), "Baz");
    ConsList<Binding> list = ConsList.empty();
    
    list = ConsList.cons(new Binding(new SpecVar("a"), vars[3]), list);
    list = ConsList.cons(new Binding(new SpecVar("b"), vars[4]), list);

View Full Code Here

0 1 2 3 4 5

TOP

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.