org.jsmiparser.phase.file

Interface FileParserProblemReporter

public interface FileParserProblemReporter

Method Summary

Methods

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)

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)