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 com.kitfox.svg.Group |
DotPanel.getSVGElementOf(com.kitfox.svg.SVGDiagram image,
DotElement element) |
void |
DotPanel.select(DotElement element) |
static java.lang.String |
DotPanel.setCSSAttributeOf(com.kitfox.svg.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,
com.kitfox.svg.SVGDiagram image) |
void |
DotElementSelectionListener.selected(DotElement element,
com.kitfox.svg.SVGDiagram image) |