crypto/property/properties.xhtml

   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.56.1774" />
   6       <style type="text/css">
   7     ::-moz-selection
   8     {
   9       color: #FFFCF0;
  10       background: #0F0C00;
  11     }
  12     ::selection
  13     {
  14       color: #FFFCF0;
  15       background: #0F0C00;
  16     }
  17     .ebnf a, .grammar a
  18     {
  19       text-decoration: none;
  20     }
  21     .ebnf a:hover, .grammar a:hover
  22     {
  23       color: #050400;
  24       text-decoration: underline;
  25     }
  26     .signature
  27     {
  28       color: #806600;
  29       font-size: 11px;
  30       text-align: right;
  31     }
  32     body
  33     {
  34       font: normal 12px Verdana, sans-serif;
  35       color: #0F0C00;
  36       background: #FFFCF0;
  37     }
  38     a:link, a:visited
  39     {
  40       color: #0F0C00;
  41     }
  42     a:link.signature, a:visited.signature
  43     {
  44       color: #806600;
  45     }
  46     a.button, #tabs li a
  47     {
  48       padding: 0.25em 0.5em;
  49       border: 1px solid #806600;
  50       background: #F1E8C6;
  51       color: #806600;
  52       text-decoration: none;
  53       font-weight: bold;
  54     }
  55     a.button:hover, #tabs li a:hover
  56     {
  57       color: #050400;
  58       background: #FFF6D1;
  59       border-color: #050400;
  60     }
  61     #tabs
  62     {
  63       padding: 3px 10px;
  64       margin-left: 0;
  65       margin-top: 58px;
  66       border-bottom: 1px solid #0F0C00;
  67     }
  68     #tabs li
  69     {
  70       list-style: none;
  71       margin-left: 5px;
  72       display: inline;
  73     }
  74     #tabs li a
  75     {
  76       border-bottom: 1px solid #0F0C00;
  77     }
  78     #tabs li a.active
  79     {
  80       color: #0F0C00;
  81       background: #FFFCF0;
  82       border-color: #0F0C00;
  83       border-bottom: 1px solid #FFFCF0;
  84       outline: none;
  85     }
  86     #divs div
  87     {
  88       display: none;
  89       overflow:auto;
  90     }
  91     #divs div.active
  92     {
  93       display: block;
  94     }
  95     #text
  96     {
  97       border-color: #806600;
  98       background: #FFFEFA;
  99       color: #050400;
 100     }
 101     .small
 102     {
 103       vertical-align: top;
 104       text-align: right;
 105       font-size: 9px;
 106       font-weight: normal;
 107       line-height: 120%;
 108     }
 109     td.small
 110     {
 111       padding-top: 0px;
 112     }
 113     .hidden
 114     {
 115       visibility: hidden;
 116     }
 117     td:hover .hidden
 118     {
 119       visibility: visible;
 120     }
 121     div.download
 122     {
 123       display: none;
 124       background: #FFFCF0;
 125       position: absolute;
 126       right: 34px;
 127       top: 94px;
 128       padding: 10px;
 129       border: 1px dotted #0F0C00;
 130     }
 131     #divs div.ebnf, .ebnf code
 132     {
 133       display: block;
 134       padding: 10px;
 135       background: #FFF6D1;
 136       width: 1000px;
 137     }
 138     #divs div.grammar
 139     {
 140       display: block;
 141       padding-left: 16px;
 142       padding-top: 2px;
 143       padding-bottom: 2px;
 144       background: #FFF6D1;
 145     }
 146     pre
 147     {
 148       margin: 0px;
 149     }
 150     .ebnf div
 151     {
 152       padding-left: 13ch;
 153       text-indent: -13ch;
 154     }
 155     .ebnf code, .grammar code, textarea, pre
 156     {
 157       font:12px SFMono-Regular,Consolas,Liberation Mono,Menlo,Courier,monospace;
 158     }
 159     tr.option-line td:first-child
 160     {
 161       text-align: right
 162     }
 163     tr.option-text td
 164     {
 165       padding-bottom: 10px
 166     }
 167     table.palette
 168     {
 169       border-top: 1px solid #050400;
 170       border-right: 1px solid #050400;
 171       margin-bottom: 4px
 172     }
 173     td.palette
 174     {
 175       border-bottom: 1px solid #050400;
 176       border-left: 1px solid #050400;
 177     }
 178     a.palette
 179     {
 180       padding: 2px 3px 2px 10px;
 181       text-decoration: none;
 182     }
 183     .palette
 184     {
 185       -webkit-user-select: none;
 186       -khtml-user-select: none;
 187       -moz-user-select: none;
 188       -o-user-select: none;
 189       -ms-user-select: none;
 190     }
 191   </style><svg xmlns="http://www.w3.org/2000/svg">
 192          <defs>
 193             <style type="text/css">
 194     @namespace "http://www.w3.org/2000/svg";
 195     .line                 {fill: none; stroke: #332900;}
 196     .bold-line            {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
 197     .thin-line            {stroke: #1F1800; shape-rendering: crispEdges}
 198     .filled               {fill: #332900; stroke: none;}
 199     text.terminal         {font-family: Verdana, Sans-serif;
 200                             font-size: 12px;
 201                             fill: #141000;
 202                             font-weight: bold;
 203                           }
 204     text.nonterminal      {font-family: Verdana, Sans-serif;
 205                             font-size: 12px;
 206                             fill: #1A1400;
 207                             font-weight: normal;
 208                           }
 209     text.regexp           {font-family: Verdana, Sans-serif;
 210                             font-size: 12px;
 211                             fill: #1F1800;
 212                             font-weight: normal;
 213                           }
 214     rect, circle, polygon {fill: #332900; stroke: #332900;}
 215     rect.terminal         {fill: #FFDB4D; stroke: #332900;}
 216     rect.nonterminal      {fill: #FFEC9E; stroke: #332900;}
 217     rect.text             {fill: none; stroke: none;}
 218     polygon.regexp        {fill: #FFF4C7; stroke: #332900;}
 219   </style>
 220          </defs></svg></head>
 221    <body>
 222       <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Definition">Definition:</xhtml:a></xhtml:p><svg xmlns="http://www.w3.org/2000/svg" width="375" height="113">
 223          <defs>
 224             <style type="text/css">
 225     @namespace "http://www.w3.org/2000/svg";
 226     .line                 {fill: none; stroke: #332900;}
 227     .bold-line            {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
 228     .thin-line            {stroke: #1F1800; shape-rendering: crispEdges}
 229     .filled               {fill: #332900; stroke: none;}
 230     text.terminal         {font-family: Verdana, Sans-serif;
 231                             font-size: 12px;
 232                             fill: #141000;
 233                             font-weight: bold;
 234                           }
 235     text.nonterminal      {font-family: Verdana, Sans-serif;
 236                             font-size: 12px;
 237                             fill: #1A1400;
 238                             font-weight: normal;
 239                           }
 240     text.regexp           {font-family: Verdana, Sans-serif;
 241                             font-size: 12px;
 242                             fill: #1F1800;
 243                             font-weight: normal;
 244                           }
 245     rect, circle, polygon {fill: #332900; stroke: #332900;}
 246     rect.terminal         {fill: #FFDB4D; stroke: #332900;}
 247     rect.nonterminal      {fill: #FFEC9E; stroke: #332900;}
 248     rect.text             {fill: none; stroke: none;}
 249     polygon.regexp        {fill: #FFF4C7; stroke: #332900;}
 250   </style>
 251          </defs>
 252          <polygon points="9 61 1 57 1 65"/>
 253          <polygon points="17 61 9 57 9 65"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyName" xlink:title="PropertyName">
 254             <rect x="51" y="47" width="110" height="32"/>
 255             <rect x="49" y="45" width="110" height="32" class="nonterminal"/>
 256             <text class="nonterminal" x="59" y="65">PropertyName</text></a><rect x="201" y="79" width="30" height="32" rx="10"/>
 257          <rect x="199" y="77" width="30" height="32" class="terminal" rx="10"/>
 258          <text class="terminal" x="209" y="97">=</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Value" xlink:title="Value">
 259             <rect x="251" y="79" width="56" height="32"/>
 260             <rect x="249" y="77" width="56" height="32" class="nonterminal"/>
 261             <text class="nonterminal" x="259" y="97">Value</text></a><rect x="51" y="3" width="24" height="32" rx="10"/>
 262          <rect x="49" y="1" width="24" height="32" class="terminal" rx="10"/>
 263          <text class="terminal" x="59" y="21">,</text>
 264          <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 61 h2 m20 0 h10 m110 0 h10 m20 0 h10 m0 0 h116 m-146 0 h20 m126 0 h20 m-166 0 q10 0 10 10 m146 0 q0 -10 10 -10 m-156 10 v12 m146 0 v-12 m-146 12 q0 10 10 10 m126 0 q10 0 10 -10 m-136 10 h10 m30 0 h10 m0 0 h10 m56 0 h10 m-296 -32 l20 0 m-1 0 q-9 0 -9 -10 l0 -24 q0 -10 10 -10 m296 44 l20 0 m-20 0 q10 0 10 -10 l0 -24 q0 -10 -10 -10 m-296 0 h10 m24 0 h10 m0 0 h252 m23 44 h-3"/>
 265          <polygon points="365 61 373 57 373 65"/>
 266          <polygon points="365 61 357 57 357 65"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
 267          <xhtml:div class="ebnf"><xhtml:code>
 268                <div><a href="#Definition" title="Definition">Definition</a></div>
 269                <div>         ::= <a href="#PropertyName" title="PropertyName">PropertyName</a> ( '=' <a href="#Value" title="Value">Value</a> )? ( ',' <a href="#PropertyName" title="PropertyName">PropertyName</a> ( '=' <a href="#Value" title="Value">Value</a> )? )*</div></xhtml:code></xhtml:div>
 270       </xhtml:p>
 271       <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="Query">Query:</xhtml:a></xhtml:p><svg xmlns="http://www.w3.org/2000/svg" width="419" height="201">
 272          <defs>
 273             <style type="text/css">
 274     @namespace "http://www.w3.org/2000/svg";
 275     .line                 {fill: none; stroke: #332900;}
 276     .bold-line            {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
 277     .thin-line            {stroke: #1F1800; shape-rendering: crispEdges}
 278     .filled               {fill: #332900; stroke: none;}
 279     text.terminal         {font-family: Verdana, Sans-serif;
 280                             font-size: 12px;
 281                             fill: #141000;
 282                             font-weight: bold;
 283                           }
 284     text.nonterminal      {font-family: Verdana, Sans-serif;
 285                             font-size: 12px;
 286                             fill: #1A1400;
 287                             font-weight: normal;
 288                           }
 289     text.regexp           {font-family: Verdana, Sans-serif;
 290                             font-size: 12px;
 291                             fill: #1F1800;
 292                             font-weight: normal;
 293                           }
 294     rect, circle, polygon {fill: #332900; stroke: #332900;}
 295     rect.terminal         {fill: #FFDB4D; stroke: #332900;}
 296     rect.nonterminal      {fill: #FFEC9E; stroke: #332900;}
 297     rect.text             {fill: none; stroke: none;}
 298     polygon.regexp        {fill: #FFF4C7; stroke: #332900;}
 299   </style>
 300          </defs>
 301          <polygon points="9 61 1 57 1 65"/>
 302          <polygon points="17 61 9 57 9 65"/>
 303          <rect x="91" y="79" width="26" height="32" rx="10"/>
 304          <rect x="89" y="77" width="26" height="32" class="terminal" rx="10"/>
 305          <text class="terminal" x="99" y="97">-</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyName" xlink:title="PropertyName">
 306             <rect x="157" y="47" width="110" height="32"/>
 307             <rect x="155" y="45" width="110" height="32" class="nonterminal"/>
 308             <text class="nonterminal" x="165" y="65">PropertyName</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyName" xlink:title="PropertyName">
 309             <rect x="71" y="123" width="110" height="32"/>
 310             <rect x="69" y="121" width="110" height="32" class="nonterminal"/>
 311             <text class="nonterminal" x="79" y="141">PropertyName</text></a><rect x="221" y="123" width="30" height="32" rx="10"/>
 312          <rect x="219" y="121" width="30" height="32" class="terminal" rx="10"/>
 313          <text class="terminal" x="229" y="141">=</text>
 314          <rect x="221" y="167" width="34" height="32" rx="10"/>
 315          <rect x="219" y="165" width="34" height="32" class="terminal" rx="10"/>
 316          <text class="terminal" x="229" y="185">!=</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Value" xlink:title="Value">
 317             <rect x="295" y="123" width="56" height="32"/>
 318             <rect x="293" y="121" width="56" height="32" class="nonterminal"/>
 319             <text class="nonterminal" x="303" y="141">Value</text></a><rect x="51" y="3" width="24" height="32" rx="10"/>
 320          <rect x="49" y="1" width="24" height="32" class="terminal" rx="10"/>
 321          <text class="terminal" x="59" y="21">,</text>
 322          <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 61 h2 m60 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 m20 -32 h10 m110 0 h10 m0 0 h84 m-320 0 h20 m300 0 h20 m-340 0 q10 0 10 10 m320 0 q0 -10 10 -10 m-330 10 v56 m320 0 v-56 m-320 56 q0 10 10 10 m300 0 q10 0 10 -10 m-310 10 h10 m110 0 h10 m20 0 h10 m30 0 h10 m0 0 h4 m-74 0 h20 m54 0 h20 m-94 0 q10 0 10 10 m74 0 q0 -10 10 -10 m-84 10 v24 m74 0 v-24 m-74 24 q0 10 10 10 m54 0 q10 0 10 -10 m-64 10 h10 m34 0 h10 m20 -44 h10 m56 0 h10 m-340 -76 l20 0 m-1 0 q-9 0 -9 -10 l0 -24 q0 -10 10 -10 m340 44 l20 0 m-20 0 q10 0 10 -10 l0 -24 q0 -10 -10 -10 m-340 0 h10 m24 0 h10 m0 0 h296 m23 44 h-3"/>
 323          <polygon points="409 61 417 57 417 65"/>
 324          <polygon points="409 61 401 57 401 65"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
 325          <xhtml:div class="ebnf"><xhtml:code>
 326                <div><a href="#Query" title="Query">Query</a>    ::= ( '-'? <a href="#PropertyName" title="PropertyName">PropertyName</a> | <a href="#PropertyName" title="PropertyName">PropertyName</a> ( '=' | '!=' ) <a href="#Value" title="Value">Value</a> ) ( ',' ( '-'? <a href="#PropertyName" title="PropertyName">PropertyName</a> | <a href="#PropertyName" title="PropertyName">PropertyName</a> ( '=' | '!=' ) <a href="#Value" title="Value">Value</a> ) )*</div></xhtml:code></xhtml:div>
 327       </xhtml:p>
 328       <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="Value">Value:</xhtml:a></xhtml:p><svg xmlns="http://www.w3.org/2000/svg" width="207" height="81">
 329          <defs>
 330             <style type="text/css">
 331     @namespace "http://www.w3.org/2000/svg";
 332     .line                 {fill: none; stroke: #332900;}
 333     .bold-line            {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
 334     .thin-line            {stroke: #1F1800; shape-rendering: crispEdges}
 335     .filled               {fill: #332900; stroke: none;}
 336     text.terminal         {font-family: Verdana, Sans-serif;
 337                             font-size: 12px;
 338                             fill: #141000;
 339                             font-weight: bold;
 340                           }
 341     text.nonterminal      {font-family: Verdana, Sans-serif;
 342                             font-size: 12px;
 343                             fill: #1A1400;
 344                             font-weight: normal;
 345                           }
 346     text.regexp           {font-family: Verdana, Sans-serif;
 347                             font-size: 12px;
 348                             fill: #1F1800;
 349                             font-weight: normal;
 350                           }
 351     rect, circle, polygon {fill: #332900; stroke: #332900;}
 352     rect.terminal         {fill: #FFDB4D; stroke: #332900;}
 353     rect.nonterminal      {fill: #FFEC9E; stroke: #332900;}
 354     rect.text             {fill: none; stroke: none;}
 355     polygon.regexp        {fill: #FFF4C7; stroke: #332900;}
 356   </style>
 357          </defs>
 358          <polygon points="9 17 1 13 1 21"/>
 359          <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#NumberLiteral" xlink:title="NumberLiteral">
 360             <rect x="51" y="3" width="108" height="32"/>
 361             <rect x="49" y="1" width="108" height="32" class="nonterminal"/>
 362             <text class="nonterminal" x="59" y="21">NumberLiteral</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#StringLiteral" xlink:title="StringLiteral">
 363             <rect x="51" y="47" width="96" height="32"/>
 364             <rect x="49" y="45" width="96" height="32" class="nonterminal"/>
 365             <text class="nonterminal" x="59" y="65">StringLiteral</text></a><svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m108 0 h10 m-148 0 h20 m128 0 h20 m-168 0 q10 0 10 10 m148 0 q0 -10 10 -10 m-158 10 v24 m148 0 v-24 m-148 24 q0 10 10 10 m128 0 q10 0 10 -10 m-138 10 h10 m96 0 h10 m0 0 h12 m23 -44 h-3"/>
 366          <polygon points="197 17 205 13 205 21"/>
 367          <polygon points="197 17 189 13 189 21"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
 368          <xhtml:div class="ebnf"><xhtml:code>
 369                <div><a href="#Value" title="Value">Value</a>    ::= <a href="#NumberLiteral" title="NumberLiteral">NumberLiteral</a></div>
 370                <div>           | <a href="#StringLiteral" title="StringLiteral">StringLiteral</a></div></xhtml:code></xhtml:div>
 371       </xhtml:p>
 372       <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 373          <xhtml:ul>
 374             <xhtml:li><xhtml:a href="#Definition" title="Definition">Definition</xhtml:a></xhtml:li>
 375             <xhtml:li><xhtml:a href="#Query" title="Query">Query</xhtml:a></xhtml:li>
 376          </xhtml:ul>
 377       </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="StringLiteral">StringLiteral:</xhtml:a></xhtml:p><svg xmlns="http://www.w3.org/2000/svg" width="219" height="81">
 378          <defs>
 379             <style type="text/css">
 380     @namespace "http://www.w3.org/2000/svg";
 381     .line                 {fill: none; stroke: #332900;}
 382     .bold-line            {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
 383     .thin-line            {stroke: #1F1800; shape-rendering: crispEdges}
 384     .filled               {fill: #332900; stroke: none;}
 385     text.terminal         {font-family: Verdana, Sans-serif;
 386                             font-size: 12px;
 387                             fill: #141000;
 388                             font-weight: bold;
 389                           }
 390     text.nonterminal      {font-family: Verdana, Sans-serif;
 391                             font-size: 12px;
 392                             fill: #1A1400;
 393                             font-weight: normal;
 394                           }
 395     text.regexp           {font-family: Verdana, Sans-serif;
 396                             font-size: 12px;
 397                             fill: #1F1800;
 398                             font-weight: normal;
 399                           }
 400     rect, circle, polygon {fill: #332900; stroke: #332900;}
 401     rect.terminal         {fill: #FFDB4D; stroke: #332900;}
 402     rect.nonterminal      {fill: #FFEC9E; stroke: #332900;}
 403     rect.text             {fill: none; stroke: none;}
 404     polygon.regexp        {fill: #FFF4C7; stroke: #332900;}
 405   </style>
 406          </defs>
 407          <polygon points="9 17 1 13 1 21"/>
 408          <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#QuotedString" xlink:title="QuotedString">
 409             <rect x="51" y="3" width="104" height="32"/>
 410             <rect x="49" y="1" width="104" height="32" class="nonterminal"/>
 411             <text class="nonterminal" x="59" y="21">QuotedString</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#UnquotedString" xlink:title="UnquotedString">
 412             <rect x="51" y="47" width="120" height="32"/>
 413             <rect x="49" y="45" width="120" height="32" class="nonterminal"/>
 414             <text class="nonterminal" x="59" y="65">UnquotedString</text></a><svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m104 0 h10 m0 0 h16 m-160 0 h20 m140 0 h20 m-180 0 q10 0 10 10 m160 0 q0 -10 10 -10 m-170 10 v24 m160 0 v-24 m-160 24 q0 10 10 10 m140 0 q10 0 10 -10 m-150 10 h10 m120 0 h10 m23 -44 h-3"/>
 415          <polygon points="209 17 217 13 217 21"/>
 416          <polygon points="209 17 201 13 201 21"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
 417          <xhtml:div class="ebnf"><xhtml:code>
 418                <div><a href="#StringLiteral" title="StringLiteral">StringLiteral</a></div>
 419                <div>         ::= <a href="#QuotedString" title="QuotedString">QuotedString</a></div>
 420                <div>           | <a href="#UnquotedString" title="UnquotedString">UnquotedString</a></div></xhtml:code></xhtml:div>
 421       </xhtml:p>
 422       <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 423          <xhtml:ul>
 424             <xhtml:li><xhtml:a href="#Value" title="Value">Value</xhtml:a></xhtml:li>
 425          </xhtml:ul>
 426       </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="QuotedString">QuotedString:</xhtml:a></xhtml:p><svg xmlns="http://www.w3.org/2000/svg" width="327" height="151">
 427          <defs>
 428             <style type="text/css">
 429     @namespace "http://www.w3.org/2000/svg";
 430     .line                 {fill: none; stroke: #332900;}
 431     .bold-line            {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
 432     .thin-line            {stroke: #1F1800; shape-rendering: crispEdges}
 433     .filled               {fill: #332900; stroke: none;}
 434     text.terminal         {font-family: Verdana, Sans-serif;
 435                             font-size: 12px;
 436                             fill: #141000;
 437                             font-weight: bold;
 438                           }
 439     text.nonterminal      {font-family: Verdana, Sans-serif;
 440                             font-size: 12px;
 441                             fill: #1A1400;
 442                             font-weight: normal;
 443                           }
 444     text.regexp           {font-family: Verdana, Sans-serif;
 445                             font-size: 12px;
 446                             fill: #1F1800;
 447                             font-weight: normal;
 448                           }
 449     rect, circle, polygon {fill: #332900; stroke: #332900;}
 450     rect.terminal         {fill: #FFDB4D; stroke: #332900;}
 451     rect.nonterminal      {fill: #FFEC9E; stroke: #332900;}
 452     rect.text             {fill: none; stroke: none;}
 453     polygon.regexp        {fill: #FFF4C7; stroke: #332900;}
 454   </style>
 455          </defs>
 456          <polygon points="9 33 1 29 1 37"/>
 457          <polygon points="17 33 9 29 9 37"/>
 458          <rect x="51" y="19" width="26" height="32" rx="10"/>
 459          <rect x="49" y="17" width="26" height="32" class="terminal" rx="10"/>
 460          <text class="terminal" x="59" y="37">"</text>
 461          <polygon points="137 35 144 19 186 19 193 35 186 51 144 51"/>
 462          <polygon points="135 33 142 17 184 17 191 33 184 49 142 49" class="regexp"/>
 463          <text class="regexp" x="150" y="37">[^"]</text>
 464          <rect x="253" y="19" width="26" height="32" rx="10"/>
 465          <rect x="251" y="17" width="26" height="32" class="terminal" rx="10"/>
 466          <text class="terminal" x="261" y="37">"</text>
 467          <rect x="51" y="101" width="24" height="32" rx="10"/>
 468          <rect x="49" y="99" width="24" height="32" class="terminal" rx="10"/>
 469          <text class="terminal" x="59" y="119">'</text>
 470          <polygon points="135 117 142 101 182 101 189 117 182 133 142 133"/>
 471          <polygon points="133 115 140 99 180 99 187 115 180 131 140 131" class="regexp"/>
 472          <text class="regexp" x="148" y="119">[^']</text>
 473          <rect x="249" y="101" width="24" height="32" rx="10"/>
 474          <rect x="247" y="99" width="24" height="32" class="terminal" rx="10"/>
 475          <text class="terminal" x="257" y="119">'</text>
 476          <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m20 0 h10 m26 0 h10 m40 0 h10 m56 0 h10 m-96 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m76 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-76 0 h10 m0 0 h66 m-116 32 h20 m116 0 h20 m-156 0 q10 0 10 10 m136 0 q0 -10 10 -10 m-146 10 v14 m136 0 v-14 m-136 14 q0 10 10 10 m116 0 q10 0 10 -10 m-126 10 h10 m0 0 h106 m20 -34 h10 m26 0 h10 m-268 0 h20 m248 0 h20 m-288 0 q10 0 10 10 m268 0 q0 -10 10 -10 m-278 10 v62 m268 0 v-62 m-268 62 q0 10 10 10 m248 0 q10 0 10 -10 m-258 10 h10 m24 0 h10 m40 0 h10 m54 0 h10 m-94 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m74 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-74 0 h10 m0 0 h64 m-114 32 h20 m114 0 h20 m-154 0 q10 0 10 10 m134 0 q0 -10 10 -10 m-144 10 v14 m134 0 v-14 m-134 14 q0 10 10 10 m114 0 q10 0 10 -10 m-124 10 h10 m0 0 h104 m20 -34 h10 m24 0 h10 m0 0 h6 m23 -82 h-3"/>
 477          <polygon points="317 33 325 29 325 37"/>
 478          <polygon points="317 33 309 29 309 37"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
 479          <xhtml:div class="ebnf"><xhtml:code>
 480                <div><a href="#QuotedString" title="QuotedString">QuotedString</a></div>
 481                <div>         ::= '"' [^"]* '"'</div>
 482                <div>           | "'" [^']* "'"</div></xhtml:code></xhtml:div>
 483       </xhtml:p>
 484       <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 485          <xhtml:ul>
 486             <xhtml:li><xhtml:a href="#StringLiteral" title="StringLiteral">StringLiteral</xhtml:a></xhtml:li>
 487          </xhtml:ul>
 488       </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="UnquotedString">UnquotedString:</xhtml:a></xhtml:p><svg xmlns="http://www.w3.org/2000/svg" width="207" height="53">
 489          <defs>
 490             <style type="text/css">
 491     @namespace "http://www.w3.org/2000/svg";
 492     .line                 {fill: none; stroke: #332900;}
 493     .bold-line            {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
 494     .thin-line            {stroke: #1F1800; shape-rendering: crispEdges}
 495     .filled               {fill: #332900; stroke: none;}
 496     text.terminal         {font-family: Verdana, Sans-serif;
 497                             font-size: 12px;
 498                             fill: #141000;
 499                             font-weight: bold;
 500                           }
 501     text.nonterminal      {font-family: Verdana, Sans-serif;
 502                             font-size: 12px;
 503                             fill: #1A1400;
 504                             font-weight: normal;
 505                           }
 506     text.regexp           {font-family: Verdana, Sans-serif;
 507                             font-size: 12px;
 508                             fill: #1F1800;
 509                             font-weight: normal;
 510                           }
 511     rect, circle, polygon {fill: #332900; stroke: #332900;}
 512     rect.terminal         {fill: #FFDB4D; stroke: #332900;}
 513     rect.nonterminal      {fill: #FFEC9E; stroke: #332900;}
 514     rect.text             {fill: none; stroke: none;}
 515     polygon.regexp        {fill: #FFF4C7; stroke: #332900;}
 516   </style>
 517          </defs>
 518          <polygon points="9 33 1 29 1 37"/>
 519          <polygon points="17 33 9 29 9 37"/>
 520          <polygon points="51 35 58 19 152 19 159 35 152 51 58 51"/>
 521          <polygon points="49 33 56 17 150 17 157 33 150 49 56 49" class="regexp"/>
 522          <text class="regexp" x="64" y="37">[^{space},]</text>
 523          <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m20 0 h10 m108 0 h10 m-148 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m128 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-128 0 h10 m0 0 h118 m23 32 h-3"/>
 524          <polygon points="197 33 205 29 205 37"/>
 525          <polygon points="197 33 189 29 189 37"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
 526          <xhtml:div class="ebnf"><xhtml:code>
 527                <div><a href="#UnquotedString" title="UnquotedString">UnquotedString</a></div>
 528                <div>         ::= [^{space},]+</div></xhtml:code></xhtml:div>
 529       </xhtml:p>
 530       <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 531          <xhtml:ul>
 532             <xhtml:li><xhtml:a href="#StringLiteral" title="StringLiteral">StringLiteral</xhtml:a></xhtml:li>
 533          </xhtml:ul>
 534       </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="NumberLiteral">NumberLiteral:</xhtml:a></xhtml:p><svg xmlns="http://www.w3.org/2000/svg" width="377" height="305">
 535          <defs>
 536             <style type="text/css">
 537     @namespace "http://www.w3.org/2000/svg";
 538     .line                 {fill: none; stroke: #332900;}
 539     .bold-line            {stroke: #141000; shape-rendering: crispEdges; stroke-width: 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                             font-weight: normal;
 551                           }
 552     text.regexp           {font-family: Verdana, Sans-serif;
 553                             font-size: 12px;
 554                             fill: #1F1800;
 555                             font-weight: normal;
 556                           }
 557     rect, circle, polygon {fill: #332900; stroke: #332900;}
 558     rect.terminal         {fill: #FFDB4D; stroke: #332900;}
 559     rect.nonterminal      {fill: #FFEC9E; stroke: #332900;}
 560     rect.text             {fill: none; stroke: none;}
 561     polygon.regexp        {fill: #FFF4C7; stroke: #332900;}
 562   </style>
 563          </defs>
 564          <polygon points="9 51 1 47 1 55"/>
 565          <polygon points="17 51 9 47 9 55"/>
 566          <rect x="51" y="37" width="28" height="32" rx="10"/>
 567          <rect x="49" y="35" width="28" height="32" class="terminal" rx="10"/>
 568          <text class="terminal" x="59" y="55">0</text>
 569          <polygon points="139 19 146 3 194 3 201 19 194 35 146 35"/>
 570          <polygon points="137 17 144 1 192 1 199 17 192 33 144 33" class="regexp"/>
 571          <text class="regexp" x="152" y="21">[0-7]</text>
 572          <rect x="119" y="85" width="28" height="32" rx="10"/>
 573          <rect x="117" y="83" width="28" height="32" class="terminal" rx="10"/>
 574          <text class="terminal" x="127" y="103">x</text>
 575          <polygon points="207 101 214 85 262 85 269 101 262 117 214 117"/>
 576          <polygon points="205 99 212 83 260 83 267 99 260 115 212 115" class="regexp"/>
 577          <text class="regexp" x="220" y="103">[0-9]</text>
 578          <polygon points="207 145 214 129 260 129 267 145 260 161 214 161"/>
 579          <polygon points="205 143 212 127 258 127 265 143 258 159 212 159" class="regexp"/>
 580          <text class="regexp" x="220" y="147">[A-F]</text>
 581          <polygon points="207 189 214 173 258 173 265 189 258 205 214 205"/>
 582          <polygon points="205 187 212 171 256 171 263 187 256 203 212 203" class="regexp"/>
 583          <text class="regexp" x="220" y="191">[a-f]</text>
 584          <rect x="71" y="271" width="26" height="32" rx="10"/>
 585          <rect x="69" y="269" width="26" height="32" class="terminal" rx="10"/>
 586          <text class="terminal" x="79" y="289">-</text>
 587          <polygon points="137 255 144 239 192 239 199 255 192 271 144 271"/>
 588          <polygon points="135 253 142 237 190 237 197 253 190 269 142 269" class="regexp"/>
 589          <text class="regexp" x="150" y="257">[1-9]</text>
 590          <polygon points="239 255 246 239 294 239 301 255 294 271 246 271"/>
 591          <polygon points="237 253 244 237 292 237 299 253 292 269 244 269" class="regexp"/>
 592          <text class="regexp" x="252" y="257">[0-9]</text>
 593          <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 51 h2 m20 0 h10 m28 0 h10 m40 0 h10 m0 0 h72 m-102 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m82 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-82 0 h10 m62 0 h10 m20 34 h88 m-230 0 h20 m210 0 h20 m-250 0 q10 0 10 10 m230 0 q0 -10 10 -10 m-240 10 v28 m230 0 v-28 m-230 28 q0 10 10 10 m210 0 q10 0 10 -10 m-220 10 h10 m28 0 h10 m40 0 h10 m62 0 h10 m-102 0 h20 m82 0 h20 m-122 0 q10 0 10 10 m102 0 q0 -10 10 -10 m-112 10 v24 m102 0 v-24 m-102 24 q0 10 10 10 m82 0 q10 0 10 -10 m-92 10 h10 m60 0 h10 m0 0 h2 m-92 -10 v20 m102 0 v-20 m-102 20 v24 m102 0 v-24 m-102 24 q0 10 10 10 m82 0 q10 0 10 -10 m-92 10 h10 m58 0 h10 m0 0 h4 m-122 -88 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m122 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-122 0 h10 m0 0 h112 m-278 -16 h20 m298 0 h20 m-338 0 q10 0 10 10 m318 0 q0 -10 10 -10 m-328 10 v182 m318 0 v-182 m-318 182 q0 10 10 10 m298 0 q10 0 10 -10 m-288 10 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 m20 -32 h10 m62 0 h10 m20 0 h10 m62 0 h10 m-102 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m82 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-82 0 h10 m0 0 h72 m20 32 h8 m23 -202 h-3"/>
 594          <polygon points="367 51 375 47 375 55"/>
 595          <polygon points="367 51 359 47 359 55"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
 596          <xhtml:div class="ebnf"><xhtml:code>
 597                <div><a href="#NumberLiteral" title="NumberLiteral">NumberLiteral</a></div>
 598                <div>         ::= '0' ( [0-7]* | 'x' [0-9A-Fa-f]+ )</div>
 599                <div>           | '-'? [1-9] [0-9]+</div></xhtml:code></xhtml:div>
 600       </xhtml:p>
 601       <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 602          <xhtml:ul>
 603             <xhtml:li><xhtml:a href="#Value" title="Value">Value</xhtml:a></xhtml:li>
 604          </xhtml:ul>
 605       </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="PropertyName">PropertyName:</xhtml:a></xhtml:p><svg xmlns="http://www.w3.org/2000/svg" width="283" height="203">
 606          <defs>
 607             <style type="text/css">
 608     @namespace "http://www.w3.org/2000/svg";
 609     .line                 {fill: none; stroke: #332900;}
 610     .bold-line            {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
 611     .thin-line            {stroke: #1F1800; shape-rendering: crispEdges}
 612     .filled               {fill: #332900; stroke: none;}
 613     text.terminal         {font-family: Verdana, Sans-serif;
 614                             font-size: 12px;
 615                             fill: #141000;
 616                             font-weight: bold;
 617                           }
 618     text.nonterminal      {font-family: Verdana, Sans-serif;
 619                             font-size: 12px;
 620                             fill: #1A1400;
 621                             font-weight: normal;
 622                           }
 623     text.regexp           {font-family: Verdana, Sans-serif;
 624                             font-size: 12px;
 625                             fill: #1F1800;
 626                             font-weight: normal;
 627                           }
 628     rect, circle, polygon {fill: #332900; stroke: #332900;}
 629     rect.terminal         {fill: #FFDB4D; stroke: #332900;}
 630     rect.nonterminal      {fill: #FFEC9E; stroke: #332900;}
 631     rect.text             {fill: none; stroke: none;}
 632     polygon.regexp        {fill: #FFF4C7; stroke: #332900;}
 633   </style>
 634          </defs>
 635          <polygon points="9 183 1 179 1 187"/>
 636          <polygon points="17 183 9 179 9 187"/>
 637          <polygon points="51 185 58 169 106 169 113 185 106 201 58 201"/>
 638          <polygon points="49 183 56 167 104 167 111 183 104 199 56 199" class="regexp"/>
 639          <text class="regexp" x="64" y="187">[A-Z]</text>
 640          <polygon points="153 151 160 135 208 135 215 151 208 167 160 167"/>
 641          <polygon points="151 149 158 133 206 133 213 149 206 165 158 165" class="regexp"/>
 642          <text class="regexp" x="166" y="153">[A-Z]</text>
 643          <polygon points="153 107 160 91 208 91 215 107 208 123 160 123"/>
 644          <polygon points="151 105 158 89 206 89 213 105 206 121 158 121" class="regexp"/>
 645          <text class="regexp" x="166" y="109">[0-9]</text>
 646          <rect x="153" y="47" width="28" height="32" rx="10"/>
 647          <rect x="151" y="45" width="28" height="32" class="terminal" rx="10"/>
 648          <text class="terminal" x="161" y="65">_</text>
 649          <rect x="51" y="3" width="24" height="32" rx="10"/>
 650          <rect x="49" y="1" width="24" height="32" class="terminal" rx="10"/>
 651          <text class="terminal" x="59" y="21">.</text>
 652          <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 183 h2 m20 0 h10 m62 0 h10 m20 0 h10 m0 0 h72 m-102 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m82 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-82 0 h10 m62 0 h10 m-92 10 l0 -44 q0 -10 10 -10 m92 54 l0 -44 q0 -10 -10 -10 m-82 0 h10 m62 0 h10 m-92 10 l0 -44 q0 -10 10 -10 m92 54 l0 -44 q0 -10 -10 -10 m-82 0 h10 m28 0 h10 m0 0 h34 m-204 122 l20 0 m-1 0 q-9 0 -9 -10 l0 -146 q0 -10 10 -10 m204 166 l20 0 m-20 0 q10 0 10 -10 l0 -146 q0 -10 -10 -10 m-204 0 h10 m24 0 h10 m0 0 h160 m23 166 h-3"/>
 653          <polygon points="273 183 281 179 281 187"/>
 654          <polygon points="273 183 265 179 265 187"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
 655          <xhtml:div class="ebnf"><xhtml:code>
 656                <div><a href="#PropertyName" title="PropertyName">PropertyName</a></div>
 657                <div>         ::= [A-Z] [A-Z0-9_]* ( '.' [A-Z] [A-Z0-9_]* )*</div></xhtml:code></xhtml:div>
 658       </xhtml:p>
 659       <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 660          <xhtml:ul>
 661             <xhtml:li><xhtml:a href="#Definition" title="Definition">Definition</xhtml:a></xhtml:li>
 662             <xhtml:li><xhtml:a href="#Query" title="Query">Query</xhtml:a></xhtml:li>
 663          </xhtml:ul>
 664       </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:hr xmlns:xhtml="http://www.w3.org/1999/xhtml" />
 665       <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
 666          <xhtml:table class="signature" border="0">
 667             <xhtml:tr>
 668                <xhtml:td style="width: 100%"> </xhtml:td>
 669                <xhtml:td valign="top">
 670                   <xhtml:nobr class="signature">... generated by <xhtml:a name="Railroad-Diagram-Generator" class="signature" title="https://www.bottlecaps.de/rr/ui" href="https://www.bottlecaps.de/rr/ui" target="_blank">Railroad Diagram Generator</xhtml:a></xhtml:nobr>
 671                </xhtml:td>
 672                <xhtml:td><xhtml:a name="Railroad-Diagram-Generator" title="https://www.bottlecaps.de/rr/ui" href="https://www.bottlecaps.de/rr/ui" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" width="16" height="16">
 673                         <g transform="scale(0.178)">
 674                            <circle cx="45" cy="45" r="45" style="stroke:none; fill:#FFCC00"/>
 675                            <circle cx="45" cy="45" r="42" style="stroke:#332900; stroke-width:2px; fill:#FFCC00"/>
 676                            <line x1="15" y1="15" x2="75" y2="75" stroke="#332900" style="stroke-width:9px;"/>
 677                            <line x1="15" y1="75" x2="75" y2="15" stroke="#332900" style="stroke-width:9px;"/>
 678                            <text x="7" y="54" style="font-size:26px; font-family:Arial, Sans-serif; font-weight:bold; fill: #332900">R</text>
 679                            <text x="64" y="54" style="font-size:26px; font-family:Arial, Sans-serif; font-weight:bold; fill: #332900">R</text>
 680                         </g></svg></xhtml:a></xhtml:td>
 681             </xhtml:tr>
 682          </xhtml:table>
 683       </xhtml:p>
 684    </body>
 685 </html>