org.antlr.tool

Class DOTGenerator

java.lang.Object

org.antlr.tool.DOTGenerator

public class DOTGenerator
extends Object

The DOT (part of graphviz) generation aspect.

Field Summary

Fields

Modifier and Type	Field and Description
protected String	arrowhead
protected Grammar	grammar
protected Set	markedStates To prevent infinite recursion when walking state machines, record which states we've visited.
protected String	rankdir
static org.antlr.stringtemplate.StringTemplateGroup	stlib Library of output templates; use format
static boolean	STRIP_NONREDUCED_STATES

Constructor Summary

Constructors

Constructor and Description
DOTGenerator(Grammar grammar) This aspect is associated with a grammar

Method Summary

Methods

Modifier and Type	Method and Description
String	getArrowheadType()
String	getDOT(State startState) Return a String containing a DOT description that, when displayed, will show the incoming state machine visually.
protected String	getEdgeLabel(Transition edge) Fix edge strings so they print out in DOT properly; generate any gated predicates on edge too.
String	getRankdir()
protected String	getStateLabel(State s)
void	setArrowheadType(String arrowhead)
void	setRankdir(String rankdir)
protected void	walkCreatingDFADOT(org.antlr.stringtemplate.StringTemplate dot, DFAState s) Do a depth-first walk of the state machine graph and fill a DOT description template.
protected void	walkRuleNFACreatingDOT(org.antlr.stringtemplate.StringTemplate dot, State s) Do a depth-first walk of the state machine graph and fill a DOT description template.

Methods inherited from class java.lang.Object

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

Field Detail

STRIP_NONREDUCED_STATES

public static final boolean STRIP_NONREDUCED_STATES

See Also:

Constant Field Values

arrowhead

protected String arrowhead

rankdir

protected String rankdir

stlib

public static org.antlr.stringtemplate.StringTemplateGroup stlib

Library of output templates; use format

markedStates

protected Set markedStates

To prevent infinite recursion when walking state machines, record which states we've visited. Make a new set every time you start walking in case you reuse this object.

grammar

protected Grammar grammar

Constructor Detail

DOTGenerator

public DOTGenerator(Grammar grammar)

This aspect is associated with a grammar

Method Detail

getDOT

public String getDOT(State startState)

Return a String containing a DOT description that, when displayed, will show the incoming state machine visually. All nodes reachable from startState will be included.

walkCreatingDFADOT

protected void walkCreatingDFADOT(org.antlr.stringtemplate.StringTemplate dot,
                      DFAState s)

Do a depth-first walk of the state machine graph and fill a DOT description template. Keep filling the states and edges attributes.

walkRuleNFACreatingDOT

protected void walkRuleNFACreatingDOT(org.antlr.stringtemplate.StringTemplate dot,
                          State s)

Do a depth-first walk of the state machine graph and fill a DOT description template. Keep filling the states and edges attributes. We know this is an NFA for a rule so don't traverse edges to other rules and don't go past rule end state.

getEdgeLabel

protected String getEdgeLabel(Transition edge)

Fix edge strings so they print out in DOT properly; generate any gated predicates on edge too.

getStateLabel

protected String getStateLabel(State s)

getArrowheadType

public String getArrowheadType()

setArrowheadType

public void setArrowheadType(String arrowhead)

getRankdir

public String getRankdir()

setRankdir

public void setRankdir(String rankdir)