public final class StrictErrorHandler extends Object implements ErrorHandler
ErrorHandler.
It throws an exception on any parse error, even
recoverable ones.| Modifier and Type | Method and Description |
|---|---|
void |
error(GalimatiasParseException error) |
void |
fatalError(GalimatiasParseException error) |
static StrictErrorHandler |
getInstance() |
public static StrictErrorHandler getInstance()
public void error(GalimatiasParseException error) throws GalimatiasParseException
error in interface ErrorHandlerGalimatiasParseExceptionpublic void fatalError(GalimatiasParseException error)
fatalError in interface ErrorHandlerCopyright © 2013–2014. All rights reserved.