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

Default ErrorHandler. It does nothing with errors.

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	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

public static DefaultErrorHandler getInstance()

public void error(GalimatiasParseException error)
           throws GalimatiasParseException

public void fatalError(GalimatiasParseException error)

Class DefaultErrorHandler