public interface FileParserProblemReporter
| Modifier and Type | Method and Description |
|---|---|
void |
reportFileNotFound(java.io.File file) |
void |
reportIoException(org.jsmiparser.util.location.Location location,
java.lang.String message) |
void |
reportParseError(org.jsmiparser.util.location.Location location,
java.lang.String msg) |
void |
reportTokenStreamError(java.lang.String resourceLocation,
java.lang.String msg) |
void reportTokenStreamError(java.lang.String resourceLocation,
java.lang.String msg)
void reportParseError(org.jsmiparser.util.location.Location location,
java.lang.String msg)
void reportFileNotFound(java.io.File file)
void reportIoException(org.jsmiparser.util.location.Location location,
java.lang.String message)