@Override
public Boolean visit(Not ast) {
boolean checkArg = ast.getArg().accept(this);
if (!checkArg) return false;
Type argType = ast.getArg().typeOf(env);
if (!argType.isCompatibleToBool()) {
addToErrorList(
ast,
"the unary operator ! can not be applied to instances of type " + argType.getClass());
return false;
}
return true;
}
@Override
public Boolean visit(Eq ast) {
boolean checkLhs = ast.getLhs().accept(this);
boolean checkRhs = ast.getRhs().accept(this);
if (!(checkLhs && checkRhs)) return false;
Type lhsType = ast.getLhs().typeOf(env);
Type rhsType = ast.getRhs().typeOf(env);
if (!lhsType.isCompatibleTo(rhsType)) {
addToErrorList(
ast,
"the operator == can not be applied to instances of type "
+ lhsType.getClass()
+ " and type "
+ rhsType.getClass());
return false;
}
return true;
}
