dot.gv 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539
  1. // Generated by GNU Bison 3.7.5.
  2. // Report bugs to <bug-bison@gnu.org>.
  3. // Home page: <https://www.gnu.org/software/bison/>.
  4. digraph "dot.y"
  5. {
  6. node [fontname = courier, shape = box, colorscheme = paired6]
  7. edge [fontname = courier]
  8. 0 [label="State 0\n\l 0 $accept: • startdot $end\l"]
  9. 0 -> 1 [style=dotted]
  10. 0 -> 2 [style=solid label="\"utf8code\""]
  11. 0 -> 3 [style=dashed label="startdot"]
  12. 0 -> 4 [style=dashed label="utf"]
  13. 0 -> "0R4" [label="[$end]", style=solid]
  14. "0R4" [label="R4", fillcolor=3, shape=diamond, style=filled]
  15. 0 -> "0R6" [label="[\"strict\", \"graph\", \"digraph\"]", style=solid]
  16. "0R6" [label="R6", fillcolor=3, shape=diamond, style=filled]
  17. 1 [label="State 1\n\l 3 startdot: error •\l"]
  18. 1 -> "1R3" [style=solid]
  19. "1R3" [label="R3", fillcolor=3, shape=diamond, style=filled]
  20. 2 [label="State 2\n\l 5 utf: \"utf8code\" •\l"]
  21. 2 -> "2R5" [style=solid]
  22. "2R5" [label="R5", fillcolor=3, shape=diamond, style=filled]
  23. 3 [label="State 3\n\l 0 $accept: startdot • $end\l"]
  24. 3 -> 5 [style=solid label="$end"]
  25. 4 [label="State 4\n\l 2 startdot: utf • thetype thename $@1 \"{\" statements \"}\"\l"]
  26. 4 -> 6 [style=solid label="\"strict\""]
  27. 4 -> 7 [style=solid label="\"graph\""]
  28. 4 -> 8 [style=solid label="\"digraph\""]
  29. 4 -> 9 [style=dashed label="thetype"]
  30. 5 [label="State 5\n\l 0 $accept: startdot $end •\l"]
  31. 5 -> "5R0" [style=solid]
  32. "5R0" [label="Acc", fillcolor=1, shape=diamond, style=filled]
  33. 6 [label="State 6\n\l 7 thetype: \"strict\" • \"graph\"\l 9 | \"strict\" • \"digraph\"\l"]
  34. 6 -> 10 [style=solid label="\"graph\""]
  35. 6 -> 11 [style=solid label="\"digraph\""]
  36. 7 [label="State 7\n\l 8 thetype: \"graph\" •\l"]
  37. 7 -> "7R8" [style=solid]
  38. "7R8" [label="R8", fillcolor=3, shape=diamond, style=filled]
  39. 8 [label="State 8\n\l 10 thetype: \"digraph\" •\l"]
  40. 8 -> "8R10" [style=solid]
  41. "8R10" [label="R10", fillcolor=3, shape=diamond, style=filled]
  42. 9 [label="State 9\n\l 2 startdot: utf thetype • thename $@1 \"{\" statements \"}\"\l"]
  43. 9 -> 12 [style=solid label="\"text\""]
  44. 9 -> 13 [style=solid label="\"number\""]
  45. 9 -> 14 [style=solid label="\"string\""]
  46. 9 -> 15 [style=dashed label="thename"]
  47. 9 -> 16 [style=dashed label="ctext"]
  48. 9 -> 17 [style=dashed label="text"]
  49. 9 -> "9R12" [style=solid]
  50. "9R12" [label="R12", fillcolor=3, shape=diamond, style=filled]
  51. 10 [label="State 10\n\l 7 thetype: \"strict\" \"graph\" •\l"]
  52. 10 -> "10R7" [style=solid]
  53. "10R7" [label="R7", fillcolor=3, shape=diamond, style=filled]
  54. 11 [label="State 11\n\l 9 thetype: \"strict\" \"digraph\" •\l"]
  55. 11 -> "11R9" [style=solid]
  56. "11R9" [label="R9", fillcolor=3, shape=diamond, style=filled]
  57. 12 [label="State 12\n\l 15 text: \"text\" •\l"]
  58. 12 -> "12R15" [style=solid]
  59. "12R15" [label="R15", fillcolor=3, shape=diamond, style=filled]
  60. 13 [label="State 13\n\l 16 text: \"number\" •\l"]
  61. 13 -> "13R16" [style=solid]
  62. "13R16" [label="R16", fillcolor=3, shape=diamond, style=filled]
  63. 14 [label="State 14\n\l 13 ctext: \"string\" •\l"]
  64. 14 -> "14R13" [style=solid]
  65. "14R13" [label="R13", fillcolor=3, shape=diamond, style=filled]
  66. 15 [label="State 15\n\l 2 startdot: utf thetype thename • $@1 \"{\" statements \"}\"\l"]
  67. 15 -> 18 [style=dashed label="$@1"]
  68. 15 -> "15R1" [style=solid]
  69. "15R1" [label="R1", fillcolor=3, shape=diamond, style=filled]
  70. 16 [label="State 16\n\l 14 ctext: ctext • \"+\" \"string\"\l 17 text: ctext •\l"]
  71. 16 -> 19 [style=solid label="\"+\""]
  72. 16 -> "16R17" [style=solid]
  73. "16R17" [label="R17", fillcolor=3, shape=diamond, style=filled]
  74. 17 [label="State 17\n\l 11 thename: text •\l"]
  75. 17 -> "17R11" [style=solid]
  76. "17R11" [label="R11", fillcolor=3, shape=diamond, style=filled]
  77. 18 [label="State 18\n\l 2 startdot: utf thetype thename $@1 • \"{\" statements \"}\"\l"]
  78. 18 -> 20 [style=solid label="\"{\""]
  79. 19 [label="State 19\n\l 14 ctext: ctext \"+\" • \"string\"\l"]
  80. 19 -> 21 [style=solid label="\"string\""]
  81. 20 [label="State 20\n\l 2 startdot: utf thetype thename $@1 \"{\" • statements \"}\"\l"]
  82. 20 -> 22 [style=solid label="\"{\""]
  83. 20 -> 23 [style=solid label="\"graph\""]
  84. 20 -> 24 [style=solid label="\"subgraph\""]
  85. 20 -> 25 [style=solid label="\"node\""]
  86. 20 -> 26 [style=solid label="\"edge\""]
  87. 20 -> 12 [style=solid label="\"text\""]
  88. 20 -> 13 [style=solid label="\"number\""]
  89. 20 -> 14 [style=solid label="\"string\""]
  90. 20 -> 16 [style=dashed label="ctext"]
  91. 20 -> 27 [style=dashed label="text"]
  92. 20 -> 28 [style=dashed label="statements"]
  93. 20 -> 29 [style=dashed label="statement"]
  94. 20 -> 30 [style=dashed label="statement2"]
  95. 20 -> 31 [style=dashed label="nstatement"]
  96. 20 -> 32 [style=dashed label="nidid"]
  97. 20 -> 33 [style=dashed label="nid"]
  98. 20 -> 34 [style=dashed label="estatement"]
  99. 20 -> 35 [style=dashed label="astatement"]
  100. 20 -> 36 [style=dashed label="atype"]
  101. 20 -> 37 [style=dashed label="aset"]
  102. 20 -> 38 [style=dashed label="sstatement"]
  103. 20 -> 39 [style=dashed label="shead"]
  104. 21 [label="State 21\n\l 14 ctext: ctext \"+\" \"string\" •\l"]
  105. 21 -> "21R14" [style=solid]
  106. "21R14" [label="R14", fillcolor=3, shape=diamond, style=filled]
  107. 22 [label="State 22\n\l 69 sstatement: \"{\" • $@10 statements \"}\"\l"]
  108. 22 -> 40 [style=dashed label="$@10"]
  109. 22 -> "22R68" [style=solid]
  110. "22R68" [label="R68", fillcolor=3, shape=diamond, style=filled]
  111. 23 [label="State 23\n\l 62 atype: \"graph\" •\l"]
  112. 23 -> "23R62" [style=solid]
  113. "23R62" [label="R62", fillcolor=3, shape=diamond, style=filled]
  114. 24 [label="State 24\n\l 70 shead: \"subgraph\" • text\l 71 | \"subgraph\" •\l"]
  115. 24 -> 12 [style=solid label="\"text\""]
  116. 24 -> 13 [style=solid label="\"number\""]
  117. 24 -> 14 [style=solid label="\"string\""]
  118. 24 -> 16 [style=dashed label="ctext"]
  119. 24 -> 41 [style=dashed label="text"]
  120. 24 -> "24R71" [style=solid]
  121. "24R71" [label="R71", fillcolor=3, shape=diamond, style=filled]
  122. 25 [label="State 25\n\l 63 atype: \"node\" •\l"]
  123. 25 -> "25R63" [style=solid]
  124. "25R63" [label="R63", fillcolor=3, shape=diamond, style=filled]
  125. 26 [label="State 26\n\l 64 atype: \"edge\" •\l"]
  126. 26 -> "26R64" [style=solid]
  127. "26R64" [label="R64", fillcolor=3, shape=diamond, style=filled]
  128. 27 [label="State 27\n\l 31 nidid: text •\l 32 | text • \":\" text\l 33 | text • \":\" text \":\" text\l 34 nid: text •\l 35 | text • \":\" text\l 36 | text • \":\" text \":\" text\l 65 aset: text • \"=\" text\l 66 | text • \"=\" htext\l"]
  129. 27 -> 42 [style=solid label="\":\""]
  130. 27 -> 43 [style=solid label="\"=\""]
  131. 27 -> "27R31" [style=solid]
  132. "27R31" [label="R31", fillcolor=3, shape=diamond, style=filled]
  133. 27 -> "27R34" [label="[\"-> or --\"]", style=solid]
  134. "27R34" [label="R34", fillcolor=3, shape=diamond, style=filled]
  135. 28 [label="State 28\n\l 2 startdot: utf thetype thename $@1 \"{\" statements • \"}\"\l 19 statements: statements • statement\l"]
  136. 28 -> 22 [style=solid label="\"{\""]
  137. 28 -> 44 [style=solid label="\"}\""]
  138. 28 -> 23 [style=solid label="\"graph\""]
  139. 28 -> 24 [style=solid label="\"subgraph\""]
  140. 28 -> 25 [style=solid label="\"node\""]
  141. 28 -> 26 [style=solid label="\"edge\""]
  142. 28 -> 12 [style=solid label="\"text\""]
  143. 28 -> 13 [style=solid label="\"number\""]
  144. 28 -> 14 [style=solid label="\"string\""]
  145. 28 -> 16 [style=dashed label="ctext"]
  146. 28 -> 27 [style=dashed label="text"]
  147. 28 -> 45 [style=dashed label="statement"]
  148. 28 -> 30 [style=dashed label="statement2"]
  149. 28 -> 31 [style=dashed label="nstatement"]
  150. 28 -> 32 [style=dashed label="nidid"]
  151. 28 -> 33 [style=dashed label="nid"]
  152. 28 -> 34 [style=dashed label="estatement"]
  153. 28 -> 35 [style=dashed label="astatement"]
  154. 28 -> 36 [style=dashed label="atype"]
  155. 28 -> 37 [style=dashed label="aset"]
  156. 28 -> 38 [style=dashed label="sstatement"]
  157. 28 -> 39 [style=dashed label="shead"]
  158. 29 [label="State 29\n\l 20 statements: statement •\l"]
  159. 29 -> "29R20" [style=solid]
  160. "29R20" [label="R20", fillcolor=3, shape=diamond, style=filled]
  161. 30 [label="State 30\n\l 21 statement: statement2 •\l 22 | statement2 • \";\"\l 23 | statement2 • \",\"\l"]
  162. 30 -> 46 [style=solid label="\",\""]
  163. 30 -> 47 [style=solid label="\";\""]
  164. 30 -> "30R21" [style=solid]
  165. "30R21" [label="R21", fillcolor=3, shape=diamond, style=filled]
  166. 31 [label="State 31\n\l 24 statement2: nstatement •\l"]
  167. 31 -> "31R24" [style=solid]
  168. "31R24" [label="R24", fillcolor=3, shape=diamond, style=filled]
  169. 32 [label="State 32\n\l 30 nstatement: nidid • $@3 oattrib\l"]
  170. 32 -> 48 [style=dashed label="$@3"]
  171. 32 -> "32R29" [style=solid]
  172. "32R29" [label="R29", fillcolor=3, shape=diamond, style=filled]
  173. 33 [label="State 33\n\l 50 estatement: nid • $@4 erhs $@5 oattrib\l"]
  174. 33 -> 49 [style=dashed label="$@4"]
  175. 33 -> "33R48" [style=solid]
  176. "33R48" [label="R48", fillcolor=3, shape=diamond, style=filled]
  177. 34 [label="State 34\n\l 25 statement2: estatement •\l"]
  178. 34 -> "34R25" [style=solid]
  179. "34R25" [label="R25", fillcolor=3, shape=diamond, style=filled]
  180. 35 [label="State 35\n\l 26 statement2: astatement •\l"]
  181. 35 -> "35R26" [style=solid]
  182. "35R26" [label="R26", fillcolor=3, shape=diamond, style=filled]
  183. 36 [label="State 36\n\l 60 astatement: atype • tattr\l"]
  184. 36 -> 50 [style=solid label="\"[\""]
  185. 36 -> 51 [style=dashed label="tattr"]
  186. 37 [label="State 37\n\l 61 astatement: aset •\l"]
  187. 37 -> "37R61" [style=solid]
  188. "37R61" [label="R61", fillcolor=3, shape=diamond, style=filled]
  189. 38 [label="State 38\n\l 28 statement2: sstatement • $@2 oattrib\l 53 estatement: sstatement • $@6 erhs $@7 oattrib\l"]
  190. 38 -> 52 [style=dashed label="$@2"]
  191. 38 -> 53 [style=dashed label="$@6"]
  192. 38 -> "38R27" [style=solid]
  193. "38R27" [label="R27", fillcolor=3, shape=diamond, style=filled]
  194. 38 -> "38R51" [label="[\"-> or --\"]", style=solid]
  195. "38R51" [label="R51", fillcolor=3, shape=diamond, style=filled]
  196. 39 [label="State 39\n\l 67 sstatement: shead • \"{\" statements \"}\"\l"]
  197. 39 -> 54 [style=solid label="\"{\""]
  198. 40 [label="State 40\n\l 69 sstatement: \"{\" $@10 • statements \"}\"\l"]
  199. 40 -> 22 [style=solid label="\"{\""]
  200. 40 -> 23 [style=solid label="\"graph\""]
  201. 40 -> 24 [style=solid label="\"subgraph\""]
  202. 40 -> 25 [style=solid label="\"node\""]
  203. 40 -> 26 [style=solid label="\"edge\""]
  204. 40 -> 12 [style=solid label="\"text\""]
  205. 40 -> 13 [style=solid label="\"number\""]
  206. 40 -> 14 [style=solid label="\"string\""]
  207. 40 -> 16 [style=dashed label="ctext"]
  208. 40 -> 27 [style=dashed label="text"]
  209. 40 -> 55 [style=dashed label="statements"]
  210. 40 -> 29 [style=dashed label="statement"]
  211. 40 -> 30 [style=dashed label="statement2"]
  212. 40 -> 31 [style=dashed label="nstatement"]
  213. 40 -> 32 [style=dashed label="nidid"]
  214. 40 -> 33 [style=dashed label="nid"]
  215. 40 -> 34 [style=dashed label="estatement"]
  216. 40 -> 35 [style=dashed label="astatement"]
  217. 40 -> 36 [style=dashed label="atype"]
  218. 40 -> 37 [style=dashed label="aset"]
  219. 40 -> 38 [style=dashed label="sstatement"]
  220. 40 -> 39 [style=dashed label="shead"]
  221. 41 [label="State 41\n\l 70 shead: \"subgraph\" text •\l"]
  222. 41 -> "41R70" [style=solid]
  223. "41R70" [label="R70", fillcolor=3, shape=diamond, style=filled]
  224. 42 [label="State 42\n\l 32 nidid: text \":\" • text\l 33 | text \":\" • text \":\" text\l 35 nid: text \":\" • text\l 36 | text \":\" • text \":\" text\l"]
  225. 42 -> 12 [style=solid label="\"text\""]
  226. 42 -> 13 [style=solid label="\"number\""]
  227. 42 -> 14 [style=solid label="\"string\""]
  228. 42 -> 16 [style=dashed label="ctext"]
  229. 42 -> 56 [style=dashed label="text"]
  230. 43 [label="State 43\n\l 65 aset: text \"=\" • text\l 66 | text \"=\" • htext\l"]
  231. 43 -> 12 [style=solid label="\"text\""]
  232. 43 -> 13 [style=solid label="\"number\""]
  233. 43 -> 14 [style=solid label="\"string\""]
  234. 43 -> 57 [style=solid label="\"<html-string>\""]
  235. 43 -> 16 [style=dashed label="ctext"]
  236. 43 -> 58 [style=dashed label="text"]
  237. 43 -> 59 [style=dashed label="htext"]
  238. 44 [label="State 44\n\l 2 startdot: utf thetype thename $@1 \"{\" statements \"}\" •\l"]
  239. 44 -> "44R2" [style=solid]
  240. "44R2" [label="R2", fillcolor=3, shape=diamond, style=filled]
  241. 45 [label="State 45\n\l 19 statements: statements statement •\l"]
  242. 45 -> "45R19" [style=solid]
  243. "45R19" [label="R19", fillcolor=3, shape=diamond, style=filled]
  244. 46 [label="State 46\n\l 23 statement: statement2 \",\" •\l"]
  245. 46 -> "46R23" [style=solid]
  246. "46R23" [label="R23", fillcolor=3, shape=diamond, style=filled]
  247. 47 [label="State 47\n\l 22 statement: statement2 \";\" •\l"]
  248. 47 -> "47R22" [style=solid]
  249. "47R22" [label="R22", fillcolor=3, shape=diamond, style=filled]
  250. 48 [label="State 48\n\l 30 nstatement: nidid $@3 • oattrib\l"]
  251. 48 -> 50 [style=solid label="\"[\""]
  252. 48 -> 60 [style=dashed label="tattr"]
  253. 48 -> 61 [style=dashed label="oattrib"]
  254. 48 -> "48R47" [style=solid]
  255. "48R47" [label="R47", fillcolor=3, shape=diamond, style=filled]
  256. 49 [label="State 49\n\l 50 estatement: nid $@4 • erhs $@5 oattrib\l"]
  257. 49 -> 62 [style=solid label="\"-> or --\""]
  258. 49 -> 63 [style=dashed label="erhs"]
  259. 50 [label="State 50\n\l 45 tattr: \"[\" • iattr \"]\"\l"]
  260. 50 -> 64 [style=solid label="\"text\""]
  261. 50 -> 65 [style=dashed label="sattr"]
  262. 50 -> 66 [style=dashed label="sattr2"]
  263. 50 -> 67 [style=dashed label="iattr"]
  264. 50 -> "50R44" [style=solid]
  265. "50R44" [label="R44", fillcolor=3, shape=diamond, style=filled]
  266. 51 [label="State 51\n\l 60 astatement: atype tattr •\l"]
  267. 51 -> "51R60" [style=solid]
  268. "51R60" [label="R60", fillcolor=3, shape=diamond, style=filled]
  269. 52 [label="State 52\n\l 28 statement2: sstatement $@2 • oattrib\l"]
  270. 52 -> 50 [style=solid label="\"[\""]
  271. 52 -> 60 [style=dashed label="tattr"]
  272. 52 -> 68 [style=dashed label="oattrib"]
  273. 52 -> "52R47" [style=solid]
  274. "52R47" [label="R47", fillcolor=3, shape=diamond, style=filled]
  275. 53 [label="State 53\n\l 53 estatement: sstatement $@6 • erhs $@7 oattrib\l"]
  276. 53 -> 62 [style=solid label="\"-> or --\""]
  277. 53 -> 69 [style=dashed label="erhs"]
  278. 54 [label="State 54\n\l 67 sstatement: shead \"{\" • statements \"}\"\l"]
  279. 54 -> 22 [style=solid label="\"{\""]
  280. 54 -> 23 [style=solid label="\"graph\""]
  281. 54 -> 24 [style=solid label="\"subgraph\""]
  282. 54 -> 25 [style=solid label="\"node\""]
  283. 54 -> 26 [style=solid label="\"edge\""]
  284. 54 -> 12 [style=solid label="\"text\""]
  285. 54 -> 13 [style=solid label="\"number\""]
  286. 54 -> 14 [style=solid label="\"string\""]
  287. 54 -> 16 [style=dashed label="ctext"]
  288. 54 -> 27 [style=dashed label="text"]
  289. 54 -> 70 [style=dashed label="statements"]
  290. 54 -> 29 [style=dashed label="statement"]
  291. 54 -> 30 [style=dashed label="statement2"]
  292. 54 -> 31 [style=dashed label="nstatement"]
  293. 54 -> 32 [style=dashed label="nidid"]
  294. 54 -> 33 [style=dashed label="nid"]
  295. 54 -> 34 [style=dashed label="estatement"]
  296. 54 -> 35 [style=dashed label="astatement"]
  297. 54 -> 36 [style=dashed label="atype"]
  298. 54 -> 37 [style=dashed label="aset"]
  299. 54 -> 38 [style=dashed label="sstatement"]
  300. 54 -> 39 [style=dashed label="shead"]
  301. 55 [label="State 55\n\l 19 statements: statements • statement\l 69 sstatement: \"{\" $@10 statements • \"}\"\l"]
  302. 55 -> 22 [style=solid label="\"{\""]
  303. 55 -> 71 [style=solid label="\"}\""]
  304. 55 -> 23 [style=solid label="\"graph\""]
  305. 55 -> 24 [style=solid label="\"subgraph\""]
  306. 55 -> 25 [style=solid label="\"node\""]
  307. 55 -> 26 [style=solid label="\"edge\""]
  308. 55 -> 12 [style=solid label="\"text\""]
  309. 55 -> 13 [style=solid label="\"number\""]
  310. 55 -> 14 [style=solid label="\"string\""]
  311. 55 -> 16 [style=dashed label="ctext"]
  312. 55 -> 27 [style=dashed label="text"]
  313. 55 -> 45 [style=dashed label="statement"]
  314. 55 -> 30 [style=dashed label="statement2"]
  315. 55 -> 31 [style=dashed label="nstatement"]
  316. 55 -> 32 [style=dashed label="nidid"]
  317. 55 -> 33 [style=dashed label="nid"]
  318. 55 -> 34 [style=dashed label="estatement"]
  319. 55 -> 35 [style=dashed label="astatement"]
  320. 55 -> 36 [style=dashed label="atype"]
  321. 55 -> 37 [style=dashed label="aset"]
  322. 55 -> 38 [style=dashed label="sstatement"]
  323. 55 -> 39 [style=dashed label="shead"]
  324. 56 [label="State 56\n\l 32 nidid: text \":\" text •\l 33 | text \":\" text • \":\" text\l 35 nid: text \":\" text •\l 36 | text \":\" text • \":\" text\l"]
  325. 56 -> 72 [style=solid label="\":\""]
  326. 56 -> "56R32" [style=solid]
  327. "56R32" [label="R32", fillcolor=3, shape=diamond, style=filled]
  328. 56 -> "56R35" [label="[\"-> or --\"]", style=solid]
  329. "56R35" [label="R35", fillcolor=3, shape=diamond, style=filled]
  330. 57 [label="State 57\n\l 18 htext: \"<html-string>\" •\l"]
  331. 57 -> "57R18" [style=solid]
  332. "57R18" [label="R18", fillcolor=3, shape=diamond, style=filled]
  333. 58 [label="State 58\n\l 65 aset: text \"=\" text •\l"]
  334. 58 -> "58R65" [style=solid]
  335. "58R65" [label="R65", fillcolor=3, shape=diamond, style=filled]
  336. 59 [label="State 59\n\l 66 aset: text \"=\" htext •\l"]
  337. 59 -> "59R66" [style=solid]
  338. "59R66" [label="R66", fillcolor=3, shape=diamond, style=filled]
  339. 60 [label="State 60\n\l 46 oattrib: tattr • oattrib\l"]
  340. 60 -> 50 [style=solid label="\"[\""]
  341. 60 -> 60 [style=dashed label="tattr"]
  342. 60 -> 73 [style=dashed label="oattrib"]
  343. 60 -> "60R47" [style=solid]
  344. "60R47" [label="R47", fillcolor=3, shape=diamond, style=filled]
  345. 61 [label="State 61\n\l 30 nstatement: nidid $@3 oattrib •\l"]
  346. 61 -> "61R30" [style=solid]
  347. "61R30" [label="R30", fillcolor=3, shape=diamond, style=filled]
  348. 62 [label="State 62\n\l 54 erhs: \"-> or --\" • nid\l 56 | \"-> or --\" • nid $@8 erhs\l 57 | \"-> or --\" • sstatement\l 59 | \"-> or --\" • sstatement $@9 erhs\l"]
  349. 62 -> 22 [style=solid label="\"{\""]
  350. 62 -> 24 [style=solid label="\"subgraph\""]
  351. 62 -> 12 [style=solid label="\"text\""]
  352. 62 -> 13 [style=solid label="\"number\""]
  353. 62 -> 14 [style=solid label="\"string\""]
  354. 62 -> 16 [style=dashed label="ctext"]
  355. 62 -> 74 [style=dashed label="text"]
  356. 62 -> 75 [style=dashed label="nid"]
  357. 62 -> 76 [style=dashed label="sstatement"]
  358. 62 -> 39 [style=dashed label="shead"]
  359. 63 [label="State 63\n\l 50 estatement: nid $@4 erhs • $@5 oattrib\l"]
  360. 63 -> 77 [style=dashed label="$@5"]
  361. 63 -> "63R49" [style=solid]
  362. "63R49" [label="R49", fillcolor=3, shape=diamond, style=filled]
  363. 64 [label="State 64\n\l 37 sattr: \"text\" • \"=\" text\l 38 | \"text\" • \"=\" htext\l 40 sattr2: \"text\" •\l"]
  364. 64 -> 78 [style=solid label="\"=\""]
  365. 64 -> "64R40" [style=solid]
  366. "64R40" [label="R40", fillcolor=3, shape=diamond, style=filled]
  367. 65 [label="State 65\n\l 39 sattr2: sattr •\l"]
  368. 65 -> "65R39" [style=solid]
  369. "65R39" [label="R39", fillcolor=3, shape=diamond, style=filled]
  370. 66 [label="State 66\n\l 41 iattr: sattr2 • iattr\l 42 | sattr2 • \",\" iattr\l 43 | sattr2 • \";\" iattr\l"]
  371. 66 -> 79 [style=solid label="\",\""]
  372. 66 -> 80 [style=solid label="\";\""]
  373. 66 -> 64 [style=solid label="\"text\""]
  374. 66 -> 65 [style=dashed label="sattr"]
  375. 66 -> 66 [style=dashed label="sattr2"]
  376. 66 -> 81 [style=dashed label="iattr"]
  377. 66 -> "66R44" [style=solid]
  378. "66R44" [label="R44", fillcolor=3, shape=diamond, style=filled]
  379. 67 [label="State 67\n\l 45 tattr: \"[\" iattr • \"]\"\l"]
  380. 67 -> 82 [style=solid label="\"]\""]
  381. 68 [label="State 68\n\l 28 statement2: sstatement $@2 oattrib •\l"]
  382. 68 -> "68R28" [style=solid]
  383. "68R28" [label="R28", fillcolor=3, shape=diamond, style=filled]
  384. 69 [label="State 69\n\l 53 estatement: sstatement $@6 erhs • $@7 oattrib\l"]
  385. 69 -> 83 [style=dashed label="$@7"]
  386. 69 -> "69R52" [style=solid]
  387. "69R52" [label="R52", fillcolor=3, shape=diamond, style=filled]
  388. 70 [label="State 70\n\l 19 statements: statements • statement\l 67 sstatement: shead \"{\" statements • \"}\"\l"]
  389. 70 -> 22 [style=solid label="\"{\""]
  390. 70 -> 84 [style=solid label="\"}\""]
  391. 70 -> 23 [style=solid label="\"graph\""]
  392. 70 -> 24 [style=solid label="\"subgraph\""]
  393. 70 -> 25 [style=solid label="\"node\""]
  394. 70 -> 26 [style=solid label="\"edge\""]
  395. 70 -> 12 [style=solid label="\"text\""]
  396. 70 -> 13 [style=solid label="\"number\""]
  397. 70 -> 14 [style=solid label="\"string\""]
  398. 70 -> 16 [style=dashed label="ctext"]
  399. 70 -> 27 [style=dashed label="text"]
  400. 70 -> 45 [style=dashed label="statement"]
  401. 70 -> 30 [style=dashed label="statement2"]
  402. 70 -> 31 [style=dashed label="nstatement"]
  403. 70 -> 32 [style=dashed label="nidid"]
  404. 70 -> 33 [style=dashed label="nid"]
  405. 70 -> 34 [style=dashed label="estatement"]
  406. 70 -> 35 [style=dashed label="astatement"]
  407. 70 -> 36 [style=dashed label="atype"]
  408. 70 -> 37 [style=dashed label="aset"]
  409. 70 -> 38 [style=dashed label="sstatement"]
  410. 70 -> 39 [style=dashed label="shead"]
  411. 71 [label="State 71\n\l 69 sstatement: \"{\" $@10 statements \"}\" •\l"]
  412. 71 -> "71R69" [style=solid]
  413. "71R69" [label="R69", fillcolor=3, shape=diamond, style=filled]
  414. 72 [label="State 72\n\l 33 nidid: text \":\" text \":\" • text\l 36 nid: text \":\" text \":\" • text\l"]
  415. 72 -> 12 [style=solid label="\"text\""]
  416. 72 -> 13 [style=solid label="\"number\""]
  417. 72 -> 14 [style=solid label="\"string\""]
  418. 72 -> 16 [style=dashed label="ctext"]
  419. 72 -> 85 [style=dashed label="text"]
  420. 73 [label="State 73\n\l 46 oattrib: tattr oattrib •\l"]
  421. 73 -> "73R46" [style=solid]
  422. "73R46" [label="R46", fillcolor=3, shape=diamond, style=filled]
  423. 74 [label="State 74\n\l 34 nid: text •\l 35 | text • \":\" text\l 36 | text • \":\" text \":\" text\l"]
  424. 74 -> 86 [style=solid label="\":\""]
  425. 74 -> "74R34" [style=solid]
  426. "74R34" [label="R34", fillcolor=3, shape=diamond, style=filled]
  427. 75 [label="State 75\n\l 54 erhs: \"-> or --\" nid •\l 56 | \"-> or --\" nid • $@8 erhs\l"]
  428. 75 -> 87 [style=dashed label="$@8"]
  429. 75 -> "75R54" [style=solid]
  430. "75R54" [label="R54", fillcolor=3, shape=diamond, style=filled]
  431. 75 -> "75R55" [label="[\"-> or --\"]", style=solid]
  432. "75R55" [label="R55", fillcolor=3, shape=diamond, style=filled]
  433. 76 [label="State 76\n\l 57 erhs: \"-> or --\" sstatement •\l 59 | \"-> or --\" sstatement • $@9 erhs\l"]
  434. 76 -> 88 [style=dashed label="$@9"]
  435. 76 -> "76R57" [style=solid]
  436. "76R57" [label="R57", fillcolor=3, shape=diamond, style=filled]
  437. 76 -> "76R58" [label="[\"-> or --\"]", style=solid]
  438. "76R58" [label="R58", fillcolor=3, shape=diamond, style=filled]
  439. 77 [label="State 77\n\l 50 estatement: nid $@4 erhs $@5 • oattrib\l"]
  440. 77 -> 50 [style=solid label="\"[\""]
  441. 77 -> 60 [style=dashed label="tattr"]
  442. 77 -> 89 [style=dashed label="oattrib"]
  443. 77 -> "77R47" [style=solid]
  444. "77R47" [label="R47", fillcolor=3, shape=diamond, style=filled]
  445. 78 [label="State 78\n\l 37 sattr: \"text\" \"=\" • text\l 38 | \"text\" \"=\" • htext\l"]
  446. 78 -> 12 [style=solid label="\"text\""]
  447. 78 -> 13 [style=solid label="\"number\""]
  448. 78 -> 14 [style=solid label="\"string\""]
  449. 78 -> 57 [style=solid label="\"<html-string>\""]
  450. 78 -> 16 [style=dashed label="ctext"]
  451. 78 -> 90 [style=dashed label="text"]
  452. 78 -> 91 [style=dashed label="htext"]
  453. 79 [label="State 79\n\l 42 iattr: sattr2 \",\" • iattr\l"]
  454. 79 -> 64 [style=solid label="\"text\""]
  455. 79 -> 65 [style=dashed label="sattr"]
  456. 79 -> 66 [style=dashed label="sattr2"]
  457. 79 -> 92 [style=dashed label="iattr"]
  458. 79 -> "79R44" [style=solid]
  459. "79R44" [label="R44", fillcolor=3, shape=diamond, style=filled]
  460. 80 [label="State 80\n\l 43 iattr: sattr2 \";\" • iattr\l"]
  461. 80 -> 64 [style=solid label="\"text\""]
  462. 80 -> 65 [style=dashed label="sattr"]
  463. 80 -> 66 [style=dashed label="sattr2"]
  464. 80 -> 93 [style=dashed label="iattr"]
  465. 80 -> "80R44" [style=solid]
  466. "80R44" [label="R44", fillcolor=3, shape=diamond, style=filled]
  467. 81 [label="State 81\n\l 41 iattr: sattr2 iattr •\l"]
  468. 81 -> "81R41" [style=solid]
  469. "81R41" [label="R41", fillcolor=3, shape=diamond, style=filled]
  470. 82 [label="State 82\n\l 45 tattr: \"[\" iattr \"]\" •\l"]
  471. 82 -> "82R45" [style=solid]
  472. "82R45" [label="R45", fillcolor=3, shape=diamond, style=filled]
  473. 83 [label="State 83\n\l 53 estatement: sstatement $@6 erhs $@7 • oattrib\l"]
  474. 83 -> 50 [style=solid label="\"[\""]
  475. 83 -> 60 [style=dashed label="tattr"]
  476. 83 -> 94 [style=dashed label="oattrib"]
  477. 83 -> "83R47" [style=solid]
  478. "83R47" [label="R47", fillcolor=3, shape=diamond, style=filled]
  479. 84 [label="State 84\n\l 67 sstatement: shead \"{\" statements \"}\" •\l"]
  480. 84 -> "84R67" [style=solid]
  481. "84R67" [label="R67", fillcolor=3, shape=diamond, style=filled]
  482. 85 [label="State 85\n\l 33 nidid: text \":\" text \":\" text •\l 36 nid: text \":\" text \":\" text •\l"]
  483. 85 -> "85R33" [style=solid]
  484. "85R33" [label="R33", fillcolor=3, shape=diamond, style=filled]
  485. 85 -> "85R36" [label="[\"-> or --\"]", style=solid]
  486. "85R36" [label="R36", fillcolor=3, shape=diamond, style=filled]
  487. 86 [label="State 86\n\l 35 nid: text \":\" • text\l 36 | text \":\" • text \":\" text\l"]
  488. 86 -> 12 [style=solid label="\"text\""]
  489. 86 -> 13 [style=solid label="\"number\""]
  490. 86 -> 14 [style=solid label="\"string\""]
  491. 86 -> 16 [style=dashed label="ctext"]
  492. 86 -> 95 [style=dashed label="text"]
  493. 87 [label="State 87\n\l 56 erhs: \"-> or --\" nid $@8 • erhs\l"]
  494. 87 -> 62 [style=solid label="\"-> or --\""]
  495. 87 -> 96 [style=dashed label="erhs"]
  496. 88 [label="State 88\n\l 59 erhs: \"-> or --\" sstatement $@9 • erhs\l"]
  497. 88 -> 62 [style=solid label="\"-> or --\""]
  498. 88 -> 97 [style=dashed label="erhs"]
  499. 89 [label="State 89\n\l 50 estatement: nid $@4 erhs $@5 oattrib •\l"]
  500. 89 -> "89R50" [style=solid]
  501. "89R50" [label="R50", fillcolor=3, shape=diamond, style=filled]
  502. 90 [label="State 90\n\l 37 sattr: \"text\" \"=\" text •\l"]
  503. 90 -> "90R37" [style=solid]
  504. "90R37" [label="R37", fillcolor=3, shape=diamond, style=filled]
  505. 91 [label="State 91\n\l 38 sattr: \"text\" \"=\" htext •\l"]
  506. 91 -> "91R38" [style=solid]
  507. "91R38" [label="R38", fillcolor=3, shape=diamond, style=filled]
  508. 92 [label="State 92\n\l 42 iattr: sattr2 \",\" iattr •\l"]
  509. 92 -> "92R42" [style=solid]
  510. "92R42" [label="R42", fillcolor=3, shape=diamond, style=filled]
  511. 93 [label="State 93\n\l 43 iattr: sattr2 \";\" iattr •\l"]
  512. 93 -> "93R43" [style=solid]
  513. "93R43" [label="R43", fillcolor=3, shape=diamond, style=filled]
  514. 94 [label="State 94\n\l 53 estatement: sstatement $@6 erhs $@7 oattrib •\l"]
  515. 94 -> "94R53" [style=solid]
  516. "94R53" [label="R53", fillcolor=3, shape=diamond, style=filled]
  517. 95 [label="State 95\n\l 35 nid: text \":\" text •\l 36 | text \":\" text • \":\" text\l"]
  518. 95 -> 98 [style=solid label="\":\""]
  519. 95 -> "95R35" [style=solid]
  520. "95R35" [label="R35", fillcolor=3, shape=diamond, style=filled]
  521. 96 [label="State 96\n\l 56 erhs: \"-> or --\" nid $@8 erhs •\l"]
  522. 96 -> "96R56" [style=solid]
  523. "96R56" [label="R56", fillcolor=3, shape=diamond, style=filled]
  524. 97 [label="State 97\n\l 59 erhs: \"-> or --\" sstatement $@9 erhs •\l"]
  525. 97 -> "97R59" [style=solid]
  526. "97R59" [label="R59", fillcolor=3, shape=diamond, style=filled]
  527. 98 [label="State 98\n\l 36 nid: text \":\" text \":\" • text\l"]
  528. 98 -> 12 [style=solid label="\"text\""]
  529. 98 -> 13 [style=solid label="\"number\""]
  530. 98 -> 14 [style=solid label="\"string\""]
  531. 98 -> 16 [style=dashed label="ctext"]
  532. 98 -> 99 [style=dashed label="text"]
  533. 99 [label="State 99\n\l 36 nid: text \":\" text \":\" text •\l"]
  534. 99 -> "99R36" [style=solid]
  535. "99R36" [label="R36", fillcolor=3, shape=diamond, style=filled]
  536. }