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