public interface ErrorHandler
| Modifier and Type | Method and Description |
|---|---|
void |
error(ParseException e)
Called when a parse error occurs.
|
void error(ParseException e) throws ParseException
ParseExceptionCopyright (c) 2010 Gaudenz Alder. All rights reserved.