summaryrefslogtreecommitdiffstats
path: root/crypto/property
diff options
context:
space:
mode:
authorPauli <paul.dale@oracle.com>2019-05-30 10:57:53 +1000
committerPauli <paul.dale@oracle.com>2019-05-30 10:57:53 +1000
commitcec3901aa2ad09d504cb076100cf6e4b37d01775 (patch)
tree970ba918e4d3b9872e5efbcc7a00a37edb2b6960 /crypto/property
parent878dc8dd9572a719d3b481e7f68af8bf17f4c68e (diff)
Add man 7 page about properties.
Add a page about properties in the man7 section of the public documentation. Reviewed-by: Richard Levitte <levitte@openssl.org> Reviewed-by: Matthias St. Pierre <Matthias.St.Pierre@ncp-e.com> (Merged from https://github.com/openssl/openssl/pull/9011)
Diffstat (limited to 'crypto/property')
-rw-r--r--crypto/property/properties.ebnf2
-rwxr-xr-xcrypto/property/properties.xhtml382
2 files changed, 168 insertions, 216 deletions
diff --git a/crypto/property/properties.ebnf b/crypto/property/properties.ebnf
index 0051c7e430..62e4f77cca 100644
--- a/crypto/property/properties.ebnf
+++ b/crypto/property/properties.ebnf
@@ -4,7 +4,7 @@ Definition
::= PropertyName ( '=' Value )? ( ',' PropertyName ( '=' Value )? )*
Query ::= PropertyQuery ( ',' PropertyQuery )*
PropertyQuery ::= '-'? PropertyName
- | '?' ( PropertyName (( '=' | '!=' ) Value)?)
+ | '?'? ( PropertyName (( '=' | '!=' ) Value)?)
Value ::= NumberLiteral
| StringLiteral
StringLiteral ::= QuotedString | UnquotedString
diff --git a/crypto/property/properties.xhtml b/crypto/property/properties.xhtml
index 766d885bf0..0a613ef002 100755
--- a/crypto/property/properties.xhtml
+++ b/crypto/property/properties.xhtml
@@ -6,13 +6,13 @@
<style type="text/css">
::-moz-selection
{
- color: #FFFCF0;
- background: #0F0C00;
+ color: #FFFFFF;
+ background: #141414;
}
::selection
{
- color: #FFFCF0;
- background: #0F0C00;
+ color: #FFFFFF;
+ background: #141414;
}
.ebnf a, .grammar a
{
@@ -20,50 +20,50 @@
}
.ebnf a:hover, .grammar a:hover
{
- color: #050400;
+ color: #0F0F0F;
text-decoration: underline;
}
.signature
{
- color: #806600;
+ color: #4D4D4D;
font-size: 11px;
text-align: right;
}
body
{
font: normal 12px Verdana, sans-serif;
- color: #0F0C00;
- background: #FFFCF0;
+ color: #141414;
+ background: #FFFFFF;
}
a:link, a:visited
{
- color: #0F0C00;
+ color: #141414;
}
a:link.signature, a:visited.signature
{
- color: #806600;
+ color: #4D4D4D;
}
a.button, #tabs li a
{
padding: 0.25em 0.5em;
- border: 1px solid #806600;
- background: #F1E8C6;
- color: #806600;
+ border: 1px solid #4D4D4D;
+ background: #E3E3E3;
+ color: #4D4D4D;
text-decoration: none;
font-weight: bold;
}
a.button:hover, #tabs li a:hover
{
- color: #050400;
- background: #FFF6D1;
- border-color: #050400;
+ color: #0F0F0F;
+ background: #F0F0F0;
+ border-color: #0F0F0F;
}
#tabs
{
padding: 3px 10px;
margin-left: 0;
margin-top: 58px;
- border-bottom: 1px solid #0F0C00;
+ border-bottom: 1px solid #141414;
}
#tabs li
{
@@ -73,14 +73,14 @@
}
#tabs li a
{
- border-bottom: 1px solid #0F0C00;
+ border-bottom: 1px solid #141414;
}
#tabs li a.active
{
- color: #0F0C00;
- background: #FFFCF0;
- border-color: #0F0C00;
- border-bottom: 1px solid #FFFCF0;
+ color: #141414;
+ background: #FFFFFF;
+ border-color: #141414;
+ border-bottom: 1px solid #FFFFFF;
outline: none;
}
#divs div
@@ -94,9 +94,9 @@
}
#text
{
- border-color: #806600;
- background: #FFFEFA;
- color: #050400;
+ border-color: #4D4D4D;
+ background: #FFFFFF;
+ color: #0F0F0F;
}
.small
{
@@ -121,18 +121,18 @@
div.download
{
display: none;
- background: #FFFCF0;
+ background: #FFFFFF;
position: absolute;
right: 34px;
top: 94px;
padding: 10px;
- border: 1px dotted #0F0C00;
+ border: 1px dotted #141414;
}
#divs div.ebnf, .ebnf code
{
display: block;
padding: 10px;
- background: #FFF6D1;
+ background: #F0F0F0;
width: 992px;
}
#divs div.grammar
@@ -141,7 +141,7 @@
padding-left: 16px;
padding-top: 2px;
padding-bottom: 2px;
- background: #FFF6D1;
+ background: #F0F0F0;
}
pre
{
@@ -166,14 +166,14 @@
}
table.palette
{
- border-top: 1px solid #050400;
- border-right: 1px solid #050400;
+ border-top: 1px solid #0F0F0F;
+ border-right: 1px solid #0F0F0F;
margin-bottom: 4px
}
td.palette
{
- border-bottom: 1px solid #050400;
- border-left: 1px solid #050400;
+ border-bottom: 1px solid #0F0F0F;
+ border-left: 1px solid #0F0F0F;
}
a.palette
{
@@ -192,30 +192,30 @@
<defs>
<style type="text/css">
@namespace "http://www.w3.org/2000/svg";
- .line {fill: none; stroke: #332900;}
- .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
- .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
- .filled {fill: #332900; stroke: none;}
+ .line {fill: none; stroke: #262626;}
+ .bold-line {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
+ .thin-line {stroke: #0F0F0F; shape-rendering: crispEdges}
+ .filled {fill: #262626; stroke: none;}
text.terminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #141000;
+ fill: #0A0A0A;
font-weight: bold;
}
text.nonterminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1A1400;
+ fill: #0D0D0D;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1F1800;
+ fill: #0F0F0F;
font-weight: normal;
}
- rect, circle, polygon {fill: #332900; stroke: #332900;}
- rect.terminal {fill: #FFDB4D; stroke: #332900;}
- rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
+ rect, circle, polygon {fill: #262626; stroke: #262626;}
+ rect.terminal {fill: #FFffff; stroke: #262626;}
+ rect.nonterminal {fill: #FFFFFF; stroke: #262626;}
rect.text {fill: none; stroke: none;}
- polygon.regexp {fill: #FFF4C7; stroke: #332900;}
+ polygon.regexp {fill: #FFFFFF; stroke: #262626;}
</style>
</defs></svg></head>
<body>
@@ -223,30 +223,30 @@
<defs>
<style type="text/css">
@namespace "http://www.w3.org/2000/svg";
- .line {fill: none; stroke: #332900;}
- .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
- .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
- .filled {fill: #332900; stroke: none;}
+ .line {fill: none; stroke: #262626;}
+ .bold-line {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
+ .thin-line {stroke: #0A0A0A; shape-rendering: crispEdges}
+ .filled {fill: #262626; stroke: none;}
text.terminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #141000;
+ fill: #0A0A0A;
font-weight: bold;
}
text.nonterminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1A1400;
+ fill: #0A0A0A;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1F1800;
+ fill: #0A0A0A;
font-weight: normal;
}
- rect, circle, polygon {fill: #332900; stroke: #332900;}
- rect.terminal {fill: #FFDB4D; stroke: #332900;}
- rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
+ rect, circle, polygon {fill: #262626; stroke: #262626;}
+ rect.terminal {fill: #FFffff; stroke: #262626;}
+ rect.nonterminal {fill: #FFFFFF; stroke: #262626;}
rect.text {fill: none; stroke: none;}
- polygon.regexp {fill: #FFF4C7; stroke: #332900;}
+ polygon.regexp {fill: #FFFFFF; stroke: #262626;}
</style>
</defs>
<polygon points="9 61 1 57 1 65"/>
@@ -263,39 +263,34 @@
<text class="terminal" x="59" y="21">,</text>
<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"/>
<polygon points="365 61 373 57 373 65"/>
- <polygon points="365 61 357 57 357 65"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
- <xhtml:div class="ebnf"><xhtml:code>
- <div><a href="#Definition" title="Definition">Definition</a></div>
- <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>
- </xhtml:p>
- <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">
+ <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">
<defs>
<style type="text/css">
@namespace "http://www.w3.org/2000/svg";
- .line {fill: none; stroke: #332900;}
- .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
- .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
- .filled {fill: #332900; stroke: none;}
+ .line {fill: none; stroke: #262626;}
+ .bold-line {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
+ .thin-line {stroke: #0A0A0A; shape-rendering: crispEdges}
+ .filled {fill: #262626; stroke: none;}
text.terminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #141000;
+ fill: #0A0A0A;
font-weight: bold;
}
text.nonterminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1A1400;
+ fill: #0A0A0A;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1F1800;
+ fill: #0A0A0A;
font-weight: normal;
}
- rect, circle, polygon {fill: #332900; stroke: #332900;}
- rect.terminal {fill: #FFDB4D; stroke: #332900;}
- rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
+ rect, circle, polygon {fill: #262626; stroke: #262626;}
+ rect.terminal {fill: #FFffff; stroke: #262626;}
+ rect.nonterminal {fill: #FFFFFF; stroke: #262626;}
rect.text {fill: none; stroke: none;}
- polygon.regexp {fill: #FFF4C7; stroke: #332900;}
+ polygon.regexp {fill: #FFFFFF; stroke: #262626;}
</style>
</defs>
<polygon points="9 61 1 57 1 65"/>
@@ -307,38 +302,34 @@
<text class="terminal" x="59" y="21">,</text>
<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"/>
<polygon points="201 61 209 57 209 65"/>
- <polygon points="201 61 193 57 193 65"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
- <xhtml:div class="ebnf"><xhtml:code>
- <div><a href="#Query" title="Query">Query</a>    ::= <a href="#PropertyQuery" title="PropertyQuery">PropertyQuery</a> ( ',' <a href="#PropertyQuery" title="PropertyQuery">PropertyQuery</a> )*</div></xhtml:code></xhtml:div>
- </xhtml:p>
- <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="465" height="189">
+ <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">
<defs>
<style type="text/css">
@namespace "http://www.w3.org/2000/svg";
- .line {fill: none; stroke: #332900;}
- .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
- .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
- .filled {fill: #332900; stroke: none;}
+ .line {fill: none; stroke: #262626;}
+ .bold-line {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
+ .thin-line {stroke: #0A0A0A; shape-rendering: crispEdges}
+ .filled {fill: #262626; stroke: none;}
text.terminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #141000;
+ fill: #0A0A0A;
font-weight: bold;
}
text.nonterminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1A1400;
+ fill: #0A0A0A;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1F1800;
+ fill: #0A0A0A;
font-weight: normal;
}
- rect, circle, polygon {fill: #332900; stroke: #332900;}
- rect.terminal {fill: #FFDB4D; stroke: #332900;}
- rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
+ rect, circle, polygon {fill: #262626; stroke: #262626;}
+ rect.terminal {fill: #FFffff; stroke: #262626;}
+ rect.nonterminal {fill: #FFFFFF; stroke: #262626;}
rect.text {fill: none; stroke: none;}
- polygon.regexp {fill: #FFF4C7; stroke: #332900;}
+ polygon.regexp {fill: #FFFFFF; stroke: #262626;}
</style>
</defs>
<polygon points="9 17 1 13 1 21"/>
@@ -348,28 +339,22 @@
<text class="terminal" x="79" y="53">-</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyName" xlink:title="PropertyName">
<rect x="137" y="3" width="110" height="32"/>
<rect x="135" y="1" width="110" height="32" class="nonterminal"/>
- <text class="nonterminal" x="145" y="21">PropertyName</text></a><rect x="51" y="79" width="26" height="32" rx="10"/>
- <rect x="49" y="77" width="26" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="59" y="97">?</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyName" xlink:title="PropertyName">
- <rect x="97" y="79" width="110" height="32"/>
- <rect x="95" y="77" width="110" height="32" class="nonterminal"/>
- <text class="nonterminal" x="105" y="97">PropertyName</text></a><rect x="267" y="111" width="30" height="32" rx="10"/>
- <rect x="265" y="109" width="30" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="275" y="129">=</text>
- <rect x="267" y="155" width="34" height="32" rx="10"/>
- <rect x="265" y="153" width="34" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="275" y="173">!=</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Value" xlink:title="Value">
- <rect x="341" y="111" width="56" height="32"/>
- <rect x="339" y="109" width="56" height="32" class="nonterminal"/>
- <text class="nonterminal" x="349" 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 h170 m-406 0 h20 m386 0 h20 m-426 0 q10 0 10 10 m406 0 q0 -10 10 -10 m-416 10 v56 m406 0 v-56 m-406 56 q0 10 10 10 m386 0 q10 0 10 -10 m-396 10 h10 m26 0 h10 m0 0 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"/>
- <polygon points="455 17 463 13 463 21"/>
- <polygon points="455 17 447 13 447 21"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
- <xhtml:div class="ebnf"><xhtml:code>
- <div><a href="#PropertyQuery" title="PropertyQuery">PropertyQuery</a></div>
- <div>         ::= '-'? <a href="#PropertyName" title="PropertyName">PropertyName</a></div>
- <div>           | '?' <a href="#PropertyName" title="PropertyName">PropertyName</a> ( ( '=' | '!=' ) <a href="#Value" title="Value">Value</a> )?</div></xhtml:code></xhtml:div>
- </xhtml:p>
- <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
+ <text class="nonterminal" x="145" y="21">PropertyName</text></a><rect x="71" y="111" width="26" height="32" rx="10"/>
+ <rect x="69" y="109" width="26" height="32" class="terminal" rx="10"/>
+ <text class="terminal" x="79" y="129">?</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyName" xlink:title="PropertyName">
+ <rect x="137" y="79" width="110" height="32"/>
+ <rect x="135" y="77" width="110" height="32" class="nonterminal"/>
+ <text class="nonterminal" x="145" y="97">PropertyName</text></a><rect x="307" y="111" width="30" height="32" rx="10"/>
+ <rect x="305" y="109" width="30" height="32" class="terminal" rx="10"/>
+ <text class="terminal" x="315" y="129">=</text>
+ <rect x="307" y="155" width="34" height="32" rx="10"/>
+ <rect x="305" y="153" width="34" height="32" class="terminal" rx="10"/>
+ <text class="terminal" x="315" y="173">!=</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Value" xlink:title="Value">
+ <rect x="381" y="111" width="56" height="32"/>
+ <rect x="379" y="109" width="56" height="32" class="nonterminal"/>
+ <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"/>
+ <polygon points="495 17 503 13 503 21"/>
+ <polygon points="495 17 487 13 487 21"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
<xhtml:ul>
<xhtml:li><xhtml:a href="#Query" title="Query">Query</xhtml:a></xhtml:li>
</xhtml:ul>
@@ -377,30 +362,30 @@
<defs>
<style type="text/css">
@namespace "http://www.w3.org/2000/svg";
- .line {fill: none; stroke: #332900;}
- .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
- .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
- .filled {fill: #332900; stroke: none;}
+ .line {fill: none; stroke: #262626;}
+ .bold-line {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
+ .thin-line {stroke: #0A0A0A; shape-rendering: crispEdges}
+ .filled {fill: #262626; stroke: none;}
text.terminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #141000;
+ fill: #0A0A0A;
font-weight: bold;
}
text.nonterminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1A1400;
+ fill: #0A0A0A;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1F1800;
+ fill: #0A0A0A;
font-weight: normal;
}
- rect, circle, polygon {fill: #332900; stroke: #332900;}
- rect.terminal {fill: #FFDB4D; stroke: #332900;}
- rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
+ rect, circle, polygon {fill: #262626; stroke: #262626;}
+ rect.terminal {fill: #FFffff; stroke: #262626;}
+ rect.nonterminal {fill: #FFFFFF; stroke: #262626;}
rect.text {fill: none; stroke: none;}
- polygon.regexp {fill: #FFF4C7; stroke: #332900;}
+ polygon.regexp {fill: #FFFFFF; stroke: #262626;}
</style>
</defs>
<polygon points="9 17 1 13 1 21"/>
@@ -412,12 +397,7 @@
<rect x="49" y="45" width="96" height="32" class="nonterminal"/>
<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"/>
<polygon points="197 17 205 13 205 21"/>
- <polygon points="197 17 189 13 189 21"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
- <xhtml:div class="ebnf"><xhtml:code>
- <div><a href="#Value" title="Value">Value</a>    ::= <a href="#NumberLiteral" title="NumberLiteral">NumberLiteral</a></div>
- <div>           | <a href="#StringLiteral" title="StringLiteral">StringLiteral</a></div></xhtml:code></xhtml:div>
- </xhtml:p>
- <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
+ <polygon points="197 17 189 13 189 21"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
<xhtml:ul>
<xhtml:li><xhtml:a href="#Definition" title="Definition">Definition</xhtml:a></xhtml:li>
<xhtml:li><xhtml:a href="#PropertyQuery" title="PropertyQuery">PropertyQuery</xhtml:a></xhtml:li>
@@ -426,30 +406,30 @@
<defs>
<style type="text/css">
@namespace "http://www.w3.org/2000/svg";
- .line {fill: none; stroke: #332900;}
- .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
- .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
- .filled {fill: #332900; stroke: none;}
+ .line {fill: none; stroke: #262626;}
+ .bold-line {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
+ .thin-line {stroke: #0A0A0A; shape-rendering: crispEdges}
+ .filled {fill: #262626; stroke: none;}
text.terminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #141000;
+ fill: #0A0A0A;
font-weight: bold;
}
text.nonterminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1A1400;
+ fill: #0A0A0A;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1F1800;
+ fill: #0A0A0A;
font-weight: normal;
}
- rect, circle, polygon {fill: #332900; stroke: #332900;}
- rect.terminal {fill: #FFDB4D; stroke: #332900;}
- rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
+ rect, circle, polygon {fill: #262626; stroke: #262626;}
+ rect.terminal {fill: #FFffff; stroke: #262626;}
+ rect.nonterminal {fill: #FFFFFF; stroke: #262626;}
rect.text {fill: none; stroke: none;}
- polygon.regexp {fill: #FFF4C7; stroke: #332900;}
+ polygon.regexp {fill: #FFFFFF; stroke: #262626;}
</style>
</defs>
<polygon points="9 17 1 13 1 21"/>
@@ -461,13 +441,7 @@
<rect x="49" y="45" width="120" height="32" class="nonterminal"/>
<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"/>
<polygon points="209 17 217 13 217 21"/>
- <polygon points="209 17 201 13 201 21"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
- <xhtml:div class="ebnf"><xhtml:code>
- <div><a href="#StringLiteral" title="StringLiteral">StringLiteral</a></div>
- <div>         ::= <a href="#QuotedString" title="QuotedString">QuotedString</a></div>
- <div>           | <a href="#UnquotedString" title="UnquotedString">UnquotedString</a></div></xhtml:code></xhtml:div>
- </xhtml:p>
- <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
+ <polygon points="209 17 201 13 201 21"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
<xhtml:ul>
<xhtml:li><xhtml:a href="#Value" title="Value">Value</xhtml:a></xhtml:li>
</xhtml:ul>
@@ -475,30 +449,30 @@
<defs>
<style type="text/css">
@namespace "http://www.w3.org/2000/svg";
- .line {fill: none; stroke: #332900;}
- .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
- .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
- .filled {fill: #332900; stroke: none;}
+ .line {fill: none; stroke: #262626;}
+ .bold-line {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
+ .thin-line {stroke: #0A0A0A; shape-rendering: crispEdges}
+ .filled {fill: #262626; stroke: none;}
text.terminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #141000;
+ fill: #0A0A0A;
font-weight: bold;
}
text.nonterminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1A1400;
+ fill: #0A0A0A;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1F1800;
+ fill: #0A0A0A;
font-weight: normal;
}
- rect, circle, polygon {fill: #332900; stroke: #332900;}
- rect.terminal {fill: #FFDB4D; stroke: #332900;}
- rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
+ rect, circle, polygon {fill: #262626; stroke: #262626;}
+ rect.terminal {fill: #FFffff; stroke: #262626;}
+ rect.nonterminal {fill: #FFFFFF; stroke: #262626;}
rect.text {fill: none; stroke: none;}
- polygon.regexp {fill: #FFF4C7; stroke: #332900;}
+ polygon.regexp {fill: #FFFFFF; stroke: #262626;}
</style>
</defs>
<polygon points="9 33 1 29 1 37"/>
@@ -523,13 +497,7 @@
<text class="terminal" x="257" y="119">'</text>
<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"/>
<polygon points="317 33 325 29 325 37"/>
- <polygon points="317 33 309 29 309 37"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
- <xhtml:div class="ebnf"><xhtml:code>
- <div><a href="#QuotedString" title="QuotedString">QuotedString</a></div>
- <div>         ::= '"' [^"]* '"'</div>
- <div>           | "'" [^']* "'"</div></xhtml:code></xhtml:div>
- </xhtml:p>
- <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
+ <polygon points="317 33 309 29 309 37"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
<xhtml:ul>
<xhtml:li><xhtml:a href="#StringLiteral" title="StringLiteral">StringLiteral</xhtml:a></xhtml:li>
</xhtml:ul>
@@ -537,30 +505,30 @@
<defs>
<style type="text/css">
@namespace "http://www.w3.org/2000/svg";
- .line {fill: none; stroke: #332900;}
- .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
- .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
- .filled {fill: #332900; stroke: none;}
+ .line {fill: none; stroke: #262626;}
+ .bold-line {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
+ .thin-line {stroke: #0A0A0A; shape-rendering: crispEdges}
+ .filled {fill: #262626; stroke: none;}
text.terminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #141000;
+ fill: #0A0A0A;
font-weight: bold;
}
text.nonterminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1A1400;
+ fill: #0A0A0A;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1F1800;
+ fill: #0A0A0A;
font-weight: normal;
}
- rect, circle, polygon {fill: #332900; stroke: #332900;}
- rect.terminal {fill: #FFDB4D; stroke: #332900;}
- rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
+ rect, circle, polygon {fill: #262626; stroke: #262626;}
+ rect.terminal {fill: #FFffff; stroke: #262626;}
+ rect.nonterminal {fill: #FFFFFF; stroke: #262626;}
rect.text {fill: none; stroke: none;}
- polygon.regexp {fill: #FFF4C7; stroke: #332900;}
+ polygon.regexp {fill: #FFFFFF; stroke: #262626;}
</style>
</defs>
<polygon points="9 33 1 29 1 37"/>
@@ -570,12 +538,7 @@
<text class="regexp" x="64" y="37">[^{space},]</text>
<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"/>
<polygon points="197 33 205 29 205 37"/>
- <polygon points="197 33 189 29 189 37"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
- <xhtml:div class="ebnf"><xhtml:code>
- <div><a href="#UnquotedString" title="UnquotedString">UnquotedString</a></div>
- <div>         ::= [^{space},]+</div></xhtml:code></xhtml:div>
- </xhtml:p>
- <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
+ <polygon points="197 33 189 29 189 37"/></svg><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
<xhtml:ul>
<xhtml:li><xhtml:a href="#StringLiteral" title="StringLiteral">StringLiteral</xhtml:a></xhtml:li>
</xhtml:ul>
@@ -583,30 +546,30 @@
<defs>
<style type="text/css">
@namespace "http://www.w3.org/2000/svg";
- .line {fill: none; stroke: #332900;}
- .bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
- .thin-line {stroke: #1F1800; shape-rendering: crispEdges}
- .filled {fill: #332900; stroke: none;}
+ .line {fill: none; stroke: #262626;}
+ .bold-line {stroke: #0A0A0A; shape-rendering: crispEdges; stroke-width: 2; }
+ .thin-line {stroke: #0A0A0A; shape-rendering: crispEdges}
+ .filled {fill: #262626; stroke: none;}
text.terminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #141000;
+ fill: #0A0A0A;
font-weight: bold;
}
text.nonterminal {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1A1400;
+ fill: #0A0A0A;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
- fill: #1F1800;
+ fill: #0A0A0A;
font-weight: normal;
}
- rect, circle, polygon {fill: #332900; stroke: #332900;}
- rect.terminal {fill: #FFDB4D; stroke: #332900;}
- rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
+ rect, circle, polygon {fill: #262626; stroke: #262626;}
+ rect.terminal {fill: #FFffff; stroke: #262626;}
+ rect.nonterminal {fill: #FFFFFF; stroke: #262626;}
rect.text {fill: none; stroke: none;}
- polygon.regexp {fill: #FFF4C7; stroke: #332900;}
+ polygon.regexp {fill: #FFFFFF; stroke: #262626;}
</style>
</defs>
<polygon points="9 51 1 47 1 55"/>
@@ -640,13 +603,7 @@
<text class="regexp" x="252" y="257">[0-9]</text>
<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