X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/4197678606a0bad3da0d16a1c7c6729a6b3c362a..66c209cf435b5bfc5cf982d8df9cc3ef05b4546b:/data/xslt/xml2dot.xsl?ds=inline
diff --git a/data/xslt/xml2dot.xsl b/data/xslt/xml2dot.xsl
index aa9bde0a..93bec599 100644
--- a/data/xslt/xml2dot.xsl
+++ b/data/xslt/xml2dot.xsl
@@ -3,7 +3,7 @@
+
+
+
+
+
+
+
+
+
+
+
+
+ 0
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ label="[
+
+
+
+
+
+ ,
+
+
+ ]",
+
+
+
+ style=solid]
+
+
+
+
+
+
+
+
+ 3
+
+
+ 5
+
+
+
+
+
+
@@ -60,17 +156,48 @@
+
+
+
+
+
-
- ->
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ :
+
+
.
@@ -90,7 +217,7 @@
- [
+ [
]
@@ -102,26 +229,70 @@
+
+
+
+
+
+
+
+ -> "
+
+ R
+
+
+ d
+
+ " [
+
+
+
+
+
+
+
+ "
+
+ R
+
+
+ d
+
+ " [label="
+
+
+ Acc", fillcolor=1
+
+
+ R
+
+ ", fillcolor=
+
+
+
+ , shape=diamond, style=filled]
+
+
-
- dotted
-
-
- solid
-
-
- dashed
-
+
+ dotted
+
+
+ solid
+
+
+ dashed
+
-
+
@@ -133,10 +304,13 @@
[label="
+ State
+
+ \n
- "]
+ \l"]
@@ -177,7 +351,7 @@
-
+
@@ -203,4 +377,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+