package qlProject.typeChecking.complaints.expression_level_complaint; import qlProject.ast.expression.IExpression; import qlProject.ast.type.Type; import qlProject.typeChecking.complaints.Complaint; public class ConditionTypeError implements Complaint { private final String errorMessage; public ConditionTypeError(IExpression e, Type t){ errorMessage = "Condition type error: the expression: " + e.toString() + " is supposed to be a boolean expression, but it seems to be an expression of type " + t.toString(); } @Override public String getMessage() { return errorMessage; } @Override // TODO remove public void presentComplaint() { System.out.println(errorMessage); } }