Example #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_));
 }
Example #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_));
 }
Example #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_));
 }