Package edu.cmu.cs.fusion

Examples of edu.cmu.cs.fusion.Relationship

172
173
174
175
176
177
178
179
180
181
182
      Relation relType = relEnv.findRelation(relName);
      if (relType == null)
        throw new FusionTypeCheckException(relName);
     
      ObjectLabel[] labArr = getLabels(relElement, relType, types);
      Relationship rel = new Relationship(relType, labArr);
     
      delta.setRelationship(rel, effect == Effect.ADD ? SevenPointLattice.TRU : SevenPointLattice.FAL);
    }
    return delta;
  }
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
   
    for (int ndx = 0; ndx < vars.length; ndx++) {
      objLabels[ndx] = sub.getSub(vars[ndx]);
    }
   
    Relationship rel = new Relationship(type, objLabels);
    ThreeValue val = env.getContext().getRelationship(rel);
   
    if (val == ThreeValue.UNKNOWN) {
      RelationshipDelta delta = env.getInferredDelta(this, sub);
     
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
166
    Constraint cons = new Constraint("", op, new TruePredicate(), new TruePredicate(), new TruePredicate(), effects);

    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, AliasDelta> deltas = runSingleConstraint(env, cons, instr);
    FusionErrorReport error = checkSingleConstraint(env, cons, instr);
    Relationship eff1 = new Relationship(utils.getRelation(1), new ObjectLabel[]{labels[5], labels[5]});
    Relationship eff2 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[3], labels[5]});

    assertEquals(2, deltas.fst().numberOfChanges());
    assertEquals(SevenPointLattice.FAL, deltas.fst().getValue(eff1));
    assertEquals(SevenPointLattice.TRU, deltas.fst().getValue(eff2));
   
View Full Code Here
188
189
190
191
192
193
194
195
196
197
198
199

    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, AliasDelta> deltas = runSingleConstraint(env, cons, instr);
    FusionErrorReport error = checkSingleConstraint(env, cons, instr);
    Relationship eff1 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[0], labels[5]});
    Relationship eff2 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[3], labels[5]});

    assertEquals(2, deltas.fst().numberOfChanges());
    assertEquals(SevenPointLattice.FAL, deltas.fst().getValue(eff1));
    assertEquals(SevenPointLattice.TRU, deltas.fst().getValue(eff2));
   
View Full Code Here
219
220
221
222
223
224
225
226
227
228
229
230
    expected.addChange(instr.getArgOperands().get(0), labels[2]); 

    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, AliasDelta> deltas = runSingleConstraint(env, cons, instr);
    FusionErrorReport error = checkSingleConstraint(env, cons, instr);
    Relationship eff1 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[0], labels[2]});
    Relationship eff2 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[3], labels[2]});

    assertEquals(2, deltas.fst().numberOfChanges());
    assertEquals(SevenPointLattice.FAL, deltas.fst().getValue(eff1));
    assertEquals(SevenPointLattice.TRU, deltas.fst().getValue(eff2));
    assertEquals(expected, deltas.snd());
View Full Code Here
251
252
253
254
255
256
257
258
259
260
261
262
263
    expected.addChange(instr.getArgOperands().get(0), labels[5]); 

    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, AliasDelta> deltas = runSingleConstraint(env, cons, instr);
    FusionErrorReport error = checkSingleConstraint(env, cons, instr);
    Relationship eff1 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[0], labels[5]});
    Relationship eff2 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[3], labels[5]});
    Relationship eff3 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[4], labels[5]});

    assertEquals(3, deltas.fst().numberOfChanges());
    assertEquals(SevenPointLattice.FAL, deltas.fst().getValue(eff1));
    assertEquals(SevenPointLattice.TRU_STAR, deltas.fst().getValue(eff2));
    assertEquals(SevenPointLattice.TRU_STAR, deltas.fst().getValue(eff3));
View Full Code Here
286
287
288
289
290
291
292
293
294
295
296
297
298
299
    expected.addChange(instr.getArgOperands().get(0), labels[2]); 

    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, AliasDelta> deltas = runSingleConstraint(env, cons, instr);
    FusionErrorReport error = checkSingleConstraint(env, cons, instr);
    Relationship eff1 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[0], labels[1]});
    Relationship eff2 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[3], labels[1]});
    Relationship eff3 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[0], labels[2]});
    Relationship eff4 = new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[3], labels[2]});

    assertEquals(4, deltas.fst().numberOfChanges());
    assertEquals(SevenPointLattice.FAL_STAR, deltas.fst().getValue(eff1));
    assertEquals(SevenPointLattice.TRU_STAR, deltas.fst().getValue(eff2));
    assertEquals(SevenPointLattice.FAL_STAR, deltas.fst().getValue(eff3));
View Full Code Here
94
95
96
97
98
99
100
101
102
103
    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
223
224
225
226
227
228
229
230
231
    Substitution sub = new Substitution();
    sub = sub.addSub(new SpecVar("a"), labels[0]);
   
    RelationshipDelta delta = env.getInferredDelta(find, sub);
    assertNotNull(delta);
    SevenPointLattice val = delta.getValue(new Relationship(relations[0], new ObjectLabel[] {labels[0], labels[0]}));
    assertEquals(SevenPointLattice.TRU, val);
    assertEquals(1, delta.numberOfChanges()); 
  }
View Full Code Here
251
252
253
254
255
256
257
258
259
    Substitution sub = new Substitution();
    sub = sub.addSub(new SpecVar("a"), labels[0]);
   
    RelationshipDelta delta = env.getInferredDelta(find, sub);
    assertNotNull(delta);
    SevenPointLattice val = delta.getValue(new Relationship(relations[1], new ObjectLabel[] {labels[0], labels[0]}));
    assertEquals(SevenPointLattice.TRU, val);
    assertEquals(1, delta.numberOfChanges());   
  }
View Full Code Here
TOP

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

  • edu.cmu.cs.fusion.constraint.predicates.RelationshipPredicate
  • edu.cmu.cs.fusion.constraint.RelEffect
  • edu.cmu.cs.fusion.relationship.RelationshipContext
  • edu.cmu.cs.fusion.relationship.TestFullBoundEffects
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresComplete
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresPragmatic
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresSound
  • edu.cmu.cs.fusion.relationship.TestFullyBoundRestrictions
  • edu.cmu.cs.fusion.relationship.TestSingleConstraint
  • edu.cmu.cs.fusion.test.constraint.TestEffect
    • 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.