forgetest1
/
antlr
forked from jasder/antlr
1
0
Fork 0
Code Issues Pull Requests 1 Releases Wiki Activity

v4: updated atn graphs 

[git-p4: depot-paths = "//depot/code/antlr4/main/": change = 9531]
This commit is contained in:
sharwell 2011-12-06 10:46:33 -08:00
parent cab803d5f3
commit edc4224b56
4 changed files with 31 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tool/resources/org/antlr/v4/tool/templates/dot/epsilon-edge.st
View File

@ -1,3 +1,3 @@
epsilon-edge(src,label,target,arrowhead) ::= <<
<src> -> <target> [fontname="Times-Italic", label = "e"];
epsilon-edge(src,label,target,arrowhead,loopback=false) ::= <<
<src> -> <target> [fontname="Times-Italic", label="&epsilon;"<if(loopback)>, style="dashed"<endif>];
>>

2
tool/resources/org/antlr/v4/tool/templates/dot/state.st
View File

@ -1,3 +1,3 @@
state(state, label, name) ::= <<
node [fontsize=11, label="<label>", <if(useBox)>shape=box, fixedsize=false<else>shape=circle, fixedsize=true, width=.4<endif>, peripheries=1]; <name>
<name>[fontsize=11, label="<label>", <if(useBox)>shape=box, fixedsize=false<else>shape=circle, fixedsize=true, width=.55<endif>, peripheries=1];
>>

2
tool/resources/org/antlr/v4/tool/templates/dot/stopstate.st
View File

@ -1,3 +1,3 @@
stopstate(name,label,actionIndex,useBox) ::= <<
node [fontsize=11, label="<label><if(actionIndex)>,\naction:<actionIndex><endif>", <if(useBox)>shape=polygon,sides=4,peripheries=2,fixedsize=false<else>shape=doublecircle, fixedsize=true, width=.6<endif>]; <name>
<name>[fontsize=11, label="<label><if(actionIndex)>,\naction:<actionIndex><endif>", <if(useBox)>shape=polygon,sides=4,peripheries=2,fixedsize=false<else>shape=doublecircle, fixedsize=true, width=.6<endif>];
>>

28
tool/src/org/antlr/v4/tool/DOTGenerator.java
View File

@ -237,6 +237,14 @@ public class DOTGenerator {
else if ( edge.isEpsilon() ) {
edgeST = stlib.getInstanceOf("epsilon-edge");
edgeST.add("label", getEdgeLabel(edge.toString()));
boolean loopback = false;
if (edge.target instanceof PlusBlockStartState) {
loopback = s.equals(((PlusBlockStartState)edge.target).loopBackState);
}
else if (edge.target instanceof StarLoopEntryState) {
loopback = s.equals(((StarLoopEntryState)edge.target).loopBackState);
}
edgeST.add("loopback", loopback);
}
else if ( edge instanceof AtomTransition ) {
edgeST = stlib.getInstanceOf("edge");
@ -410,10 +418,28 @@ public class DOTGenerator {
protected String getStateLabel(ATNState s) {
if ( s==null ) return "null";
String stateLabel = String.valueOf(s.stateNumber);
String stateLabel = "";
if (s instanceof BlockStartState) {
stateLabel += "&rarr;\\n";
}
else if (s instanceof BlockEndState) {
stateLabel += "&larr;\\n";
}
stateLabel += String.valueOf(s.stateNumber);
if (s instanceof PlusBlockStartState || s instanceof PlusLoopbackState) {
stateLabel += "+";
}
else if (s instanceof StarBlockStartState || s instanceof StarLoopEntryState || s instanceof StarLoopbackState) {
stateLabel += "*";
}
if ( s instanceof DecisionState && ((DecisionState)s).decision>=0 ) {
stateLabel = stateLabel+"\\nd="+((DecisionState)s).decision;
}
return stateLabel;
}