Class CLI.PrintErrorHandler

java.lang.Object

io.mola.galimatias.cli.CLI.PrintErrorHandler

All Implemented Interfaces:

ErrorHandler

Enclosing class:

CLI

private static class CLI.PrintErrorHandler
extends Object
implements ErrorHandler

Constructor Summary

Constructors

Modifier	Constructor	Description
private	PrintErrorHandler()

Method Summary

Modifier and Type	Method	Description
void	error(GalimatiasParseException error)
void	fatalError(GalimatiasParseException error)

Methods inherited from class Object

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

Constructor Details

PrintErrorHandler

private PrintErrorHandler()

Method Details

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