@Override
public Boolean visit(Or 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.isCompatibleToBool() && rhsType.isCompatibleToBool())) {
addToErrorList(
ast,
"the operator || can not be applied to instances of type "
+ lhsType.getClass()
+ " and type "
+ rhsType.getClass());
return false;
}
return true;
}
