Package 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 Description protected class
GraphvizDotBuilder.Digraph
protected class
GraphvizDotBuilder.Edge
protected class
GraphvizDotBuilder.Node
protected class
GraphvizDotBuilder.Props
-
Field Summary
Fields Modifier and Type Field Description protected static org.apache.log4j.Logger
log
-
Constructor Summary
Constructors Constructor Description GraphvizDotBuilder()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method 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)
-
-
-
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)
-
-