|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.antlr.tool.DOTGenerator
public class DOTGenerator
The DOT (part of graphviz) generation aspect.
Field Summary | |
---|---|
protected java.lang.String |
arrowhead
|
protected Grammar |
grammar
|
protected java.util.Set |
markedStates
To prevent infinite recursion when walking state machines, record which states we've visited. |
protected java.lang.String |
rankdir
|
static StringTemplateGroup |
stlib
Library of output templates; use |
static boolean |
STRIP_NONREDUCED_STATES
|
Constructor Summary | |
---|---|
DOTGenerator(Grammar grammar)
This aspect is associated with a grammar |
Method Summary | |
---|---|
java.lang.String |
getArrowheadType()
|
java.lang.String |
getDOT(State startState)
Return a String containing a DOT description that, when displayed, will show the incoming state machine visually. |
protected java.lang.String |
getEdgeLabel(Transition edge)
Fix edge strings so they print out in DOT properly; generate any gated predicates on edge too. |
java.lang.String |
getRankdir()
|
protected java.lang.String |
getStateLabel(State s)
|
void |
setArrowheadType(java.lang.String arrowhead)
|
void |
setRankdir(java.lang.String rankdir)
|
protected void |
walkCreatingDFADOT(StringTemplate dot,
DFAState s)
Do a depth-first walk of the state machine graph and fill a DOT description template. |
protected void |
walkRuleNFACreatingDOT(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 |
---|
public static final boolean STRIP_NONREDUCED_STATES
protected java.lang.String arrowhead
protected java.lang.String rankdir
public static StringTemplateGroup stlib
protected java.util.Set markedStates
protected Grammar grammar
Constructor Detail |
---|
public DOTGenerator(Grammar grammar)
Method Detail |
---|
public java.lang.String getDOT(State startState)
protected void walkCreatingDFADOT(StringTemplate dot, DFAState s)
protected void walkRuleNFACreatingDOT(StringTemplate dot, State s)
protected java.lang.String getEdgeLabel(Transition edge)
protected java.lang.String getStateLabel(State s)
public java.lang.String getArrowheadType()
public void setArrowheadType(java.lang.String arrowhead)
public java.lang.String getRankdir()
public void setRankdir(java.lang.String rankdir)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |