public String ToString() { StringBuilder str = new StringBuilder(); str.append('('); str.append(e1.toString()); str.append(' '); switch (op) { case AND: str.append("&&"); break; case OR: str.append("||"); break; case EQBOOL: str.append("=="); break; case LT: str.append('<'); break; case GT: str.append('>'); break; case LEQ: str.append("<="); break; case GEQ: str.append(">="); break; case PLUS: str.append('+'); break; case MINUS: str.append('-'); break; case TIMES: str.append('*'); break; case DIV: str.append('/'); break; default: return ""; } str.append(' '); str.append(e2.toString()); str.append(')'); return str.toString(); }