Package io.mola.galimatias

Class StrictErrorHandler

java.lang.Object

io.mola.galimatias.StrictErrorHandler

All Implemented Interfaces:

ErrorHandler

public final class StrictErrorHandler
extends java.lang.Object
implements ErrorHandler

Strict ErrorHandler. It throws an exception on any parse error, even recoverable ones.

Method Summary

Modifier and Type	Method	Description
void	error(GalimatiasParseException error)
void	fatalError(GalimatiasParseException error)
static StrictErrorHandler	getInstance()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getInstance

public static StrictErrorHandler getInstance()

error

public void error(GalimatiasParseException error)
           throws GalimatiasParseException

Specified by:

error in interface ErrorHandler

Throws:

GalimatiasParseException

fatalError

public void fatalError(GalimatiasParseException error)

Specified by:

fatalError in interface ErrorHandler