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); }