org.eclipse.xtext.util
Class GraphvizDotBuilder

java.lang.Object
  org.eclipse.xtext.util.GraphvizDotBuilder

Direct Known Subclasses:

GrammarToDot, NfaToDot, NfaToProduction.StatesToDot, PdaToDot, SyntacticSequencerPDA2ExtendedDot

public abstract class GraphvizDotBuilder
extends java.lang.Object

Author:

Moritz Eysholdt - Initial contribution and API

Nested Class Summary

protected class	GraphvizDotBuilder.Digraph
protected class	GraphvizDotBuilder.Edge
protected class	GraphvizDotBuilder.Node
protected class	GraphvizDotBuilder.Props

Field Summary

protected static org.apache.log4j.Logger

log

Constructor Summary

GraphvizDotBuilder()

Method Summary

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)