Package | Description |
---|---|
org.processmining.plugins.graphviz.dot |
Modifier and Type | Method and Description |
---|---|
java.util.List<DotElementSelectionListener> |
AbstractDotElement.getSelectionListeners() |
java.util.List<DotElementSelectionListener> |
DotElement.getSelectionListeners() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractDotElement.addSelectionListener(DotElementSelectionListener listener) |
void |
DotElement.addSelectionListener(DotElementSelectionListener listener)
Add a selection/deselection listener.
|