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_)); }
/** 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_)); }
protected void setUp() throws Exception { super.setUp(); occursCheck_ = new OccursCheckVisitor(); factory_ = new ProverFactory(); joker_ = (ProverJokerExpr) factory_.createJokerExpr(jokerName_, null); }