Dot (GraphViz)

java.lang.Object
- org.processmining.plugins.graphviz.dot.AbstractDotElement
- - org.processmining.plugins.graphviz.dot.DotNode
  - - org.processmining.plugins.graphviz.dot.DotCluster
    - - org.processmining.plugins.graphviz.dot.Dot

All Implemented Interfaces:

java.awt.event.MouseListener, java.util.EventListener, DotElement
```
public class Dot
extends DotCluster
```

Nested Class Summary

Nested Classes
Modifier and Type Class Description

static class Dot.GraphDirection

Constructor Summary

Constructors
Constructor Description

Dot()

Dot(java.io.InputStream input)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`exportToFile(java.io.File file)`
`Dot.GraphDirection`	`getDirection()`
`boolean`	`isKeepOrderingOfChildren()`
`void`	`setDirection(Dot.GraphDirection direction)`
`void`	`setKeepOrderingOfChildren(boolean keepOrderingOfChildren)`
`void`	`setStringValue(java.lang.String stringValue)`
`java.lang.String`	`toString()`	Get a string representation of this graph in the Dot-language.

Methods inherited from class org.processmining.plugins.graphviz.dot.DotCluster
addCluster, addEdge, addEdge, addEdge, addEdge, addNode, addNode, addNode, appendOptions, appendSpecialOptions, contentToString, getClusters, getEdgeOption, getEdgeOptions, getEdges, getEdgesRecursive, getFirstEdge, getGraphOption, getGraphOptions, getId, getNodeOption, getNodeOptionKeySet, getNodes, getNodesRecursive, insertNode, insertNode, insertNode, removeCluster, removeEdge, removeNode, setEdgeOption, setGraphOption, setNodeOption

Methods inherited from class org.processmining.plugins.graphviz.dot.DotNode
equals

Methods inherited from class org.processmining.plugins.graphviz.dot.AbstractDotElement
addMouseListener, addSelectionListener, escapeString, getLabel, getOption, getOptionKeySet, getSelectionListeners, isSelectable, labelToString, mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased, setLabel, setOption, setSelectable

Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Dot
```
public Dot()
```

Dot

public Dot(java.io.InputStream input)
    throws java.io.IOException

Throws:: java.io.IOException

Method Detail

toString
```
public java.lang.String toString()
```
Description copied from class: DotCluster

Get a string representation of this graph in the Dot-language.

Overrides:

toString in class DotCluster

exportToFile

public void exportToFile(java.io.File file)
                  throws java.io.IOException

Throws:: java.io.IOException

getDirection

public Dot.GraphDirection getDirection()

setDirection

public void setDirection(Dot.GraphDirection direction)

setStringValue

public void setStringValue(java.lang.String stringValue)

isKeepOrderingOfChildren

public boolean isKeepOrderingOfChildren()

setKeepOrderingOfChildren

public void setKeepOrderingOfChildren(boolean keepOrderingOfChildren)