public static void addWarning(AstElement e, String msg) {
WLogger.info("Adding warning: " + msg);
addErrorOrWarning(e, msg, ErrorType.WARNING);
}
public static void addError(AstElement e, String msg) {
WLogger.info("Adding error: " + msg);
addErrorOrWarning(e, msg, ErrorType.ERROR);
}