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 Object

Author:

Moritz Eysholdt - Initial contribution and API

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

Methods

Modifier and Type	Method and Description
String	draw(Object obj)
void	draw(Object obj, PrintStream out)
void	draw(Object obj, String cmd)
void	draw(Object obj, String outfile, String options)
protected abstract GraphvizDotBuilder.Props	drawObject(Object obj)
protected String	getGraphvizBinary()
protected String	id(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 String draw(Object obj)

draw

public void draw(Object obj,
        PrintStream out)

draw

public void draw(Object obj,
        String outfile,
        String options)
          throws IOException

Throws:

IOException

draw

public void draw(Object obj,
        String cmd)
          throws IOException

Throws:

IOException

drawObject

protected abstract GraphvizDotBuilder.Props drawObject(Object obj)

getGraphvizBinary

protected String getGraphvizBinary()

id

protected String id(Object cls)