galileo.graph

Class DOT

java.lang.Object

galileo.graph.DOT

public class DOT
extends java.lang.Object

Provides functionality for visualizing graphs using Graphviz. This class outputs the graphs in DOT format.

Author:

malensek

Constructor Summary

Constructors

Constructor and Description
DOT()

Method Summary

Modifier and Type	Method and Description
static void	toDOT(Vertex<?,?> vertex, java.io.OutputStream out) Traverses the graph provided by a root vertex, writing out the graph representation in DOT format.
static void	toDOT(Vertex<?,?> vertex, java.lang.String title, java.io.OutputStream out) Traverses the graph provided by a root vertex, writing out the graph representation in DOT format.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DOT

public DOT()

Method Detail

toDOT

public static void toDOT(Vertex<?,?> vertex,
                         java.io.OutputStream out)

Traverses the graph provided by a root vertex, writing out the graph representation in DOT format.

Parameters:

vertex - root vertex of the graph to convert

out - OutputStream to write the graph to.

toDOT

public static void toDOT(Vertex<?,?> vertex,
                         java.lang.String title,
                         java.io.OutputStream out)

Traverses the graph provided by a root vertex, writing out the graph representation in DOT format.

Parameters:

vertex - root vertex of the graph to convert

title - title of the graph

out - OutputStream to write the graph to.