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-2017 Gaudenz Alder, JGraph Ltd. All rights reserved.