[openssl] master update
Dr. Paul Dale
pauli at openssl.org
Mon Jun 3 06:43:22 UTC 2019
The branch master has been updated
via b6db5b3d50a827ae3e6824370c541c33ae87e250 (commit)
from 19e512a8244a6f527d0194339a8f9fc45468537a (commit)
- Log -----------------------------------------------------------------
commit b6db5b3d50a827ae3e6824370c541c33ae87e250
Author: Pauli <paul.dale at oracle.com>
Date: Mon Jun 3 08:38:01 2019 +1000
Remove file reference from property documentation.
Reviewed-by: Matthias St. Pierre <Matthias.St.Pierre at ncp-e.com>
(Merged from https://github.com/openssl/openssl/pull/9066)
-----------------------------------------------------------------------
Summary of changes:
crypto/property/properties.xhtml | 685 ---------------------------------------
doc/man7/property.pod | 3 -
2 files changed, 688 deletions(-)
delete mode 100755 crypto/property/properties.xhtml
diff --git a/crypto/property/properties.xhtml b/crypto/property/properties.xhtml
deleted file mode 100755
index d3a6874..0000000
--- a/crypto/property/properties.xhtml
+++ /dev/null
@@ -1,685 +0,0 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" />
- <meta name="generator" content="Railroad Diagram Generator 1.59.1797" />
- <style type="text/css">
- ::-moz-selection
- {
- color: #FFFFFF;
- background: #141414;
- }
- ::selection
- {
- color: #FFFFFF;
- background: #141414;
- }
- .ebnf a, .grammar a
- {
- text-decoration: none;
- }
- .ebnf a:hover, .grammar a:hover
- {
- color: #0F0F0F;
- text-decoration: underline;
- }
- .signature
- {
- color: #4D4D4D;
- font-size: 11px;
- text-align: right;
- }
- body
- {
- font: normal 12px Verdana, sans-serif;
- color: #141414;
- background: #FFFFFF;
- }
- a:link, a:visited
- {
- color: #141414;
- }
- a:link.signature, a:visited.signature
- {
- color: #4D4D4D;
- }
- a.button, #tabs li a
- {
- padding: 0.25em 0.5em;
- border: 1px solid #4D4D4D;
- background: #E3E3E3;
- color: #4D4D4D;
- text-decoration: none;
- font-weight: bold;
- }
- a.button:hover, #tabs li a:hover
- {
- color: #0F0F0F;
- background: #F0F0F0;
- border-color: #0F0F0F;
- }
- #tabs
- {
- padding: 3px 10px;
- margin-left: 0;
- margin-top: 58px;
- border-bottom: 1px solid #141414;
- }
- #tabs li
- {
- list-style: none;
- margin-left: 5px;
- display: inline;
- }
- #tabs li a
- {
- border-bottom: 1px solid #141414;
- }
- #tabs li a.active
- {
- color: #141414;
- background: #FFFFFF;
- border-color: #141414;
- border-bottom: 1px solid #FFFFFF;
- outline: none;
- }
- #divs div
- {
- display: none;
- overflow:auto;
- }
- #divs div.active
- {
- display: block;
- }
- #text
- {
- border-color: #4D4D4D;
- background: #FFFFFF;
- color: #0F0F0F;
- }
- .small
- {
- vertical-align: top;
- text-align: right;
- font-size: 9px;
- font-weight: normal;
- line-height: 120%;
- }
- td.small
- {
- padding-top: 0px;
- }
- .hidden
- {
- visibility: hidden;
- }
- td:hover .hidden
- {
- visibility: visible;
- }
- div.download
- {
- display: none;
- background: #FFFFFF;
- position: absolute;
- right: 34px;
- top: 94px;
- padding: 10px;
- border: 1px dotted #141414;
- }
- #divs div.ebnf, .ebnf code
- {
- display: block;
- padding: 10px;
- background: #F0F0F0;
- width: 992px;
- }
- #divs div.grammar
- {
- display: block;
- padding-left: 16px;
- padding-top: 2px;
- padding-bottom: 2px;
- background: #F0F0F0;
- }
- pre
- {
- margin: 0px;
- }
- .ebnf div
- {
- padding-left: 13ch;
- text-indent: -13ch;
- }
- .ebnf code, .grammar code, textarea, pre
- {
- font:12px SFMono-Regular,Consolas,Liberation Mono,Menlo,Courier,monospace;
- }
- tr.option-line td:first-child
- {
- text-align: right
- }
- tr.option-text td
- {
- padding-bottom: 10px
- }
- table.palette
- {
- border-top: 1px solid #0F0F0F;
- border-right: 1px solid #0F0F0F;
- margin-bottom: 4px
- }
- td.palette
- {
- border-bottom: 1px solid #0F0F0F;
- border-left: 1px solid #0F0F0F;
- }
- a.palette
- {
- padding: 2px 3px 2px 10px;
- text-decoration: none;
- }
- .palette
- {
- -webkit-user-select: none;
- -khtml-user-select: none;
- -moz-user-select: none;
- -o-user-select: none;
- -ms-user-select: none;
- }
- </style><svg xmlns="http://www.w3.org/2000/svg">
- <defs>
- <style type="text/css">
- @namespace "http://www.w3.org/2000/svg";
- .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: #0A0A0A;
- font-weight: bold;
- }
- text.nonterminal {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0D0D0D;
- font-weight: normal;
- }
- text.regexp {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0F0F0F;
- font-weight: normal;
- }
- 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: #FFFFFF; stroke: #262626;}
- </style>
- </defs></svg></head>
- <body>
- <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">
- <defs>
- <style type="text/css">
- @namespace "http://www.w3.org/2000/svg";
- .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: #0A0A0A;
- font-weight: bold;
- }
- text.nonterminal {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- text.regexp {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- 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: #FFFFFF; stroke: #262626;}
- </style>
- </defs>
- <polygon points="9 61 1 57 1 65"/>
- <polygon points="17 61 9 57 9 65"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyName" xlink:title="PropertyName">
- <rect x="51" y="47" width="110" height="32"/>
- <rect x="49" y="45" width="110" height="32" class="nonterminal"/>
- <text class="nonterminal" x="59" y="65">PropertyName</text></a><rect x="201" y="79" width="30" height="32" rx="10"/>
- <rect x="199" y="77" width="30" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="209" y="97">=</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Value" xlink:title="Value">
- <rect x="251" y="79" width="56" height="32"/>
- <rect x="249" y="77" width="56" height="32" class="nonterminal"/>
- <text class="nonterminal" x="259" y="97">Value</text></a><rect x="51" y="3" width="24" height="32" rx="10"/>
- <rect x="49" y="1" width="24" height="32" class="terminal" rx="10"/>
- <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">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: #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: #0A0A0A;
- font-weight: bold;
- }
- text.nonterminal {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- text.regexp {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- 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: #FFFFFF; stroke: #262626;}
- </style>
- </defs>
- <polygon points="9 61 1 57 1 65"/>
- <polygon points="17 61 9 57 9 65"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyQuery" xlink:title="PropertyQuery">
- <rect x="51" y="47" width="112" height="32"/>
- <rect x="49" y="45" width="112" height="32" class="nonterminal"/>
- <text class="nonterminal" x="59" y="65">PropertyQuery</text></a><rect x="51" y="3" width="24" height="32" rx="10"/>
- <rect x="49" y="1" width="24" height="32" class="terminal" rx="10"/>
- <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">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="157">
- <defs>
- <style type="text/css">
- @namespace "http://www.w3.org/2000/svg";
- .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: #0A0A0A;
- font-weight: bold;
- }
- text.nonterminal {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- text.regexp {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- 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: #FFFFFF; stroke: #262626;}
- </style>
- </defs>
- <polygon points="9 17 1 13 1 21"/>
- <polygon points="17 17 9 13 9 21"/>
- <rect x="51" y="3" width="26" height="32" rx="10"/>
- <rect x="49" y="1" width="26" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="59" y="21">-</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyName" xlink:title="PropertyName">
- <rect x="97" y="3" width="110" height="32"/>
- <rect x="95" y="1" width="110" height="32" class="nonterminal"/>
- <text class="nonterminal" x="105" y="21">PropertyName</text></a><rect x="71" y="79" width="26" height="32" rx="10"/>
- <rect x="69" y="77" width="26" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="79" y="97">?</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PropertyName" xlink:title="PropertyName">
- <rect x="137" y="47" width="110" height="32"/>
- <rect x="135" y="45" width="110" height="32" class="nonterminal"/>
- <text class="nonterminal" x="145" y="65">PropertyName</text></a><rect x="307" y="79" width="30" height="32" rx="10"/>
- <rect x="305" y="77" width="30" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="315" y="97">=</text>
- <rect x="307" y="123" width="34" height="32" rx="10"/>
- <rect x="305" y="121" width="34" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="315" y="141">!=</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Value" xlink:title="Value">
- <rect x="381" y="79" width="56" height="32"/>
- <rect x="379" y="77" width="56" height="32" class="nonterminal"/>
- <text class="nonterminal" x="389" y="97">Value</text></a><svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m26 0 h10 m0 0 h10 m110 0 h10 m0 0 h250 m-446 0 h20 m426 0 h20 m-466 0 q10 0 10 10 m446 0 q0 -10 10 -10 m-456 10 v24 m446 0 v-24 m-446 24 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 -76 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>
- </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">
- <defs>
- <style type="text/css">
- @namespace "http://www.w3.org/2000/svg";
- .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: #0A0A0A;
- font-weight: bold;
- }
- text.nonterminal {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- text.regexp {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- 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: #FFFFFF; stroke: #262626;}
- </style>
- </defs>
- <polygon points="9 17 1 13 1 21"/>
- <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#NumberLiteral" xlink:title="NumberLiteral">
- <rect x="51" y="3" width="108" height="32"/>
- <rect x="49" y="1" width="108" height="32" class="nonterminal"/>
- <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">
- <rect x="51" y="47" width="96" height="32"/>
- <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">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>
- </xhtml:ul>
- </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">
- <defs>
- <style type="text/css">
- @namespace "http://www.w3.org/2000/svg";
- .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: #0A0A0A;
- font-weight: bold;
- }
- text.nonterminal {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- text.regexp {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- 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: #FFFFFF; stroke: #262626;}
- </style>
- </defs>
- <polygon points="9 17 1 13 1 21"/>
- <polygon points="17 17 9 13 9 21"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#QuotedString" xlink:title="QuotedString">
- <rect x="51" y="3" width="104" height="32"/>
- <rect x="49" y="1" width="104" height="32" class="nonterminal"/>
- <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">
- <rect x="51" y="47" width="120" height="32"/>
- <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">referenced by:
- <xhtml:ul>
- <xhtml:li><xhtml:a href="#Value" title="Value">Value</xhtml:a></xhtml:li>
- </xhtml:ul>
- </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">
- <defs>
- <style type="text/css">
- @namespace "http://www.w3.org/2000/svg";
- .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: #0A0A0A;
- font-weight: bold;
- }
- text.nonterminal {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- text.regexp {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- 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: #FFFFFF; stroke: #262626;}
- </style>
- </defs>
- <polygon points="9 33 1 29 1 37"/>
- <polygon points="17 33 9 29 9 37"/>
- <rect x="51" y="19" width="26" height="32" rx="10"/>
- <rect x="49" y="17" width="26" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="59" y="37">"</text>
- <polygon points="137 35 144 19 186 19 193 35 186 51 144 51"/>
- <polygon points="135 33 142 17 184 17 191 33 184 49 142 49" class="regexp"/>
- <text class="regexp" x="150" y="37">[^"]</text>
- <rect x="253" y="19" width="26" height="32" rx="10"/>
- <rect x="251" y="17" width="26" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="261" y="37">"</text>
- <rect x="51" y="101" width="24" height="32" rx="10"/>
- <rect x="49" y="99" width="24" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="59" y="119">'</text>
- <polygon points="135 117 142 101 182 101 189 117 182 133 142 133"/>
- <polygon points="133 115 140 99 180 99 187 115 180 131 140 131" class="regexp"/>
- <text class="regexp" x="148" y="119">[^']</text>
- <rect x="249" y="101" width="24" height="32" rx="10"/>
- <rect x="247" y="99" width="24" height="32" class="terminal" rx="10"/>
- <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">referenced by:
- <xhtml:ul>
- <xhtml:li><xhtml:a href="#StringLiteral" title="StringLiteral">StringLiteral</xhtml:a></xhtml:li>
- </xhtml:ul>
- </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">
- <defs>
- <style type="text/css">
- @namespace "http://www.w3.org/2000/svg";
- .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: #0A0A0A;
- font-weight: bold;
- }
- text.nonterminal {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- text.regexp {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- 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: #FFFFFF; stroke: #262626;}
- </style>
- </defs>
- <polygon points="9 33 1 29 1 37"/>
- <polygon points="17 33 9 29 9 37"/>
- <polygon points="51 35 58 19 152 19 159 35 152 51 58 51"/>
- <polygon points="49 33 56 17 150 17 157 33 150 49 56 49" class="regexp"/>
- <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">referenced by:
- <xhtml:ul>
- <xhtml:li><xhtml:a href="#StringLiteral" title="StringLiteral">StringLiteral</xhtml:a></xhtml:li>
- </xhtml:ul>
- </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">
- <defs>
- <style type="text/css">
- @namespace "http://www.w3.org/2000/svg";
- .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: #0A0A0A;
- font-weight: bold;
- }
- text.nonterminal {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- text.regexp {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- 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: #FFFFFF; stroke: #262626;}
- </style>
- </defs>
- <polygon points="9 51 1 47 1 55"/>
- <polygon points="17 51 9 47 9 55"/>
- <rect x="51" y="37" width="28" height="32" rx="10"/>
- <rect x="49" y="35" width="28" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="59" y="55">0</text>
- <polygon points="139 19 146 3 194 3 201 19 194 35 146 35"/>
- <polygon points="137 17 144 1 192 1 199 17 192 33 144 33" class="regexp"/>
- <text class="regexp" x="152" y="21">[0-7]</text>
- <rect x="119" y="85" width="28" height="32" rx="10"/>
- <rect x="117" y="83" width="28" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="127" y="103">x</text>
- <polygon points="207 101 214 85 262 85 269 101 262 117 214 117"/>
- <polygon points="205 99 212 83 260 83 267 99 260 115 212 115" class="regexp"/>
- <text class="regexp" x="220" y="103">[0-9]</text>
- <polygon points="207 145 214 129 260 129 267 145 260 161 214 161"/>
- <polygon points="205 143 212 127 258 127 265 143 258 159 212 159" class="regexp"/>
- <text class="regexp" x="220" y="147">[A-F]</text>
- <polygon points="207 189 214 173 258 173 265 189 258 205 214 205"/>
- <polygon points="205 187 212 171 256 171 263 187 256 203 212 203" class="regexp"/>
- <text class="regexp" x="220" y="191">[a-f]</text>
- <rect x="71" y="271" width="26" height="32" rx="10"/>
- <rect x="69" y="269" width="26" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="79" y="289">-</text>
- <polygon points="137 255 144 239 192 239 199 255 192 271 144 271"/>
- <polygon points="135 253 142 237 190 237 197 253 190 269 142 269" class="regexp"/>
- <text class="regexp" x="150" y="257">[1-9]</text>
- <polygon points="239 255 246 239 294 239 301 255 294 271 246 271"/>
- <polygon points="237 253 244 237 292 237 299 253 292 269 244 269" class="regexp"/>
- <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 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"/>
- <polygon points="367 51 375 47 375 55"/>
- <polygon points="367 51 359 47 359 55"/></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>
- </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">
- <defs>
- <style type="text/css">
- @namespace "http://www.w3.org/2000/svg";
- .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: #0A0A0A;
- font-weight: bold;
- }
- text.nonterminal {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- text.regexp {font-family: Verdana, Sans-serif;
- font-size: 12px;
- fill: #0A0A0A;
- font-weight: normal;
- }
- 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: #FFFFFF; stroke: #262626;}
- </style>
- </defs>
- <polygon points="9 183 1 179 1 187"/>
- <polygon points="17 183 9 179 9 187"/>
- <polygon points="51 185 58 169 106 169 113 185 106 201 58 201"/>
- <polygon points="49 183 56 167 104 167 111 183 104 199 56 199" class="regexp"/>
- <text class="regexp" x="64" y="187">[A-Z]</text>
- <polygon points="153 151 160 135 208 135 215 151 208 167 160 167"/>
- <polygon points="151 149 158 133 206 133 213 149 206 165 158 165" class="regexp"/>
- <text class="regexp" x="166" y="153">[A-Z]</text>
- <polygon points="153 107 160 91 208 91 215 107 208 123 160 123"/>
- <polygon points="151 105 158 89 206 89 213 105 206 121 158 121" class="regexp"/>
- <text class="regexp" x="166" y="109">[0-9]</text>
- <rect x="153" y="47" width="28" height="32" rx="10"/>
- <rect x="151" y="45" width="28" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="161" y="65">_</text>
- <rect x="51" y="3" width="24" height="32" rx="10"/>
- <rect x="49" y="1" width="24" height="32" class="terminal" rx="10"/>
- <text class="terminal" x="59" y="21">.</text>
- <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"/>
- <polygon points="273 183 281 179 281 187"/>
- <polygon points="273 183 265 179 265 187"/></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>
- </xhtml:ul>
- </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:hr xmlns:xhtml="http://www.w3.org/1999/xhtml" />
- <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
- <xhtml:table class="signature" border="0">
- <xhtml:tr>
- <xhtml:td style="width: 100%"> </xhtml:td>
- <xhtml:td valign="top">
- <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>
- </xhtml:td>
- <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">
- <g transform="scale(0.178)">
- <circle cx="45" cy="45" r="45" style="stroke:none; fill:#FFCC00"/>
- <circle cx="45" cy="45" r="42" style="stroke:#332900; stroke-width:2px; fill:#FFCC00"/>
- <line x1="15" y1="15" x2="75" y2="75" stroke="#332900" style="stroke-width:9px;"/>
- <line x1="15" y1="75" x2="75" y2="15" stroke="#332900" style="stroke-width:9px;"/>
- <text x="7" y="54" style="font-size:26px; font-family:Arial, Sans-serif; font-weight:bold; fill: #332900">R</text>
- <text x="64" y="54" style="font-size:26px; font-family:Arial, Sans-serif; font-weight:bold; fill: #332900">R</text>
- </g></svg></xhtml:a></xhtml:td>
- </xhtml:tr>
- </xhtml:table>
- </xhtml:p>
- </body>
-</html>
\ No newline at end of file
diff --git a/doc/man7/property.pod b/doc/man7/property.pod
index 88f5400..e05f112 100644
--- a/doc/man7/property.pod
+++ b/doc/man7/property.pod
@@ -103,9 +103,6 @@ The lexical syntax in EBNF is given by:
NumberLiteral ::= '0' ( [0-7]* | 'x' [0-9A-Fa-f]+ ) | '-'? [1-9] [0-9]+
PropertyName ::= [A-Z] [A-Z0-9_]* ( '.' [A-Z] [A-Z0-9_]* )*
-Railroad diagrams for this grammar can be found in the
-F<crypto/property/properties.xhtml> file.
-
=head1 HISTORY
Properties were added in OpenSSL 3.0
More information about the openssl-commits
mailing list