org.eclipse.xtext.util

Class GraphvizDotBuilder

java.lang.Object

org.eclipse.xtext.util.GraphvizDotBuilder

Direct Known Subclasses:

NfaToDot, NfaToProduction.StatesToDot, PdaToDot

public abstract class GraphvizDotBuilder
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	GraphvizDotBuilder.Digraph
protected class	GraphvizDotBuilder.Edge
protected class	GraphvizDotBuilder.Node
protected class	GraphvizDotBuilder.Props

Field Summary

Fields

Modifier and Type	Field and Description
protected static org.apache.log4j.Logger	log

Constructor Summary

Constructors

Constructor and Description
GraphvizDotBuilder()

Method Summary

Modifier and Type	Method and Description
java.lang.String	draw(java.lang.Object obj)
void	draw(java.lang.Object obj, java.io.PrintStream out)
void	draw(java.lang.Object obj, java.lang.String cmd)
void	draw(java.lang.Object obj, java.lang.String outfile, java.lang.String options)
protected abstract GraphvizDotBuilder.Props	drawObject(java.lang.Object obj)
protected java.lang.String	getGraphvizBinary()
protected java.lang.String	id(java.lang.Object cls)

Methods inherited from class java.lang.Object

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

Field Detail

log

protected static final org.apache.log4j.Logger log

Constructor Detail

GraphvizDotBuilder

public GraphvizDotBuilder()

Method Detail

draw

public java.lang.String draw(java.lang.Object obj)

draw

public void draw(java.lang.Object obj,
                 java.io.PrintStream out)

draw

public void draw(java.lang.Object obj,
                 java.lang.String outfile,
                 java.lang.String options)
          throws java.io.IOException

Throws:

java.io.IOException

draw

public void draw(java.lang.Object obj,
                 java.lang.String cmd)
          throws java.io.IOException

Throws:

java.io.IOException

drawObject

protected abstract GraphvizDotBuilder.Props drawObject(java.lang.Object obj)

getGraphvizBinary

protected java.lang.String getGraphvizBinary()

id

protected java.lang.String id(java.lang.Object cls)