@Override
public void visit(Minus minusExp) {
System.out.print("(");
if (minusExp.getLHS() != null) minusExp.getLHS().accept(this);
System.out.print(" - ");
if (minusExp.getRHS() != null) minusExp.getRHS().accept(this);
System.out.print(")");
}
public final void testSubtractionBetweenIntegersSimplification() {
Minus minus = new Minus();
minus.left = new Number(5);
minus.left.type = IntegerType.instance;
minus.right = new Number(2);
minus.right.type = IntegerType.instance;
expressionSimplificationTester(minus, Number.class, IntegerType.instance, 3, true);
}
public static void init() {
Add.init();
Address.init();
Align.init();
Alloc.init();
Anchor.init();
And.init();
Bad.init();
Bitcast.init();
Block.init();
Builtin.init();
Call.init();
Cmp.init();
Cond.init();
Confirm.init();
Const.init();
Conv.init();
CopyB.init();
Deleted.init();
Div.init();
Dummy.init();
End.init();
Eor.init();
Free.init();
IJmp.init();
Id.init();
Jmp.init();
Load.init();
Member.init();
Minus.init();
Mod.init();
Mul.init();
Mulh.init();
Mux.init();
NoMem.init();
Not.init();
Offset.init();
Or.init();
Phi.init();
Pin.init();
Proj.init();
Raise.init();
Return.init();
Sel.init();
Shl.init();
Shr.init();
Shrs.init();
Size.init();
Start.init();
Store.init();
Sub.init();
Switch.init();
Sync.init();
Tuple.init();
Unknown.init();
}
public final void testZeroMinusExp() {
Minus m = new Minus();
m.type = IntegerType.instance;
operationWithZero(m, Minus.class, true, true);
}
public final void testExpMinusZero() {
Minus m = new Minus();
m.type = IntegerType.instance;
operationWithZero(m, null, false, true);
}
