Public Member Functions
	GraphViz ()

String	getDotSource ()

byte[]	getGraph (String dot)

int	writeGraphToFile (byte[] img, String file)

int	writeGraphToFile (byte[] img, File to)

Constructor & Destructor Documentation

cz.muni.stanse.threadchecker.debug.GraphViz.GraphViz ( )

inline

Constructor: creates a new GraphViz object that will contain a graph.

Member Function Documentation

String cz.muni.stanse.threadchecker.debug.GraphViz.getDotSource ( )

inline

Returns the graph's source description in dot language.

byte [] cz.muni.stanse.threadchecker.debug.GraphViz.getGraph ( String dot )

inline

Returns the graph as an image in binary format.

Parameters

dot	Source of the graph to be drawn.

int cz.muni.stanse.threadchecker.debug.GraphViz.writeGraphToFile	(	byte[]	img,
		String	file
	)

inline

Writes the graph's image in a file.

Parameters

img	A byte array containing the image of the graph.
file	Name of the file to where we want to write.

int cz.muni.stanse.threadchecker.debug.GraphViz.writeGraphToFile	(	byte[]	img,
		File	to
	)

inline

Writes the graph's image in a file.

Parameters

img	A byte array containing the image of the graph.
to	A File object to where we want to write.

StringBuffer cz.muni.stanse.threadchecker.debug.GraphViz.graph = new StringBuffer()

The source of the graph written in dot language.

The documentation for this class was generated from the following file: