util

Class DotStream

java.lang.Object

util.DotStream

public final class DotStream
extends java.lang.Object

A DotStream, i.e., a dot stream, is an interface for saving graphviz files.

Constructor Summary

Constructors

Constructor and Description
DotStream(java.io.PrintStream out) Creates a dot stream where the file will be saved in the specified print stream.
DotStream(java.lang.String filename) Creates a dot stream where the file will be saved in the file at the specified address.

Method Summary

Methods

Modifier and Type	Method and Description
void	addEdgeOption(java.lang.String key, java.lang.String val) Adds an option to the next edge.
void	addNodeOption(java.lang.String key, java.lang.String val) Adds an option to the next node.
void	defineEdge(java.lang.String source, java.lang.String target) Defines a new edge.
void	defineNode(java.lang.String name) Defines a new node.
void	end() Indicates that the graphviz file is finished.

Methods inherited from class java.lang.Object

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

Constructor Detail

DotStream

public DotStream(java.io.PrintStream out)

Creates a dot stream where the file will be saved in the specified print stream.

Parameters:

out - the print stream where the file will be saved.

DotStream

public DotStream(java.lang.String filename)

Creates a dot stream where the file will be saved in the file at the specified address. The constructor should throw a NullPointerException if the file cannot be opened.

Parameters:

filename - the name of the file where the stream will be saved.

Method Detail

end

public void end()

Indicates that the graphviz file is finished.

addNodeOption

public void addNodeOption(java.lang.String key,
                 java.lang.String val)

Adds an option to the next node.

Parameters:

key - the name of the option.

val - the value of the option.

defineNode

public void defineNode(java.lang.String name)

Defines a new node. This node will have all the options specified through addNodeOption(String,String).

Parameters:

name - the name of the node. (may be different from the label of the node).

addEdgeOption

public void addEdgeOption(java.lang.String key,
                 java.lang.String val)

Adds an option to the next edge.

Parameters:

key - the name of the option.

val - the value of the option.

defineEdge

public void defineEdge(java.lang.String source,
              java.lang.String target)

Defines a new edge. This node will have all the options specified through addEdgeOption(String,String).

Parameters:

source - the name of the source node.

target - the name of the target node. (may be different from the label of the node).