public interface ErrorHandler
Modifier and Type | Method and Description |
---|---|
void |
error(GalimatiasParseException error) |
void |
fatalError(GalimatiasParseException error) |
void error(GalimatiasParseException error) throws GalimatiasParseException
GalimatiasParseException
void fatalError(GalimatiasParseException error)
Copyright © 2013–2014. All rights reserved.