public final void testFalseNegationSimplification() {
False falseExp = new False();
falseExp.type = BooleanType.instance;
Not not = new Not(falseExp);
not.type = BooleanType.instance;
expressionSimplificationTester(not, True.class, BooleanType.instance, 0, false);
}
private void andWithFalse(boolean withSideEffect, boolean falseOnLeft) {
And and = new And();
and.type = BooleanType.instance;
False falseExp = new False();
falseExp.type = BooleanType.instance;
java.lang.Class expectedClass;
if (withSideEffect) expectedClass = And.class;
else expectedClass = False.class;
operationWithConstantValue(and, expectedClass, falseExp, falseOnLeft, withSideEffect);
}
public final void testEvenConstantNegationSimplification() {
False falseExp = new False();
falseExp.type = BooleanType.instance;
Not not1 = new Not(falseExp);
not1.type = BooleanType.instance;
Not not2 = new Not(not1);
not2.type = BooleanType.instance;
expressionSimplificationTester(not2, False.class, BooleanType.instance, 0, false);
}