Пример #1
0
 public void testContains3() {
   Expr right = factory_.createSetExpr();
   MemPred pred = factory_.createMemPred();
   pred.setLeftExpr(joker_);
   pred.setRightExpr(right);
   pred.setMixfix(Boolean.TRUE);
   assertTrue(occursCheck_.contains(pred, joker_));
 }
Пример #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_));
 }
Пример #3
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_));
 }
Пример #4
0
 public void testContains2() {
   Term ground = factory_.createNextStroke();
   assertFalse(occursCheck_.contains(ground, joker_));
 }
Пример #5
0
 protected void setUp() throws Exception {
   super.setUp();
   occursCheck_ = new OccursCheckVisitor();
   factory_ = new ProverFactory();
   joker_ = (ProverJokerExpr) factory_.createJokerExpr(jokerName_, null);
 }