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.59.1797" />
   6       <style type="text/css">
   7     ::-moz-selection
   8     {
   9       color: #FFFFFF;
  10       background: #141414;
  11     }
  12     ::selection
  13     {
  14       color: #FFFFFF;
  15       background: #141414;
  16     }
  17     .ebnf a, .grammar a
  18     {
  19       text-decoration: none;
  20     }
  21     .ebnf a:hover, .grammar a:hover
  22     {
  23       color: #0F0F0F;
  24       text-decoration: underline;
  25     }
  26     .signature
  27     {
  28       color: #4D4D4D;
  29       font-size: 11px;
  30       text-align: right;
  31     }
  32     body
  33     {
  34       font: normal 12px Verdana, sans-serif;
  35       color: #141414;
  36       background: #FFFFFF;
  37     }
  38     a:link, a:visited
  39     {
  40       color: #141414;
  41     }
  42     a:link.signature, a:visited.signature
  43     {
  44       color: #4D4D4D;
  45     }
  46     a.button, #tabs li a
  47     {
  48       padding: 0.25em 0.5em;
  49       border: 1px solid #4D4D4D;
  50       background: #E3E3E3;
  51       color: #4D4D4D;
  52       text-decoration: none;
  53       font-weight: bold;
  54     }
  55     a.button:hover, #tabs li a:hover
  56     {
  57       color: #0F0F0F;
  58       background: #F0F0F0;
  59       border-color: #0F0F0F;
  60     }
  61     #tabs
  62     {
  63       padding: 3px 10px;
  64       margin-left: 0;
  65       margin-top: 58px;
  66       border-bottom: 1px solid #141414;
  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 #141414;
  77     }
  78     #tabs li a.active
  79     {
  80       color: #141414;
  81       background: #FFFFFF;
  82       border-color: #141414;
  83       border-bottom: 1px solid #FFFFFF;
  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: #4D4D4D;
  98       background: #FFFFFF;
  99       color: #0F0F0F;
 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: #FFFFFF;
 125       position: absolute;
 126       right: 34px;
 127       top: 94px;
 128       padding: 10px;
 129       border: 1px dotted #141414;
 130     }
 131     #divs div.ebnf, .ebnf code
 132     {
 133       display: block;
 134       padding: 10px;
 135       background: #F0F0F0;
 136       width: 992px;
 137     }
 138     #divs div.grammar
 139     {
 140       display: block;
 141       padding-left: 16px;
 142       padding-top: 2px;
 143       padding-bottom: 2px;
 144       background: #F0F0F0;
 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 #0F0F0F;
 170       border-right: 1px solid #0F0F0F;
 171       margin-bottom: 4px
 172     }
 173     td.palette
 174     {
 175       border-bottom: 1px solid #0F0F0F;
 176       border-left: 1px solid #0F0F0F;
 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: #262626;}
 196     .bold-line            {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
 197     .thin-line            {stroke: #0F0F0F; shape-rendering: crispEdges}
 198     .filled               {fill: #262626; stroke: none;}
 199     text.terminal         {font-family: Verdana, Sans-serif;
 200                             font-size: 12px;
 201                             fill: #0A0A0A;
 202                             font-weight: bold;
 203                           }
 204     text.nonterminal      {font-family: Verdana, Sans-serif;
 205                             font-size: 12px;
 206                             fill: #0D0D0D;
 207                             font-weight: normal;
 208                           }
 209     text.regexp           {font-family: Verdana, Sans-serif;
 210                             font-size: 12px;
 211                             fill: #0F0F0F;
 212                             font-weight: normal;
 213                           }
 214     rect, circle, polygon {fill: #262626; stroke: #262626;}
 215     rect.terminal         {fill: #FFffff; stroke: #262626;}
 216     rect.nonterminal      {fill: #FFFFFF; stroke: #262626;}
 217     rect.text             {fill: none; stroke: none;}
 218     polygon.regexp        {fill: #FFFFFF; stroke: #262626;}
 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: #262626;}
 227     .bold-line            {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
 228     .thin-line            {stroke: #0A0A0A; shape-rendering: crispEdges}
 229     .filled               {fill: #262626; stroke: none;}
 230     text.terminal         {font-family: Verdana, Sans-serif;
 231                             font-size: 12px;
 232                             fill: #0A0A0A;
 233                             font-weight: bold;
 234                           }
 235     text.nonterminal      {font-family: Verdana, Sans-serif;
 236                             font-size: 12px;
 237                             fill: #0A0A0A;
 238                             font-weight: normal;
 239                           }
 240     text.regexp           {font-family: Verdana, Sans-serif;
 241                             font-size: 12px;
 242                             fill: #0A0A0A;
 243                             font-weight: normal;
 244                           }
 245     rect, circle, polygon {fill: #262626; stroke: #262626;}
 246     rect.terminal         {fill: #FFffff; stroke: #262626;}
 247     rect.nonterminal      {fill: #FFFFFF; stroke: #262626;}
 248     rect.text             {fill: none; stroke: none;}
 249     polygon.regexp        {fill: #FFFFFF; stroke: #262626;}
 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">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="211" height="81">
 267          <defs>
 268             <style type="text/css">
 269     @namespace "http://www.w3.org/2000/svg";
 270     .line                 {fill: none; stroke: #262626;}
 271     .bold-line            {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
 272     .thin-line            {stroke: #0A0A0A; shape-rendering: crispEdges}
 273     .filled               {fill: #262626; stroke: none;}
 274     text.terminal         {font-family: Verdana, Sans-serif;
 275                             font-size: 12px;
 276                             fill: #0A0A0A;
 277                             font-weight: bold;
 278                           }
 279     text.nonterminal      {font-family: Verdana, Sans-serif;
 280                             font-size: 12px;
 281                             fill: #0A0A0A;
 282                             font-weight: normal;
 283                           }
 284     text.regexp           {font-family: Verdana, Sans-serif;
 285                             font-size: 12px;
 286                             fill: #0A0A0A;
 287                             font-weight: normal;
 288                           }
 289     rect, circle, polygon {fill: #262626; stroke: #262626;}
 290     rect.terminal         {fill: #FFffff; stroke: #262626;}
 291     rect.nonterminal      {fill: #FFFFFF; stroke: #262626;}
 292     rect.text             {fill: none; stroke: none;}
 293     polygon.regexp        {fill: #FFFFFF; stroke: #262626;}
 294   </style>
 295          </defs>
 296          <polygon points="9 61 1 57 1 65"/>
 297          <polygon points="17 61 9 57 9 65"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyQuery" xlink:title="PropertyQuery">
 298             <rect x="51" y="47" width="112" height="32"/>
 299             <rect x="49" y="45" width="112" height="32" class="nonterminal"/>
 300             <text class="nonterminal" x="59" y="65">PropertyQuery</text></a><rect x="51" y="3" width="24" height="32" rx="10"/>
 301          <rect x="49" y="1" width="24" height="32" class="terminal" rx="10"/>
 302          <text class="terminal" x="59" y="21">,</text>
 303          <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 61 h2 m20 0 h10 m112 0 h10 m-152 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -24 q0 -10 10 -10 m132 44 l20 0 m-20 0 q10 0 10 -10 l0 -24 q0 -10 -10 -10 m-132 0 h10 m24 0 h10 m0 0 h88 m23 44 h-3"/>
 304          <polygon points="201 61 209 57 209 65"/>
 305          <polygon points="201 61 193 57 193 65"/></svg><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="PropertyQuery">PropertyQuery:</xhtml:a></xhtml:p><svg xmlns="http://www.w3.org/2000/svg" width="505" height="189">
 306          <defs>
 307             <style type="text/css">
 308     @namespace "http://www.w3.org/2000/svg";
 309     .line                 {fill: none; stroke: #262626;}
 310     .bold-line            {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
 311     .thin-line            {stroke: #0A0A0A; shape-rendering: crispEdges}
 312     .filled               {fill: #262626; stroke: none;}
 313     text.terminal         {font-family: Verdana, Sans-serif;
 314                             font-size: 12px;
 315                             fill: #0A0A0A;
 316                             font-weight: bold;
 317                           }
 318     text.nonterminal      {font-family: Verdana, Sans-serif;
 319                             font-size: 12px;
 320                             fill: #0A0A0A;
 321                             font-weight: normal;
 322                           }
 323     text.regexp           {font-family: Verdana, Sans-serif;
 324                             font-size: 12px;
 325                             fill: #0A0A0A;
 326                             font-weight: normal;
 327                           }
 328     rect, circle, polygon {fill: #262626; stroke: #262626;}
 329     rect.terminal         {fill: #FFffff; stroke: #262626;}
 330     rect.nonterminal      {fill: #FFFFFF; stroke: #262626;}
 331     rect.text             {fill: none; stroke: none;}
 332     polygon.regexp        {fill: #FFFFFF; stroke: #262626;}
 333   </style>
 334          </defs>
 335          <polygon points="9 17 1 13 1 21"/>
 336          <polygon points="17 17 9 13 9 21"/>
 337          <rect x="71" y="35" width="26" height="32" rx="10"/>
 338          <rect x="69" y="33" width="26" height="32" class="terminal" rx="10"/>
 339          <text class="terminal" x="79" y="53">-</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyName" xlink:title="PropertyName">
 340             <rect x="137" y="3" width="110" height="32"/>
 341             <rect x="135" y="1" width="110" height="32" class="nonterminal"/>
 342             <text class="nonterminal" x="145" y="21">PropertyName</text></a><rect x="71" y="111" width="26" height="32" rx="10"/>
 343          <rect x="69" y="109" width="26" height="32" class="terminal" rx="10"/>
 344          <text class="terminal" x="79" y="129">?</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyName" xlink:title="PropertyName">
 345             <rect x="137" y="79" width="110" height="32"/>
 346             <rect x="135" y="77" width="110" height="32" class="nonterminal"/>
 347             <text class="nonterminal" x="145" y="97">PropertyName</text></a><rect x="307" y="111" width="30" height="32" rx="10"/>
 348          <rect x="305" y="109" width="30" height="32" class="terminal" rx="10"/>
 349          <text class="terminal" x="315" y="129">=</text>
 350          <rect x="307" y="155" width="34" height="32" rx="10"/>
 351          <rect x="305" y="153" width="34" height="32" class="terminal" rx="10"/>
 352          <text class="terminal" x="315" y="173">!=</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Value" xlink:title="Value">
 353             <rect x="381" y="111" width="56" height="32"/>
 354             <rect x="379" y="109" width="56" height="32" class="nonterminal"/>
 355             <text class="nonterminal" x="389" y="129">Value</text></a><svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m40 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 h210 m-446 0 h20 m426 0 h20 m-466 0 q10 0 10 10 m446 0 q0 -10 10 -10 m-456 10 v56 m446 0 v-56 m-446 56 q0 10 10 10 m426 0 q10 0 10 -10 m-416 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 m110 0 h10 m20 0 h10 m0 0 h160 m-190 0 h20 m170 0 h20 m-210 0 q10 0 10 10 m190 0 q0 -10 10 -10 m-200 10 v12 m190 0 v-12 m-190 12 q0 10 10 10 m170 0 q10 0 10 -10 m-160 10 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 m43 -108 h-3"/>
 356          <polygon points="495 17 503 13 503 21"/>
 357          <polygon points="495 17 487 13 487 21"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 358          <xhtml:ul>
 359             <xhtml:li><xhtml:a href="#Query" title="Query">Query</xhtml:a></xhtml:li>
 360          </xhtml:ul>
 361       </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">
 362          <defs>
 363             <style type="text/css">
 364     @namespace "http://www.w3.org/2000/svg";
 365     .line                 {fill: none; stroke: #262626;}
 366     .bold-line            {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
 367     .thin-line            {stroke: #0A0A0A; shape-rendering: crispEdges}
 368     .filled               {fill: #262626; stroke: none;}
 369     text.terminal         {font-family: Verdana, Sans-serif;
 370                             font-size: 12px;
 371                             fill: #0A0A0A;
 372                             font-weight: bold;
 373                           }
 374     text.nonterminal      {font-family: Verdana, Sans-serif;
 375                             font-size: 12px;
 376                             fill: #0A0A0A;
 377                             font-weight: normal;
 378                           }
 379     text.regexp           {font-family: Verdana, Sans-serif;
 380                             font-size: 12px;
 381                             fill: #0A0A0A;
 382                             font-weight: normal;
 383                           }
 384     rect, circle, polygon {fill: #262626; stroke: #262626;}
 385     rect.terminal         {fill: #FFffff; stroke: #262626;}
 386     rect.nonterminal      {fill: #FFFFFF; stroke: #262626;}
 387     rect.text             {fill: none; stroke: none;}
 388     polygon.regexp        {fill: #FFFFFF; stroke: #262626;}
 389   </style>
 390          </defs>
 391          <polygon points="9 17 1 13 1 21"/>
 392          <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#NumberLiteral" xlink:title="NumberLiteral">
 393             <rect x="51" y="3" width="108" height="32"/>
 394             <rect x="49" y="1" width="108" height="32" class="nonterminal"/>
 395             <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">
 396             <rect x="51" y="47" width="96" height="32"/>
 397             <rect x="49" y="45" width="96" height="32" class="nonterminal"/>
 398             <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"/>
 399          <polygon points="197 17 205 13 205 21"/>
 400          <polygon points="197 17 189 13 189 21"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 401          <xhtml:ul>
 402             <xhtml:li><xhtml:a href="#Definition" title="Definition">Definition</xhtml:a></xhtml:li>
 403             <xhtml:li><xhtml:a href="#PropertyQuery" title="PropertyQuery">PropertyQuery</xhtml:a></xhtml:li>
 404          </xhtml:ul>
 405       </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">
 406          <defs>
 407             <style type="text/css">
 408     @namespace "http://www.w3.org/2000/svg";
 409     .line                 {fill: none; stroke: #262626;}
 410     .bold-line            {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
 411     .thin-line            {stroke: #0A0A0A; shape-rendering: crispEdges}
 412     .filled               {fill: #262626; stroke: none;}
 413     text.terminal         {font-family: Verdana, Sans-serif;
 414                             font-size: 12px;
 415                             fill: #0A0A0A;
 416                             font-weight: bold;
 417                           }
 418     text.nonterminal      {font-family: Verdana, Sans-serif;
 419                             font-size: 12px;
 420                             fill: #0A0A0A;
 421                             font-weight: normal;
 422                           }
 423     text.regexp           {font-family: Verdana, Sans-serif;
 424                             font-size: 12px;
 425                             fill: #0A0A0A;
 426                             font-weight: normal;
 427                           }
 428     rect, circle, polygon {fill: #262626; stroke: #262626;}
 429     rect.terminal         {fill: #FFffff; stroke: #262626;}
 430     rect.nonterminal      {fill: #FFFFFF; stroke: #262626;}
 431     rect.text             {fill: none; stroke: none;}
 432     polygon.regexp        {fill: #FFFFFF; stroke: #262626;}
 433   </style>
 434          </defs>
 435          <polygon points="9 17 1 13 1 21"/>
 436          <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#QuotedString" xlink:title="QuotedString">
 437             <rect x="51" y="3" width="104" height="32"/>
 438             <rect x="49" y="1" width="104" height="32" class="nonterminal"/>
 439             <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">
 440             <rect x="51" y="47" width="120" height="32"/>
 441             <rect x="49" y="45" width="120" height="32" class="nonterminal"/>
 442             <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"/>
 443          <polygon points="209 17 217 13 217 21"/>
 444          <polygon points="209 17 201 13 201 21"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 445          <xhtml:ul>
 446             <xhtml:li><xhtml:a href="#Value" title="Value">Value</xhtml:a></xhtml:li>
 447          </xhtml:ul>
 448       </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">
 449          <defs>
 450             <style type="text/css">
 451     @namespace "http://www.w3.org/2000/svg";
 452     .line                 {fill: none; stroke: #262626;}
 453     .bold-line            {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
 454     .thin-line            {stroke: #0A0A0A; shape-rendering: crispEdges}
 455     .filled               {fill: #262626; stroke: none;}
 456     text.terminal         {font-family: Verdana, Sans-serif;
 457                             font-size: 12px;
 458                             fill: #0A0A0A;
 459                             font-weight: bold;
 460                           }
 461     text.nonterminal      {font-family: Verdana, Sans-serif;
 462                             font-size: 12px;
 463                             fill: #0A0A0A;
 464                             font-weight: normal;
 465                           }
 466     text.regexp           {font-family: Verdana, Sans-serif;
 467                             font-size: 12px;
 468                             fill: #0A0A0A;
 469                             font-weight: normal;
 470                           }
 471     rect, circle, polygon {fill: #262626; stroke: #262626;}
 472     rect.terminal         {fill: #FFffff; stroke: #262626;}
 473     rect.nonterminal      {fill: #FFFFFF; stroke: #262626;}
 474     rect.text             {fill: none; stroke: none;}
 475     polygon.regexp        {fill: #FFFFFF; stroke: #262626;}
 476   </style>
 477          </defs>
 478          <polygon points="9 33 1 29 1 37"/>
 479          <polygon points="17 33 9 29 9 37"/>
 480          <rect x="51" y="19" width="26" height="32" rx="10"/>
 481          <rect x="49" y="17" width="26" height="32" class="terminal" rx="10"/>
 482          <text class="terminal" x="59" y="37">"</text>
 483          <polygon points="137 35 144 19 186 19 193 35 186 51 144 51"/>
 484          <polygon points="135 33 142 17 184 17 191 33 184 49 142 49" class="regexp"/>
 485          <text class="regexp" x="150" y="37">[^"]</text>
 486          <rect x="253" y="19" width="26" height="32" rx="10"/>
 487          <rect x="251" y="17" width="26" height="32" class="terminal" rx="10"/>
 488          <text class="terminal" x="261" y="37">"</text>
 489          <rect x="51" y="101" width="24" height="32" rx="10"/>
 490          <rect x="49" y="99" width="24" height="32" class="terminal" rx="10"/>
 491          <text class="terminal" x="59" y="119">'</text>
 492          <polygon points="135 117 142 101 182 101 189 117 182 133 142 133"/>
 493          <polygon points="133 115 140 99 180 99 187 115 180 131 140 131" class="regexp"/>
 494          <text class="regexp" x="148" y="119">[^']</text>
 495          <rect x="249" y="101" width="24" height="32" rx="10"/>
 496          <rect x="247" y="99" width="24" height="32" class="terminal" rx="10"/>
 497          <text class="terminal" x="257" y="119">'</text>
 498          <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"/>
 499          <polygon points="317 33 325 29 325 37"/>
 500          <polygon points="317 33 309 29 309 37"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 501          <xhtml:ul>
 502             <xhtml:li><xhtml:a href="#StringLiteral" title="StringLiteral">StringLiteral</xhtml:a></xhtml:li>
 503          </xhtml:ul>
 504       </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">
 505          <defs>
 506             <style type="text/css">
 507     @namespace "http://www.w3.org/2000/svg";
 508     .line                 {fill: none; stroke: #262626;}
 509     .bold-line            {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
 510     .thin-line            {stroke: #0A0A0A; shape-rendering: crispEdges}
 511     .filled               {fill: #262626; stroke: none;}
 512     text.terminal         {font-family: Verdana, Sans-serif;
 513                             font-size: 12px;
 514                             fill: #0A0A0A;
 515                             font-weight: bold;
 516                           }
 517     text.nonterminal      {font-family: Verdana, Sans-serif;
 518                             font-size: 12px;
 519                             fill: #0A0A0A;
 520                             font-weight: normal;
 521                           }
 522     text.regexp           {font-family: Verdana, Sans-serif;
 523                             font-size: 12px;
 524                             fill: #0A0A0A;
 525                             font-weight: normal;
 526                           }
 527     rect, circle, polygon {fill: #262626; stroke: #262626;}
 528     rect.terminal         {fill: #FFffff; stroke: #262626;}
 529     rect.nonterminal      {fill: #FFFFFF; stroke: #262626;}
 530     rect.text             {fill: none; stroke: none;}
 531     polygon.regexp        {fill: #FFFFFF; stroke: #262626;}
 532   </style>
 533          </defs>
 534          <polygon points="9 33 1 29 1 37"/>
 535          <polygon points="17 33 9 29 9 37"/>
 536          <polygon points="51 35 58 19 152 19 159 35 152 51 58 51"/>
 537          <polygon points="49 33 56 17 150 17 157 33 150 49 56 49" class="regexp"/>
 538          <text class="regexp" x="64" y="37">[^{space},]</text>
 539          <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"/>
 540          <polygon points="197 33 205 29 205 37"/>
 541          <polygon points="197 33 189 29 189 37"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 542          <xhtml:ul>
 543             <xhtml:li><xhtml:a href="#StringLiteral" title="StringLiteral">StringLiteral</xhtml:a></xhtml:li>
 544          </xhtml:ul>
 545       </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">
 546          <defs>
 547             <style type="text/css">
 548     @namespace "http://www.w3.org/2000/svg";
 549     .line                 {fill: none; stroke: #262626;}
 550     .bold-line            {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
 551     .thin-line            {stroke: #0A0A0A; shape-rendering: crispEdges}
 552     .filled               {fill: #262626; stroke: none;}
 553     text.terminal         {font-family: Verdana, Sans-serif;
 554                             font-size: 12px;
 555                             fill: #0A0A0A;
 556                             font-weight: bold;
 557                           }
 558     text.nonterminal      {font-family: Verdana, Sans-serif;
 559                             font-size: 12px;
 560                             fill: #0A0A0A;
 561                             font-weight: normal;
 562                           }
 563     text.regexp           {font-family: Verdana, Sans-serif;
 564                             font-size: 12px;
 565                             fill: #0A0A0A;
 566                             font-weight: normal;
 567                           }
 568     rect, circle, polygon {fill: #262626; stroke: #262626;}
 569     rect.terminal         {fill: #FFffff; stroke: #262626;}
 570     rect.nonterminal      {fill: #FFFFFF; stroke: #262626;}
 571     rect.text             {fill: none; stroke: none;}
 572     polygon.regexp        {fill: #FFFFFF; stroke: #262626;}
 573   </style>
 574          </defs>
 575          <polygon points="9 51 1 47 1 55"/>
 576          <polygon points="17 51 9 47 9 55"/>
 577          <rect x="51" y="37" width="28" height="32" rx="10"/>
 578          <rect x="49" y="35" width="28" height="32" class="terminal" rx="10"/>
 579          <text class="terminal" x="59" y="55">0</text>
 580          <polygon points="139 19 146 3 194 3 201 19 194 35 146 35"/>
 581          <polygon points="137 17 144 1 192 1 199 17 192 33 144 33" class="regexp"/>
 582          <text class="regexp" x="152" y="21">[0-7]</text>
 583          <rect x="119" y="85" width="28" height="32" rx="10"/>
 584          <rect x="117" y="83" width="28" height="32" class="terminal" rx="10"/>
 585          <text class="terminal" x="127" y="103">x</text>
 586          <polygon points="207 101 214 85 262 85 269 101 262 117 214 117"/>
 587          <polygon points="205 99 212 83 260 83 267 99 260 115 212 115" class="regexp"/>
 588          <text class="regexp" x="220" y="103">[0-9]</text>
 589          <polygon points="207 145 214 129 260 129 267 145 260 161 214 161"/>
 590          <polygon points="205 143 212 127 258 127 265 143 258 159 212 159" class="regexp"/>
 591          <text class="regexp" x="220" y="147">[A-F]</text>
 592          <polygon points="207 189 214 173 258 173 265 189 258 205 214 205"/>
 593          <polygon points="205 187 212 171 256 171 263 187 256 203 212 203" class="regexp"/>
 594          <text class="regexp" x="220" y="191">[a-f]</text>
 595          <rect x="71" y="271" width="26" height="32" rx="10"/>
 596          <rect x="69" y="269" width="26" height="32" class="terminal" rx="10"/>
 597          <text class="terminal" x="79" y="289">-</text>
 598          <polygon points="137 255 144 239 192 239 199 255 192 271 144 271"/>
 599          <polygon points="135 253 142 237 190 237 197 253 190 269 142 269" class="regexp"/>
 600          <text class="regexp" x="150" y="257">[1-9]</text>
 601          <polygon points="239 255 246 239 294 239 301 255 294 271 246 271"/>
 602          <polygon points="237 253 244 237 292 237 299 253 292 269 244 269" class="regexp"/>
 603          <text class="regexp" x="252" y="257">[0-9]</text>
 604          <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"/>
 605          <polygon points="367 51 375 47 375 55"/>
 606          <polygon points="367 51 359 47 359 55"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
 607          <xhtml:ul>
 608             <xhtml:li><xhtml:a href="#Value" title="Value">Value</xhtml:a></xhtml:li>
 609          </xhtml:ul>
 610       </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">
 611          <defs>
 612             <style type="text/css">
 613     @namespace "http://www.w3.org/2000/svg";
 614     .line                 {fill: none; stroke: #262626;}
 615     .bold-line            {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
 616     .thin-line            {stroke: #0A0A0A; shape-rendering: crispEdges}
 617     .filled               {fill: #262626; stroke: none;}
 618     text.terminal         {font-family: Verdana, Sans-serif;
 619                             font-size: 12px;
 620                             fill: #0A0A0A;
 621                             font-weight: bold;
 622                           }
 623     text.nonterminal      {font-family: Verdana, Sans-serif;
 624                             font-size: 12px;
 625                             fill: #0A0A0A;
 626                             font-weight: normal;
 627                           }
 628     text.regexp           {font-family: Verdana, Sans-serif;
 629                             font-size: 12px;
 630                             fill: #0A0A0A;
 631                             font-weight: normal;
 632                           }
 633     rect, circle, polygon {fill: #262626; stroke: #262626;}
 634     rect.terminal         {fill: #FFffff; stroke: #262626;}
 635     rect.nonterminal      {fill: #FFFFFF; stroke: #262626;}
 636     rect.text             {fill: none; stroke: none;}
 637     polygon.regexp        {fill: #FFFFFF; stroke: #262626;}
 638   </style>
 639          </defs>
 640          <polygon points="9 183 1 179 1 187"/>
 641          <polygon points="17 183 9 179 9 187"/>
 642          <polygon points="51 185 58 169 106 169 113 185 106 201 58 201"/>
 643          <polygon points="49 183 56 167 104 167 111 183 104 199 56 199" class="regexp"/>
 644          <text class="regexp" x="64" y="187">[A-Z]</text>
 645          <polygon points="153 151 160 135 208 135 215 151 208 167 160 167"/>
 646          <polygon points="151 149 158 133 206 133 213 149 206 165 158 165" class="regexp"/>
 647          <text class="regexp" x="166" y="153">[A-Z]</text>
 648          <polygon points="153 107 160 91 208 91 215 107 208 123 160 123"/>
 649          <polygon points="151 105 158 89 206 89 213 105 206 121 158 121" class="regexp"/>
 650          <text class="regexp" x="166" y="109">[0-9]</text>
 651          <rect x="153" y="47" width="28" height="32" rx="10"/>
 652          <rect x="151" y="45" width="28" height="32" class="terminal" rx="10"/>
 653          <text class="terminal" x="161" y="65">_</text>
 654          <rect x="51" y="3" width="24" height="32" rx="10"/>
 655          <rect x="49" y="1" width="24" height="32" class="terminal" rx="10"/>
 656          <text class="terminal" x="59" y="21">.</text>
 657          <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"/>
 658          <polygon points="273 183 281 179 281 187"/>
 659          <polygon points="273 183 265 179 265 187"/></svg><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="#PropertyQuery" title="PropertyQuery">PropertyQuery</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>