Method translate

src/chap14/ToJava.java:114–116

(TypeInfo result)

    @Reviser public static class NegativeEx extends NegativeExpr {
        public NegativeEx(List<ASTree> c) { super(c); }
        public String translate(TypeInfo result) {
            return "-" + ((ASTreeEx)operand()).translate(null);
        }
    }
    @Reviser public static class BinaryEx2 extends TypeChecker.BinaryEx {
        public BinaryEx2(List<ASTree> c) { super(c); }