| Package | Description |
|---|---|
| org.processmining.plugins.graphviz.dot | |
| org.processmining.plugins.graphviz.visualisation | |
| org.processmining.plugins.graphviz.visualisation.listeners |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractDotElement |
class |
Dot |
class |
DotCluster |
class |
DotEdge |
class |
DotNode |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<DotElement> |
DotPanel.getMouseInElements() |
java.util.Set<DotElement> |
DotPanel.getSelectedElements() |
| Modifier and Type | Method and Description |
|---|---|
static Group |
DotPanel.getSVGElementOf(SVGDiagram image,
DotElement element) |
void |
DotPanel.select(DotElement element) |
static java.lang.String |
DotPanel.setCSSAttributeOf(SVGDiagram image,
DotElement element,
java.lang.String attribute,
java.lang.String value)
Set a css-property of a DotElement; returns the old value or null.
|
| Modifier and Type | Method and Description |
|---|---|
void |
DotPanel.addMouseInElementsChangedListener(MouseInElementsChangedListener<DotElement> listener) |
void |
DotPanel.addSelectionChangedListener(SelectionChangedListener<DotElement> listener) |
| Modifier and Type | Method and Description |
|---|---|
void |
DotElementSelectionListener.deselected(DotElement element,
SVGDiagram image) |
void |
DotElementSelectionListener.selected(DotElement element,
SVGDiagram image) |