public class FeedbackManager
extends java.lang.Object
构造器和说明 |
---|
FeedbackManager() |
限定符和类型 | 方法和说明 |
---|---|
static void |
error(java.lang.String message,
ParserException e) |
static void |
info(java.lang.String message) |
static void |
setParserFeedback(ParserFeedback feedback) |
static void |
warning(java.lang.String message) |
public static void setParserFeedback(ParserFeedback feedback)
public static void info(java.lang.String message)
public static void warning(java.lang.String message)
public static void error(java.lang.String message, ParserException e)