org.jsmiparser.phase.file
Interface FileParserProblemReporter

public interface FileParserProblemReporter

Method Summary

void	reportFileNotFound(java.io.File file)
void	reportIoException(Location location, java.lang.String message)
void	reportParseError(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(Location location,
                      java.lang.String msg)

reportFileNotFound

void reportFileNotFound(java.io.File file)

reportIoException

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