Exemplo n.º 1
0
 public void testContains4() {
   Expr left = factory_.createSetExpr();
   Expr joker2 = factory_.createJokerExpr("otherJoker", null);
   MemPred pred = factory_.createMemPred();
   pred.setLeftExpr(left);
   pred.setRightExpr(joker2);
   pred.setMixfix(Boolean.TRUE);
   assertFalse(occursCheck_.contains(pred, joker_));
 }
Exemplo n.º 2
0
 /** Check that multiple instances of the same name joker are equal. */
 public void testContains5() {
   Expr left = factory_.createSetExpr();
   Expr samejoker = factory_.createJokerExpr("jokerName_", null);
   MemPred pred = factory_.createMemPred();
   pred.setLeftExpr(left);
   pred.setRightExpr(samejoker);
   pred.setMixfix(Boolean.TRUE);
   assertFalse(occursCheck_.contains(pred, joker_));
 }
Exemplo n.º 3
0
 protected void setUp() throws Exception {
   super.setUp();
   occursCheck_ = new OccursCheckVisitor();
   factory_ = new ProverFactory();
   joker_ = (ProverJokerExpr) factory_.createJokerExpr(jokerName_, null);
 }