public interface NodeInfoVisualizerListener
NodeInfoVisualizer
class.
Listeners are notified whenever a visualizer is registered or unregistered from
NodeInfoVisualizer.getInstances(de.uka.ilkd.key.proof.Node)
.Modifier and Type | Method and Description |
---|---|
void |
visualizerRegistered(NodeInfoVisualizer vis)
Called when a new visualizer has been registered.
|
void |
visualizerUnregistered(NodeInfoVisualizer vis)
Called when a visualizer has been unregistered.
|
void visualizerRegistered(NodeInfoVisualizer vis)
vis
- the registered visualizer.void visualizerUnregistered(NodeInfoVisualizer vis)
vis
- the unregistered visualizer.Copyright © 2003-2019 The KeY-Project.