public interface TAFParseDiagnosticListener
TAFParseException
is thrown.Modifier and Type | Method and Description |
---|---|
void |
error(int line,
int col,
String msgFmt,
Object... args)
Called when a non-fatal error is encountered during parsing.
|
void |
warning(int line,
int col,
String msgFmt,
Object... args)
Called when a warning is raised during parsing.
|
void error(int line, int col, String msgFmt, Object... args)
A non-fatal error could be, for example, the usage of an input symbol that was not declared in the alphabet. In this case, the respective transition is simply ignored.
line
- the line where the error occurredcol
- the column where the error occurredmsgFmt
- a format string of the message (see MessageFormat
)args
- the arguments of the messagevoid warning(int line, int col, String msgFmt, Object... args)
A warning could be raised when, for example, an unrecognized option is used for a state.
line
- the line where the warning was raisedcol
- the column where the warning was raisedmsgFmt
- a format string of the message (see MessageFormat
)args
- the arguments of the messageCopyright © 2019. All rights reserved.