org.processmining.plugins.graphviz.dot

Class Dot

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 and Description
static class	Dot.GraphDirection

Constructor Summary

Constructors

Constructor and Description
Dot()
Dot(java.io.InputStream input)

Method Summary

Methods

Modifier and Type	Method and 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()

Methods inherited from class org.processmining.plugins.graphviz.dot.DotCluster

addCluster, addEdge, addEdge, addEdge, addEdge, addNode, addNode, addNode, contentToString, getClusters, getEdgesRecursive, getFirstEdge, getNodesRecursive, removeCluster, removeEdge, removeNode

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

equals

Methods inherited from class org.processmining.plugins.graphviz.dot.AbstractDotElement

addMouseListener, addSelectionListener, getId, 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()

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)