org.jsmiparser.phase.file
Interface FileParserProblemReporter

public interface FileParserProblemReporter

Method Summary

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)

Method Detail

reportTokenStreamError

void reportTokenStreamError(java.lang.String resourceLocation,
                            java.lang.String msg)

reportParseError

void reportParseError(org.jsmiparser.util.location.Location location,
                      java.lang.String msg)

reportFileNotFound

void reportFileNotFound(java.io.File file)

reportIoException

void reportIoException(org.jsmiparser.util.location.Location location,
                       java.lang.String message)