package qlProject.typeChecking.complaints.expression_level_complaint.operation_error;
import qlProject.ast.expression.IExpression;
import qlProject.ast.type.Type;
import qlProject.typeChecking.complaints.Complaint;
public class OperationError implements Complaint {
String errorMessage;
public OperationError(IExpression e, Type actualT, Type expectedT){
setMessage(e, actualT, expectedT);
}
public void setMessage(IExpression e, Type actualType, Type expectedT){
errorMessage = "Operation error: the expression " + e.toString() + "seems to be of type "+
actualType.toString() +" but was expected to be of type: " + expectedT.toString();
}
@Override
public String getMessage() {
return errorMessage;
}
@Override
public void presentComplaint() {
System.out.println(errorMessage);
// TODO Auto-generated method stub
}
}