"checkit_tiff" is an incredibly fast conformance checker for baseline TIFFs (with various extensions), see http://andreas-romeyke.de
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

2399 lines
144KB

  1. <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  2. <html xmlns="http://www.w3.org/1999/xhtml">
  3. <head>
  4. <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" />
  5. <meta name="generator" content="Railroad Diagram Generator 1.45.1338" /><style type="text/css">
  6. ::-moz-selection
  7. {
  8. color: #FFFCF0;
  9. background: #0F0C00;
  10. }
  11. ::selection
  12. {
  13. color: #FFFCF0;
  14. background: #0F0C00;
  15. }
  16. .ebnf a
  17. {
  18. text-decoration: none;
  19. }
  20. .ebnf a:hover
  21. {
  22. color: #050400;
  23. text-decoration: underline;
  24. }
  25. .signature
  26. {
  27. color: #806600;
  28. font-size: 11px;
  29. text-align: right;
  30. }
  31. body
  32. {
  33. font: normal 12px Verdana, sans-serif;
  34. color: #0F0C00;
  35. background: #FFFCF0;
  36. }
  37. a:link, a:visited
  38. {
  39. color: #0F0C00;
  40. }
  41. a:link.signature, a:visited.signature
  42. {
  43. color: #806600;
  44. }
  45. a.button, #tabs li a
  46. {
  47. padding: 0.25em 0.5em;
  48. border: 1px solid #806600;
  49. background: #F1E8C6;
  50. color: #806600;
  51. text-decoration: none;
  52. font-weight: bold;
  53. }
  54. a.button:hover, #tabs li a:hover
  55. {
  56. color: #050400;
  57. background: #FFF6D1;
  58. border-color: #050400;
  59. }
  60. #tabs
  61. {
  62. padding: 3px 10px;
  63. margin-left: 0;
  64. margin-top: 58px;
  65. border-bottom: 1px solid #0F0C00;
  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 #0F0C00;
  76. }
  77. #tabs li a.active
  78. {
  79. color: #0F0C00;
  80. background: #FFFCF0;
  81. border-color: #0F0C00;
  82. border-bottom: 1px solid #FFFCF0;
  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: #806600;
  97. background: #FFFEFA;
  98. color: #050400;
  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: #FFFCF0;
  124. position: absolute;
  125. right: 34px;
  126. top: 94px;
  127. padding: 10px;
  128. border: 1px dotted #0F0C00;
  129. }
  130. #divs div.ebnf, div.ebnf
  131. {
  132. display: block;
  133. padding-left: 16px;
  134. padding-top: 2px;
  135. padding-bottom: 2px;
  136. background: #FFF6D1;
  137. }
  138. tr.option-line td:first-child
  139. {
  140. text-align: right
  141. }
  142. tr.option-text td
  143. {
  144. padding-bottom: 10px
  145. }
  146. table.palette
  147. {
  148. border-top: 1px solid #050400;
  149. border-right: 1px solid #050400;
  150. margin-bottom: 4px
  151. }
  152. td.palette
  153. {
  154. border-bottom: 1px solid #050400;
  155. border-left: 1px solid #050400;
  156. }
  157. a.palette
  158. {
  159. padding: 2px 3px 2px 10px;
  160. text-decoration: none;
  161. }
  162. .palette
  163. {
  164. -webkit-user-select: none;
  165. -khtml-user-select: none;
  166. -moz-user-select: none;
  167. -o-user-select: none;
  168. -ms-user-select: none;
  169. }
  170. </style><svg xmlns="http://www.w3.org/2000/svg">
  171. <defs>
  172. <style type="text/css">
  173. @namespace "http://www.w3.org/2000/svg";
  174. .line {fill: none; stroke: #332900;}
  175. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  176. 2; }
  177. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  178. .filled {fill: #332900; stroke: none;}
  179. text.terminal {font-family: Verdana, Sans-serif;
  180. font-size: 12px;
  181. fill: #141000;
  182. font-weight: bold;
  183. }
  184. text.nonterminal {font-family: Verdana, Sans-serif;
  185. font-size: 12px;
  186. fill: #1A1400;
  187. }
  188. text.regexp {font-family: Verdana, Sans-serif;
  189. font-size: 12px;
  190. fill: #1F1800;
  191. }
  192. rect, circle, polygon {fill: #332900; stroke: #332900;}
  193. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  194. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  195. rect.text {fill: none; stroke: none;}
  196. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  197. </style>
  198. </defs>
  199. </svg>
  200. </head>
  201. <body>
  202. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="start">start:</xhtml:a></xhtml:p>
  203. <svg xmlns="http://www.w3.org/2000/svg" width="242" height="52">
  204. <defs>
  205. <style type="text/css">
  206. @namespace "http://www.w3.org/2000/svg";
  207. .line {fill: none; stroke: #332900;}
  208. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  209. 2; }
  210. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  211. .filled {fill: #332900; stroke: none;}
  212. text.terminal {font-family: Verdana, Sans-serif;
  213. font-size: 12px;
  214. fill: #141000;
  215. font-weight: bold;
  216. }
  217. text.nonterminal {font-family: Verdana, Sans-serif;
  218. font-size: 12px;
  219. fill: #1A1400;
  220. }
  221. text.regexp {font-family: Verdana, Sans-serif;
  222. font-size: 12px;
  223. fill: #1F1800;
  224. }
  225. rect, circle, polygon {fill: #332900; stroke: #332900;}
  226. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  227. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  228. rect.text {fill: none; stroke: none;}
  229. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  230. </style>
  231. </defs>
  232. <polygon points="9 33 1 29 1 37"/>
  233. <polygon points="17 33 9 29 9 37"/>
  234. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Line" xlink:title="Line">
  235. <rect x="51" y="19" width="46" height="32"/>
  236. <rect x="49" y="17" width="46" height="32" class="nonterminal"/>
  237. <text class="nonterminal" x="59" y="37">Line</text>
  238. </a>
  239. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#EndOfFile" xlink:title="EndOfFile">
  240. <rect x="137" y="19" width="78" height="32"/>
  241. <rect x="135" y="17" width="78" height="32" class="nonterminal"/>
  242. <text class="nonterminal" x="145" y="37">EndOfFile</text>
  243. </a>
  244. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m20 0 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 m20 32 h10 m78 0 h10 m3 0 h-3"/>
  245. <polygon points="233 33 241 29 241 37"/>
  246. <polygon points="233 33 225 29 225 37"/>
  247. </svg>
  248. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  249. <xhtml:div class="ebnf"><xhtml:pre><a href="#start" title="start">start</a> ::= <a href="#Line" title="Line">Line</a>+ <a href="#EndOfFile" title="EndOfFile">EndOfFile</a></xhtml:pre></xhtml:div>
  250. </xhtml:p>
  251. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">no references</xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Line">Line:</xhtml:a></xhtml:p>
  252. <svg xmlns="http://www.w3.org/2000/svg" width="348" height="256">
  253. <defs>
  254. <style type="text/css">
  255. @namespace "http://www.w3.org/2000/svg";
  256. .line {fill: none; stroke: #332900;}
  257. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  258. 2; }
  259. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  260. .filled {fill: #332900; stroke: none;}
  261. text.terminal {font-family: Verdana, Sans-serif;
  262. font-size: 12px;
  263. fill: #141000;
  264. font-weight: bold;
  265. }
  266. text.nonterminal {font-family: Verdana, Sans-serif;
  267. font-size: 12px;
  268. fill: #1A1400;
  269. }
  270. text.regexp {font-family: Verdana, Sans-serif;
  271. font-size: 12px;
  272. fill: #1F1800;
  273. }
  274. rect, circle, polygon {fill: #332900; stroke: #332900;}
  275. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  276. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  277. rect.text {fill: none; stroke: none;}
  278. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  279. </style>
  280. </defs>
  281. <polygon points="9 17 1 13 1 21"/>
  282. <polygon points="17 17 9 13 9 21"/>
  283. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#CommentLine" xlink:title="CommentLine">
  284. <rect x="71" y="3" width="106" height="32"/>
  285. <rect x="69" y="1" width="106" height="32" class="nonterminal"/>
  286. <text class="nonterminal" x="79" y="21">CommentLine</text>
  287. </a>
  288. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#SpaceLine" xlink:title="SpaceLine">
  289. <rect x="71" y="47" width="84" height="32"/>
  290. <rect x="69" y="45" width="84" height="32" class="nonterminal"/>
  291. <text class="nonterminal" x="79" y="65">SpaceLine</text>
  292. </a>
  293. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#ModeLine" xlink:title="ModeLine">
  294. <rect x="71" y="91" width="80" height="32"/>
  295. <rect x="69" y="89" width="80" height="32" class="nonterminal"/>
  296. <text class="nonterminal" x="79" y="109">ModeLine</text>
  297. </a>
  298. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#IncludeLine" xlink:title="IncludeLine">
  299. <rect x="71" y="135" width="92" height="32"/>
  300. <rect x="69" y="133" width="92" height="32" class="nonterminal"/>
  301. <text class="nonterminal" x="79" y="153">IncludeLine</text>
  302. </a>
  303. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#TagLine" xlink:title="TagLine">
  304. <rect x="71" y="179" width="68" height="32"/>
  305. <rect x="69" y="177" width="68" height="32" class="nonterminal"/>
  306. <text class="nonterminal" x="79" y="197">TagLine</text>
  307. </a>
  308. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#EndOfLine" xlink:title="EndOfLine">
  309. <rect x="217" y="3" width="84" height="32"/>
  310. <rect x="215" y="1" width="84" height="32" class="nonterminal"/>
  311. <text class="nonterminal" x="225" y="21">EndOfLine</text>
  312. </a>
  313. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MiscUntilEOL" xlink:title="MiscUntilEOL">
  314. <rect x="51" y="223" width="98" height="32"/>
  315. <rect x="49" y="221" width="98" height="32" class="nonterminal"/>
  316. <text class="nonterminal" x="59" y="241">MiscUntilEOL</text>
  317. </a>
  318. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m40 0 h10 m106 0 h10 m-146 0 h20 m126 0 h20 m-166 0 q10 0 10 10 m146 0 q0 -10 10 -10 m-156 10 v24 m146 0 v-24 m-146 24 q0 10 10 10 m126 0 q10 0 10 -10 m-136 10 h10 m84 0 h10 m0 0 h22 m-136 -10 v20 m146 0 v-20 m-146 20 v24 m146 0 v-24 m-146 24 q0 10 10 10 m126 0 q10 0 10 -10 m-136 10 h10 m80 0 h10 m0 0 h26 m-136 -10 v20 m146 0 v-20 m-146 20 v24 m146 0 v-24 m-146 24 q0 10 10 10 m126 0 q10 0 10 -10 m-136 10 h10 m92 0 h10 m0 0 h14 m-136 -10 v20 m146 0 v-20 m-146 20 v24 m146 0 v-24 m-146 24 q0 10 10 10 m126 0 q10 0 10 -10 m-136 10 h10 m68 0 h10 m0 0 h38 m20 -176 h10 m84 0 h10 m-290 0 h20 m270 0 h20 m-310 0 q10 0 10 10 m290 0 q0 -10 10 -10 m-300 10 v200 m290 0 v-200 m-290 200 q0 10 10 10 m270 0 q10 0 10 -10 m-280 10 h10 m98 0 h10 m0 0 h152 m23 -220 h-3"/>
  319. <polygon points="339 17 347 13 347 21"/>
  320. <polygon points="339 17 331 13 331 21"/>
  321. </svg>
  322. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  323. <xhtml:div class="ebnf"><xhtml:pre><a href="#Line" title="Line">Line</a> ::= ( <a href="#CommentLine" title="CommentLine">CommentLine</a> | <a href="#SpaceLine" title="SpaceLine">SpaceLine</a> | <a href="#ModeLine" title="ModeLine">ModeLine</a> | <a href="#IncludeLine" title="IncludeLine">IncludeLine</a> | <a href="#TagLine" title="TagLine">TagLine</a> ) <a href="#EndOfLine" title="EndOfLine">EndOfLine</a>
  324. | <a href="#MiscUntilEOL" title="MiscUntilEOL">MiscUntilEOL</a></xhtml:pre></xhtml:div>
  325. </xhtml:p>
  326. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  327. <xhtml:ul>
  328. <xhtml:li><xhtml:a href="#start" title="start">start</xhtml:a></xhtml:li>
  329. </xhtml:ul>
  330. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="ModeLine">ModeLine:</xhtml:a></xhtml:p>
  331. <svg xmlns="http://www.w3.org/2000/svg" width="400" height="132">
  332. <defs>
  333. <style type="text/css">
  334. @namespace "http://www.w3.org/2000/svg";
  335. .line {fill: none; stroke: #332900;}
  336. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  337. 2; }
  338. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  339. .filled {fill: #332900; stroke: none;}
  340. text.terminal {font-family: Verdana, Sans-serif;
  341. font-size: 12px;
  342. fill: #141000;
  343. font-weight: bold;
  344. }
  345. text.nonterminal {font-family: Verdana, Sans-serif;
  346. font-size: 12px;
  347. fill: #1A1400;
  348. }
  349. text.regexp {font-family: Verdana, Sans-serif;
  350. font-size: 12px;
  351. fill: #1F1800;
  352. }
  353. rect, circle, polygon {fill: #332900; stroke: #332900;}
  354. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  355. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  356. rect.text {fill: none; stroke: none;}
  357. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  358. </style>
  359. </defs>
  360. <polygon points="9 17 1 13 1 21"/>
  361. <polygon points="17 17 9 13 9 21"/>
  362. <rect x="31" y="3" width="56" height="32" rx="10"/>
  363. <rect x="29" y="1" width="56" height="32" class="terminal" rx="10"/>
  364. <text class="terminal" x="39" y="21">mode</text>
  365. <rect x="127" y="35" width="26" height="32" rx="10"/>
  366. <rect x="125" y="33" width="26" height="32" class="terminal" rx="10"/>
  367. <text class="terminal" x="135" y="53">(</text>
  368. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Mode" xlink:title="Mode">
  369. <rect x="193" y="67" width="54" height="32"/>
  370. <rect x="191" y="65" width="54" height="32" class="nonterminal"/>
  371. <text class="nonterminal" x="201" y="85">Mode</text>
  372. </a>
  373. <rect x="287" y="99" width="26" height="32" rx="10"/>
  374. <rect x="285" y="97" width="26" height="32" class="terminal" rx="10"/>
  375. <text class="terminal" x="295" y="117">)</text>
  376. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m56 0 h10 m20 0 h10 m0 0 h236 m-266 0 h20 m246 0 h20 m-286 0 q10 0 10 10 m266 0 q0 -10 10 -10 m-276 10 v12 m266 0 v-12 m-266 12 q0 10 10 10 m246 0 q10 0 10 -10 m-256 10 h10 m26 0 h10 m20 0 h10 m0 0 h150 m-180 0 h20 m160 0 h20 m-200 0 q10 0 10 10 m180 0 q0 -10 10 -10 m-190 10 v12 m180 0 v-12 m-180 12 q0 10 10 10 m160 0 q10 0 10 -10 m-170 10 h10 m54 0 h10 m20 0 h10 m0 0 h36 m-66 0 h20 m46 0 h20 m-86 0 q10 0 10 10 m66 0 q0 -10 10 -10 m-76 10 v12 m66 0 v-12 m-66 12 q0 10 10 10 m46 0 q10 0 10 -10 m-56 10 h10 m26 0 h10 m63 -96 h-3"/>
  377. <polygon points="391 17 399 13 399 21"/>
  378. <polygon points="391 17 383 13 383 21"/>
  379. </svg>
  380. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  381. <xhtml:div class="ebnf"><xhtml:pre><a href="#ModeLine" title="ModeLine">ModeLine</a> ::= 'mode' ( '(' ( <a href="#Mode" title="Mode">Mode</a> ')'? )? )?</xhtml:pre></xhtml:div>
  382. </xhtml:p>
  383. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  384. <xhtml:ul>
  385. <xhtml:li><xhtml:a href="#Line" title="Line">Line</xhtml:a></xhtml:li>
  386. </xhtml:ul>
  387. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="LogicalOr">LogicalOr:</xhtml:a></xhtml:p>
  388. <svg xmlns="http://www.w3.org/2000/svg" width="356" height="36">
  389. <defs>
  390. <style type="text/css">
  391. @namespace "http://www.w3.org/2000/svg";
  392. .line {fill: none; stroke: #332900;}
  393. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  394. 2; }
  395. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  396. .filled {fill: #332900; stroke: none;}
  397. text.terminal {font-family: Verdana, Sans-serif;
  398. font-size: 12px;
  399. fill: #141000;
  400. font-weight: bold;
  401. }
  402. text.nonterminal {font-family: Verdana, Sans-serif;
  403. font-size: 12px;
  404. fill: #1A1400;
  405. }
  406. text.regexp {font-family: Verdana, Sans-serif;
  407. font-size: 12px;
  408. fill: #1F1800;
  409. }
  410. rect, circle, polygon {fill: #332900; stroke: #332900;}
  411. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  412. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  413. rect.text {fill: none; stroke: none;}
  414. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  415. </style>
  416. </defs>
  417. <polygon points="9 17 1 13 1 21"/>
  418. <polygon points="17 17 9 13 9 21"/>
  419. <rect x="31" y="3" width="86" height="32" rx="10"/>
  420. <rect x="29" y="1" width="86" height="32" class="terminal" rx="10"/>
  421. <text class="terminal" x="39" y="21">logical_or</text>
  422. <rect x="137" y="3" width="26" height="32" rx="10"/>
  423. <rect x="135" y="1" width="26" height="32" class="terminal" rx="10"/>
  424. <text class="terminal" x="145" y="21">(</text>
  425. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LogicalOrList" xlink:title="LogicalOrList">
  426. <rect x="183" y="3" width="100" height="32"/>
  427. <rect x="181" y="1" width="100" height="32" class="nonterminal"/>
  428. <text class="nonterminal" x="191" y="21">LogicalOrList</text>
  429. </a>
  430. <rect x="303" y="3" width="26" height="32" rx="10"/>
  431. <rect x="301" y="1" width="26" height="32" class="terminal" rx="10"/>
  432. <text class="terminal" x="311" y="21">)</text>
  433. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m86 0 h10 m0 0 h10 m26 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m26 0 h10 m3 0 h-3"/>
  434. <polygon points="347 17 355 13 355 21"/>
  435. <polygon points="347 17 339 13 339 21"/>
  436. </svg>
  437. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  438. <xhtml:div class="ebnf"><xhtml:pre><a href="#LogicalOr" title="LogicalOr">LogicalOr</a>
  439. ::= 'logical_or' '(' <a href="#LogicalOrList" title="LogicalOrList">LogicalOrList</a> ')'</xhtml:pre></xhtml:div>
  440. </xhtml:p>
  441. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  442. <xhtml:ul>
  443. <xhtml:li><xhtml:a href="#Content" title="Content">Content</xhtml:a></xhtml:li>
  444. </xhtml:ul>
  445. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="LogicalOrListElement">LogicalOrListElement:</xhtml:a></xhtml:p>
  446. <svg xmlns="http://www.w3.org/2000/svg" width="196" height="344">
  447. <defs>
  448. <style type="text/css">
  449. @namespace "http://www.w3.org/2000/svg";
  450. .line {fill: none; stroke: #332900;}
  451. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  452. 2; }
  453. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  454. .filled {fill: #332900; stroke: none;}
  455. text.terminal {font-family: Verdana, Sans-serif;
  456. font-size: 12px;
  457. fill: #141000;
  458. font-weight: bold;
  459. }
  460. text.nonterminal {font-family: Verdana, Sans-serif;
  461. font-size: 12px;
  462. fill: #1A1400;
  463. }
  464. text.regexp {font-family: Verdana, Sans-serif;
  465. font-size: 12px;
  466. fill: #1F1800;
  467. }
  468. rect, circle, polygon {fill: #332900; stroke: #332900;}
  469. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  470. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  471. rect.text {fill: none; stroke: none;}
  472. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  473. </style>
  474. </defs>
  475. <polygon points="9 17 1 13 1 21"/>
  476. <polygon points="17 17 9 13 9 21"/>
  477. <rect x="51" y="3" width="44" height="32" rx="10"/>
  478. <rect x="49" y="1" width="44" height="32" class="terminal" rx="10"/>
  479. <text class="terminal" x="59" y="21">any</text>
  480. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Range" xlink:title="Range">
  481. <rect x="51" y="47" width="60" height="32"/>
  482. <rect x="49" y="45" width="60" height="32" class="nonterminal"/>
  483. <text class="nonterminal" x="59" y="65">Range</text>
  484. </a>
  485. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Only" xlink:title="Only">
  486. <rect x="51" y="91" width="48" height="32"/>
  487. <rect x="49" y="89" width="48" height="32" class="nonterminal"/>
  488. <text class="nonterminal" x="59" y="109">Only</text>
  489. </a>
  490. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Number" xlink:title="Number">
  491. <rect x="51" y="135" width="68" height="32"/>
  492. <rect x="49" y="133" width="68" height="32" class="nonterminal"/>
  493. <text class="nonterminal" x="59" y="153">Number</text>
  494. </a>
  495. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#NTupel" xlink:title="NTupel">
  496. <rect x="51" y="179" width="62" height="32"/>
  497. <rect x="49" y="177" width="62" height="32" class="nonterminal"/>
  498. <text class="nonterminal" x="59" y="197">NTupel</text>
  499. </a>
  500. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#RegEx" xlink:title="RegEx">
  501. <rect x="51" y="223" width="58" height="32"/>
  502. <rect x="49" y="221" width="58" height="32" class="nonterminal"/>
  503. <text class="nonterminal" x="59" y="241">RegEx</text>
  504. </a>
  505. <rect x="51" y="267" width="80" height="32" rx="10"/>
  506. <rect x="49" y="265" width="80" height="32" class="terminal" rx="10"/>
  507. <text class="terminal" x="59" y="285">printascii</text>
  508. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MiscUntilEOL" xlink:title="MiscUntilEOL">
  509. <rect x="51" y="311" width="98" height="32"/>
  510. <rect x="49" y="309" width="98" height="32" class="nonterminal"/>
  511. <text class="nonterminal" x="59" y="329">MiscUntilEOL</text>
  512. </a>
  513. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m44 0 h10 m0 0 h54 m-138 0 h20 m118 0 h20 m-158 0 q10 0 10 10 m138 0 q0 -10 10 -10 m-148 10 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m60 0 h10 m0 0 h38 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m48 0 h10 m0 0 h50 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m68 0 h10 m0 0 h30 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m62 0 h10 m0 0 h36 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m58 0 h10 m0 0 h40 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m80 0 h10 m0 0 h18 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m98 0 h10 m23 -308 h-3"/>
  514. <polygon points="187 17 195 13 195 21"/>
  515. <polygon points="187 17 179 13 179 21"/>
  516. </svg>
  517. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  518. <xhtml:div class="ebnf"><xhtml:pre><a href="#LogicalOrListElement" title="LogicalOrListElement">LogicalOrListElement</a>
  519. ::= 'any'
  520. | <a href="#Range" title="Range">Range</a>
  521. | <a href="#Only" title="Only">Only</a>
  522. | <a href="#Number" title="Number">Number</a>
  523. | <a href="#NTupel" title="NTupel">NTupel</a>
  524. | <a href="#RegEx" title="RegEx">RegEx</a>
  525. | 'printascii'
  526. | <a href="#MiscUntilEOL" title="MiscUntilEOL">MiscUntilEOL</a></xhtml:pre></xhtml:div>
  527. </xhtml:p>
  528. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  529. <xhtml:ul>
  530. <xhtml:li><xhtml:a href="#LogicalOrList" title="LogicalOrList">LogicalOrList</xhtml:a></xhtml:li>
  531. </xhtml:ul>
  532. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="LogicalOrList">LogicalOrList:</xhtml:a></xhtml:p>
  533. <svg xmlns="http://www.w3.org/2000/svg" width="248" height="80">
  534. <defs>
  535. <style type="text/css">
  536. @namespace "http://www.w3.org/2000/svg";
  537. .line {fill: none; stroke: #332900;}
  538. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  539. 2; }
  540. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  541. .filled {fill: #332900; stroke: none;}
  542. text.terminal {font-family: Verdana, Sans-serif;
  543. font-size: 12px;
  544. fill: #141000;
  545. font-weight: bold;
  546. }
  547. text.nonterminal {font-family: Verdana, Sans-serif;
  548. font-size: 12px;
  549. fill: #1A1400;
  550. }
  551. text.regexp {font-family: Verdana, Sans-serif;
  552. font-size: 12px;
  553. fill: #1F1800;
  554. }
  555. rect, circle, polygon {fill: #332900; stroke: #332900;}
  556. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  557. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  558. rect.text {fill: none; stroke: none;}
  559. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  560. </style>
  561. </defs>
  562. <polygon points="9 61 1 57 1 65"/>
  563. <polygon points="17 61 9 57 9 65"/>
  564. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LogicalOrListElement" xlink:title="LogicalOrListElement">
  565. <rect x="51" y="47" width="150" height="32"/>
  566. <rect x="49" y="45" width="150" height="32" class="nonterminal"/>
  567. <text class="nonterminal" x="59" y="65">LogicalOrListElement</text>
  568. </a>
  569. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Colon" xlink:title="Colon">
  570. <rect x="51" y="3" width="56" height="32"/>
  571. <rect x="49" y="1" width="56" height="32" class="nonterminal"/>
  572. <text class="nonterminal" x="59" y="21">Colon</text>
  573. </a>
  574. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 61 h2 m20 0 h10 m150 0 h10 m-190 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -24 q0 -10 10 -10 m170 44 l20 0 m-20 0 q10 0 10 -10 l0 -24 q0 -10 -10 -10 m-170 0 h10 m56 0 h10 m0 0 h94 m23 44 h-3"/>
  575. <polygon points="239 61 247 57 247 65"/>
  576. <polygon points="239 61 231 57 231 65"/>
  577. </svg>
  578. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  579. <xhtml:div class="ebnf"><xhtml:pre><a href="#LogicalOrList" title="LogicalOrList">LogicalOrList</a>
  580. ::= <a href="#LogicalOrListElement" title="LogicalOrListElement">LogicalOrListElement</a> ( <a href="#Colon" title="Colon">Colon</a> <a href="#LogicalOrListElement" title="LogicalOrListElement">LogicalOrListElement</a> )*</xhtml:pre></xhtml:div>
  581. </xhtml:p>
  582. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  583. <xhtml:ul>
  584. <xhtml:li><xhtml:a href="#LogicalOr" title="LogicalOr">LogicalOr</xhtml:a></xhtml:li>
  585. </xhtml:ul>
  586. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Mode">Mode:</xhtml:a></xhtml:p>
  587. <svg xmlns="http://www.w3.org/2000/svg" width="262" height="256">
  588. <defs>
  589. <style type="text/css">
  590. @namespace "http://www.w3.org/2000/svg";
  591. .line {fill: none; stroke: #332900;}
  592. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  593. 2; }
  594. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  595. .filled {fill: #332900; stroke: none;}
  596. text.terminal {font-family: Verdana, Sans-serif;
  597. font-size: 12px;
  598. fill: #141000;
  599. font-weight: bold;
  600. }
  601. text.nonterminal {font-family: Verdana, Sans-serif;
  602. font-size: 12px;
  603. fill: #1A1400;
  604. }
  605. text.regexp {font-family: Verdana, Sans-serif;
  606. font-size: 12px;
  607. fill: #1F1800;
  608. }
  609. rect, circle, polygon {fill: #332900; stroke: #332900;}
  610. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  611. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  612. rect.text {fill: none; stroke: none;}
  613. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  614. </style>
  615. </defs>
  616. <polygon points="9 17 1 13 1 21"/>
  617. <polygon points="17 17 9 13 9 21"/>
  618. <rect x="51" y="3" width="74" height="32" rx="10"/>
  619. <rect x="49" y="1" width="74" height="32" class="terminal" rx="10"/>
  620. <text class="terminal" x="59" y="21">baseline</text>
  621. <rect x="51" y="47" width="156" height="32" rx="10"/>
  622. <rect x="49" y="45" width="156" height="32" class="terminal" rx="10"/>
  623. <text class="terminal" x="59" y="65">enable_type_checks</text>
  624. <rect x="51" y="91" width="164" height="32" rx="10"/>
  625. <rect x="49" y="89" width="164" height="32" class="terminal" rx="10"/>
  626. <text class="terminal" x="59" y="109">enable_offset_checks</text>
  627. <rect x="51" y="135" width="144" height="32" rx="10"/>
  628. <rect x="49" y="133" width="144" height="32" class="terminal" rx="10"/>
  629. <text class="terminal" x="59" y="153">enable_ifd_checks</text>
  630. <rect x="51" y="179" width="82" height="32" rx="10"/>
  631. <rect x="49" y="177" width="82" height="32" class="terminal" rx="10"/>
  632. <text class="terminal" x="59" y="197">enhanced</text>
  633. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MiscUntilEOL" xlink:title="MiscUntilEOL">
  634. <rect x="51" y="223" width="98" height="32"/>
  635. <rect x="49" y="221" width="98" height="32" class="nonterminal"/>
  636. <text class="nonterminal" x="59" y="241">MiscUntilEOL</text>
  637. </a>
  638. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m74 0 h10 m0 0 h90 m-204 0 h20 m184 0 h20 m-224 0 q10 0 10 10 m204 0 q0 -10 10 -10 m-214 10 v24 m204 0 v-24 m-204 24 q0 10 10 10 m184 0 q10 0 10 -10 m-194 10 h10 m156 0 h10 m0 0 h8 m-194 -10 v20 m204 0 v-20 m-204 20 v24 m204 0 v-24 m-204 24 q0 10 10 10 m184 0 q10 0 10 -10 m-194 10 h10 m164 0 h10 m-194 -10 v20 m204 0 v-20 m-204 20 v24 m204 0 v-24 m-204 24 q0 10 10 10 m184 0 q10 0 10 -10 m-194 10 h10 m144 0 h10 m0 0 h20 m-194 -10 v20 m204 0 v-20 m-204 20 v24 m204 0 v-24 m-204 24 q0 10 10 10 m184 0 q10 0 10 -10 m-194 10 h10 m82 0 h10 m0 0 h82 m-194 -10 v20 m204 0 v-20 m-204 20 v24 m204 0 v-24 m-204 24 q0 10 10 10 m184 0 q10 0 10 -10 m-194 10 h10 m98 0 h10 m0 0 h66 m23 -220 h-3"/>
  639. <polygon points="253 17 261 13 261 21"/>
  640. <polygon points="253 17 245 13 245 21"/>
  641. </svg>
  642. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  643. <xhtml:div class="ebnf"><xhtml:pre><a href="#Mode" title="Mode">Mode</a> ::= 'baseline'
  644. | 'enable_type_checks'
  645. | 'enable_offset_checks'
  646. | 'enable_ifd_checks'
  647. | 'enhanced'
  648. | <a href="#MiscUntilEOL" title="MiscUntilEOL">MiscUntilEOL</a></xhtml:pre></xhtml:div>
  649. </xhtml:p>
  650. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  651. <xhtml:ul>
  652. <xhtml:li><xhtml:a href="#ModeLine" title="ModeLine">ModeLine</xhtml:a></xhtml:li>
  653. </xhtml:ul>
  654. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="TagLine">TagLine:</xhtml:a></xhtml:p>
  655. <svg xmlns="http://www.w3.org/2000/svg" width="680" height="164">
  656. <defs>
  657. <style type="text/css">
  658. @namespace "http://www.w3.org/2000/svg";
  659. .line {fill: none; stroke: #332900;}
  660. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  661. 2; }
  662. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  663. .filled {fill: #332900; stroke: none;}
  664. text.terminal {font-family: Verdana, Sans-serif;
  665. font-size: 12px;
  666. fill: #141000;
  667. font-weight: bold;
  668. }
  669. text.nonterminal {font-family: Verdana, Sans-serif;
  670. font-size: 12px;
  671. fill: #1A1400;
  672. }
  673. text.regexp {font-family: Verdana, Sans-serif;
  674. font-size: 12px;
  675. fill: #1F1800;
  676. }
  677. rect, circle, polygon {fill: #332900; stroke: #332900;}
  678. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  679. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  680. rect.text {fill: none; stroke: none;}
  681. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  682. </style>
  683. </defs>
  684. <polygon points="9 17 1 13 1 21"/>
  685. <polygon points="17 17 9 13 9 21"/>
  686. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Tag" xlink:title="Tag">
  687. <rect x="31" y="3" width="42" height="32"/>
  688. <rect x="29" y="1" width="42" height="32" class="nonterminal"/>
  689. <text class="nonterminal" x="39" y="21">Tag</text>
  690. </a>
  691. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Semicolon" xlink:title="Semicolon">
  692. <rect x="113" y="35" width="82" height="32"/>
  693. <rect x="111" y="33" width="82" height="32" class="nonterminal"/>
  694. <text class="nonterminal" x="121" y="53">Semicolon</text>
  695. </a>
  696. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Requirements" xlink:title="Requirements">
  697. <rect x="235" y="67" width="106" height="32"/>
  698. <rect x="233" y="65" width="106" height="32" class="nonterminal"/>
  699. <text class="nonterminal" x="243" y="85">Requirements</text>
  700. </a>
  701. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Semicolon" xlink:title="Semicolon">
  702. <rect x="381" y="99" width="82" height="32"/>
  703. <rect x="379" y="97" width="82" height="32" class="nonterminal"/>
  704. <text class="nonterminal" x="389" y="117">Semicolon</text>
  705. </a>
  706. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Content" xlink:title="Content">
  707. <rect x="503" y="131" width="70" height="32"/>
  708. <rect x="501" y="129" width="70" height="32" class="nonterminal"/>
  709. <text class="nonterminal" x="511" y="149">Content</text>
  710. </a>
  711. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m42 0 h10 m20 0 h10 m0 0 h530 m-560 0 h20 m540 0 h20 m-580 0 q10 0 10 10 m560 0 q0 -10 10 -10 m-570 10 v12 m560 0 v-12 m-560 12 q0 10 10 10 m540 0 q10 0 10 -10 m-550 10 h10 m82 0 h10 m20 0 h10 m0 0 h388 m-418 0 h20 m398 0 h20 m-438 0 q10 0 10 10 m418 0 q0 -10 10 -10 m-428 10 v12 m418 0 v-12 m-418 12 q0 10 10 10 m398 0 q10 0 10 -10 m-408 10 h10 m106 0 h10 m20 0 h10 m0 0 h222 m-252 0 h20 m232 0 h20 m-272 0 q10 0 10 10 m252 0 q0 -10 10 -10 m-262 10 v12 m252 0 v-12 m-252 12 q0 10 10 10 m232 0 q10 0 10 -10 m-242 10 h10 m82 0 h10 m20 0 h10 m0 0 h80 m-110 0 h20 m90 0 h20 m-130 0 q10 0 10 10 m110 0 q0 -10 10 -10 m-120 10 v12 m110 0 v-12 m-110 12 q0 10 10 10 m90 0 q10 0 10 -10 m-100 10 h10 m70 0 h10 m83 -128 h-3"/>
  712. <polygon points="671 17 679 13 679 21"/>
  713. <polygon points="671 17 663 13 663 21"/>
  714. </svg>
  715. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  716. <xhtml:div class="ebnf"><xhtml:pre><a href="#TagLine" title="TagLine">TagLine</a> ::= <a href="#Tag" title="Tag">Tag</a> ( <a href="#Semicolon" title="Semicolon">Semicolon</a> ( <a href="#Requirements" title="Requirements">Requirements</a> ( <a href="#Semicolon" title="Semicolon">Semicolon</a> <a href="#Content" title="Content">Content</a>? )? )? )?</xhtml:pre></xhtml:div>
  717. </xhtml:p>
  718. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  719. <xhtml:ul>
  720. <xhtml:li><xhtml:a href="#Line" title="Line">Line</xhtml:a></xhtml:li>
  721. </xhtml:ul>
  722. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Tag">Tag:</xhtml:a></xhtml:p>
  723. <svg xmlns="http://www.w3.org/2000/svg" width="126" height="36">
  724. <defs>
  725. <style type="text/css">
  726. @namespace "http://www.w3.org/2000/svg";
  727. .line {fill: none; stroke: #332900;}
  728. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  729. 2; }
  730. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  731. .filled {fill: #332900; stroke: none;}
  732. text.terminal {font-family: Verdana, Sans-serif;
  733. font-size: 12px;
  734. fill: #141000;
  735. font-weight: bold;
  736. }
  737. text.nonterminal {font-family: Verdana, Sans-serif;
  738. font-size: 12px;
  739. fill: #1A1400;
  740. }
  741. text.regexp {font-family: Verdana, Sans-serif;
  742. font-size: 12px;
  743. fill: #1F1800;
  744. }
  745. rect, circle, polygon {fill: #332900; stroke: #332900;}
  746. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  747. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  748. rect.text {fill: none; stroke: none;}
  749. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  750. </style>
  751. </defs>
  752. <polygon points="9 17 1 13 1 21"/>
  753. <polygon points="17 17 9 13 9 21"/>
  754. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Number" xlink:title="Number">
  755. <rect x="31" y="3" width="68" height="32"/>
  756. <rect x="29" y="1" width="68" height="32" class="nonterminal"/>
  757. <text class="nonterminal" x="39" y="21">Number</text>
  758. </a>
  759. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m68 0 h10 m3 0 h-3"/>
  760. <polygon points="117 17 125 13 125 21"/>
  761. <polygon points="117 17 109 13 109 21"/>
  762. </svg>
  763. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  764. <xhtml:div class="ebnf"><xhtml:pre><a href="#Tag" title="Tag">Tag</a> ::= <a href="#Number" title="Number">Number</a></xhtml:pre></xhtml:div>
  765. </xhtml:p>
  766. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  767. <xhtml:ul>
  768. <xhtml:li><xhtml:a href="#TagLine" title="TagLine">TagLine</xhtml:a></xhtml:li>
  769. </xhtml:ul>
  770. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="TagReference">TagReference:</xhtml:a></xhtml:p>
  771. <svg xmlns="http://www.w3.org/2000/svg" width="196" height="80">
  772. <defs>
  773. <style type="text/css">
  774. @namespace "http://www.w3.org/2000/svg";
  775. .line {fill: none; stroke: #332900;}
  776. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  777. 2; }
  778. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  779. .filled {fill: #332900; stroke: none;}
  780. text.terminal {font-family: Verdana, Sans-serif;
  781. font-size: 12px;
  782. fill: #141000;
  783. font-weight: bold;
  784. }
  785. text.nonterminal {font-family: Verdana, Sans-serif;
  786. font-size: 12px;
  787. fill: #1A1400;
  788. }
  789. text.regexp {font-family: Verdana, Sans-serif;
  790. font-size: 12px;
  791. fill: #1F1800;
  792. }
  793. rect, circle, polygon {fill: #332900; stroke: #332900;}
  794. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  795. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  796. rect.text {fill: none; stroke: none;}
  797. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  798. </style>
  799. </defs>
  800. <polygon points="9 17 1 13 1 21"/>
  801. <polygon points="17 17 9 13 9 21"/>
  802. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Number" xlink:title="Number">
  803. <rect x="51" y="3" width="68" height="32"/>
  804. <rect x="49" y="1" width="68" height="32" class="nonterminal"/>
  805. <text class="nonterminal" x="59" y="21">Number</text>
  806. </a>
  807. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MiscUntilEOL" xlink:title="MiscUntilEOL">
  808. <rect x="51" y="47" width="98" height="32"/>
  809. <rect x="49" y="45" width="98" height="32" class="nonterminal"/>
  810. <text class="nonterminal" x="59" y="65">MiscUntilEOL</text>
  811. </a>
  812. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m68 0 h10 m0 0 h30 m-138 0 h20 m118 0 h20 m-158 0 q10 0 10 10 m138 0 q0 -10 10 -10 m-148 10 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m98 0 h10 m23 -44 h-3"/>
  813. <polygon points="187 17 195 13 195 21"/>
  814. <polygon points="187 17 179 13 179 21"/>
  815. </svg>
  816. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  817. <xhtml:div class="ebnf"><xhtml:pre><a href="#TagReference" title="TagReference">TagReference</a>
  818. ::= <a href="#Number" title="Number">Number</a>
  819. | <a href="#MiscUntilEOL" title="MiscUntilEOL">MiscUntilEOL</a></xhtml:pre></xhtml:div>
  820. </xhtml:p>
  821. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  822. <xhtml:ul>
  823. <xhtml:li><xhtml:a href="#IfDepends" title="IfDepends">IfDepends</xhtml:a></xhtml:li>
  824. <xhtml:li><xhtml:a href="#OptDepends" title="OptDepends">OptDepends</xhtml:a></xhtml:li>
  825. </xhtml:ul>
  826. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Semicolon">Semicolon:</xhtml:a></xhtml:p>
  827. <svg xmlns="http://www.w3.org/2000/svg" width="240" height="114">
  828. <defs>
  829. <style type="text/css">
  830. @namespace "http://www.w3.org/2000/svg";
  831. .line {fill: none; stroke: #332900;}
  832. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  833. 2; }
  834. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  835. .filled {fill: #332900; stroke: none;}
  836. text.terminal {font-family: Verdana, Sans-serif;
  837. font-size: 12px;
  838. fill: #141000;
  839. font-weight: bold;
  840. }
  841. text.nonterminal {font-family: Verdana, Sans-serif;
  842. font-size: 12px;
  843. fill: #1A1400;
  844. }
  845. text.regexp {font-family: Verdana, Sans-serif;
  846. font-size: 12px;
  847. fill: #1F1800;
  848. }
  849. rect, circle, polygon {fill: #332900; stroke: #332900;}
  850. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  851. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  852. rect.text {fill: none; stroke: none;}
  853. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  854. </style>
  855. </defs>
  856. <polygon points="9 51 1 47 1 55"/>
  857. <polygon points="17 51 9 47 9 55"/>
  858. <rect x="51" y="37" width="24" height="32" rx="10"/>
  859. <rect x="49" y="35" width="24" height="32" class="terminal" rx="10"/>
  860. <text class="terminal" x="59" y="55">;</text>
  861. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Space" xlink:title="Space">
  862. <rect x="115" y="3" width="58" height="32"/>
  863. <rect x="113" y="1" width="58" height="32" class="nonterminal"/>
  864. <text class="nonterminal" x="123" y="21">Space</text>
  865. </a>
  866. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MiscUntilEOL" xlink:title="MiscUntilEOL">
  867. <rect x="51" y="81" width="98" height="32"/>
  868. <rect x="49" y="79" width="98" height="32" class="nonterminal"/>
  869. <text class="nonterminal" x="59" y="99">MiscUntilEOL</text>
  870. </a>
  871. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 51 h2 m20 0 h10 m24 0 h10 m20 0 h10 m0 0 h68 m-98 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m78 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-78 0 h10 m58 0 h10 m-162 34 h20 m162 0 h20 m-202 0 q10 0 10 10 m182 0 q0 -10 10 -10 m-192 10 v24 m182 0 v-24 m-182 24 q0 10 10 10 m162 0 q10 0 10 -10 m-172 10 h10 m98 0 h10 m0 0 h44 m23 -44 h-3"/>
  872. <polygon points="231 51 239 47 239 55"/>
  873. <polygon points="231 51 223 47 223 55"/>
  874. </svg>
  875. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  876. <xhtml:div class="ebnf"><xhtml:pre><a href="#Semicolon" title="Semicolon">Semicolon</a>
  877. ::= ';' <a href="#Space" title="Space">Space</a>*
  878. | <a href="#MiscUntilEOL" title="MiscUntilEOL">MiscUntilEOL</a></xhtml:pre></xhtml:div>
  879. </xhtml:p>
  880. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  881. <xhtml:ul>
  882. <xhtml:li><xhtml:a href="#TagLine" title="TagLine">TagLine</xhtml:a></xhtml:li>
  883. </xhtml:ul>
  884. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Requirements">Requirements:</xhtml:a></xhtml:p>
  885. <svg xmlns="http://www.w3.org/2000/svg" width="196" height="212">
  886. <defs>
  887. <style type="text/css">
  888. @namespace "http://www.w3.org/2000/svg";
  889. .line {fill: none; stroke: #332900;}
  890. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  891. 2; }
  892. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  893. .filled {fill: #332900; stroke: none;}
  894. text.terminal {font-family: Verdana, Sans-serif;
  895. font-size: 12px;
  896. fill: #141000;
  897. font-weight: bold;
  898. }
  899. text.nonterminal {font-family: Verdana, Sans-serif;
  900. font-size: 12px;
  901. fill: #1A1400;
  902. }
  903. text.regexp {font-family: Verdana, Sans-serif;
  904. font-size: 12px;
  905. fill: #1F1800;
  906. }
  907. rect, circle, polygon {fill: #332900; stroke: #332900;}
  908. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  909. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  910. rect.text {fill: none; stroke: none;}
  911. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  912. </style>
  913. </defs>
  914. <polygon points="9 17 1 13 1 21"/>
  915. <polygon points="17 17 9 13 9 21"/>
  916. <rect x="51" y="3" width="90" height="32" rx="10"/>
  917. <rect x="49" y="1" width="90" height="32" class="terminal" rx="10"/>
  918. <text class="terminal" x="59" y="21">mandatory</text>
  919. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#IfDepends" xlink:title="IfDepends">
  920. <rect x="51" y="47" width="84" height="32"/>
  921. <rect x="49" y="45" width="84" height="32" class="nonterminal"/>
  922. <text class="nonterminal" x="59" y="65">IfDepends</text>
  923. </a>
  924. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#OptDepends" xlink:title="OptDepends">
  925. <rect x="51" y="91" width="98" height="32"/>
  926. <rect x="49" y="89" width="98" height="32" class="nonterminal"/>
  927. <text class="nonterminal" x="59" y="109">OptDepends</text>
  928. </a>
  929. <rect x="51" y="135" width="72" height="32" rx="10"/>
  930. <rect x="49" y="133" width="72" height="32" class="terminal" rx="10"/>
  931. <text class="terminal" x="59" y="153">optional</text>
  932. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MiscUntilEOL" xlink:title="MiscUntilEOL">
  933. <rect x="51" y="179" width="98" height="32"/>
  934. <rect x="49" y="177" width="98" height="32" class="nonterminal"/>
  935. <text class="nonterminal" x="59" y="197">MiscUntilEOL</text>
  936. </a>
  937. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m90 0 h10 m0 0 h8 m-138 0 h20 m118 0 h20 m-158 0 q10 0 10 10 m138 0 q0 -10 10 -10 m-148 10 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m84 0 h10 m0 0 h14 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m98 0 h10 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m72 0 h10 m0 0 h26 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m98 0 h10 m23 -176 h-3"/>
  938. <polygon points="187 17 195 13 195 21"/>
  939. <polygon points="187 17 179 13 179 21"/>
  940. </svg>
  941. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  942. <xhtml:div class="ebnf"><xhtml:pre><a href="#Requirements" title="Requirements">Requirements</a>
  943. ::= 'mandatory'
  944. | <a href="#IfDepends" title="IfDepends">IfDepends</a>
  945. | <a href="#OptDepends" title="OptDepends">OptDepends</a>
  946. | 'optional'
  947. | <a href="#MiscUntilEOL" title="MiscUntilEOL">MiscUntilEOL</a></xhtml:pre></xhtml:div>
  948. </xhtml:p>
  949. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  950. <xhtml:ul>
  951. <xhtml:li><xhtml:a href="#TagLine" title="TagLine">TagLine</xhtml:a></xhtml:li>
  952. </xhtml:ul>
  953. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="IfDepends">IfDepends:</xhtml:a></xhtml:p>
  954. <svg xmlns="http://www.w3.org/2000/svg" width="750" height="196">
  955. <defs>
  956. <style type="text/css">
  957. @namespace "http://www.w3.org/2000/svg";
  958. .line {fill: none; stroke: #332900;}
  959. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  960. 2; }
  961. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  962. .filled {fill: #332900; stroke: none;}
  963. text.terminal {font-family: Verdana, Sans-serif;
  964. font-size: 12px;
  965. fill: #141000;
  966. font-weight: bold;
  967. }
  968. text.nonterminal {font-family: Verdana, Sans-serif;
  969. font-size: 12px;
  970. fill: #1A1400;
  971. }
  972. text.regexp {font-family: Verdana, Sans-serif;
  973. font-size: 12px;
  974. fill: #1F1800;
  975. }
  976. rect, circle, polygon {fill: #332900; stroke: #332900;}
  977. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  978. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  979. rect.text {fill: none; stroke: none;}
  980. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  981. </style>
  982. </defs>
  983. <polygon points="9 17 1 13 1 21"/>
  984. <polygon points="17 17 9 13 9 21"/>
  985. <rect x="31" y="3" width="74" height="32" rx="10"/>
  986. <rect x="29" y="1" width="74" height="32" class="terminal" rx="10"/>
  987. <text class="terminal" x="39" y="21">depends</text>
  988. <rect x="145" y="35" width="26" height="32" rx="10"/>
  989. <rect x="143" y="33" width="26" height="32" class="terminal" rx="10"/>
  990. <text class="terminal" x="153" y="53">(</text>
  991. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#TagReference" xlink:title="TagReference">
  992. <rect x="211" y="67" width="106" height="32"/>
  993. <rect x="209" y="65" width="106" height="32" class="nonterminal"/>
  994. <text class="nonterminal" x="219" y="85">TagReference</text>
  995. </a>
  996. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Dot" xlink:title="Dot">
  997. <rect x="357" y="99" width="42" height="32"/>
  998. <rect x="355" y="97" width="42" height="32" class="nonterminal"/>
  999. <text class="nonterminal" x="365" y="117">Dot</text>
  1000. </a>
  1001. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#ValueReference" xlink:title="ValueReference">
  1002. <rect x="439" y="131" width="118" height="32"/>
  1003. <rect x="437" y="129" width="118" height="32" class="nonterminal"/>
  1004. <text class="nonterminal" x="447" y="149">ValueReference</text>
  1005. </a>
  1006. <rect x="597" y="163" width="26" height="32" rx="10"/>
  1007. <rect x="595" y="161" width="26" height="32" class="terminal" rx="10"/>
  1008. <text class="terminal" x="605" y="181">)</text>
  1009. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m74 0 h10 m20 0 h10 m0 0 h568 m-598 0 h20 m578 0 h20 m-618 0 q10 0 10 10 m598 0 q0 -10 10 -10 m-608 10 v12 m598 0 v-12 m-598 12 q0 10 10 10 m578 0 q10 0 10 -10 m-588 10 h10 m26 0 h10 m20 0 h10 m0 0 h482 m-512 0 h20 m492 0 h20 m-532 0 q10 0 10 10 m512 0 q0 -10 10 -10 m-522 10 v12 m512 0 v-12 m-512 12 q0 10 10 10 m492 0 q10 0 10 -10 m-502 10 h10 m106 0 h10 m20 0 h10 m0 0 h316 m-346 0 h20 m326 0 h20 m-366 0 q10 0 10 10 m346 0 q0 -10 10 -10 m-356 10 v12 m346 0 v-12 m-346 12 q0 10 10 10 m326 0 q10 0 10 -10 m-336 10 h10 m42 0 h10 m20 0 h10 m0 0 h214 m-244 0 h20 m224 0 h20 m-264 0 q10 0 10 10 m244 0 q0 -10 10 -10 m-254 10 v12 m244 0 v-12 m-244 12 q0 10 10 10 m224 0 q10 0 10 -10 m-234 10 h10 m118 0 h10 m20 0 h10 m0 0 h36 m-66 0 h20 m46 0 h20 m-86 0 q10 0 10 10 m66 0 q0 -10 10 -10 m-76 10 v12 m66 0 v-12 m-66 12 q0 10 10 10 m46 0 q10 0 10 -10 m-56 10 h10 m26 0 h10 m103 -160 h-3"/>
  1010. <polygon points="741 17 749 13 749 21"/>
  1011. <polygon points="741 17 733 13 733 21"/>
  1012. </svg>
  1013. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1014. <xhtml:div class="ebnf"><xhtml:pre><a href="#IfDepends" title="IfDepends">IfDepends</a>
  1015. ::= 'depends' ( '(' ( <a href="#TagReference" title="TagReference">TagReference</a> ( <a href="#Dot" title="Dot">Dot</a> ( <a href="#ValueReference" title="ValueReference">ValueReference</a> ')'? )? )? )? )?</xhtml:pre></xhtml:div>
  1016. </xhtml:p>
  1017. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1018. <xhtml:ul>
  1019. <xhtml:li><xhtml:a href="#Requirements" title="Requirements">Requirements</xhtml:a></xhtml:li>
  1020. </xhtml:ul>
  1021. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="OptDepends">OptDepends:</xhtml:a></xhtml:p>
  1022. <svg xmlns="http://www.w3.org/2000/svg" width="772" height="196">
  1023. <defs>
  1024. <style type="text/css">
  1025. @namespace "http://www.w3.org/2000/svg";
  1026. .line {fill: none; stroke: #332900;}
  1027. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1028. 2; }
  1029. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1030. .filled {fill: #332900; stroke: none;}
  1031. text.terminal {font-family: Verdana, Sans-serif;
  1032. font-size: 12px;
  1033. fill: #141000;
  1034. font-weight: bold;
  1035. }
  1036. text.nonterminal {font-family: Verdana, Sans-serif;
  1037. font-size: 12px;
  1038. fill: #1A1400;
  1039. }
  1040. text.regexp {font-family: Verdana, Sans-serif;
  1041. font-size: 12px;
  1042. fill: #1F1800;
  1043. }
  1044. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1045. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1046. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1047. rect.text {fill: none; stroke: none;}
  1048. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1049. </style>
  1050. </defs>
  1051. <polygon points="9 17 1 13 1 21"/>
  1052. <polygon points="17 17 9 13 9 21"/>
  1053. <rect x="31" y="3" width="96" height="32" rx="10"/>
  1054. <rect x="29" y="1" width="96" height="32" class="terminal" rx="10"/>
  1055. <text class="terminal" x="39" y="21">optdepends</text>
  1056. <rect x="167" y="35" width="26" height="32" rx="10"/>
  1057. <rect x="165" y="33" width="26" height="32" class="terminal" rx="10"/>
  1058. <text class="terminal" x="175" y="53">(</text>
  1059. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#TagReference" xlink:title="TagReference">
  1060. <rect x="233" y="67" width="106" height="32"/>
  1061. <rect x="231" y="65" width="106" height="32" class="nonterminal"/>
  1062. <text class="nonterminal" x="241" y="85">TagReference</text>
  1063. </a>
  1064. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Dot" xlink:title="Dot">
  1065. <rect x="379" y="99" width="42" height="32"/>
  1066. <rect x="377" y="97" width="42" height="32" class="nonterminal"/>
  1067. <text class="nonterminal" x="387" y="117">Dot</text>
  1068. </a>
  1069. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#ValueReference" xlink:title="ValueReference">
  1070. <rect x="461" y="131" width="118" height="32"/>
  1071. <rect x="459" y="129" width="118" height="32" class="nonterminal"/>
  1072. <text class="nonterminal" x="469" y="149">ValueReference</text>
  1073. </a>
  1074. <rect x="619" y="163" width="26" height="32" rx="10"/>
  1075. <rect x="617" y="161" width="26" height="32" class="terminal" rx="10"/>
  1076. <text class="terminal" x="627" y="181">)</text>
  1077. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m96 0 h10 m20 0 h10 m0 0 h568 m-598 0 h20 m578 0 h20 m-618 0 q10 0 10 10 m598 0 q0 -10 10 -10 m-608 10 v12 m598 0 v-12 m-598 12 q0 10 10 10 m578 0 q10 0 10 -10 m-588 10 h10 m26 0 h10 m20 0 h10 m0 0 h482 m-512 0 h20 m492 0 h20 m-532 0 q10 0 10 10 m512 0 q0 -10 10 -10 m-522 10 v12 m512 0 v-12 m-512 12 q0 10 10 10 m492 0 q10 0 10 -10 m-502 10 h10 m106 0 h10 m20 0 h10 m0 0 h316 m-346 0 h20 m326 0 h20 m-366 0 q10 0 10 10 m346 0 q0 -10 10 -10 m-356 10 v12 m346 0 v-12 m-346 12 q0 10 10 10 m326 0 q10 0 10 -10 m-336 10 h10 m42 0 h10 m20 0 h10 m0 0 h214 m-244 0 h20 m224 0 h20 m-264 0 q10 0 10 10 m244 0 q0 -10 10 -10 m-254 10 v12 m244 0 v-12 m-244 12 q0 10 10 10 m224 0 q10 0 10 -10 m-234 10 h10 m118 0 h10 m20 0 h10 m0 0 h36 m-66 0 h20 m46 0 h20 m-86 0 q10 0 10 10 m66 0 q0 -10 10 -10 m-76 10 v12 m66 0 v-12 m-66 12 q0 10 10 10 m46 0 q10 0 10 -10 m-56 10 h10 m26 0 h10 m103 -160 h-3"/>
  1078. <polygon points="763 17 771 13 771 21"/>
  1079. <polygon points="763 17 755 13 755 21"/>
  1080. </svg>
  1081. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1082. <xhtml:div class="ebnf"><xhtml:pre><a href="#OptDepends" title="OptDepends">OptDepends</a>
  1083. ::= 'optdepends' ( '(' ( <a href="#TagReference" title="TagReference">TagReference</a> ( <a href="#Dot" title="Dot">Dot</a> ( <a href="#ValueReference" title="ValueReference">ValueReference</a> ')'? )? )? )? )?</xhtml:pre></xhtml:div>
  1084. </xhtml:p>
  1085. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1086. <xhtml:ul>
  1087. <xhtml:li><xhtml:a href="#Requirements" title="Requirements">Requirements</xhtml:a></xhtml:li>
  1088. </xhtml:ul>
  1089. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Content">Content:</xhtml:a></xhtml:p>
  1090. <svg xmlns="http://www.w3.org/2000/svg" width="196" height="432">
  1091. <defs>
  1092. <style type="text/css">
  1093. @namespace "http://www.w3.org/2000/svg";
  1094. .line {fill: none; stroke: #332900;}
  1095. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1096. 2; }
  1097. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1098. .filled {fill: #332900; stroke: none;}
  1099. text.terminal {font-family: Verdana, Sans-serif;
  1100. font-size: 12px;
  1101. fill: #141000;
  1102. font-weight: bold;
  1103. }
  1104. text.nonterminal {font-family: Verdana, Sans-serif;
  1105. font-size: 12px;
  1106. fill: #1A1400;
  1107. }
  1108. text.regexp {font-family: Verdana, Sans-serif;
  1109. font-size: 12px;
  1110. fill: #1F1800;
  1111. }
  1112. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1113. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1114. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1115. rect.text {fill: none; stroke: none;}
  1116. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1117. </style>
  1118. </defs>
  1119. <polygon points="9 17 1 13 1 21"/>
  1120. <polygon points="17 17 9 13 9 21"/>
  1121. <rect x="51" y="3" width="44" height="32" rx="10"/>
  1122. <rect x="49" y="1" width="44" height="32" class="terminal" rx="10"/>
  1123. <text class="terminal" x="59" y="21">any</text>
  1124. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Range" xlink:title="Range">
  1125. <rect x="51" y="47" width="60" height="32"/>
  1126. <rect x="49" y="45" width="60" height="32" class="nonterminal"/>
  1127. <text class="nonterminal" x="59" y="65">Range</text>
  1128. </a>
  1129. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LogicalOr" xlink:title="LogicalOr">
  1130. <rect x="51" y="91" width="78" height="32"/>
  1131. <rect x="49" y="89" width="78" height="32" class="nonterminal"/>
  1132. <text class="nonterminal" x="59" y="109">LogicalOr</text>
  1133. </a>
  1134. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Only" xlink:title="Only">
  1135. <rect x="51" y="135" width="48" height="32"/>
  1136. <rect x="49" y="133" width="48" height="32" class="nonterminal"/>
  1137. <text class="nonterminal" x="59" y="153">Only</text>
  1138. </a>
  1139. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#NTupel" xlink:title="NTupel">
  1140. <rect x="51" y="179" width="62" height="32"/>
  1141. <rect x="49" y="177" width="62" height="32" class="nonterminal"/>
  1142. <text class="nonterminal" x="59" y="197">NTupel</text>
  1143. </a>
  1144. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#RegEx" xlink:title="RegEx">
  1145. <rect x="51" y="223" width="58" height="32"/>
  1146. <rect x="49" y="221" width="58" height="32" class="nonterminal"/>
  1147. <text class="nonterminal" x="59" y="241">RegEx</text>
  1148. </a>
  1149. <rect x="51" y="267" width="80" height="32" rx="10"/>
  1150. <rect x="49" y="265" width="80" height="32" class="terminal" rx="10"/>
  1151. <text class="terminal" x="59" y="285">printascii</text>
  1152. <rect x="51" y="311" width="78" height="32" rx="10"/>
  1153. <rect x="49" y="309" width="78" height="32" class="terminal" rx="10"/>
  1154. <text class="terminal" x="59" y="329">datetime</text>
  1155. <rect x="51" y="355" width="80" height="32" rx="10"/>
  1156. <rect x="49" y="353" width="80" height="32" class="terminal" rx="10"/>
  1157. <text class="terminal" x="59" y="373">iccprofile</text>
  1158. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MiscUntilEOL" xlink:title="MiscUntilEOL">
  1159. <rect x="51" y="399" width="98" height="32"/>
  1160. <rect x="49" y="397" width="98" height="32" class="nonterminal"/>
  1161. <text class="nonterminal" x="59" y="417">MiscUntilEOL</text>
  1162. </a>
  1163. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m44 0 h10 m0 0 h54 m-138 0 h20 m118 0 h20 m-158 0 q10 0 10 10 m138 0 q0 -10 10 -10 m-148 10 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m60 0 h10 m0 0 h38 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m78 0 h10 m0 0 h20 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m48 0 h10 m0 0 h50 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m62 0 h10 m0 0 h36 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m58 0 h10 m0 0 h40 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m80 0 h10 m0 0 h18 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m78 0 h10 m0 0 h20 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m80 0 h10 m0 0 h18 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m98 0 h10 m23 -396 h-3"/>
  1164. <polygon points="187 17 195 13 195 21"/>
  1165. <polygon points="187 17 179 13 179 21"/>
  1166. </svg>
  1167. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1168. <xhtml:div class="ebnf"><xhtml:pre><a href="#Content" title="Content">Content</a> ::= 'any'
  1169. | <a href="#Range" title="Range">Range</a>
  1170. | <a href="#LogicalOr" title="LogicalOr">LogicalOr</a>
  1171. | <a href="#Only" title="Only">Only</a>
  1172. | <a href="#NTupel" title="NTupel">NTupel</a>
  1173. | <a href="#RegEx" title="RegEx">RegEx</a>
  1174. | 'printascii'
  1175. | 'datetime'
  1176. | 'iccprofile'
  1177. | <a href="#MiscUntilEOL" title="MiscUntilEOL">MiscUntilEOL</a></xhtml:pre></xhtml:div>
  1178. </xhtml:p>
  1179. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1180. <xhtml:ul>
  1181. <xhtml:li><xhtml:a href="#TagLine" title="TagLine">TagLine</xhtml:a></xhtml:li>
  1182. </xhtml:ul>
  1183. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Range">Range:</xhtml:a></xhtml:p>
  1184. <svg xmlns="http://www.w3.org/2000/svg" width="660" height="196">
  1185. <defs>
  1186. <style type="text/css">
  1187. @namespace "http://www.w3.org/2000/svg";
  1188. .line {fill: none; stroke: #332900;}
  1189. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1190. 2; }
  1191. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1192. .filled {fill: #332900; stroke: none;}
  1193. text.terminal {font-family: Verdana, Sans-serif;
  1194. font-size: 12px;
  1195. fill: #141000;
  1196. font-weight: bold;
  1197. }
  1198. text.nonterminal {font-family: Verdana, Sans-serif;
  1199. font-size: 12px;
  1200. fill: #1A1400;
  1201. }
  1202. text.regexp {font-family: Verdana, Sans-serif;
  1203. font-size: 12px;
  1204. fill: #1F1800;
  1205. }
  1206. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1207. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1208. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1209. rect.text {fill: none; stroke: none;}
  1210. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1211. </style>
  1212. </defs>
  1213. <polygon points="9 17 1 13 1 21"/>
  1214. <polygon points="17 17 9 13 9 21"/>
  1215. <rect x="31" y="3" width="58" height="32" rx="10"/>
  1216. <rect x="29" y="1" width="58" height="32" class="terminal" rx="10"/>
  1217. <text class="terminal" x="39" y="21">range</text>
  1218. <rect x="129" y="35" width="26" height="32" rx="10"/>
  1219. <rect x="127" y="33" width="26" height="32" class="terminal" rx="10"/>
  1220. <text class="terminal" x="137" y="53">(</text>
  1221. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Number" xlink:title="Number">
  1222. <rect x="195" y="67" width="68" height="32"/>
  1223. <rect x="193" y="65" width="68" height="32" class="nonterminal"/>
  1224. <text class="nonterminal" x="203" y="85">Number</text>
  1225. </a>
  1226. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Colon" xlink:title="Colon">
  1227. <rect x="303" y="99" width="56" height="32"/>
  1228. <rect x="301" y="97" width="56" height="32" class="nonterminal"/>
  1229. <text class="nonterminal" x="311" y="117">Colon</text>
  1230. </a>
  1231. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Number" xlink:title="Number">
  1232. <rect x="399" y="131" width="68" height="32"/>
  1233. <rect x="397" y="129" width="68" height="32" class="nonterminal"/>
  1234. <text class="nonterminal" x="407" y="149">Number</text>
  1235. </a>
  1236. <rect x="507" y="163" width="26" height="32" rx="10"/>
  1237. <rect x="505" y="161" width="26" height="32" class="terminal" rx="10"/>
  1238. <text class="terminal" x="515" y="181">)</text>
  1239. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m58 0 h10 m20 0 h10 m0 0 h494 m-524 0 h20 m504 0 h20 m-544 0 q10 0 10 10 m524 0 q0 -10 10 -10 m-534 10 v12 m524 0 v-12 m-524 12 q0 10 10 10 m504 0 q10 0 10 -10 m-514 10 h10 m26 0 h10 m20 0 h10 m0 0 h408 m-438 0 h20 m418 0 h20 m-458 0 q10 0 10 10 m438 0 q0 -10 10 -10 m-448 10 v12 m438 0 v-12 m-438 12 q0 10 10 10 m418 0 q10 0 10 -10 m-428 10 h10 m68 0 h10 m20 0 h10 m0 0 h280 m-310 0 h20 m290 0 h20 m-330 0 q10 0 10 10 m310 0 q0 -10 10 -10 m-320 10 v12 m310 0 v-12 m-310 12 q0 10 10 10 m290 0 q10 0 10 -10 m-300 10 h10 m56 0 h10 m20 0 h10 m0 0 h164 m-194 0 h20 m174 0 h20 m-214 0 q10 0 10 10 m194 0 q0 -10 10 -10 m-204 10 v12 m194 0 v-12 m-194 12 q0 10 10 10 m174 0 q10 0 10 -10 m-184 10 h10 m68 0 h10 m20 0 h10 m0 0 h36 m-66 0 h20 m46 0 h20 m-86 0 q10 0 10 10 m66 0 q0 -10 10 -10 m-76 10 v12 m66 0 v-12 m-66 12 q0 10 10 10 m46 0 q10 0 10 -10 m-56 10 h10 m26 0 h10 m103 -160 h-3"/>
  1240. <polygon points="651 17 659 13 659 21"/>
  1241. <polygon points="651 17 643 13 643 21"/>
  1242. </svg>
  1243. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1244. <xhtml:div class="ebnf"><xhtml:pre><a href="#Range" title="Range">Range</a> ::= 'range' ( '(' ( <a href="#Number" title="Number">Number</a> ( <a href="#Colon" title="Colon">Colon</a> ( <a href="#Number" title="Number">Number</a> ')'? )? )? )? )?</xhtml:pre></xhtml:div>
  1245. </xhtml:p>
  1246. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1247. <xhtml:ul>
  1248. <xhtml:li><xhtml:a href="#Content" title="Content">Content</xhtml:a></xhtml:li>
  1249. <xhtml:li><xhtml:a href="#LogicalOrListElement" title="LogicalOrListElement">LogicalOrListElement</xhtml:a></xhtml:li>
  1250. <xhtml:li><xhtml:a href="#ValueReference" title="ValueReference">ValueReference</xhtml:a></xhtml:li>
  1251. </xhtml:ul>
  1252. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Colon">Colon:</xhtml:a></xhtml:p>
  1253. <svg xmlns="http://www.w3.org/2000/svg" width="240" height="114">
  1254. <defs>
  1255. <style type="text/css">
  1256. @namespace "http://www.w3.org/2000/svg";
  1257. .line {fill: none; stroke: #332900;}
  1258. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1259. 2; }
  1260. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1261. .filled {fill: #332900; stroke: none;}
  1262. text.terminal {font-family: Verdana, Sans-serif;
  1263. font-size: 12px;
  1264. fill: #141000;
  1265. font-weight: bold;
  1266. }
  1267. text.nonterminal {font-family: Verdana, Sans-serif;
  1268. font-size: 12px;
  1269. fill: #1A1400;
  1270. }
  1271. text.regexp {font-family: Verdana, Sans-serif;
  1272. font-size: 12px;
  1273. fill: #1F1800;
  1274. }
  1275. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1276. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1277. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1278. rect.text {fill: none; stroke: none;}
  1279. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1280. </style>
  1281. </defs>
  1282. <polygon points="9 51 1 47 1 55"/>
  1283. <polygon points="17 51 9 47 9 55"/>
  1284. <rect x="51" y="37" width="24" height="32" rx="10"/>
  1285. <rect x="49" y="35" width="24" height="32" class="terminal" rx="10"/>
  1286. <text class="terminal" x="59" y="55">,</text>
  1287. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Space" xlink:title="Space">
  1288. <rect x="115" y="3" width="58" height="32"/>
  1289. <rect x="113" y="1" width="58" height="32" class="nonterminal"/>
  1290. <text class="nonterminal" x="123" y="21">Space</text>
  1291. </a>
  1292. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MiscUntilEOL" xlink:title="MiscUntilEOL">
  1293. <rect x="51" y="81" width="98" height="32"/>
  1294. <rect x="49" y="79" width="98" height="32" class="nonterminal"/>
  1295. <text class="nonterminal" x="59" y="99">MiscUntilEOL</text>
  1296. </a>
  1297. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 51 h2 m20 0 h10 m24 0 h10 m20 0 h10 m0 0 h68 m-98 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m78 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-78 0 h10 m58 0 h10 m-162 34 h20 m162 0 h20 m-202 0 q10 0 10 10 m182 0 q0 -10 10 -10 m-192 10 v24 m182 0 v-24 m-182 24 q0 10 10 10 m162 0 q10 0 10 -10 m-172 10 h10 m98 0 h10 m0 0 h44 m23 -44 h-3"/>
  1298. <polygon points="231 51 239 47 239 55"/>
  1299. <polygon points="231 51 223 47 223 55"/>
  1300. </svg>
  1301. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1302. <xhtml:div class="ebnf"><xhtml:pre><a href="#Colon" title="Colon">Colon</a> ::= ',' <a href="#Space" title="Space">Space</a>*
  1303. | <a href="#MiscUntilEOL" title="MiscUntilEOL">MiscUntilEOL</a></xhtml:pre></xhtml:div>
  1304. </xhtml:p>
  1305. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1306. <xhtml:ul>
  1307. <xhtml:li><xhtml:a href="#LogicalOrList" title="LogicalOrList">LogicalOrList</xhtml:a></xhtml:li>
  1308. <xhtml:li><xhtml:a href="#Range" title="Range">Range</xhtml:a></xhtml:li>
  1309. <xhtml:li><xhtml:a href="#ValueList" title="ValueList">ValueList</xhtml:a></xhtml:li>
  1310. </xhtml:ul>
  1311. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Dot">Dot:</xhtml:a></xhtml:p>
  1312. <svg xmlns="http://www.w3.org/2000/svg" width="240" height="114">
  1313. <defs>
  1314. <style type="text/css">
  1315. @namespace "http://www.w3.org/2000/svg";
  1316. .line {fill: none; stroke: #332900;}
  1317. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1318. 2; }
  1319. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1320. .filled {fill: #332900; stroke: none;}
  1321. text.terminal {font-family: Verdana, Sans-serif;
  1322. font-size: 12px;
  1323. fill: #141000;
  1324. font-weight: bold;
  1325. }
  1326. text.nonterminal {font-family: Verdana, Sans-serif;
  1327. font-size: 12px;
  1328. fill: #1A1400;
  1329. }
  1330. text.regexp {font-family: Verdana, Sans-serif;
  1331. font-size: 12px;
  1332. fill: #1F1800;
  1333. }
  1334. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1335. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1336. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1337. rect.text {fill: none; stroke: none;}
  1338. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1339. </style>
  1340. </defs>
  1341. <polygon points="9 51 1 47 1 55"/>
  1342. <polygon points="17 51 9 47 9 55"/>
  1343. <rect x="51" y="37" width="24" height="32" rx="10"/>
  1344. <rect x="49" y="35" width="24" height="32" class="terminal" rx="10"/>
  1345. <text class="terminal" x="59" y="55">.</text>
  1346. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Space" xlink:title="Space">
  1347. <rect x="115" y="3" width="58" height="32"/>
  1348. <rect x="113" y="1" width="58" height="32" class="nonterminal"/>
  1349. <text class="nonterminal" x="123" y="21">Space</text>
  1350. </a>
  1351. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MiscUntilEOL" xlink:title="MiscUntilEOL">
  1352. <rect x="51" y="81" width="98" height="32"/>
  1353. <rect x="49" y="79" width="98" height="32" class="nonterminal"/>
  1354. <text class="nonterminal" x="59" y="99">MiscUntilEOL</text>
  1355. </a>
  1356. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 51 h2 m20 0 h10 m24 0 h10 m20 0 h10 m0 0 h68 m-98 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m78 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-78 0 h10 m58 0 h10 m-162 34 h20 m162 0 h20 m-202 0 q10 0 10 10 m182 0 q0 -10 10 -10 m-192 10 v24 m182 0 v-24 m-182 24 q0 10 10 10 m162 0 q10 0 10 -10 m-172 10 h10 m98 0 h10 m0 0 h44 m23 -44 h-3"/>
  1357. <polygon points="231 51 239 47 239 55"/>
  1358. <polygon points="231 51 223 47 223 55"/>
  1359. </svg>
  1360. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1361. <xhtml:div class="ebnf"><xhtml:pre><a href="#Dot" title="Dot">Dot</a> ::= '.' <a href="#Space" title="Space">Space</a>*
  1362. | <a href="#MiscUntilEOL" title="MiscUntilEOL">MiscUntilEOL</a></xhtml:pre></xhtml:div>
  1363. </xhtml:p>
  1364. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1365. <xhtml:ul>
  1366. <xhtml:li><xhtml:a href="#IfDepends" title="IfDepends">IfDepends</xhtml:a></xhtml:li>
  1367. <xhtml:li><xhtml:a href="#OptDepends" title="OptDepends">OptDepends</xhtml:a></xhtml:li>
  1368. </xhtml:ul>
  1369. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="ValueList">ValueList:</xhtml:a></xhtml:p>
  1370. <svg xmlns="http://www.w3.org/2000/svg" width="154" height="80">
  1371. <defs>
  1372. <style type="text/css">
  1373. @namespace "http://www.w3.org/2000/svg";
  1374. .line {fill: none; stroke: #332900;}
  1375. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1376. 2; }
  1377. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1378. .filled {fill: #332900; stroke: none;}
  1379. text.terminal {font-family: Verdana, Sans-serif;
  1380. font-size: 12px;
  1381. fill: #141000;
  1382. font-weight: bold;
  1383. }
  1384. text.nonterminal {font-family: Verdana, Sans-serif;
  1385. font-size: 12px;
  1386. fill: #1A1400;
  1387. }
  1388. text.regexp {font-family: Verdana, Sans-serif;
  1389. font-size: 12px;
  1390. fill: #1F1800;
  1391. }
  1392. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1393. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1394. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1395. rect.text {fill: none; stroke: none;}
  1396. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1397. </style>
  1398. </defs>
  1399. <polygon points="9 61 1 57 1 65"/>
  1400. <polygon points="17 61 9 57 9 65"/>
  1401. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Value" xlink:title="Value">
  1402. <rect x="51" y="47" width="54" height="32"/>
  1403. <rect x="49" y="45" width="54" height="32" class="nonterminal"/>
  1404. <text class="nonterminal" x="59" y="65">Value</text>
  1405. </a>
  1406. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Colon" xlink:title="Colon">
  1407. <rect x="51" y="3" width="56" height="32"/>
  1408. <rect x="49" y="1" width="56" height="32" class="nonterminal"/>
  1409. <text class="nonterminal" x="59" y="21">Colon</text>
  1410. </a>
  1411. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 61 h2 m20 0 h10 m54 0 h10 m0 0 h2 m-96 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -24 q0 -10 10 -10 m76 44 l20 0 m-20 0 q10 0 10 -10 l0 -24 q0 -10 -10 -10 m-76 0 h10 m56 0 h10 m23 44 h-3"/>
  1412. <polygon points="145 61 153 57 153 65"/>
  1413. <polygon points="145 61 137 57 137 65"/>
  1414. </svg>
  1415. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1416. <xhtml:div class="ebnf"><xhtml:pre><a href="#ValueList" title="ValueList">ValueList</a>
  1417. ::= <a href="#Value" title="Value">Value</a> ( <a href="#Colon" title="Colon">Colon</a> <a href="#Value" title="Value">Value</a> )*</xhtml:pre></xhtml:div>
  1418. </xhtml:p>
  1419. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1420. <xhtml:ul>
  1421. <xhtml:li><xhtml:a href="#NTupel" title="NTupel">NTupel</xhtml:a></xhtml:li>
  1422. </xhtml:ul>
  1423. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Value">Value:</xhtml:a></xhtml:p>
  1424. <svg xmlns="http://www.w3.org/2000/svg" width="126" height="36">
  1425. <defs>
  1426. <style type="text/css">
  1427. @namespace "http://www.w3.org/2000/svg";
  1428. .line {fill: none; stroke: #332900;}
  1429. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1430. 2; }
  1431. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1432. .filled {fill: #332900; stroke: none;}
  1433. text.terminal {font-family: Verdana, Sans-serif;
  1434. font-size: 12px;
  1435. fill: #141000;
  1436. font-weight: bold;
  1437. }
  1438. text.nonterminal {font-family: Verdana, Sans-serif;
  1439. font-size: 12px;
  1440. fill: #1A1400;
  1441. }
  1442. text.regexp {font-family: Verdana, Sans-serif;
  1443. font-size: 12px;
  1444. fill: #1F1800;
  1445. }
  1446. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1447. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1448. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1449. rect.text {fill: none; stroke: none;}
  1450. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1451. </style>
  1452. </defs>
  1453. <polygon points="9 17 1 13 1 21"/>
  1454. <polygon points="17 17 9 13 9 21"/>
  1455. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Number" xlink:title="Number">
  1456. <rect x="31" y="3" width="68" height="32"/>
  1457. <rect x="29" y="1" width="68" height="32" class="nonterminal"/>
  1458. <text class="nonterminal" x="39" y="21">Number</text>
  1459. </a>
  1460. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m68 0 h10 m3 0 h-3"/>
  1461. <polygon points="117 17 125 13 125 21"/>
  1462. <polygon points="117 17 109 13 109 21"/>
  1463. </svg>
  1464. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1465. <xhtml:div class="ebnf"><xhtml:pre><a href="#Value" title="Value">Value</a> ::= <a href="#Number" title="Number">Number</a></xhtml:pre></xhtml:div>
  1466. </xhtml:p>
  1467. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1468. <xhtml:ul>
  1469. <xhtml:li><xhtml:a href="#ValueList" title="ValueList">ValueList</xhtml:a></xhtml:li>
  1470. </xhtml:ul>
  1471. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="NTupel">NTupel:</xhtml:a></xhtml:p>
  1472. <svg xmlns="http://www.w3.org/2000/svg" width="426" height="132">
  1473. <defs>
  1474. <style type="text/css">
  1475. @namespace "http://www.w3.org/2000/svg";
  1476. .line {fill: none; stroke: #332900;}
  1477. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1478. 2; }
  1479. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1480. .filled {fill: #332900; stroke: none;}
  1481. text.terminal {font-family: Verdana, Sans-serif;
  1482. font-size: 12px;
  1483. fill: #141000;
  1484. font-weight: bold;
  1485. }
  1486. text.nonterminal {font-family: Verdana, Sans-serif;
  1487. font-size: 12px;
  1488. fill: #1A1400;
  1489. }
  1490. text.regexp {font-family: Verdana, Sans-serif;
  1491. font-size: 12px;
  1492. fill: #1F1800;
  1493. }
  1494. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1495. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1496. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1497. rect.text {fill: none; stroke: none;}
  1498. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1499. </style>
  1500. </defs>
  1501. <polygon points="9 17 1 13 1 21"/>
  1502. <polygon points="17 17 9 13 9 21"/>
  1503. <rect x="31" y="3" width="60" height="32" rx="10"/>
  1504. <rect x="29" y="1" width="60" height="32" class="terminal" rx="10"/>
  1505. <text class="terminal" x="39" y="21">ntupel</text>
  1506. <rect x="131" y="35" width="26" height="32" rx="10"/>
  1507. <rect x="129" y="33" width="26" height="32" class="terminal" rx="10"/>
  1508. <text class="terminal" x="139" y="53">(</text>
  1509. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#ValueList" xlink:title="ValueList">
  1510. <rect x="197" y="67" width="76" height="32"/>
  1511. <rect x="195" y="65" width="76" height="32" class="nonterminal"/>
  1512. <text class="nonterminal" x="205" y="85">ValueList</text>
  1513. </a>
  1514. <rect x="313" y="99" width="26" height="32" rx="10"/>
  1515. <rect x="311" y="97" width="26" height="32" class="terminal" rx="10"/>
  1516. <text class="terminal" x="321" y="117">)</text>
  1517. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m60 0 h10 m20 0 h10 m0 0 h258 m-288 0 h20 m268 0 h20 m-308 0 q10 0 10 10 m288 0 q0 -10 10 -10 m-298 10 v12 m288 0 v-12 m-288 12 q0 10 10 10 m268 0 q10 0 10 -10 m-278 10 h10 m26 0 h10 m20 0 h10 m0 0 h172 m-202 0 h20 m182 0 h20 m-222 0 q10 0 10 10 m202 0 q0 -10 10 -10 m-212 10 v12 m202 0 v-12 m-202 12 q0 10 10 10 m182 0 q10 0 10 -10 m-192 10 h10 m76 0 h10 m20 0 h10 m0 0 h36 m-66 0 h20 m46 0 h20 m-86 0 q10 0 10 10 m66 0 q0 -10 10 -10 m-76 10 v12 m66 0 v-12 m-66 12 q0 10 10 10 m46 0 q10 0 10 -10 m-56 10 h10 m26 0 h10 m63 -96 h-3"/>
  1518. <polygon points="417 17 425 13 425 21"/>
  1519. <polygon points="417 17 409 13 409 21"/>
  1520. </svg>
  1521. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1522. <xhtml:div class="ebnf"><xhtml:pre><a href="#NTupel" title="NTupel">NTupel</a> ::= 'ntupel' ( '(' ( <a href="#ValueList" title="ValueList">ValueList</a> ')'? )? )?</xhtml:pre></xhtml:div>
  1523. </xhtml:p>
  1524. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1525. <xhtml:ul>
  1526. <xhtml:li><xhtml:a href="#Content" title="Content">Content</xhtml:a></xhtml:li>
  1527. <xhtml:li><xhtml:a href="#LogicalOrListElement" title="LogicalOrListElement">LogicalOrListElement</xhtml:a></xhtml:li>
  1528. <xhtml:li><xhtml:a href="#ValueReference" title="ValueReference">ValueReference</xhtml:a></xhtml:li>
  1529. </xhtml:ul>
  1530. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="ValueReference">ValueReference:</xhtml:a></xhtml:p>
  1531. <svg xmlns="http://www.w3.org/2000/svg" width="196" height="300">
  1532. <defs>
  1533. <style type="text/css">
  1534. @namespace "http://www.w3.org/2000/svg";
  1535. .line {fill: none; stroke: #332900;}
  1536. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1537. 2; }
  1538. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1539. .filled {fill: #332900; stroke: none;}
  1540. text.terminal {font-family: Verdana, Sans-serif;
  1541. font-size: 12px;
  1542. fill: #141000;
  1543. font-weight: bold;
  1544. }
  1545. text.nonterminal {font-family: Verdana, Sans-serif;
  1546. font-size: 12px;
  1547. fill: #1A1400;
  1548. }
  1549. text.regexp {font-family: Verdana, Sans-serif;
  1550. font-size: 12px;
  1551. fill: #1F1800;
  1552. }
  1553. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1554. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1555. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1556. rect.text {fill: none; stroke: none;}
  1557. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1558. </style>
  1559. </defs>
  1560. <polygon points="9 17 1 13 1 21"/>
  1561. <polygon points="17 17 9 13 9 21"/>
  1562. <rect x="51" y="3" width="44" height="32" rx="10"/>
  1563. <rect x="49" y="1" width="44" height="32" class="terminal" rx="10"/>
  1564. <text class="terminal" x="59" y="21">any</text>
  1565. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Number" xlink:title="Number">
  1566. <rect x="51" y="47" width="68" height="32"/>
  1567. <rect x="49" y="45" width="68" height="32" class="nonterminal"/>
  1568. <text class="nonterminal" x="59" y="65">Number</text>
  1569. </a>
  1570. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#RegEx" xlink:title="RegEx">
  1571. <rect x="51" y="91" width="58" height="32"/>
  1572. <rect x="49" y="89" width="58" height="32" class="nonterminal"/>
  1573. <text class="nonterminal" x="59" y="109">RegEx</text>
  1574. </a>
  1575. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Range" xlink:title="Range">
  1576. <rect x="51" y="135" width="60" height="32"/>
  1577. <rect x="49" y="133" width="60" height="32" class="nonterminal"/>
  1578. <text class="nonterminal" x="59" y="153">Range</text>
  1579. </a>
  1580. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#NTupel" xlink:title="NTupel">
  1581. <rect x="51" y="179" width="62" height="32"/>
  1582. <rect x="49" y="177" width="62" height="32" class="nonterminal"/>
  1583. <text class="nonterminal" x="59" y="197">NTupel</text>
  1584. </a>
  1585. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Only" xlink:title="Only">
  1586. <rect x="51" y="223" width="48" height="32"/>
  1587. <rect x="49" y="221" width="48" height="32" class="nonterminal"/>
  1588. <text class="nonterminal" x="59" y="241">Only</text>
  1589. </a>
  1590. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MiscUntilEOL" xlink:title="MiscUntilEOL">
  1591. <rect x="51" y="267" width="98" height="32"/>
  1592. <rect x="49" y="265" width="98" height="32" class="nonterminal"/>
  1593. <text class="nonterminal" x="59" y="285">MiscUntilEOL</text>
  1594. </a>
  1595. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m44 0 h10 m0 0 h54 m-138 0 h20 m118 0 h20 m-158 0 q10 0 10 10 m138 0 q0 -10 10 -10 m-148 10 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m68 0 h10 m0 0 h30 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m58 0 h10 m0 0 h40 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m60 0 h10 m0 0 h38 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m62 0 h10 m0 0 h36 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m48 0 h10 m0 0 h50 m-128 -10 v20 m138 0 v-20 m-138 20 v24 m138 0 v-24 m-138 24 q0 10 10 10 m118 0 q10 0 10 -10 m-128 10 h10 m98 0 h10 m23 -264 h-3"/>
  1596. <polygon points="187 17 195 13 195 21"/>
  1597. <polygon points="187 17 179 13 179 21"/>
  1598. </svg>
  1599. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1600. <xhtml:div class="ebnf"><xhtml:pre><a href="#ValueReference" title="ValueReference">ValueReference</a>
  1601. ::= 'any'
  1602. | <a href="#Number" title="Number">Number</a>
  1603. | <a href="#RegEx" title="RegEx">RegEx</a>
  1604. | <a href="#Range" title="Range">Range</a>
  1605. | <a href="#NTupel" title="NTupel">NTupel</a>
  1606. | <a href="#Only" title="Only">Only</a>
  1607. | <a href="#MiscUntilEOL" title="MiscUntilEOL">MiscUntilEOL</a></xhtml:pre></xhtml:div>
  1608. </xhtml:p>
  1609. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1610. <xhtml:ul>
  1611. <xhtml:li><xhtml:a href="#IfDepends" title="IfDepends">IfDepends</xhtml:a></xhtml:li>
  1612. <xhtml:li><xhtml:a href="#OptDepends" title="OptDepends">OptDepends</xhtml:a></xhtml:li>
  1613. </xhtml:ul>
  1614. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Only">Only:</xhtml:a></xhtml:p>
  1615. <svg xmlns="http://www.w3.org/2000/svg" width="406" height="132">
  1616. <defs>
  1617. <style type="text/css">
  1618. @namespace "http://www.w3.org/2000/svg";
  1619. .line {fill: none; stroke: #332900;}
  1620. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1621. 2; }
  1622. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1623. .filled {fill: #332900; stroke: none;}
  1624. text.terminal {font-family: Verdana, Sans-serif;
  1625. font-size: 12px;
  1626. fill: #141000;
  1627. font-weight: bold;
  1628. }
  1629. text.nonterminal {font-family: Verdana, Sans-serif;
  1630. font-size: 12px;
  1631. fill: #1A1400;
  1632. }
  1633. text.regexp {font-family: Verdana, Sans-serif;
  1634. font-size: 12px;
  1635. fill: #1F1800;
  1636. }
  1637. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1638. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1639. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1640. rect.text {fill: none; stroke: none;}
  1641. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1642. </style>
  1643. </defs>
  1644. <polygon points="9 17 1 13 1 21"/>
  1645. <polygon points="17 17 9 13 9 21"/>
  1646. <rect x="31" y="3" width="48" height="32" rx="10"/>
  1647. <rect x="29" y="1" width="48" height="32" class="terminal" rx="10"/>
  1648. <text class="terminal" x="39" y="21">only</text>
  1649. <rect x="119" y="35" width="26" height="32" rx="10"/>
  1650. <rect x="117" y="33" width="26" height="32" class="terminal" rx="10"/>
  1651. <text class="terminal" x="127" y="53">(</text>
  1652. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Number" xlink:title="Number">
  1653. <rect x="185" y="67" width="68" height="32"/>
  1654. <rect x="183" y="65" width="68" height="32" class="nonterminal"/>
  1655. <text class="nonterminal" x="193" y="85">Number</text>
  1656. </a>
  1657. <rect x="293" y="99" width="26" height="32" rx="10"/>
  1658. <rect x="291" y="97" width="26" height="32" class="terminal" rx="10"/>
  1659. <text class="terminal" x="301" y="117">)</text>
  1660. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m48 0 h10 m20 0 h10 m0 0 h250 m-280 0 h20 m260 0 h20 m-300 0 q10 0 10 10 m280 0 q0 -10 10 -10 m-290 10 v12 m280 0 v-12 m-280 12 q0 10 10 10 m260 0 q10 0 10 -10 m-270 10 h10 m26 0 h10 m20 0 h10 m0 0 h164 m-194 0 h20 m174 0 h20 m-214 0 q10 0 10 10 m194 0 q0 -10 10 -10 m-204 10 v12 m194 0 v-12 m-194 12 q0 10 10 10 m174 0 q10 0 10 -10 m-184 10 h10 m68 0 h10 m20 0 h10 m0 0 h36 m-66 0 h20 m46 0 h20 m-86 0 q10 0 10 10 m66 0 q0 -10 10 -10 m-76 10 v12 m66 0 v-12 m-66 12 q0 10 10 10 m46 0 q10 0 10 -10 m-56 10 h10 m26 0 h10 m63 -96 h-3"/>
  1661. <polygon points="397 17 405 13 405 21"/>
  1662. <polygon points="397 17 389 13 389 21"/>
  1663. </svg>
  1664. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1665. <xhtml:div class="ebnf"><xhtml:pre><a href="#Only" title="Only">Only</a> ::= 'only' ( '(' ( <a href="#Number" title="Number">Number</a> ')'? )? )?</xhtml:pre></xhtml:div>
  1666. </xhtml:p>
  1667. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1668. <xhtml:ul>
  1669. <xhtml:li><xhtml:a href="#Content" title="Content">Content</xhtml:a></xhtml:li>
  1670. <xhtml:li><xhtml:a href="#LogicalOrListElement" title="LogicalOrListElement">LogicalOrListElement</xhtml:a></xhtml:li>
  1671. <xhtml:li><xhtml:a href="#ValueReference" title="ValueReference">ValueReference</xhtml:a></xhtml:li>
  1672. </xhtml:ul>
  1673. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="RegEx">RegEx:</xhtml:a></xhtml:p>
  1674. <svg xmlns="http://www.w3.org/2000/svg" width="572" height="166">
  1675. <defs>
  1676. <style type="text/css">
  1677. @namespace "http://www.w3.org/2000/svg";
  1678. .line {fill: none; stroke: #332900;}
  1679. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1680. 2; }
  1681. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1682. .filled {fill: #332900; stroke: none;}
  1683. text.terminal {font-family: Verdana, Sans-serif;
  1684. font-size: 12px;
  1685. fill: #141000;
  1686. font-weight: bold;
  1687. }
  1688. text.nonterminal {font-family: Verdana, Sans-serif;
  1689. font-size: 12px;
  1690. fill: #1A1400;
  1691. }
  1692. text.regexp {font-family: Verdana, Sans-serif;
  1693. font-size: 12px;
  1694. fill: #1F1800;
  1695. }
  1696. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1697. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1698. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1699. rect.text {fill: none; stroke: none;}
  1700. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1701. </style>
  1702. </defs>
  1703. <polygon points="9 51 1 47 1 55"/>
  1704. <polygon points="17 51 9 47 9 55"/>
  1705. <rect x="31" y="37" width="58" height="32" rx="10"/>
  1706. <rect x="29" y="35" width="58" height="32" class="terminal" rx="10"/>
  1707. <text class="terminal" x="39" y="55">regex</text>
  1708. <rect x="129" y="37" width="26" height="32" rx="10"/>
  1709. <rect x="127" y="35" width="26" height="32" class="terminal" rx="10"/>
  1710. <text class="terminal" x="137" y="55">(</text>
  1711. <rect x="195" y="37" width="26" height="32" rx="10"/>
  1712. <rect x="193" y="35" width="26" height="32" class="terminal" rx="10"/>
  1713. <text class="terminal" x="203" y="55">"</text>
  1714. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PCRE" xlink:title="PCRE">
  1715. <rect x="261" y="3" width="52" height="32"/>
  1716. <rect x="259" y="1" width="52" height="32" class="nonterminal"/>
  1717. <text class="nonterminal" x="269" y="21">PCRE</text>
  1718. </a>
  1719. <rect x="373" y="69" width="26" height="32" rx="10"/>
  1720. <rect x="371" y="67" width="26" height="32" class="terminal" rx="10"/>
  1721. <text class="terminal" x="381" y="87">"</text>
  1722. <rect x="439" y="101" width="26" height="32" rx="10"/>
  1723. <rect x="437" y="99" width="26" height="32" class="terminal" rx="10"/>
  1724. <text class="terminal" x="447" y="119">)</text>
  1725. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 51 h2 m0 0 h10 m58 0 h10 m20 0 h10 m26 0 h10 m20 0 h10 m26 0 h10 m20 0 h10 m0 0 h62 m-92 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m72 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-72 0 h10 m52 0 h10 m40 34 h10 m0 0 h122 m-152 0 h20 m132 0 h20 m-172 0 q10 0 10 10 m152 0 q0 -10 10 -10 m-162 10 v12 m152 0 v-12 m-152 12 q0 10 10 10 m132 0 q10 0 10 -10 m-142 10 h10 m26 0 h10 m20 0 h10 m0 0 h36 m-66 0 h20 m46 0 h20 m-86 0 q10 0 10 10 m66 0 q0 -10 10 -10 m-76 10 v12 m66 0 v-12 m-66 12 q0 10 10 10 m46 0 q10 0 10 -10 m-56 10 h10 m26 0 h10 m-310 -64 h20 m330 0 h20 m-370 0 q10 0 10 10 m350 0 q0 -10 10 -10 m-360 10 v78 m350 0 v-78 m-350 78 q0 10 10 10 m330 0 q10 0 10 -10 m-340 10 h10 m0 0 h320 m-416 -98 h20 m416 0 h20 m-456 0 q10 0 10 10 m436 0 q0 -10 10 -10 m-446 10 v94 m436 0 v-94 m-436 94 q0 10 10 10 m416 0 q10 0 10 -10 m-426 10 h10 m0 0 h406 m23 -114 h-3"/>
  1726. <polygon points="563 51 571 47 571 55"/>
  1727. <polygon points="563 51 555 47 555 55"/>
  1728. </svg>
  1729. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1730. <xhtml:div class="ebnf"><xhtml:pre><a href="#RegEx" title="RegEx">RegEx</a> ::= 'regex' ( '(' ( '"' <a href="#PCRE" title="PCRE">PCRE</a>* ( '"' ')'? )? )? )?</xhtml:pre></xhtml:div>
  1731. </xhtml:p>
  1732. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1733. <xhtml:ul>
  1734. <xhtml:li><xhtml:a href="#Content" title="Content">Content</xhtml:a></xhtml:li>
  1735. <xhtml:li><xhtml:a href="#LogicalOrListElement" title="LogicalOrListElement">LogicalOrListElement</xhtml:a></xhtml:li>
  1736. <xhtml:li><xhtml:a href="#ValueReference" title="ValueReference">ValueReference</xhtml:a></xhtml:li>
  1737. </xhtml:ul>
  1738. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="SpaceLine">SpaceLine:</xhtml:a></xhtml:p>
  1739. <svg xmlns="http://www.w3.org/2000/svg" width="156" height="56">
  1740. <defs>
  1741. <style type="text/css">
  1742. @namespace "http://www.w3.org/2000/svg";
  1743. .line {fill: none; stroke: #332900;}
  1744. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1745. 2; }
  1746. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1747. .filled {fill: #332900; stroke: none;}
  1748. text.terminal {font-family: Verdana, Sans-serif;
  1749. font-size: 12px;
  1750. fill: #141000;
  1751. font-weight: bold;
  1752. }
  1753. text.nonterminal {font-family: Verdana, Sans-serif;
  1754. font-size: 12px;
  1755. fill: #1A1400;
  1756. }
  1757. text.regexp {font-family: Verdana, Sans-serif;
  1758. font-size: 12px;
  1759. fill: #1F1800;
  1760. }
  1761. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1762. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1763. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1764. rect.text {fill: none; stroke: none;}
  1765. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1766. </style>
  1767. </defs>
  1768. <polygon points="9 51 1 47 1 55"/>
  1769. <polygon points="17 51 9 47 9 55"/>
  1770. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Space" xlink:title="Space">
  1771. <rect x="51" y="3" width="58" height="32"/>
  1772. <rect x="49" y="1" width="58" height="32" class="nonterminal"/>
  1773. <text class="nonterminal" x="59" y="21">Space</text>
  1774. </a>
  1775. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 51 h2 m20 0 h10 m0 0 h68 m-98 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m78 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-78 0 h10 m58 0 h10 m23 34 h-3"/>
  1776. <polygon points="147 51 155 47 155 55"/>
  1777. <polygon points="147 51 139 47 139 55"/>
  1778. </svg>
  1779. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1780. <xhtml:div class="ebnf"><xhtml:pre><a href="#SpaceLine" title="SpaceLine">SpaceLine</a>
  1781. ::= <a href="#Space" title="Space">Space</a>*</xhtml:pre></xhtml:div>
  1782. </xhtml:p>
  1783. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1784. <xhtml:ul>
  1785. <xhtml:li><xhtml:a href="#Line" title="Line">Line</xhtml:a></xhtml:li>
  1786. </xhtml:ul>
  1787. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="EndOfFile">EndOfFile:</xhtml:a></xhtml:p>
  1788. <svg xmlns="http://www.w3.org/2000/svg" width="48" height="10">
  1789. <defs>
  1790. <style type="text/css">
  1791. @namespace "http://www.w3.org/2000/svg";
  1792. .line {fill: none; stroke: #332900;}
  1793. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1794. 2; }
  1795. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1796. .filled {fill: #332900; stroke: none;}
  1797. text.terminal {font-family: Verdana, Sans-serif;
  1798. font-size: 12px;
  1799. fill: #141000;
  1800. font-weight: bold;
  1801. }
  1802. text.nonterminal {font-family: Verdana, Sans-serif;
  1803. font-size: 12px;
  1804. fill: #1A1400;
  1805. }
  1806. text.regexp {font-family: Verdana, Sans-serif;
  1807. font-size: 12px;
  1808. fill: #1F1800;
  1809. }
  1810. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1811. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1812. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1813. rect.text {fill: none; stroke: none;}
  1814. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1815. </style>
  1816. </defs>
  1817. <polygon points="9 5 1 1 1 9"/>
  1818. <polygon points="17 5 9 1 9 9"/>
  1819. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 5 h2 m0 0 h10 m3 0 h-3"/>
  1820. <polygon points="39 5 47 1 47 9"/>
  1821. <polygon points="39 5 31 1 31 9"/>
  1822. </svg>
  1823. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1824. <xhtml:div class="ebnf"><xhtml:pre><a href="#EndOfFile" title="EndOfFile">EndOfFile</a>
  1825. ::=</xhtml:pre></xhtml:div>
  1826. </xhtml:p>
  1827. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1828. <xhtml:ul>
  1829. <xhtml:li><xhtml:a href="#start" title="start">start</xhtml:a></xhtml:li>
  1830. </xhtml:ul>
  1831. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="EscapedPCRE">EscapedPCRE:</xhtml:a></xhtml:p>
  1832. <svg xmlns="http://www.w3.org/2000/svg" width="174" height="80">
  1833. <defs>
  1834. <style type="text/css">
  1835. @namespace "http://www.w3.org/2000/svg";
  1836. .line {fill: none; stroke: #332900;}
  1837. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1838. 2; }
  1839. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1840. .filled {fill: #332900; stroke: none;}
  1841. text.terminal {font-family: Verdana, Sans-serif;
  1842. font-size: 12px;
  1843. fill: #141000;
  1844. font-weight: bold;
  1845. }
  1846. text.nonterminal {font-family: Verdana, Sans-serif;
  1847. font-size: 12px;
  1848. fill: #1A1400;
  1849. }
  1850. text.regexp {font-family: Verdana, Sans-serif;
  1851. font-size: 12px;
  1852. fill: #1F1800;
  1853. }
  1854. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1855. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1856. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1857. rect.text {fill: none; stroke: none;}
  1858. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1859. </style>
  1860. </defs>
  1861. <polygon points="9 17 1 13 1 21"/>
  1862. <polygon points="17 17 9 13 9 21"/>
  1863. <rect x="31" y="3" width="28" height="32" rx="10"/>
  1864. <rect x="29" y="1" width="28" height="32" class="terminal" rx="10"/>
  1865. <text class="terminal" x="39" y="21">\</text>
  1866. <rect x="99" y="3" width="28" height="32" rx="10"/>
  1867. <rect x="97" y="1" width="28" height="32" class="terminal" rx="10"/>
  1868. <text class="terminal" x="107" y="21">\</text>
  1869. <rect x="99" y="47" width="26" height="32" rx="10"/>
  1870. <rect x="97" y="45" width="26" height="32" class="terminal" rx="10"/>
  1871. <text class="terminal" x="107" y="65">"</text>
  1872. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m28 0 h10 m20 0 h10 m28 0 h10 m-68 0 h20 m48 0 h20 m-88 0 q10 0 10 10 m68 0 q0 -10 10 -10 m-78 10 v24 m68 0 v-24 m-68 24 q0 10 10 10 m48 0 q10 0 10 -10 m-58 10 h10 m26 0 h10 m0 0 h2 m23 -44 h-3"/>
  1873. <polygon points="165 17 173 13 173 21"/>
  1874. <polygon points="165 17 157 13 157 21"/>
  1875. </svg>
  1876. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1877. <xhtml:div class="ebnf"><xhtml:pre><a href="#EscapedPCRE" title="EscapedPCRE">EscapedPCRE</a>
  1878. ::= '\' ( '\' | '"' )</xhtml:pre></xhtml:div>
  1879. </xhtml:p>
  1880. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1881. <xhtml:ul>
  1882. <xhtml:li><xhtml:a href="#PCRE" title="PCRE">PCRE</xhtml:a></xhtml:li>
  1883. </xhtml:ul>
  1884. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="CommentLine">CommentLine:</xhtml:a></xhtml:p>
  1885. <svg xmlns="http://www.w3.org/2000/svg" width="258" height="70">
  1886. <defs>
  1887. <style type="text/css">
  1888. @namespace "http://www.w3.org/2000/svg";
  1889. .line {fill: none; stroke: #332900;}
  1890. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1891. 2; }
  1892. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1893. .filled {fill: #332900; stroke: none;}
  1894. text.terminal {font-family: Verdana, Sans-serif;
  1895. font-size: 12px;
  1896. fill: #141000;
  1897. font-weight: bold;
  1898. }
  1899. text.nonterminal {font-family: Verdana, Sans-serif;
  1900. font-size: 12px;
  1901. fill: #1A1400;
  1902. }
  1903. text.regexp {font-family: Verdana, Sans-serif;
  1904. font-size: 12px;
  1905. fill: #1F1800;
  1906. }
  1907. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1908. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1909. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1910. rect.text {fill: none; stroke: none;}
  1911. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1912. </style>
  1913. </defs>
  1914. <polygon points="9 51 1 47 1 55"/>
  1915. <polygon points="17 51 9 47 9 55"/>
  1916. <rect x="31" y="37" width="30" height="32" rx="10"/>
  1917. <rect x="29" y="35" width="30" height="32" class="terminal" rx="10"/>
  1918. <text class="terminal" x="39" y="55">#</text>
  1919. <polygon points="101 19 108 3 204 3 211 19 204 35 108 35"/>
  1920. <polygon points="99 17 106 1 202 1 209 17 202 33 106 33" class="regexp"/>
  1921. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#." xlink:title=".">
  1922. <rect class="text" x="114" y="10" width="3" height="14"/>
  1923. <text class="regexp" x="114" y="21">.</text>
  1924. </a>
  1925. <text class="regexp" x="122" y="21">- </text>
  1926. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#EndOfLine" xlink:title="EndOfLine">
  1927. <rect class="text" x="131" y="10" width="63" height="14"/>
  1928. <text class="regexp" x="131" y="21">EndOfLine</text>
  1929. </a>
  1930. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 51 h2 m0 0 h10 m30 0 h10 m20 0 h10 m0 0 h120 m-150 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m130 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-130 0 h10 m110 0 h10 m23 34 h-3"/>
  1931. <polygon points="249 51 257 47 257 55"/>
  1932. <polygon points="249 51 241 47 241 55"/>
  1933. </svg>
  1934. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  1935. <xhtml:div class="ebnf"><xhtml:pre><a href="#CommentLine" title="CommentLine">CommentLine</a>
  1936. ::= '#' ( <a href="#." title=".">.</a> - <a href="#EndOfLine" title="EndOfLine">EndOfLine</a> )*</xhtml:pre></xhtml:div>
  1937. </xhtml:p>
  1938. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  1939. <xhtml:ul>
  1940. <xhtml:li><xhtml:a href="#Line" title="Line">Line</xhtml:a></xhtml:li>
  1941. </xhtml:ul>
  1942. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="IncludeLine">IncludeLine:</xhtml:a></xhtml:p>
  1943. <svg xmlns="http://www.w3.org/2000/svg" width="406" height="316">
  1944. <defs>
  1945. <style type="text/css">
  1946. @namespace "http://www.w3.org/2000/svg";
  1947. .line {fill: none; stroke: #332900;}
  1948. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  1949. 2; }
  1950. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  1951. .filled {fill: #332900; stroke: none;}
  1952. text.terminal {font-family: Verdana, Sans-serif;
  1953. font-size: 12px;
  1954. fill: #141000;
  1955. font-weight: bold;
  1956. }
  1957. text.nonterminal {font-family: Verdana, Sans-serif;
  1958. font-size: 12px;
  1959. fill: #1A1400;
  1960. }
  1961. text.regexp {font-family: Verdana, Sans-serif;
  1962. font-size: 12px;
  1963. fill: #1F1800;
  1964. }
  1965. rect, circle, polygon {fill: #332900; stroke: #332900;}
  1966. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  1967. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  1968. rect.text {fill: none; stroke: none;}
  1969. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  1970. </style>
  1971. </defs>
  1972. <polygon points="9 33 1 29 1 37"/>
  1973. <polygon points="17 33 9 29 9 37"/>
  1974. <rect x="31" y="19" width="66" height="32" rx="10"/>
  1975. <rect x="29" y="17" width="66" height="32" class="terminal" rx="10"/>
  1976. <text class="terminal" x="39" y="37">include</text>
  1977. <rect x="117" y="19" width="26" height="32" rx="10"/>
  1978. <rect x="115" y="17" width="26" height="32" class="terminal" rx="10"/>
  1979. <text class="terminal" x="125" y="37">(</text>
  1980. <polygon points="203 35 210 19 256 19 263 35 256 51 210 51"/>
  1981. <polygon points="201 33 208 17 254 17 261 33 254 49 208 49" class="regexp"/>
  1982. <text class="regexp" x="216" y="37">[A-Z]</text>
  1983. <polygon points="203 79 210 63 256 63 263 79 256 95 210 95"/>
  1984. <polygon points="201 77 208 61 254 61 261 77 254 93 208 93" class="regexp"/>
  1985. <text class="regexp" x="216" y="81">[a-z]</text>
  1986. <polygon points="203 123 210 107 256 107 263 123 256 139 210 139"/>
  1987. <polygon points="201 121 208 105 254 105 261 121 254 137 208 137" class="regexp"/>
  1988. <text class="regexp" x="216" y="125">[0-9]</text>
  1989. <rect x="203" y="151" width="28" height="32" rx="10"/>
  1990. <rect x="201" y="149" width="28" height="32" class="terminal" rx="10"/>
  1991. <text class="terminal" x="211" y="169">_</text>
  1992. <rect x="203" y="195" width="24" height="32" rx="10"/>
  1993. <rect x="201" y="193" width="24" height="32" class="terminal" rx="10"/>
  1994. <text class="terminal" x="211" y="213">.</text>
  1995. <rect x="203" y="239" width="28" height="32" rx="10"/>
  1996. <rect x="201" y="237" width="28" height="32" class="terminal" rx="10"/>
  1997. <text class="terminal" x="211" y="257">/</text>
  1998. <polygon points="203 299 210 283 286 283 293 299 286 315 210 315"/>
  1999. <polygon points="201 297 208 281 284 281 291 297 284 313 208 313" class="regexp"/>
  2000. <text class="regexp" x="216" y="301">[#x002D]</text>
  2001. <rect x="353" y="19" width="26" height="32" rx="10"/>
  2002. <rect x="351" y="17" width="26" height="32" class="terminal" rx="10"/>
  2003. <text class="terminal" x="361" y="37">)</text>
  2004. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m0 0 h10 m66 0 h10 m0 0 h10 m26 0 h10 m40 0 h10 m60 0 h10 m0 0 h30 m-130 0 h20 m110 0 h20 m-150 0 q10 0 10 10 m130 0 q0 -10 10 -10 m-140 10 v24 m130 0 v-24 m-130 24 q0 10 10 10 m110 0 q10 0 10 -10 m-120 10 h10 m60 0 h10 m0 0 h30 m-120 -10 v20 m130 0 v-20 m-130 20 v24 m130 0 v-24 m-130 24 q0 10 10 10 m110 0 q10 0 10 -10 m-120 10 h10 m60 0 h10 m0 0 h30 m-120 -10 v20 m130 0 v-20 m-130 20 v24 m130 0 v-24 m-130 24 q0 10 10 10 m110 0 q10 0 10 -10 m-120 10 h10 m28 0 h10 m0 0 h62 m-120 -10 v20 m130 0 v-20 m-130 20 v24 m130 0 v-24 m-130 24 q0 10 10 10 m110 0 q10 0 10 -10 m-120 10 h10 m24 0 h10 m0 0 h66 m-120 -10 v20 m130 0 v-20 m-130 20 v24 m130 0 v-24 m-130 24 q0 10 10 10 m110 0 q10 0 10 -10 m-120 10 h10 m28 0 h10 m0 0 h62 m-120 -10 v20 m130 0 v-20 m-130 20 v24 m130 0 v-24 m-130 24 q0 10 10 10 m110 0 q10 0 10 -10 m-120 10 h10 m90 0 h10 m-150 -264 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m150 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-150 0 h10 m0 0 h140 m20 32 h10 m26 0 h10 m3 0 h-3"/>
  2005. <polygon points="397 33 405 29 405 37"/>
  2006. <polygon points="397 33 389 29 389 37"/>
  2007. </svg>
  2008. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  2009. <xhtml:div class="ebnf"><xhtml:pre><a href="#IncludeLine" title="IncludeLine">IncludeLine</a>
  2010. ::= 'include' '(' [A-Za-z0-9_./#x002D]+ ')'</xhtml:pre></xhtml:div>
  2011. </xhtml:p>
  2012. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  2013. <xhtml:ul>
  2014. <xhtml:li><xhtml:a href="#Line" title="Line">Line</xhtml:a></xhtml:li>
  2015. </xhtml:ul>
  2016. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Number">Number:</xhtml:a></xhtml:p>
  2017. <svg xmlns="http://www.w3.org/2000/svg" width="294" height="194">
  2018. <defs>
  2019. <style type="text/css">
  2020. @namespace "http://www.w3.org/2000/svg";
  2021. .line {fill: none; stroke: #332900;}
  2022. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  2023. 2; }
  2024. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  2025. .filled {fill: #332900; stroke: none;}
  2026. text.terminal {font-family: Verdana, Sans-serif;
  2027. font-size: 12px;
  2028. fill: #141000;
  2029. font-weight: bold;
  2030. }
  2031. text.nonterminal {font-family: Verdana, Sans-serif;
  2032. font-size: 12px;
  2033. fill: #1A1400;
  2034. }
  2035. text.regexp {font-family: Verdana, Sans-serif;
  2036. font-size: 12px;
  2037. fill: #1F1800;
  2038. }
  2039. rect, circle, polygon {fill: #332900; stroke: #332900;}
  2040. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  2041. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  2042. rect.text {fill: none; stroke: none;}
  2043. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  2044. </style>
  2045. </defs>
  2046. <polygon points="9 33 1 29 1 37"/>
  2047. <polygon points="17 33 9 29 9 37"/>
  2048. <rect x="51" y="19" width="36" height="32" rx="10"/>
  2049. <rect x="49" y="17" width="36" height="32" class="terminal" rx="10"/>
  2050. <text class="terminal" x="59" y="37">0x</text>
  2051. <polygon points="147 35 154 19 200 19 207 35 200 51 154 51"/>
  2052. <polygon points="145 33 152 17 198 17 205 33 198 49 152 49" class="regexp"/>
  2053. <text class="regexp" x="160" y="37">[0-9]</text>
  2054. <polygon points="147 79 154 63 196 63 203 79 196 95 154 95"/>
  2055. <polygon points="145 77 152 61 194 61 201 77 194 93 152 93" class="regexp"/>
  2056. <text class="regexp" x="160" y="81">[a-f]</text>
  2057. <rect x="71" y="161" width="38" height="32" rx="10"/>
  2058. <rect x="69" y="159" width="38" height="32" class="terminal" rx="10"/>
  2059. <text class="terminal" x="79" y="179">2^</text>
  2060. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Digit" xlink:title="Digit">
  2061. <rect x="169" y="129" width="48" height="32"/>
  2062. <rect x="167" y="127" width="48" height="32" class="nonterminal"/>
  2063. <text class="nonterminal" x="177" y="147">Digit</text>
  2064. </a>
  2065. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m20 0 h10 m36 0 h10 m40 0 h10 m60 0 h10 m-100 0 h20 m80 0 h20 m-120 0 q10 0 10 10 m100 0 q0 -10 10 -10 m-110 10 v24 m100 0 v-24 m-100 24 q0 10 10 10 m80 0 q10 0 10 -10 m-90 10 h10 m56 0 h10 m0 0 h4 m-120 -44 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m120 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-120 0 h10 m0 0 h110 m-216 32 h20 m216 0 h20 m-256 0 q10 0 10 10 m236 0 q0 -10 10 -10 m-246 10 v90 m236 0 v-90 m-236 90 q0 10 10 10 m216 0 q10 0 10 -10 m-206 10 h10 m0 0 h48 m-78 0 h20 m58 0 h20 m-98 0 q10 0 10 10 m78 0 q0 -10 10 -10 m-88 10 v12 m78 0 v-12 m-78 12 q0 10 10 10 m58 0 q10 0 10 -10 m-68 10 h10 m38 0 h10 m40 -32 h10 m48 0 h10 m-88 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m68 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-68 0 h10 m0 0 h58 m20 32 h10 m23 -110 h-3"/>
  2066. <polygon points="285 33 293 29 293 37"/>
  2067. <polygon points="285 33 277 29 277 37"/>
  2068. </svg>
  2069. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  2070. <xhtml:div class="ebnf"><xhtml:pre><a href="#Number" title="Number">Number</a> ::= '0x' [0-9a-f]+
  2071. | '2^'? <a href="#Digit" title="Digit">Digit</a>+</xhtml:pre></xhtml:div>
  2072. </xhtml:p>
  2073. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  2074. <xhtml:ul>
  2075. <xhtml:li><xhtml:a href="#LogicalOrListElement" title="LogicalOrListElement">LogicalOrListElement</xhtml:a></xhtml:li>
  2076. <xhtml:li><xhtml:a href="#Only" title="Only">Only</xhtml:a></xhtml:li>
  2077. <xhtml:li><xhtml:a href="#Range" title="Range">Range</xhtml:a></xhtml:li>
  2078. <xhtml:li><xhtml:a href="#Tag" title="Tag">Tag</xhtml:a></xhtml:li>
  2079. <xhtml:li><xhtml:a href="#TagReference" title="TagReference">TagReference</xhtml:a></xhtml:li>
  2080. <xhtml:li><xhtml:a href="#Value" title="Value">Value</xhtml:a></xhtml:li>
  2081. <xhtml:li><xhtml:a href="#ValueReference" title="ValueReference">ValueReference</xhtml:a></xhtml:li>
  2082. </xhtml:ul>
  2083. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Space">Space:</xhtml:a></xhtml:p>
  2084. <svg xmlns="http://www.w3.org/2000/svg" width="186" height="80">
  2085. <defs>
  2086. <style type="text/css">
  2087. @namespace "http://www.w3.org/2000/svg";
  2088. .line {fill: none; stroke: #332900;}
  2089. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  2090. 2; }
  2091. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  2092. .filled {fill: #332900; stroke: none;}
  2093. text.terminal {font-family: Verdana, Sans-serif;
  2094. font-size: 12px;
  2095. fill: #141000;
  2096. font-weight: bold;
  2097. }
  2098. text.nonterminal {font-family: Verdana, Sans-serif;
  2099. font-size: 12px;
  2100. fill: #1A1400;
  2101. }
  2102. text.regexp {font-family: Verdana, Sans-serif;
  2103. font-size: 12px;
  2104. fill: #1F1800;
  2105. }
  2106. rect, circle, polygon {fill: #332900; stroke: #332900;}
  2107. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  2108. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  2109. rect.text {fill: none; stroke: none;}
  2110. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  2111. </style>
  2112. </defs>
  2113. <polygon points="9 17 1 13 1 21"/>
  2114. <polygon points="17 17 9 13 9 21"/>
  2115. <rect x="51" y="3" width="24" height="32" rx="10"/>
  2116. <rect x="49" y="1" width="24" height="32" class="terminal" rx="10"/>
  2117. <text class="terminal" x="59" y="21"/>
  2118. <polygon points="51 63 58 47 132 47 139 63 132 79 58 79"/>
  2119. <polygon points="49 61 56 45 130 45 137 61 130 77 56 77" class="regexp"/>
  2120. <text class="regexp" x="64" y="65">[#x0009]</text>
  2121. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m24 0 h10 m0 0 h64 m-128 0 h20 m108 0 h20 m-148 0 q10 0 10 10 m128 0 q0 -10 10 -10 m-138 10 v24 m128 0 v-24 m-128 24 q0 10 10 10 m108 0 q10 0 10 -10 m-118 10 h10 m88 0 h10 m23 -44 h-3"/>
  2122. <polygon points="177 17 185 13 185 21"/>
  2123. <polygon points="177 17 169 13 169 21"/>
  2124. </svg>
  2125. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  2126. <xhtml:div class="ebnf"><xhtml:pre><a href="#Space" title="Space">Space</a> ::= [ #x0009]</xhtml:pre></xhtml:div>
  2127. </xhtml:p>
  2128. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  2129. <xhtml:ul>
  2130. <xhtml:li><xhtml:a href="#Colon" title="Colon">Colon</xhtml:a></xhtml:li>
  2131. <xhtml:li><xhtml:a href="#Dot" title="Dot">Dot</xhtml:a></xhtml:li>
  2132. <xhtml:li><xhtml:a href="#Semicolon" title="Semicolon">Semicolon</xhtml:a></xhtml:li>
  2133. <xhtml:li><xhtml:a href="#SpaceLine" title="SpaceLine">SpaceLine</xhtml:a></xhtml:li>
  2134. </xhtml:ul>
  2135. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Digit">Digit:</xhtml:a></xhtml:p>
  2136. <svg xmlns="http://www.w3.org/2000/svg" width="118" height="36">
  2137. <defs>
  2138. <style type="text/css">
  2139. @namespace "http://www.w3.org/2000/svg";
  2140. .line {fill: none; stroke: #332900;}
  2141. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  2142. 2; }
  2143. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  2144. .filled {fill: #332900; stroke: none;}
  2145. text.terminal {font-family: Verdana, Sans-serif;
  2146. font-size: 12px;
  2147. fill: #141000;
  2148. font-weight: bold;
  2149. }
  2150. text.nonterminal {font-family: Verdana, Sans-serif;
  2151. font-size: 12px;
  2152. fill: #1A1400;
  2153. }
  2154. text.regexp {font-family: Verdana, Sans-serif;
  2155. font-size: 12px;
  2156. fill: #1F1800;
  2157. }
  2158. rect, circle, polygon {fill: #332900; stroke: #332900;}
  2159. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  2160. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  2161. rect.text {fill: none; stroke: none;}
  2162. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  2163. </style>
  2164. </defs>
  2165. <polygon points="9 17 1 13 1 21"/>
  2166. <polygon points="17 17 9 13 9 21"/>
  2167. <polygon points="31 19 38 3 84 3 91 19 84 35 38 35"/>
  2168. <polygon points="29 17 36 1 82 1 89 17 82 33 36 33" class="regexp"/>
  2169. <text class="regexp" x="44" y="21">[0-9]</text>
  2170. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m60 0 h10 m3 0 h-3"/>
  2171. <polygon points="109 17 117 13 117 21"/>
  2172. <polygon points="109 17 101 13 101 21"/>
  2173. </svg>
  2174. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  2175. <xhtml:div class="ebnf"><xhtml:pre><a href="#Digit" title="Digit">Digit</a> ::= [0-9]</xhtml:pre></xhtml:div>
  2176. </xhtml:p>
  2177. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  2178. <xhtml:ul>
  2179. <xhtml:li><xhtml:a href="#Number" title="Number">Number</xhtml:a></xhtml:li>
  2180. </xhtml:ul>
  2181. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="EndOfLine">EndOfLine:</xhtml:a></xhtml:p>
  2182. <svg xmlns="http://www.w3.org/2000/svg" width="188" height="80">
  2183. <defs>
  2184. <style type="text/css">
  2185. @namespace "http://www.w3.org/2000/svg";
  2186. .line {fill: none; stroke: #332900;}
  2187. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  2188. 2; }
  2189. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  2190. .filled {fill: #332900; stroke: none;}
  2191. text.terminal {font-family: Verdana, Sans-serif;
  2192. font-size: 12px;
  2193. fill: #141000;
  2194. font-weight: bold;
  2195. }
  2196. text.nonterminal {font-family: Verdana, Sans-serif;
  2197. font-size: 12px;
  2198. fill: #1A1400;
  2199. }
  2200. text.regexp {font-family: Verdana, Sans-serif;
  2201. font-size: 12px;
  2202. fill: #1F1800;
  2203. }
  2204. rect, circle, polygon {fill: #332900; stroke: #332900;}
  2205. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  2206. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  2207. rect.text {fill: none; stroke: none;}
  2208. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  2209. </style>
  2210. </defs>
  2211. <polygon points="9 17 1 13 1 21"/>
  2212. <polygon points="17 17 9 13 9 21"/>
  2213. <polygon points="51 19 58 3 134 3 141 19 134 35 58 35"/>
  2214. <polygon points="49 17 56 1 132 1 139 17 132 33 56 33" class="regexp"/>
  2215. <text class="regexp" x="64" y="21">[#x000D]</text>
  2216. <polygon points="51 63 58 47 132 47 139 63 132 79 58 79"/>
  2217. <polygon points="49 61 56 45 130 45 137 61 130 77 56 77" class="regexp"/>
  2218. <text class="regexp" x="64" y="65">[#x000A]</text>
  2219. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m90 0 h10 m-130 0 h20 m110 0 h20 m-150 0 q10 0 10 10 m130 0 q0 -10 10 -10 m-140 10 v24 m130 0 v-24 m-130 24 q0 10 10 10 m110 0 q10 0 10 -10 m-120 10 h10 m88 0 h10 m0 0 h2 m23 -44 h-3"/>
  2220. <polygon points="179 17 187 13 187 21"/>
  2221. <polygon points="179 17 171 13 171 21"/>
  2222. </svg>
  2223. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  2224. <xhtml:div class="ebnf"><xhtml:pre><a href="#EndOfLine" title="EndOfLine">EndOfLine</a>
  2225. ::= [#x000D#x000A]</xhtml:pre></xhtml:div>
  2226. </xhtml:p>
  2227. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  2228. <xhtml:ul>
  2229. <xhtml:li><xhtml:a href="#CommentLine" title="CommentLine">CommentLine</xhtml:a></xhtml:li>
  2230. <xhtml:li><xhtml:a href="#Line" title="Line">Line</xhtml:a></xhtml:li>
  2231. </xhtml:ul>
  2232. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="MiscUntilEOL">MiscUntilEOL:</xhtml:a></xhtml:p>
  2233. <svg xmlns="http://www.w3.org/2000/svg" width="246" height="52">
  2234. <defs>
  2235. <style type="text/css">
  2236. @namespace "http://www.w3.org/2000/svg";
  2237. .line {fill: none; stroke: #332900;}
  2238. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  2239. 2; }
  2240. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  2241. .filled {fill: #332900; stroke: none;}
  2242. text.terminal {font-family: Verdana, Sans-serif;
  2243. font-size: 12px;
  2244. fill: #141000;
  2245. font-weight: bold;
  2246. }
  2247. text.nonterminal {font-family: Verdana, Sans-serif;
  2248. font-size: 12px;
  2249. fill: #1A1400;
  2250. }
  2251. text.regexp {font-family: Verdana, Sans-serif;
  2252. font-size: 12px;
  2253. fill: #1F1800;
  2254. }
  2255. rect, circle, polygon {fill: #332900; stroke: #332900;}
  2256. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  2257. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  2258. rect.text {fill: none; stroke: none;}
  2259. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  2260. </style>
  2261. </defs>
  2262. <polygon points="9 33 1 29 1 37"/>
  2263. <polygon points="17 33 9 29 9 37"/>
  2264. <polygon points="51 35 58 19 192 19 199 35 192 51 58 51"/>
  2265. <polygon points="49 33 56 17 190 17 197 33 190 49 56 49" class="regexp"/>
  2266. <text class="regexp" x="64" y="37">[^#x000D#x000A]</text>
  2267. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m20 0 h10 m148 0 h10 m-188 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m168 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-168 0 h10 m0 0 h158 m23 32 h-3"/>
  2268. <polygon points="237 33 245 29 245 37"/>
  2269. <polygon points="237 33 229 29 229 37"/>
  2270. </svg>
  2271. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  2272. <xhtml:div class="ebnf"><xhtml:pre><a href="#MiscUntilEOL" title="MiscUntilEOL">MiscUntilEOL</a>
  2273. ::= [^#x000D#x000A]+</xhtml:pre></xhtml:div>
  2274. </xhtml:p>
  2275. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  2276. <xhtml:ul>
  2277. <xhtml:li><xhtml:a href="#Colon" title="Colon">Colon</xhtml:a></xhtml:li>
  2278. <xhtml:li><xhtml:a href="#Content" title="Content">Content</xhtml:a></xhtml:li>
  2279. <xhtml:li><xhtml:a href="#Dot" title="Dot">Dot</xhtml:a></xhtml:li>
  2280. <xhtml:li><xhtml:a href="#Line" title="Line">Line</xhtml:a></xhtml:li>
  2281. <xhtml:li><xhtml:a href="#LogicalOrListElement" title="LogicalOrListElement">LogicalOrListElement</xhtml:a></xhtml:li>
  2282. <xhtml:li><xhtml:a href="#Mode" title="Mode">Mode</xhtml:a></xhtml:li>
  2283. <xhtml:li><xhtml:a href="#Requirements" title="Requirements">Requirements</xhtml:a></xhtml:li>
  2284. <xhtml:li><xhtml:a href="#Semicolon" title="Semicolon">Semicolon</xhtml:a></xhtml:li>
  2285. <xhtml:li><xhtml:a href="#TagReference" title="TagReference">TagReference</xhtml:a></xhtml:li>
  2286. <xhtml:li><xhtml:a href="#ValueReference" title="ValueReference">ValueReference</xhtml:a></xhtml:li>
  2287. </xhtml:ul>
  2288. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="PCRE">PCRE:</xhtml:a></xhtml:p>
  2289. <svg xmlns="http://www.w3.org/2000/svg" width="204" height="80">
  2290. <defs>
  2291. <style type="text/css">
  2292. @namespace "http://www.w3.org/2000/svg";
  2293. .line {fill: none; stroke: #332900;}
  2294. .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
  2295. 2; }
  2296. .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
  2297. .filled {fill: #332900; stroke: none;}
  2298. text.terminal {font-family: Verdana, Sans-serif;
  2299. font-size: 12px;
  2300. fill: #141000;
  2301. font-weight: bold;
  2302. }
  2303. text.nonterminal {font-family: Verdana, Sans-serif;
  2304. font-size: 12px;
  2305. fill: #1A1400;
  2306. }
  2307. text.regexp {font-family: Verdana, Sans-serif;
  2308. font-size: 12px;
  2309. fill: #1F1800;
  2310. }
  2311. rect, circle, polygon {fill: #332900; stroke: #332900;}
  2312. rect.terminal {fill: #FFDB4D; stroke: #332900;}
  2313. rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
  2314. rect.text {fill: none; stroke: none;}
  2315. polygon.regexp {fill: #FFF4C7; stroke: #332900;}
  2316. </style>
  2317. </defs>
  2318. <polygon points="9 17 1 13 1 21"/>
  2319. <polygon points="17 17 9 13 9 21"/>
  2320. <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#EscapedPCRE" xlink:title="EscapedPCRE">
  2321. <rect x="51" y="3" width="106" height="32"/>
  2322. <rect x="49" y="1" width="106" height="32" class="nonterminal"/>
  2323. <text class="nonterminal" x="59" y="21">EscapedPCRE</text>
  2324. </a>
  2325. <polygon points="51 63 58 47 104 47 111 63 104 79 58 79"/>
  2326. <polygon points="49 61 56 45 102 45 109 61 102 77 56 77" class="regexp"/>
  2327. <text class="regexp" x="64" y="65">[^"\]</text>
  2328. <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m106 0 h10 m-146 0 h20 m126 0 h20 m-166 0 q10 0 10 10 m146 0 q0 -10 10 -10 m-156 10 v24 m146 0 v-24 m-146 24 q0 10 10 10 m126 0 q10 0 10 -10 m-136 10 h10 m60 0 h10 m0 0 h46 m23 -44 h-3"/>
  2329. <polygon points="195 17 203 13 203 21"/>
  2330. <polygon points="195 17 187 13 187 21"/>
  2331. </svg>
  2332. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  2333. <xhtml:div class="ebnf"><xhtml:pre><a href="#PCRE" title="PCRE">PCRE</a> ::= <a href="#EscapedPCRE" title="EscapedPCRE">EscapedPCRE</a>
  2334. | [^"\]</xhtml:pre></xhtml:div>
  2335. </xhtml:p>
  2336. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
  2337. <xhtml:ul>
  2338. <xhtml:li><xhtml:a href="#RegEx" title="RegEx">RegEx</xhtml:a></xhtml:li>
  2339. </xhtml:ul>
  2340. </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:hr xmlns:xhtml="http://www.w3.org/1999/xhtml" />
  2341. <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
  2342. <xhtml:table border="0" class="signature">
  2343. <xhtml:tr>
  2344. <xhtml:td style="width: 100%"> </xhtml:td>
  2345. <xhtml:td valign="top">
  2346. <xhtml:nobr class="signature">... generated by <xhtml:a name="Railroad-Diagram-Generator" class="signature" title="http://www.bottlecaps.de/rr/ui" href="http://www.bottlecaps.de/rr/ui" target="_blank">Railroad Diagram Generator</xhtml:a></xhtml:nobr>
  2347. </xhtml:td>
  2348. <xhtml:td><xhtml:a name="Railroad-Diagram-Generator" title="http://www.bottlecaps.de/rr/ui" href="http://www.bottlecaps.de/rr/ui" target="_blank">
  2349. <svg xmlns="http://www.w3.org/2000/svg" width="16" height="16">
  2350. <g transform="scale(0.178)">
  2351. <circle cx="45" cy="45" r="45" style="stroke:none; fill:#FFCC00"/>
  2352. <circle cx="45" cy="45" r="42" style="stroke:#332900; stroke-width:2px; fill:#FFCC00"/>
  2353. <line x1="15" y1="15" x2="75" y2="75" stroke="#332900" style="stroke-width:9px;"/>
  2354. <line x1="15" y1="75" x2="75" y2="15" stroke="#332900" style="stroke-width:9px;"/>
  2355. <text x="7" y="54" style="font-size:26px; font-family:Arial, Sans-serif; font-weight:bold; fill: #332900">R</text>
  2356. <text x="64" y="54" style="font-size:26px; font-family:Arial, Sans-serif; font-weight:bold; fill: #332900">R</text>
  2357. </g>
  2358. </svg></xhtml:a></xhtml:td>
  2359. </xhtml:tr>
  2360. </xhtml:table>
  2361. </xhtml:p>
  2362. </body>
  2363. </html>