io.mola.galimatias

Class DefaultErrorHandler

java.lang.Object

io.mola.galimatias.DefaultErrorHandler

All Implemented Interfaces:

ErrorHandler

public final class DefaultErrorHandler
extends Object
implements ErrorHandler

Default ErrorHandler. It does nothing with errors.

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static DefaultErrorHandler 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