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
ParseException
Copyright (c) 2010 Gaudenz Alder, David Benson. All rights reserved.