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)