public interface ErrorHandler<Tag extends java.lang.Enum<Tag>>
ErrorHandler
is a basic error handling interface.Modifier and Type | Method and Description |
---|---|
void |
handle(AbstractNode<Tag> newNode,
AbstractNode<Tag> oldNode)
Handles an error.
|
void handle(AbstractNode<Tag> newNode, AbstractNode<Tag> oldNode)
newNode
- the current node.oldNode
- the old node (for handling redefinition errors).