Interface TAFParseDiagnosticListener
-
- All Known Implementing Classes:
PrintStreamDiagnosticListener
public interface TAFParseDiagnosticListenerDiagnostic listener for non-fatal errors and warnings during parsing of a TAF file. The parser will usually recover from these errors and produce a valid automaton anyway. Fatal errors are not reported to a diagnostic listener, but instead aTAFFormatExceptionis thrown.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voiderror(int line, int col, String msgFmt, Object... args)Called when a non-fatal error is encountered during parsing.voidwarning(int line, int col, String msgFmt, Object... args)Called when a warning is raised during parsing.
-
-
-
Method Detail
-
error
void error(int line, int col, String msgFmt, Object... args)Called when a non-fatal error is encountered during parsing.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.
- Parameters:
line- the line where the error occurredcol- the column where the error occurredmsgFmt- a format string of the message (seeMessageFormat)args- the arguments of the message
-
warning
void warning(int line, int col, String msgFmt, Object... args)Called when a warning is raised during parsing.A warning could be raised when, for example, an unrecognized option is used for a state.
- Parameters:
line- the line where the warning was raisedcol- the column where the warning was raisedmsgFmt- a format string of the message (seeMessageFormat)args- the arguments of the message
-
-