JSGLRParseErrorHandler¶

public class JSGLRParseErrorHandler¶

Constructors¶

JSGLRParseErrorHandler¶

public JSGLRParseErrorHandler(JSGLRI<?> parser, FileObject resource, boolean hasRecoveryRules)¶

Methods¶

gatherNonFatalErrors¶

public void gatherNonFatalErrors(IStrategoTerm top)¶

messages¶

public Iterable<IMessage> messages()¶

processFatalException¶

public void processFatalException(ITokens tokenizer, Exception exception)¶

setRecoveryFailed¶

public void setRecoveryFailed(boolean recoveryFailed)¶

Read the Docs v: latest

Versions: latest

Downloads: htmlzip

On Read the Docs: Project Home; Builds

Free document hosting provided by Read the Docs.