public class DefaultErrorHandler extends Object implements ErrorHandler
Constructor and Description |
---|
DefaultErrorHandler() |
Modifier and Type | Method and Description |
---|---|
void |
error(ParseException e)
Implements
ErrorHandler.error(ParseException) . |
public void error(ParseException e) throws ParseException
ErrorHandler.error(ParseException)
.
Throws the given exception.error
in interface ErrorHandler
ParseException
Copyright (c) 2010-2017 Gaudenz Alder, JGraph Ltd. All rights reserved.