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();
}
