Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.gui.originlabels |
Modifier and Type | Method and Description |
---|---|
static java.util.SortedSet<NodeInfoVisualizer> |
NodeInfoVisualizer.getInstances(Node node)
Returns the set of open
NodeInfoWindow s associated with the specified node. |
Modifier and Type | Method and Description |
---|---|
int |
NodeInfoVisualizer.compareTo(NodeInfoVisualizer other) |
protected static void |
NodeInfoVisualizer.unregister(NodeInfoVisualizer vis)
Ensures that the specified visualizer will not be returned by
getInstances(Node) . |
void |
NodeInfoVisualizerListener.visualizerRegistered(NodeInfoVisualizer vis)
Called when a new visualizer has been registered.
|
void |
NodeInfoVisualizerListener.visualizerUnregistered(NodeInfoVisualizer vis)
Called when a visualizer has been unregistered.
|
Modifier and Type | Class and Description |
---|---|
class |
OriginTermLabelVisualizer
This UI component visualizes the
OriginTermLabel s of a term and its sub-terms. |
Copyright © 2003-2019 The KeY-Project.