org.eclipse.xtext.util
Class GraphvizDotBuilder

java.lang.Object
  extended by 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)