예제 #1
0
  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);
  }
예제 #2
0
 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);
 }
예제 #3
0
  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);
  }