DefaultErrorHandler
public interface ErrorHandler
Modifier and Type | Method | 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.