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 ErrorHandler
GalimatiasParseException
public void fatalError(GalimatiasParseException error)
fatalError
in interface ErrorHandler
Copyright © 2013–2014. All rights reserved.