yamlpysketchergrammar.xhtml 50 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866
  1. <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml">
  2. <head>
  3. <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" />
  4. <meta name="generator" content="Railroad Diagram Generator 1.62" />
  5. <style type="text/css">
  6. ::-moz-selection
  7. {
  8. color: #E6FFE2;
  9. background: #020D00;
  10. }
  11. ::selection
  12. {
  13. color: #E6FFE2;
  14. background: #020D00;
  15. }
  16. .ebnf a, .grammar a
  17. {
  18. text-decoration: none;
  19. }
  20. .ebnf a:hover, .grammar a:hover
  21. {
  22. color: #000300;
  23. text-decoration: underline;
  24. }
  25. .signature
  26. {
  27. color: #137E00;
  28. font-size: 11px;
  29. text-align: right;
  30. }
  31. body
  32. {
  33. font: normal 12px Verdana, sans-serif;
  34. color: #020D00;
  35. background: #E6FFE2;
  36. }
  37. a:link, a:visited
  38. {
  39. color: #020D00;
  40. }
  41. a:link.signature, a:visited.signature
  42. {
  43. color: #137E00;
  44. }
  45. a.button, #tabs li a
  46. {
  47. padding: 0.25em 0.5em;
  48. border: 1px solid #137E00;
  49. background: #C3EEBB;
  50. color: #137E00;
  51. text-decoration: none;
  52. font-weight: bold;
  53. }
  54. a.button:hover, #tabs li a:hover
  55. {
  56. color: #000300;
  57. background: #CCFFC3;
  58. border-color: #000300;
  59. }
  60. #tabs
  61. {
  62. padding: 3px 10px;
  63. margin-left: 0;
  64. margin-top: 58px;
  65. border-bottom: 1px solid #020D00;
  66. }
  67. #tabs li
  68. {
  69. list-style: none;
  70. margin-left: 5px;
  71. display: inline;
  72. }
  73. #tabs li a
  74. {
  75. border-bottom: 1px solid #020D00;
  76. }
  77. #tabs li a.active
  78. {
  79. color: #020D00;
  80. background: #E6FFE2;
  81. border-color: #020D00;
  82. border-bottom: 1px solid #E6FFE2;
  83. outline: none;
  84. }
  85. #divs div
  86. {
  87. display: none;
  88. overflow:auto;
  89. }
  90. #divs div.active
  91. {
  92. display: block;
  93. }
  94. #text
  95. {
  96. border-color: #137E00;
  97. background: #EFFFEC;
  98. color: #000300;
  99. }
  100. .small
  101. {
  102. vertical-align: top;
  103. text-align: right;
  104. font-size: 9px;
  105. font-weight: normal;
  106. line-height: 120%;
  107. }
  108. td.small
  109. {
  110. padding-top: 0px;
  111. }
  112. .hidden
  113. {
  114. visibility: hidden;
  115. }
  116. td:hover .hidden
  117. {
  118. visibility: visible;
  119. }
  120. div.download
  121. {
  122. display: none;
  123. background: #E6FFE2;
  124. position: absolute;
  125. right: 34px;
  126. top: 94px;
  127. padding: 10px;
  128. border: 1px dotted #020D00;
  129. }
  130. #divs div.ebnf, .ebnf code
  131. {
  132. display: block;
  133. padding: 10px;
  134. background: #CCFFC3;
  135. width: 992px;
  136. }
  137. #divs div.grammar
  138. {
  139. display: block;
  140. padding-left: 16px;
  141. padding-top: 2px;
  142. padding-bottom: 2px;
  143. background: #CCFFC3;
  144. }
  145. pre
  146. {
  147. margin: 0px;
  148. }
  149. .ebnf div
  150. {
  151. padding-left: 13ch;
  152. text-indent: -13ch;
  153. }
  154. .ebnf code, .grammar code, textarea, pre
  155. {
  156. font:12px SFMono-Regular,Consolas,Liberation Mono,Menlo,Courier,monospace;
  157. }
  158. tr.option-line td:first-child
  159. {
  160. text-align: right
  161. }
  162. tr.option-text td
  163. {
  164. padding-bottom: 10px
  165. }
  166. table.palette
  167. {
  168. border-top: 1px solid #000300;
  169. border-right: 1px solid #000300;
  170. margin-bottom: 4px
  171. }
  172. td.palette
  173. {
  174. border-bottom: 1px solid #000300;
  175. border-left: 1px solid #000300;
  176. }
  177. a.palette
  178. {
  179. padding: 2px 3px 2px 10px;
  180. text-decoration: none;
  181. }
  182. .palette
  183. {
  184. -webkit-user-select: none;
  185. -khtml-user-select: none;
  186. -moz-user-select: none;
  187. -o-user-select: none;
  188. -ms-user-select: none;
  189. }
  190. </style><svg xmlns="http://www.w3.org/2000/svg">
  191. <defs>
  192. <style type="text/css">
  193. @namespace "http://www.w3.org/2000/svg";
  194. .line {fill: none; stroke: #073100; stroke-width: 1;}
  195. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  196. .thin-line {stroke: #051F00; shape-rendering: crispEdges}
  197. .filled {fill: #073100; stroke: none;}
  198. text.terminal {font-family: Verdana, Sans-serif;
  199. font-size: 12px;
  200. fill: #031400;
  201. font-weight: bold;
  202. }
  203. text.nonterminal {font-family: Verdana, Sans-serif;
  204. font-size: 12px;
  205. fill: #041A00;
  206. font-weight: normal;
  207. }
  208. text.regexp {font-family: Verdana, Sans-serif;
  209. font-size: 12px;
  210. fill: #051F00;
  211. font-weight: normal;
  212. }
  213. rect, circle, polygon {fill: #073100; stroke: #073100;}
  214. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  215. rect.nonterminal {fill: #26FE00; stroke: #073100; stroke-width: 1;}
  216. rect.text {fill: none; stroke: none;}
  217. polygon.regexp {fill: #3BFF18; stroke: #073100; stroke-width: 1;}
  218. </style>
  219. </defs></svg></head>
  220. <body>
  221. <p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="Sketch">Sketch:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="237" height="37">
  222. <defs>
  223. <style type="text/css">
  224. @namespace "http://www.w3.org/2000/svg";
  225. .line {fill: none; stroke: #073100; stroke-width: 1;}
  226. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  227. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  228. .filled {fill: #073100; stroke: none;}
  229. text.terminal {font-family: Verdana, Sans-serif;
  230. font-size: 12px;
  231. fill: #031400;
  232. font-weight: bold;
  233. }
  234. text.nonterminal {font-family: Verdana, Sans-serif;
  235. font-size: 12px;
  236. fill: #E4FFE0;
  237. font-weight: normal;
  238. }
  239. text.regexp {font-family: Verdana, Sans-serif;
  240. font-size: 12px;
  241. fill: #E4FFE0;
  242. font-weight: normal;
  243. }
  244. rect, circle, polygon {fill: #073100; stroke: #073100;}
  245. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  246. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  247. rect.text {fill: none; stroke: none;}
  248. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  249. </style>
  250. </defs>
  251. <polygon points="9 17 1 13 1 21"/>
  252. <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Sketch_Name" xlink:title="Sketch_Name">
  253. <rect x="31" y="3" width="106" height="32"/>
  254. <rect x="29" y="1" width="106" height="32" class="nonterminal"/>
  255. <text class="nonterminal" x="39" y="21">Sketch_Name</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Parts" xlink:title="Parts">
  256. <rect x="157" y="3" width="52" height="32"/>
  257. <rect x="155" y="1" width="52" height="32" class="nonterminal"/>
  258. <text class="nonterminal" x="165" y="21">Parts</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m106 0 h10 m0 0 h10 m52 0 h10 m3 0 h-3"/>
  259. <polygon points="227 17 235 13 235 21"/>
  260. <polygon points="227 17 219 13 219 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">no references</p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="Sketch_Name">Sketch_Name:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="509" height="69">
  261. <defs>
  262. <style type="text/css">
  263. @namespace "http://www.w3.org/2000/svg";
  264. .line {fill: none; stroke: #073100; stroke-width: 1;}
  265. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  266. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  267. .filled {fill: #073100; stroke: none;}
  268. text.terminal {font-family: Verdana, Sans-serif;
  269. font-size: 12px;
  270. fill: #031400;
  271. font-weight: bold;
  272. }
  273. text.nonterminal {font-family: Verdana, Sans-serif;
  274. font-size: 12px;
  275. fill: #E4FFE0;
  276. font-weight: normal;
  277. }
  278. text.regexp {font-family: Verdana, Sans-serif;
  279. font-size: 12px;
  280. fill: #E4FFE0;
  281. font-weight: normal;
  282. }
  283. rect, circle, polygon {fill: #073100; stroke: #073100;}
  284. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  285. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  286. rect.text {fill: none; stroke: none;}
  287. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  288. </style>
  289. </defs>
  290. <polygon points="9 17 1 13 1 21"/>
  291. <polygon points="17 17 9 13 9 21"/>
  292. <rect x="31" y="3" width="26" height="32" rx="10"/>
  293. <rect x="29" y="1" width="26" height="32" class="terminal" rx="10"/>
  294. <text class="terminal" x="39" y="21">-</text>
  295. <rect x="77" y="3" width="24" height="32" rx="10"/>
  296. <rect x="75" y="1" width="24" height="32" class="terminal" rx="10"/>
  297. <text class="terminal" x="85" y="21"/>
  298. <rect x="121" y="3" width="66" height="32" rx="10"/>
  299. <rect x="119" y="1" width="66" height="32" class="terminal" rx="10"/>
  300. <text class="terminal" x="129" y="21">name: </text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Identifier" xlink:title="Identifier">
  301. <rect x="207" y="3" width="78" height="32"/>
  302. <rect x="205" y="1" width="78" height="32" class="nonterminal"/>
  303. <text class="nonterminal" x="215" y="21">Identifier</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Comment" xlink:title="Comment">
  304. <rect x="325" y="35" width="80" height="32"/>
  305. <rect x="323" y="33" width="80" height="32" class="nonterminal"/>
  306. <text class="nonterminal" x="333" y="53">Comment</text></a><rect x="445" y="3" width="36" height="32" rx="10"/>
  307. <rect x="443" y="1" width="36" height="32" class="terminal" rx="10"/>
  308. <text class="terminal" x="453" y="21">\n</text>
  309. <path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m26 0 h10 m0 0 h10 m24 0 h10 m0 0 h10 m66 0 h10 m0 0 h10 m78 0 h10 m20 0 h10 m0 0 h90 m-120 0 h20 m100 0 h20 m-140 0 q10 0 10 10 m120 0 q0 -10 10 -10 m-130 10 v12 m120 0 v-12 m-120 12 q0 10 10 10 m100 0 q10 0 10 -10 m-110 10 h10 m80 0 h10 m20 -32 h10 m36 0 h10 m3 0 h-3"/>
  310. <polygon points="499 17 507 13 507 21"/>
  311. <polygon points="499 17 491 13 491 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  312. <ul>
  313. <li><a href="#Sketch" title="Sketch">Sketch</a></li>
  314. </ul>
  315. </p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="Parts">Parts:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="471" height="85">
  316. <defs>
  317. <style type="text/css">
  318. @namespace "http://www.w3.org/2000/svg";
  319. .line {fill: none; stroke: #073100; stroke-width: 1;}
  320. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  321. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  322. .filled {fill: #073100; stroke: none;}
  323. text.terminal {font-family: Verdana, Sans-serif;
  324. font-size: 12px;
  325. fill: #031400;
  326. font-weight: bold;
  327. }
  328. text.nonterminal {font-family: Verdana, Sans-serif;
  329. font-size: 12px;
  330. fill: #E4FFE0;
  331. font-weight: normal;
  332. }
  333. text.regexp {font-family: Verdana, Sans-serif;
  334. font-size: 12px;
  335. fill: #E4FFE0;
  336. font-weight: normal;
  337. }
  338. rect, circle, polygon {fill: #073100; stroke: #073100;}
  339. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  340. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  341. rect.text {fill: none; stroke: none;}
  342. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  343. </style>
  344. </defs>
  345. <polygon points="9 33 1 29 1 37"/>
  346. <polygon points="17 33 9 29 9 37"/>
  347. <rect x="31" y="19" width="26" height="32" rx="10"/>
  348. <rect x="29" y="17" width="26" height="32" class="terminal" rx="10"/>
  349. <text class="terminal" x="39" y="37">-</text>
  350. <rect x="77" y="19" width="24" height="32" rx="10"/>
  351. <rect x="75" y="17" width="24" height="32" class="terminal" rx="10"/>
  352. <text class="terminal" x="85" y="37"/>
  353. <rect x="121" y="19" width="76" height="32" rx="10"/>
  354. <rect x="119" y="17" width="76" height="32" class="terminal" rx="10"/>
  355. <text class="terminal" x="129" y="37">parts:\n</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Comment" xlink:title="Comment">
  356. <rect x="237" y="51" width="80" height="32"/>
  357. <rect x="235" y="49" width="80" height="32" class="nonterminal"/>
  358. <text class="nonterminal" x="245" y="69">Comment</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Part" xlink:title="Part">
  359. <rect x="377" y="19" width="46" height="32"/>
  360. <rect x="375" y="17" width="46" height="32" class="nonterminal"/>
  361. <text class="nonterminal" x="385" y="37">Part</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m0 0 h10 m26 0 h10 m0 0 h10 m24 0 h10 m0 0 h10 m76 0 h10 m20 0 h10 m0 0 h90 m-120 0 h20 m100 0 h20 m-140 0 q10 0 10 10 m120 0 q0 -10 10 -10 m-130 10 v12 m120 0 v-12 m-120 12 q0 10 10 10 m100 0 q10 0 10 -10 m-110 10 h10 m80 0 h10 m40 -32 h10 m46 0 h10 m-86 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m66 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-66 0 h10 m0 0 h56 m23 32 h-3"/>
  362. <polygon points="461 33 469 29 469 37"/>
  363. <polygon points="461 33 453 29 453 37"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  364. <ul>
  365. <li><a href="#Sketch" title="Sketch">Sketch</a></li>
  366. </ul>
  367. </p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="Part">Part:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="235" height="37">
  368. <defs>
  369. <style type="text/css">
  370. @namespace "http://www.w3.org/2000/svg";
  371. .line {fill: none; stroke: #073100; stroke-width: 1;}
  372. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  373. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  374. .filled {fill: #073100; stroke: none;}
  375. text.terminal {font-family: Verdana, Sans-serif;
  376. font-size: 12px;
  377. fill: #031400;
  378. font-weight: bold;
  379. }
  380. text.nonterminal {font-family: Verdana, Sans-serif;
  381. font-size: 12px;
  382. fill: #E4FFE0;
  383. font-weight: normal;
  384. }
  385. text.regexp {font-family: Verdana, Sans-serif;
  386. font-size: 12px;
  387. fill: #E4FFE0;
  388. font-weight: normal;
  389. }
  390. rect, circle, polygon {fill: #073100; stroke: #073100;}
  391. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  392. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  393. rect.text {fill: none; stroke: none;}
  394. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  395. </style>
  396. </defs>
  397. <polygon points="9 17 1 13 1 21"/>
  398. <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Part_Name" xlink:title="Part_Name">
  399. <rect x="31" y="3" width="90" height="32"/>
  400. <rect x="29" y="1" width="90" height="32" class="nonterminal"/>
  401. <text class="nonterminal" x="39" y="21">Part_Name</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Shapes" xlink:title="Shapes">
  402. <rect x="141" y="3" width="66" height="32"/>
  403. <rect x="139" y="1" width="66" height="32" class="nonterminal"/>
  404. <text class="nonterminal" x="149" y="21">Shapes</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m90 0 h10 m0 0 h10 m66 0 h10 m3 0 h-3"/>
  405. <polygon points="225 17 233 13 233 21"/>
  406. <polygon points="225 17 217 13 217 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  407. <ul>
  408. <li><a href="#Parts" title="Parts">Parts</a></li>
  409. </ul>
  410. </p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="Part_Name">Part_Name:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="685" height="69">
  411. <defs>
  412. <style type="text/css">
  413. @namespace "http://www.w3.org/2000/svg";
  414. .line {fill: none; stroke: #073100; stroke-width: 1;}
  415. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  416. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  417. .filled {fill: #073100; stroke: none;}
  418. text.terminal {font-family: Verdana, Sans-serif;
  419. font-size: 12px;
  420. fill: #031400;
  421. font-weight: bold;
  422. }
  423. text.nonterminal {font-family: Verdana, Sans-serif;
  424. font-size: 12px;
  425. fill: #E4FFE0;
  426. font-weight: normal;
  427. }
  428. text.regexp {font-family: Verdana, Sans-serif;
  429. font-size: 12px;
  430. fill: #E4FFE0;
  431. font-weight: normal;
  432. }
  433. rect, circle, polygon {fill: #073100; stroke: #073100;}
  434. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  435. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  436. rect.text {fill: none; stroke: none;}
  437. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  438. </style>
  439. </defs>
  440. <polygon points="9 17 1 13 1 21"/>
  441. <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#INDENT" xlink:title="INDENT">
  442. <rect x="31" y="3" width="66" height="32"/>
  443. <rect x="29" y="1" width="66" height="32" class="nonterminal"/>
  444. <text class="nonterminal" x="39" y="21">INDENT</text></a><rect x="117" y="3" width="26" height="32" rx="10"/>
  445. <rect x="115" y="1" width="26" height="32" class="terminal" rx="10"/>
  446. <text class="terminal" x="125" y="21">-</text>
  447. <rect x="163" y="3" width="24" height="32" rx="10"/>
  448. <rect x="161" y="1" width="24" height="32" class="terminal" rx="10"/>
  449. <text class="terminal" x="171" y="21"/>
  450. <rect x="207" y="3" width="66" height="32" rx="10"/>
  451. <rect x="205" y="1" width="66" height="32" class="terminal" rx="10"/>
  452. <text class="terminal" x="215" y="21">name: </text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Identifier" xlink:title="Identifier">
  453. <rect x="293" y="3" width="78" height="32"/>
  454. <rect x="291" y="1" width="78" height="32" class="nonterminal"/>
  455. <text class="nonterminal" x="301" y="21">Identifier</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Comment" xlink:title="Comment">
  456. <rect x="411" y="35" width="80" height="32"/>
  457. <rect x="409" y="33" width="80" height="32" class="nonterminal"/>
  458. <text class="nonterminal" x="419" y="53">Comment</text></a><rect x="531" y="3" width="36" height="32" rx="10"/>
  459. <rect x="529" y="1" width="36" height="32" class="terminal" rx="10"/>
  460. <text class="terminal" x="539" y="21">\n</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#DEDENT" xlink:title="DEDENT">
  461. <rect x="587" y="3" width="70" height="32"/>
  462. <rect x="585" y="1" width="70" height="32" class="nonterminal"/>
  463. <text class="nonterminal" x="595" y="21">DEDENT</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m66 0 h10 m0 0 h10 m26 0 h10 m0 0 h10 m24 0 h10 m0 0 h10 m66 0 h10 m0 0 h10 m78 0 h10 m20 0 h10 m0 0 h90 m-120 0 h20 m100 0 h20 m-140 0 q10 0 10 10 m120 0 q0 -10 10 -10 m-130 10 v12 m120 0 v-12 m-120 12 q0 10 10 10 m100 0 q10 0 10 -10 m-110 10 h10 m80 0 h10 m20 -32 h10 m36 0 h10 m0 0 h10 m70 0 h10 m3 0 h-3"/>
  464. <polygon points="675 17 683 13 683 21"/>
  465. <polygon points="675 17 667 13 667 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  466. <ul>
  467. <li><a href="#Part" title="Part">Part</a></li>
  468. </ul>
  469. </p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="Shapes">Shapes:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="671" height="85">
  470. <defs>
  471. <style type="text/css">
  472. @namespace "http://www.w3.org/2000/svg";
  473. .line {fill: none; stroke: #073100; stroke-width: 1;}
  474. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  475. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  476. .filled {fill: #073100; stroke: none;}
  477. text.terminal {font-family: Verdana, Sans-serif;
  478. font-size: 12px;
  479. fill: #031400;
  480. font-weight: bold;
  481. }
  482. text.nonterminal {font-family: Verdana, Sans-serif;
  483. font-size: 12px;
  484. fill: #E4FFE0;
  485. font-weight: normal;
  486. }
  487. text.regexp {font-family: Verdana, Sans-serif;
  488. font-size: 12px;
  489. fill: #E4FFE0;
  490. font-weight: normal;
  491. }
  492. rect, circle, polygon {fill: #073100; stroke: #073100;}
  493. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  494. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  495. rect.text {fill: none; stroke: none;}
  496. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  497. </style>
  498. </defs>
  499. <polygon points="9 33 1 29 1 37"/>
  500. <polygon points="17 33 9 29 9 37"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#INDENT" xlink:title="INDENT">
  501. <rect x="31" y="19" width="66" height="32"/>
  502. <rect x="29" y="17" width="66" height="32" class="nonterminal"/>
  503. <text class="nonterminal" x="39" y="37">INDENT</text></a><rect x="117" y="19" width="24" height="32" rx="10"/>
  504. <rect x="115" y="17" width="24" height="32" class="terminal" rx="10"/>
  505. <text class="terminal" x="125" y="37"/>
  506. <rect x="161" y="19" width="24" height="32" rx="10"/>
  507. <rect x="159" y="17" width="24" height="32" class="terminal" rx="10"/>
  508. <text class="terminal" x="169" y="37"/>
  509. <rect x="205" y="19" width="88" height="32" rx="10"/>
  510. <rect x="203" y="17" width="88" height="32" class="terminal" rx="10"/>
  511. <text class="terminal" x="213" y="37">shapes:\n</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Comment" xlink:title="Comment">
  512. <rect x="333" y="51" width="80" height="32"/>
  513. <rect x="331" y="49" width="80" height="32" class="nonterminal"/>
  514. <text class="nonterminal" x="341" y="69">Comment</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Shape" xlink:title="Shape">
  515. <rect x="473" y="19" width="60" height="32"/>
  516. <rect x="471" y="17" width="60" height="32" class="nonterminal"/>
  517. <text class="nonterminal" x="481" y="37">Shape</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#DEDENT" xlink:title="DEDENT">
  518. <rect x="573" y="19" width="70" height="32"/>
  519. <rect x="571" y="17" width="70" height="32" class="nonterminal"/>
  520. <text class="nonterminal" x="581" y="37">DEDENT</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m0 0 h10 m66 0 h10 m0 0 h10 m24 0 h10 m0 0 h10 m24 0 h10 m0 0 h10 m88 0 h10 m20 0 h10 m0 0 h90 m-120 0 h20 m100 0 h20 m-140 0 q10 0 10 10 m120 0 q0 -10 10 -10 m-130 10 v12 m120 0 v-12 m-120 12 q0 10 10 10 m100 0 q10 0 10 -10 m-110 10 h10 m80 0 h10 m40 -32 h10 m60 0 h10 m-100 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m80 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-80 0 h10 m0 0 h70 m20 32 h10 m70 0 h10 m3 0 h-3"/>
  521. <polygon points="661 33 669 29 669 37"/>
  522. <polygon points="661 33 653 29 653 37"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  523. <ul>
  524. <li><a href="#Part" title="Part">Part</a></li>
  525. </ul>
  526. </p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="Shape">Shape:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="201" height="125">
  527. <defs>
  528. <style type="text/css">
  529. @namespace "http://www.w3.org/2000/svg";
  530. .line {fill: none; stroke: #073100; stroke-width: 1;}
  531. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  532. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  533. .filled {fill: #073100; stroke: none;}
  534. text.terminal {font-family: Verdana, Sans-serif;
  535. font-size: 12px;
  536. fill: #031400;
  537. font-weight: bold;
  538. }
  539. text.nonterminal {font-family: Verdana, Sans-serif;
  540. font-size: 12px;
  541. fill: #E4FFE0;
  542. font-weight: normal;
  543. }
  544. text.regexp {font-family: Verdana, Sans-serif;
  545. font-size: 12px;
  546. fill: #E4FFE0;
  547. font-weight: normal;
  548. }
  549. rect, circle, polygon {fill: #073100; stroke: #073100;}
  550. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  551. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  552. rect.text {fill: none; stroke: none;}
  553. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  554. </style>
  555. </defs>
  556. <polygon points="9 17 1 13 1 21"/>
  557. <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Simple" xlink:title="Simple">
  558. <rect x="51" y="3" width="62" height="32"/>
  559. <rect x="49" y="1" width="62" height="32" class="nonterminal"/>
  560. <text class="nonterminal" x="59" y="21">Simple</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#DoAction" xlink:title="DoAction">
  561. <rect x="51" y="47" width="76" height="32"/>
  562. <rect x="49" y="45" width="76" height="32" class="nonterminal"/>
  563. <text class="nonterminal" x="59" y="65">DoAction</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#SketchObject" xlink:title="SketchObject">
  564. <rect x="51" y="91" width="102" height="32"/>
  565. <rect x="49" y="89" width="102" height="32" class="nonterminal"/>
  566. <text class="nonterminal" x="59" y="109">SketchObject</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m62 0 h10 m0 0 h40 m-142 0 h20 m122 0 h20 m-162 0 q10 0 10 10 m142 0 q0 -10 10 -10 m-152 10 v24 m142 0 v-24 m-142 24 q0 10 10 10 m122 0 q10 0 10 -10 m-132 10 h10 m76 0 h10 m0 0 h26 m-132 -10 v20 m142 0 v-20 m-142 20 v24 m142 0 v-24 m-142 24 q0 10 10 10 m122 0 q10 0 10 -10 m-132 10 h10 m102 0 h10 m23 -88 h-3"/>
  567. <polygon points="191 17 199 13 199 21"/>
  568. <polygon points="191 17 183 13 183 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  569. <ul>
  570. <li><a href="#Shapes" title="Shapes">Shapes</a></li>
  571. </ul>
  572. </p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="Simple">Simple:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="743" height="69">
  573. <defs>
  574. <style type="text/css">
  575. @namespace "http://www.w3.org/2000/svg";
  576. .line {fill: none; stroke: #073100; stroke-width: 1;}
  577. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  578. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  579. .filled {fill: #073100; stroke: none;}
  580. text.terminal {font-family: Verdana, Sans-serif;
  581. font-size: 12px;
  582. fill: #031400;
  583. font-weight: bold;
  584. }
  585. text.nonterminal {font-family: Verdana, Sans-serif;
  586. font-size: 12px;
  587. fill: #E4FFE0;
  588. font-weight: normal;
  589. }
  590. text.regexp {font-family: Verdana, Sans-serif;
  591. font-size: 12px;
  592. fill: #E4FFE0;
  593. font-weight: normal;
  594. }
  595. rect, circle, polygon {fill: #073100; stroke: #073100;}
  596. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  597. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  598. rect.text {fill: none; stroke: none;}
  599. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  600. </style>
  601. </defs>
  602. <polygon points="9 17 1 13 1 21"/>
  603. <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#INDENT" xlink:title="INDENT">
  604. <rect x="31" y="3" width="66" height="32"/>
  605. <rect x="29" y="1" width="66" height="32" class="nonterminal"/>
  606. <text class="nonterminal" x="39" y="21">INDENT</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Identifier" xlink:title="Identifier">
  607. <rect x="117" y="3" width="78" height="32"/>
  608. <rect x="115" y="1" width="78" height="32" class="nonterminal"/>
  609. <text class="nonterminal" x="125" y="21">Identifier</text></a><rect x="215" y="3" width="24" height="32" rx="10"/>
  610. <rect x="213" y="1" width="24" height="32" class="terminal" rx="10"/>
  611. <text class="terminal" x="223" y="21">:</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PyRightHandExpression" xlink:title="PyRightHandExpression">
  612. <rect x="259" y="3" width="170" height="32"/>
  613. <rect x="257" y="1" width="170" height="32" class="nonterminal"/>
  614. <text class="nonterminal" x="267" y="21">PyRightHandExpression</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Comment" xlink:title="Comment">
  615. <rect x="469" y="35" width="80" height="32"/>
  616. <rect x="467" y="33" width="80" height="32" class="nonterminal"/>
  617. <text class="nonterminal" x="477" y="53">Comment</text></a><rect x="589" y="3" width="36" height="32" rx="10"/>
  618. <rect x="587" y="1" width="36" height="32" class="terminal" rx="10"/>
  619. <text class="terminal" x="597" y="21">\n</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#DEDENT" xlink:title="DEDENT">
  620. <rect x="645" y="3" width="70" height="32"/>
  621. <rect x="643" y="1" width="70" height="32" class="nonterminal"/>
  622. <text class="nonterminal" x="653" y="21">DEDENT</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m66 0 h10 m0 0 h10 m78 0 h10 m0 0 h10 m24 0 h10 m0 0 h10 m170 0 h10 m20 0 h10 m0 0 h90 m-120 0 h20 m100 0 h20 m-140 0 q10 0 10 10 m120 0 q0 -10 10 -10 m-130 10 v12 m120 0 v-12 m-120 12 q0 10 10 10 m100 0 q10 0 10 -10 m-110 10 h10 m80 0 h10 m20 -32 h10 m36 0 h10 m0 0 h10 m70 0 h10 m3 0 h-3"/>
  623. <polygon points="733 17 741 13 741 21"/>
  624. <polygon points="733 17 725 13 725 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  625. <ul>
  626. <li><a href="#Shape" title="Shape">Shape</a></li>
  627. </ul>
  628. </p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="DoAction">DoAction:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="631" height="69">
  629. <defs>
  630. <style type="text/css">
  631. @namespace "http://www.w3.org/2000/svg";
  632. .line {fill: none; stroke: #073100; stroke-width: 1;}
  633. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  634. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  635. .filled {fill: #073100; stroke: none;}
  636. text.terminal {font-family: Verdana, Sans-serif;
  637. font-size: 12px;
  638. fill: #031400;
  639. font-weight: bold;
  640. }
  641. text.nonterminal {font-family: Verdana, Sans-serif;
  642. font-size: 12px;
  643. fill: #E4FFE0;
  644. font-weight: normal;
  645. }
  646. text.regexp {font-family: Verdana, Sans-serif;
  647. font-size: 12px;
  648. fill: #E4FFE0;
  649. font-weight: normal;
  650. }
  651. rect, circle, polygon {fill: #073100; stroke: #073100;}
  652. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  653. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  654. rect.text {fill: none; stroke: none;}
  655. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  656. </style>
  657. </defs>
  658. <polygon points="9 17 1 13 1 21"/>
  659. <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#INDENT" xlink:title="INDENT">
  660. <rect x="31" y="3" width="66" height="32"/>
  661. <rect x="29" y="1" width="66" height="32" class="nonterminal"/>
  662. <text class="nonterminal" x="39" y="21">INDENT</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Identifier" xlink:title="Identifier">
  663. <rect x="117" y="3" width="78" height="32"/>
  664. <rect x="115" y="1" width="78" height="32" class="nonterminal"/>
  665. <text class="nonterminal" x="125" y="21">Identifier</text></a><rect x="215" y="3" width="24" height="32" rx="10"/>
  666. <rect x="213" y="1" width="24" height="32" class="terminal" rx="10"/>
  667. <text class="terminal" x="223" y="21">:</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Comment" xlink:title="Comment">
  668. <rect x="279" y="35" width="80" height="32"/>
  669. <rect x="277" y="33" width="80" height="32" class="nonterminal"/>
  670. <text class="nonterminal" x="287" y="53">Comment</text></a><rect x="399" y="3" width="36" height="32" rx="10"/>
  671. <rect x="397" y="1" width="36" height="32" class="terminal" rx="10"/>
  672. <text class="terminal" x="407" y="21">\n</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Action" xlink:title="Action">
  673. <rect x="455" y="3" width="58" height="32"/>
  674. <rect x="453" y="1" width="58" height="32" class="nonterminal"/>
  675. <text class="nonterminal" x="463" y="21">Action</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#DEDENT" xlink:title="DEDENT">
  676. <rect x="533" y="3" width="70" height="32"/>
  677. <rect x="531" y="1" width="70" height="32" class="nonterminal"/>
  678. <text class="nonterminal" x="541" y="21">DEDENT</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m66 0 h10 m0 0 h10 m78 0 h10 m0 0 h10 m24 0 h10 m20 0 h10 m0 0 h90 m-120 0 h20 m100 0 h20 m-140 0 q10 0 10 10 m120 0 q0 -10 10 -10 m-130 10 v12 m120 0 v-12 m-120 12 q0 10 10 10 m100 0 q10 0 10 -10 m-110 10 h10 m80 0 h10 m20 -32 h10 m36 0 h10 m0 0 h10 m58 0 h10 m0 0 h10 m70 0 h10 m3 0 h-3"/>
  679. <polygon points="621 17 629 13 629 21"/>
  680. <polygon points="621 17 613 13 613 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  681. <ul>
  682. <li><a href="#Shape" title="Shape">Shape</a></li>
  683. </ul>
  684. </p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="Action">Action:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="621" height="69">
  685. <defs>
  686. <style type="text/css">
  687. @namespace "http://www.w3.org/2000/svg";
  688. .line {fill: none; stroke: #073100; stroke-width: 1;}
  689. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  690. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  691. .filled {fill: #073100; stroke: none;}
  692. text.terminal {font-family: Verdana, Sans-serif;
  693. font-size: 12px;
  694. fill: #031400;
  695. font-weight: bold;
  696. }
  697. text.nonterminal {font-family: Verdana, Sans-serif;
  698. font-size: 12px;
  699. fill: #E4FFE0;
  700. font-weight: normal;
  701. }
  702. text.regexp {font-family: Verdana, Sans-serif;
  703. font-size: 12px;
  704. fill: #E4FFE0;
  705. font-weight: normal;
  706. }
  707. rect, circle, polygon {fill: #073100; stroke: #073100;}
  708. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  709. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  710. rect.text {fill: none; stroke: none;}
  711. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  712. </style>
  713. </defs>
  714. <polygon points="9 17 1 13 1 21"/>
  715. <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#INDENT" xlink:title="INDENT">
  716. <rect x="31" y="3" width="66" height="32"/>
  717. <rect x="29" y="1" width="66" height="32" class="nonterminal"/>
  718. <text class="nonterminal" x="39" y="21">INDENT</text></a><rect x="117" y="3" width="66" height="32" rx="10"/>
  719. <rect x="115" y="1" width="66" height="32" class="terminal" rx="10"/>
  720. <text class="terminal" x="125" y="21">action:</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PyExpression" xlink:title="PyExpression">
  721. <rect x="203" y="3" width="104" height="32"/>
  722. <rect x="201" y="1" width="104" height="32" class="nonterminal"/>
  723. <text class="nonterminal" x="211" y="21">PyExpression</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Comment" xlink:title="Comment">
  724. <rect x="347" y="35" width="80" height="32"/>
  725. <rect x="345" y="33" width="80" height="32" class="nonterminal"/>
  726. <text class="nonterminal" x="355" y="53">Comment</text></a><rect x="467" y="3" width="36" height="32" rx="10"/>
  727. <rect x="465" y="1" width="36" height="32" class="terminal" rx="10"/>
  728. <text class="terminal" x="475" y="21">\n</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#DEDENT" xlink:title="DEDENT">
  729. <rect x="523" y="3" width="70" height="32"/>
  730. <rect x="521" y="1" width="70" height="32" class="nonterminal"/>
  731. <text class="nonterminal" x="531" y="21">DEDENT</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m66 0 h10 m0 0 h10 m66 0 h10 m0 0 h10 m104 0 h10 m20 0 h10 m0 0 h90 m-120 0 h20 m100 0 h20 m-140 0 q10 0 10 10 m120 0 q0 -10 10 -10 m-130 10 v12 m120 0 v-12 m-120 12 q0 10 10 10 m100 0 q10 0 10 -10 m-110 10 h10 m80 0 h10 m20 -32 h10 m36 0 h10 m0 0 h10 m70 0 h10 m3 0 h-3"/>
  732. <polygon points="611 17 619 13 619 21"/>
  733. <polygon points="611 17 603 13 603 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  734. <ul>
  735. <li><a href="#DoAction" title="DoAction">DoAction</a></li>
  736. </ul>
  737. </p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="Identifier">Identifier:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="323" height="185">
  738. <defs>
  739. <style type="text/css">
  740. @namespace "http://www.w3.org/2000/svg";
  741. .line {fill: none; stroke: #073100; stroke-width: 1;}
  742. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  743. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  744. .filled {fill: #073100; stroke: none;}
  745. text.terminal {font-family: Verdana, Sans-serif;
  746. font-size: 12px;
  747. fill: #031400;
  748. font-weight: bold;
  749. }
  750. text.nonterminal {font-family: Verdana, Sans-serif;
  751. font-size: 12px;
  752. fill: #E4FFE0;
  753. font-weight: normal;
  754. }
  755. text.regexp {font-family: Verdana, Sans-serif;
  756. font-size: 12px;
  757. fill: #E4FFE0;
  758. font-weight: normal;
  759. }
  760. rect, circle, polygon {fill: #073100; stroke: #073100;}
  761. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  762. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  763. rect.text {fill: none; stroke: none;}
  764. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  765. </style>
  766. </defs>
  767. <polygon points="9 33 1 29 1 37"/>
  768. <polygon points="17 33 9 29 9 37"/>
  769. <polygon points="51 35 58 19 106 19 113 35 106 51 58 51"/>
  770. <polygon points="49 33 56 17 104 17 111 33 104 49 56 49" class="regexp"/>
  771. <text class="regexp" x="64" y="37">[A-Z]</text>
  772. <polygon points="51 79 58 63 104 63 111 79 104 95 58 95"/>
  773. <polygon points="49 77 56 61 102 61 109 77 102 93 56 93" class="regexp"/>
  774. <text class="regexp" x="64" y="81">[a-z]</text>
  775. <rect x="193" y="19" width="28" height="32" rx="10"/>
  776. <rect x="191" y="17" width="28" height="32" class="terminal" rx="10"/>
  777. <text class="terminal" x="201" y="37">_</text>
  778. <polygon points="193 79 200 63 248 63 255 79 248 95 200 95"/>
  779. <polygon points="191 77 198 61 246 61 253 77 246 93 198 93" class="regexp"/>
  780. <text class="regexp" x="206" y="81">[A-Z]</text>
  781. <polygon points="193 123 200 107 246 107 253 123 246 139 200 139"/>
  782. <polygon points="191 121 198 105 244 105 251 121 244 137 198 137" class="regexp"/>
  783. <text class="regexp" x="206" y="125">[a-z]</text>
  784. <polygon points="193 167 200 151 248 151 255 167 248 183 200 183"/>
  785. <polygon points="191 165 198 149 246 149 253 165 246 181 198 181" class="regexp"/>
  786. <text class="regexp" x="206" y="169">[0-9]</text>
  787. <path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m20 0 h10 m62 0 h10 m-102 0 h20 m82 0 h20 m-122 0 q10 0 10 10 m102 0 q0 -10 10 -10 m-112 10 v24 m102 0 v-24 m-102 24 q0 10 10 10 m82 0 q10 0 10 -10 m-92 10 h10 m60 0 h10 m0 0 h2 m60 -44 h10 m28 0 h10 m0 0 h34 m-102 0 h20 m82 0 h20 m-122 0 q10 0 10 10 m102 0 q0 -10 10 -10 m-112 10 v24 m102 0 v-24 m-102 24 q0 10 10 10 m82 0 q10 0 10 -10 m-92 10 h10 m62 0 h10 m-92 -10 v20 m102 0 v-20 m-102 20 v24 m102 0 v-24 m-102 24 q0 10 10 10 m82 0 q10 0 10 -10 m-92 10 h10 m60 0 h10 m0 0 h2 m-92 -10 v20 m102 0 v-20 m-102 20 v24 m102 0 v-24 m-102 24 q0 10 10 10 m82 0 q10 0 10 -10 m-92 10 h10 m62 0 h10 m-122 -132 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m122 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-122 0 h10 m0 0 h112 m23 32 h-3"/>
  788. <polygon points="313 33 321 29 321 37"/>
  789. <polygon points="313 33 305 29 305 37"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  790. <ul>
  791. <li><a href="#DoAction" title="DoAction">DoAction</a></li>
  792. <li><a href="#Part_Name" title="Part_Name">Part_Name</a></li>
  793. <li><a href="#Simple" title="Simple">Simple</a></li>
  794. <li><a href="#Sketch_Name" title="Sketch_Name">Sketch_Name</a></li>
  795. </ul>
  796. </p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="Comment">Comment:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="175" height="37">
  797. <defs>
  798. <style type="text/css">
  799. @namespace "http://www.w3.org/2000/svg";
  800. .line {fill: none; stroke: #073100; stroke-width: 1;}
  801. .bold-line {stroke: #031400; shape-rendering: crispEdges; stroke-width: 2;}
  802. .thin-line {stroke: #E4FFE0; shape-rendering: crispEdges}
  803. .filled {fill: #073100; stroke: none;}
  804. text.terminal {font-family: Verdana, Sans-serif;
  805. font-size: 12px;
  806. fill: #031400;
  807. font-weight: bold;
  808. }
  809. text.nonterminal {font-family: Verdana, Sans-serif;
  810. font-size: 12px;
  811. fill: #E4FFE0;
  812. font-weight: normal;
  813. }
  814. text.regexp {font-family: Verdana, Sans-serif;
  815. font-size: 12px;
  816. fill: #E4FFE0;
  817. font-weight: normal;
  818. }
  819. rect, circle, polygon {fill: #073100; stroke: #073100;}
  820. rect.terminal {fill: #1FCC00; stroke: #073100; stroke-width: 1;}
  821. rect.nonterminal {fill: #1BCC00; stroke: #073100; stroke-width: 1;}
  822. rect.text {fill: none; stroke: none;}
  823. polygon.regexp {fill: #18CC00; stroke: #073100; stroke-width: 1;}
  824. </style>
  825. </defs>
  826. <polygon points="9 17 1 13 1 21"/>
  827. <polygon points="17 17 9 13 9 21"/>
  828. <rect x="31" y="3" width="30" height="32" rx="10"/>
  829. <rect x="29" y="1" width="30" height="32" class="terminal" rx="10"/>
  830. <text class="terminal" x="39" y="21">#</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#STRING" xlink:title="STRING">
  831. <rect x="81" y="3" width="66" height="32"/>
  832. <rect x="79" y="1" width="66" height="32" class="nonterminal"/>
  833. <text class="nonterminal" x="89" y="21">STRING</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m30 0 h10 m0 0 h10 m66 0 h10 m3 0 h-3"/>
  834. <polygon points="165 17 173 13 173 21"/>
  835. <polygon points="165 17 157 13 157 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  836. <ul>
  837. <li><a href="#Action" title="Action">Action</a></li>
  838. <li><a href="#DoAction" title="DoAction">DoAction</a></li>
  839. <li><a href="#Part_Name" title="Part_Name">Part_Name</a></li>
  840. <li><a href="#Parts" title="Parts">Parts</a></li>
  841. <li><a href="#Shapes" title="Shapes">Shapes</a></li>
  842. <li><a href="#Simple" title="Simple">Simple</a></li>
  843. <li><a href="#Sketch_Name" title="Sketch_Name">Sketch_Name</a></li>
  844. </ul>
  845. </p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><hr xmlns:xhtml="http://www.w3.org/1999/xhtml" />
  846. <p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  847. <table border="0" class="signature">
  848. <tr>
  849. <td style="width: 100%"> </td>
  850. <td valign="top">
  851. <nobr class="signature">... generated by <a name="Railroad-Diagram-Generator" class="signature" title="https://bottlecaps.de/rr/ui" href="https://bottlecaps.de/rr/ui" target="_blank">RR - Railroad Diagram Generator</a></nobr>
  852. </td>
  853. <td><a name="Railroad-Diagram-Generator" title="https://bottlecaps.de/rr/ui" href="https://bottlecaps.de/rr/ui" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" width="16" height="16">
  854. <g transform="scale(0.178)">
  855. <circle cx="45" cy="45" r="45" style="stroke:none; fill:#FFCC00"/>
  856. <circle cx="45" cy="45" r="42" style="stroke:#332900; stroke-width:2px; fill:#FFCC00"/>
  857. <line x1="15" y1="15" x2="75" y2="75" stroke="#332900" style="stroke-width:9px;"/>
  858. <line x1="15" y1="75" x2="75" y2="15" stroke="#332900" style="stroke-width:9px;"/>
  859. <text x="7" y="54" style="font-size:26px; font-family:Arial, Sans-serif; font-weight:bold; fill: #332900">R</text>
  860. <text x="64" y="54" style="font-size:26px; font-family:Arial, Sans-serif; font-weight:bold; fill: #332900">R</text>
  861. </g></svg></a></td>
  862. </tr>
  863. </table>
  864. </p>
  865. </body>
  866. </html>