private Expr withLocation(Expr expr) { expr.setLocation(currentLocation); return expr; }
public static Expr binary(BinaryOperation op, OperationType type, Expr first, Expr second, TextLocation loc) { Expr expr = binary(op, type, first, second); expr.setLocation(loc); return expr; }
private Expr readExpr(DataInput input) throws IOException { TextLocation location = readLocation(input); Expr expr = readExprWithoutLocation(input); expr.setLocation(location); return expr; }
private Expr compare(BinaryOperation op, OperationType type, Variable value) { Expr expr = Expr.binary(op, type, Expr.var(value.getIndex()), Expr.constant(0)); expr.setLocation(currentLocation); return expr; }
Expr newCondition = Expr.binary(BinaryOperation.AND, null, statement.getCondition(), ExprOptimizer.invert(cond.getCondition())); newCondition.setLocation(statement.getCondition().getLocation()); statement.setCondition(newCondition); } else {
assignment.getRightValue().setLocation(assignment.getLocation()); assignment.getRightValue().acceptVisitor(this);
Expr result = BinaryExpr.binary(expr.getOperation(), comparison.getType(), comparison.getFirstOperand(), comparison.getSecondOperand()); result.setLocation(comparison.getLocation()); if (invert) { result = ExprOptimizer.invert(result);
private Expr withLocation(Expr expr) { expr.setLocation(currentLocation); return expr; }
public static Expr binary(BinaryOperation op, OperationType type, Expr first, Expr second, TextLocation loc) { Expr expr = binary(op, type, first, second); expr.setLocation(loc); return expr; }
private Expr readExpr(DataInput input) throws IOException { TextLocation location = readLocation(input); Expr expr = readExprWithoutLocation(input); expr.setLocation(location); return expr; }
private Expr compare(BinaryOperation op, OperationType type, Variable value) { Expr expr = Expr.binary(op, type, Expr.var(value.getIndex()), Expr.constant(0)); expr.setLocation(currentLocation); return expr; }
Expr newCondition = Expr.binary(BinaryOperation.AND, null, statement.getCondition(), ExprOptimizer.invert(cond.getCondition())); newCondition.setLocation(statement.getCondition().getLocation()); statement.setCondition(newCondition); } else {
assignment.getRightValue().setLocation(assignment.getLocation()); assignment.getRightValue().acceptVisitor(this);
Expr result = BinaryExpr.binary(expr.getOperation(), comparison.getType(), comparison.getFirstOperand(), comparison.getSecondOperand()); result.setLocation(comparison.getLocation()); if (invert) { result = ExprOptimizer.invert(result);