1142 lines
67 KiB
HTML
1142 lines
67 KiB
HTML
<!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.48.1593" /><style type="text/css">
|
||
::-moz-selection
|
||
{
|
||
color: #FFFCF0;
|
||
background: #0F0C00;
|
||
}
|
||
::selection
|
||
{
|
||
color: #FFFCF0;
|
||
background: #0F0C00;
|
||
}
|
||
.ebnf a
|
||
{
|
||
text-decoration: none;
|
||
}
|
||
.ebnf a:hover
|
||
{
|
||
color: #050400;
|
||
text-decoration: underline;
|
||
}
|
||
.signature
|
||
{
|
||
color: #806600;
|
||
font-size: 11px;
|
||
text-align: right;
|
||
}
|
||
body
|
||
{
|
||
font: normal 12px Verdana, sans-serif;
|
||
color: #0F0C00;
|
||
background: #FFFCF0;
|
||
}
|
||
a:link, a:visited
|
||
{
|
||
color: #0F0C00;
|
||
}
|
||
a:link.signature, a:visited.signature
|
||
{
|
||
color: #806600;
|
||
}
|
||
a.button, #tabs li a
|
||
{
|
||
padding: 0.25em 0.5em;
|
||
border: 1px solid #806600;
|
||
background: #F1E8C6;
|
||
color: #806600;
|
||
text-decoration: none;
|
||
font-weight: bold;
|
||
}
|
||
a.button:hover, #tabs li a:hover
|
||
{
|
||
color: #050400;
|
||
background: #FFF6D1;
|
||
border-color: #050400;
|
||
}
|
||
#tabs
|
||
{
|
||
padding: 3px 10px;
|
||
margin-left: 0;
|
||
margin-top: 58px;
|
||
border-bottom: 1px solid #0F0C00;
|
||
}
|
||
#tabs li
|
||
{
|
||
list-style: none;
|
||
margin-left: 5px;
|
||
display: inline;
|
||
}
|
||
#tabs li a
|
||
{
|
||
border-bottom: 1px solid #0F0C00;
|
||
}
|
||
#tabs li a.active
|
||
{
|
||
color: #0F0C00;
|
||
background: #FFFCF0;
|
||
border-color: #0F0C00;
|
||
border-bottom: 1px solid #FFFCF0;
|
||
outline: none;
|
||
}
|
||
#divs div
|
||
{
|
||
display: none;
|
||
overflow:auto;
|
||
}
|
||
#divs div.active
|
||
{
|
||
display: block;
|
||
}
|
||
#text
|
||
{
|
||
border-color: #806600;
|
||
background: #FFFEFA;
|
||
color: #050400;
|
||
}
|
||
.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: #FFFCF0;
|
||
position: absolute;
|
||
right: 34px;
|
||
top: 94px;
|
||
padding: 10px;
|
||
border: 1px dotted #0F0C00;
|
||
}
|
||
#divs div.ebnf, div.ebnf
|
||
{
|
||
display: block;
|
||
padding-left: 16px;
|
||
padding-top: 2px;
|
||
padding-bottom: 2px;
|
||
background: #FFF6D1;
|
||
}
|
||
tr.option-line td:first-child
|
||
{
|
||
text-align: right
|
||
}
|
||
tr.option-text td
|
||
{
|
||
padding-bottom: 10px
|
||
}
|
||
table.palette
|
||
{
|
||
border-top: 1px solid #050400;
|
||
border-right: 1px solid #050400;
|
||
margin-bottom: 4px
|
||
}
|
||
td.palette
|
||
{
|
||
border-bottom: 1px solid #050400;
|
||
border-left: 1px solid #050400;
|
||
}
|
||
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: #332900;}
|
||
.bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width:
|
||
2; }
|
||
.thin-line {stroke: #1F1800; shape-rendering: crispEdges}
|
||
.filled {fill: #332900; stroke: none;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
</svg>
|
||
<style type="text/css"></style></head>
|
||
<body>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><xhtml:a name="Gcl1File">Gcl1File:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="614" height="130">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 51 1 47 1 55"/>
|
||
<polygon points="17 51 9 47 9 55"/>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Space" xlink:title="Space">
|
||
<rect x="51" y="3" width="56" height="32"/>
|
||
<rect x="49" y="1" width="56" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="59" y="21">Space</text>
|
||
</a>
|
||
<rect x="147" y="37" width="46" height="32" rx="10"/>
|
||
<rect x="145" y="35" width="46" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="155" y="55">gcl1</text>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Space" xlink:title="Space">
|
||
<rect x="273" y="37" width="56" height="32"/>
|
||
<rect x="271" y="35" width="56" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="281" y="55">Space</text>
|
||
</a>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Block" xlink:title="Block">
|
||
<rect x="273" y="81" width="52" height="32"/>
|
||
<rect x="271" y="79" width="52" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="281" y="99">Block</text>
|
||
</a>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Word" xlink:title="Word">
|
||
<rect x="389" y="69" width="52" height="32"/>
|
||
<rect x="387" y="67" width="52" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="397" y="87">Word</text>
|
||
</a>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Newline" xlink:title="Newline">
|
||
<rect x="521" y="37" width="66" height="32"/>
|
||
<rect x="519" y="35" width="66" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="529" y="55">Newline</text>
|
||
</a>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 51 h2 m20 0 h10 m0 0 h66 m-96 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m76 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-76 0 h10 m56 0 h10 m20 34 h10 m46 0 h10 m60 0 h10 m56 0 h10 m-96 0 h20 m76 0 h20 m-116 0 q10 0 10 10 m96 0 q0 -10 10 -10 m-106 10 v24 m96 0 v-24 m-96 24 q0 10 10 10 m76 0 q10 0 10 -10 m-86 10 h10 m52 0 h10 m0 0 h4 m40 -44 h10 m0 0 h62 m-92 0 h20 m72 0 h20 m-112 0 q10 0 10 10 m92 0 q0 -10 10 -10 m-102 10 v12 m92 0 v-12 m-92 12 q0 10 10 10 m72 0 q10 0 10 -10 m-82 10 h10 m52 0 h10 m-228 -32 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m228 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-228 0 h10 m0 0 h218 m-268 32 h20 m268 0 h20 m-308 0 q10 0 10 10 m288 0 q0 -10 10 -10 m-298 10 v58 m288 0 v-58 m-288 58 q0 10 10 10 m268 0 q10 0 10 -10 m-278 10 h10 m0 0 h258 m20 -78 h10 m66 0 h10 m3 0 h-3"/>
|
||
<polygon points="605 51 613 47 613 55"/>
|
||
<polygon points="605 51 597 47 597 55"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Gcl1File" title="Gcl1File">Gcl1File</a> ::= <a href="#Space" title="Space">Space</a>* 'gcl1' ( ( <a href="#Space" title="Space">Space</a> | <a href="#Block" title="Block">Block</a> ) <a href="#Word" title="Word">Word</a>? )* <a href="#Newline" title="Newline">Newline</a></xhtml:pre></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="Block">Block:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="282" height="146">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 95 1 91 1 99"/>
|
||
<polygon points="17 95 9 91 9 99"/>
|
||
<rect x="31" y="81" width="26" height="32" rx="10"/>
|
||
<rect x="29" y="79" width="26" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="39" y="99">[</text>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Word" xlink:title="Word">
|
||
<rect x="117" y="113" width="52" height="32"/>
|
||
<rect x="115" y="111" width="52" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="125" y="131">Word</text>
|
||
</a>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Space" xlink:title="Space">
|
||
<rect x="97" y="47" width="56" height="32"/>
|
||
<rect x="95" y="45" width="56" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="105" y="65">Space</text>
|
||
</a>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Block" xlink:title="Block">
|
||
<rect x="97" y="3" width="52" height="32"/>
|
||
<rect x="95" y="1" width="52" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="105" y="21">Block</text>
|
||
</a>
|
||
<rect x="229" y="81" width="26" height="32" rx="10"/>
|
||
<rect x="227" y="79" width="26" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="237" y="99">]</text>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 95 h2 m0 0 h10 m26 0 h10 m40 0 h10 m0 0 h62 m-92 0 h20 m72 0 h20 m-112 0 q10 0 10 10 m92 0 q0 -10 10 -10 m-102 10 v12 m92 0 v-12 m-92 12 q0 10 10 10 m72 0 q10 0 10 -10 m-82 10 h10 m52 0 h10 m-112 -32 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m112 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-112 0 h10 m56 0 h10 m0 0 h36 m-122 10 l0 -44 q0 -10 10 -10 m122 54 l0 -44 q0 -10 -10 -10 m-112 0 h10 m52 0 h10 m0 0 h40 m20 78 h10 m26 0 h10 m3 0 h-3"/>
|
||
<polygon points="273 95 281 91 281 99"/>
|
||
<polygon points="273 95 265 91 265 99"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Block" title="Block">Block</a> ::= '[' <a href="#Word" title="Word">Word</a>? ( ( <a href="#Space" title="Space">Space</a> | <a href="#Block" title="Block">Block</a> ) <a href="#Word" title="Word">Word</a>? )* ']'</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Block" title="Block">Block</xhtml:a></xhtml:li>
|
||
<xhtml:li><xhtml:a href="#Gcl1File" title="Gcl1File">Gcl1File</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="Word">Word:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="450" height="124">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</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="#Keyword" xlink:title="Keyword">
|
||
<rect x="51" y="3" width="72" height="32"/>
|
||
<rect x="49" y="1" width="72" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="59" y="21">Keyword</text>
|
||
</a>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Prefix" xlink:title="Prefix">
|
||
<rect x="71" y="79" width="52" height="32"/>
|
||
<rect x="69" y="77" width="52" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="79" y="97">Prefix</text>
|
||
</a>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Name" xlink:title="Name">
|
||
<rect x="183" y="47" width="54" height="32"/>
|
||
<rect x="181" y="45" width="54" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="191" y="65">Name</text>
|
||
</a>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Number" xlink:title="Number">
|
||
<rect x="183" y="91" width="66" height="32"/>
|
||
<rect x="181" y="89" width="66" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="191" y="109">Number</text>
|
||
</a>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Operator" xlink:title="Operator">
|
||
<rect x="309" y="79" width="74" height="32"/>
|
||
<rect x="307" y="77" width="74" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="317" y="97">Operator</text>
|
||
</a>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m72 0 h10 m0 0 h280 m-392 0 h20 m372 0 h20 m-412 0 q10 0 10 10 m392 0 q0 -10 10 -10 m-402 10 v24 m392 0 v-24 m-392 24 q0 10 10 10 m372 0 q10 0 10 -10 m-362 10 h10 m0 0 h62 m-92 0 h20 m72 0 h20 m-112 0 q10 0 10 10 m92 0 q0 -10 10 -10 m-102 10 v12 m92 0 v-12 m-92 12 q0 10 10 10 m72 0 q10 0 10 -10 m-82 10 h10 m52 0 h10 m40 -32 h10 m54 0 h10 m0 0 h12 m-106 0 h20 m86 0 h20 m-126 0 q10 0 10 10 m106 0 q0 -10 10 -10 m-116 10 v24 m106 0 v-24 m-106 24 q0 10 10 10 m86 0 q10 0 10 -10 m-96 10 h10 m66 0 h10 m40 -44 h10 m0 0 h84 m-114 0 h20 m94 0 h20 m-134 0 q10 0 10 10 m114 0 q0 -10 10 -10 m-124 10 v12 m114 0 v-12 m-114 12 q0 10 10 10 m94 0 q10 0 10 -10 m-104 10 h10 m74 0 h10 m43 -76 h-3"/>
|
||
<polygon points="441 17 449 13 449 21"/>
|
||
<polygon points="441 17 433 13 433 21"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Word" title="Word">Word</a> ::= <a href="#Keyword" title="Keyword">Keyword</a>
|
||
| <a href="#Prefix" title="Prefix">Prefix</a>? ( <a href="#Name" title="Name">Name</a> | <a href="#Number" title="Number">Number</a> ) <a href="#Operator" title="Operator">Operator</a>?</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Block" title="Block">Block</xhtml:a></xhtml:li>
|
||
<xhtml:li><xhtml:a href="#Gcl1File" title="Gcl1File">Gcl1File</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="Keyword">Keyword:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="380" height="696">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 17 1 13 1 21"/>
|
||
<polygon points="17 17 9 13 9 21"/>
|
||
<rect x="51" y="3" width="40" height="32" rx="10"/>
|
||
<rect x="49" y="1" width="40" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="21">call</text>
|
||
<rect x="51" y="47" width="52" height="32" rx="10"/>
|
||
<rect x="49" y="45" width="52" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="65">deek</text>
|
||
<rect x="51" y="91" width="40" height="32" rx="10"/>
|
||
<rect x="49" y="89" width="40" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="109">def</text>
|
||
<rect x="51" y="135" width="36" height="32" rx="10"/>
|
||
<rect x="49" y="133" width="36" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="153">do</text>
|
||
<rect x="51" y="179" width="46" height="32" rx="10"/>
|
||
<rect x="49" y="177" width="46" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="197">else</text>
|
||
<rect x="51" y="223" width="28" height="32" rx="10"/>
|
||
<rect x="49" y="221" width="28" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="241">if</text>
|
||
<rect x="119" y="223" width="30" height="32" rx="10"/>
|
||
<rect x="117" y="221" width="30" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="127" y="241"><</text>
|
||
<rect x="119" y="267" width="30" height="32" rx="10"/>
|
||
<rect x="117" y="265" width="30" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="127" y="285">=</text>
|
||
<rect x="119" y="311" width="30" height="32" rx="10"/>
|
||
<rect x="117" y="309" width="30" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="127" y="329">></text>
|
||
<rect x="119" y="355" width="40" height="32" rx="10"/>
|
||
<rect x="117" y="353" width="40" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="127" y="373"><=</text>
|
||
<rect x="119" y="399" width="40" height="32" rx="10"/>
|
||
<rect x="117" y="397" width="40" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="127" y="417"><></text>
|
||
<rect x="119" y="443" width="40" height="32" rx="10"/>
|
||
<rect x="117" y="441" width="40" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="127" y="461">>=</text>
|
||
<rect x="199" y="223" width="28" height="32" rx="10"/>
|
||
<rect x="197" y="221" width="28" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="207" y="241">0</text>
|
||
<rect x="267" y="255" width="46" height="32" rx="10"/>
|
||
<rect x="265" y="253" width="46" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="275" y="273">loop</text>
|
||
<rect x="51" y="487" width="46" height="32" rx="10"/>
|
||
<rect x="49" y="485" width="46" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="505">loop</text>
|
||
<rect x="51" y="531" width="52" height="32" rx="10"/>
|
||
<rect x="49" y="529" width="52" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="549">peek</text>
|
||
<rect x="51" y="575" width="44" height="32" rx="10"/>
|
||
<rect x="49" y="573" width="44" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="593">pop</text>
|
||
<rect x="51" y="619" width="50" height="32" rx="10"/>
|
||
<rect x="49" y="617" width="50" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="637">push</text>
|
||
<rect x="51" y="663" width="38" height="32" rx="10"/>
|
||
<rect x="49" y="661" width="38" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="681">ret</text>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m40 0 h10 m0 0 h242 m-322 0 h20 m302 0 h20 m-342 0 q10 0 10 10 m322 0 q0 -10 10 -10 m-332 10 v24 m322 0 v-24 m-322 24 q0 10 10 10 m302 0 q10 0 10 -10 m-312 10 h10 m52 0 h10 m0 0 h230 m-312 -10 v20 m322 0 v-20 m-322 20 v24 m322 0 v-24 m-322 24 q0 10 10 10 m302 0 q10 0 10 -10 m-312 10 h10 m40 0 h10 m0 0 h242 m-312 -10 v20 m322 0 v-20 m-322 20 v24 m322 0 v-24 m-322 24 q0 10 10 10 m302 0 q10 0 10 -10 m-312 10 h10 m36 0 h10 m0 0 h246 m-312 -10 v20 m322 0 v-20 m-322 20 v24 m322 0 v-24 m-322 24 q0 10 10 10 m302 0 q10 0 10 -10 m-312 10 h10 m46 0 h10 m0 0 h236 m-312 -10 v20 m322 0 v-20 m-322 20 v24 m322 0 v-24 m-322 24 q0 10 10 10 m302 0 q10 0 10 -10 m-312 10 h10 m28 0 h10 m20 0 h10 m30 0 h10 m0 0 h10 m-80 0 h20 m60 0 h20 m-100 0 q10 0 10 10 m80 0 q0 -10 10 -10 m-90 10 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m30 0 h10 m0 0 h10 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m30 0 h10 m0 0 h10 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m40 0 h10 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m40 0 h10 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m40 0 h10 m20 -220 h10 m28 0 h10 m20 0 h10 m0 0 h56 m-86 0 h20 m66 0 h20 m-106 0 q10 0 10 10 m86 0 q0 -10 10 -10 m-96 10 v12 m86 0 v-12 m-86 12 q0 10 10 10 m66 0 q10 0 10 -10 m-76 10 h10 m46 0 h10 m-292 -42 v20 m322 0 v-20 m-322 20 v244 m322 0 v-244 m-322 244 q0 10 10 10 m302 0 q10 0 10 -10 m-312 10 h10 m46 0 h10 m0 0 h236 m-312 -10 v20 m322 0 v-20 m-322 20 v24 m322 0 v-24 m-322 24 q0 10 10 10 m302 0 q10 0 10 -10 m-312 10 h10 m52 0 h10 m0 0 h230 m-312 -10 v20 m322 0 v-20 m-322 20 v24 m322 0 v-24 m-322 24 q0 10 10 10 m302 0 q10 0 10 -10 m-312 10 h10 m44 0 h10 m0 0 h238 m-312 -10 v20 m322 0 v-20 m-322 20 v24 m322 0 v-24 m-322 24 q0 10 10 10 m302 0 q10 0 10 -10 m-312 10 h10 m50 0 h10 m0 0 h232 m-312 -10 v20 m322 0 v-20 m-322 20 v24 m322 0 v-24 m-322 24 q0 10 10 10 m302 0 q10 0 10 -10 m-312 10 h10 m38 0 h10 m0 0 h244 m23 -660 h-3"/>
|
||
<polygon points="371 17 379 13 379 21"/>
|
||
<polygon points="371 17 363 13 363 21"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Keyword" title="Keyword">Keyword</a> ::= 'call'
|
||
| 'deek'
|
||
| 'def'
|
||
| 'do'
|
||
| 'else'
|
||
| 'if' ( '<' | '=' | '>' | '<=' | '<>' | '>=' ) '0' 'loop'?
|
||
| 'loop'
|
||
| 'peek'
|
||
| 'pop'
|
||
| 'push'
|
||
| 'ret'</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Word" title="Word">Word</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="Prefix">Prefix:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="132" height="168">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 17 1 13 1 21"/>
|
||
<polygon points="17 17 9 13 9 21"/>
|
||
<rect x="51" y="3" width="30" height="32" rx="10"/>
|
||
<rect x="49" y="1" width="30" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="21"><</text>
|
||
<rect x="51" y="47" width="30" height="32" rx="10"/>
|
||
<rect x="49" y="45" width="30" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="65">></text>
|
||
<rect x="51" y="91" width="28" height="32" rx="10"/>
|
||
<rect x="49" y="89" width="28" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="109">\</text>
|
||
<rect x="51" y="135" width="34" height="32" rx="10"/>
|
||
<rect x="49" y="133" width="34" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="153">%</text>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m30 0 h10 m0 0 h4 m-74 0 h20 m54 0 h20 m-94 0 q10 0 10 10 m74 0 q0 -10 10 -10 m-84 10 v24 m74 0 v-24 m-74 24 q0 10 10 10 m54 0 q10 0 10 -10 m-64 10 h10 m30 0 h10 m0 0 h4 m-64 -10 v20 m74 0 v-20 m-74 20 v24 m74 0 v-24 m-74 24 q0 10 10 10 m54 0 q10 0 10 -10 m-64 10 h10 m28 0 h10 m0 0 h6 m-64 -10 v20 m74 0 v-20 m-74 20 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 m23 -132 h-3"/>
|
||
<polygon points="123 17 131 13 131 21"/>
|
||
<polygon points="123 17 115 13 115 21"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Prefix" title="Prefix">Prefix</a> ::= [<>\%]</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Word" title="Word">Word</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="Name">Name:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="238" height="158">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 139 1 135 1 143"/>
|
||
<polygon points="17 139 9 135 9 143"/>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Letter" xlink:title="Letter">
|
||
<rect x="31" y="125" width="54" height="32"/>
|
||
<rect x="29" y="123" width="54" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="39" y="143">Letter</text>
|
||
</a>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Letter" xlink:title="Letter">
|
||
<rect x="125" y="91" width="54" height="32"/>
|
||
<rect x="123" y="89" width="54" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="133" y="109">Letter</text>
|
||
</a>
|
||
<rect x="125" y="47" width="28" height="32" rx="10"/>
|
||
<rect x="123" y="45" width="28" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="133" y="65">_</text>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Decimal" xlink:title="Decimal">
|
||
<rect x="125" y="3" width="66" height="32"/>
|
||
<rect x="123" y="1" width="66" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="133" y="21">Decimal</text>
|
||
</a>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 139 h2 m0 0 h10 m54 0 h10 m20 0 h10 m0 0 h76 m-106 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m86 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-86 0 h10 m54 0 h10 m0 0 h12 m-96 10 l0 -44 q0 -10 10 -10 m96 54 l0 -44 q0 -10 -10 -10 m-86 0 h10 m28 0 h10 m0 0 h38 m-96 10 l0 -44 q0 -10 10 -10 m96 54 l0 -44 q0 -10 -10 -10 m-86 0 h10 m66 0 h10 m23 122 h-3"/>
|
||
<polygon points="229 139 237 135 237 143"/>
|
||
<polygon points="229 139 221 135 221 143"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Name" title="Name">Name</a> ::= <a href="#Letter" title="Letter">Letter</a> ( <a href="#Letter" title="Letter">Letter</a> | '_' | <a href="#Decimal" title="Decimal">Decimal</a> )*</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Word" title="Word">Word</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="Operator">Operator:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="138" height="652">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</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>
|
||
<rect x="51" y="47" width="30" height="32" rx="10"/>
|
||
<rect x="49" y="45" width="30" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="65">+</text>
|
||
<rect x="51" y="91" width="30" height="32" rx="10"/>
|
||
<rect x="49" y="89" width="30" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="109">&</text>
|
||
<rect x="51" y="135" width="26" height="32" rx="10"/>
|
||
<rect x="49" y="133" width="26" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="153">|</text>
|
||
<rect x="51" y="179" width="30" height="32" rx="10"/>
|
||
<rect x="49" y="177" width="30" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="197">^</text>
|
||
<rect x="51" y="223" width="30" height="32" rx="10"/>
|
||
<rect x="49" y="221" width="30" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="241">=</text>
|
||
<rect x="51" y="267" width="24" height="32" rx="10"/>
|
||
<rect x="49" y="265" width="24" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="285">.</text>
|
||
<rect x="51" y="311" width="24" height="32" rx="10"/>
|
||
<rect x="49" y="309" width="24" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="329">,</text>
|
||
<rect x="51" y="355" width="24" height="32" rx="10"/>
|
||
<rect x="49" y="353" width="24" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="373">:</text>
|
||
<rect x="51" y="399" width="24" height="32" rx="10"/>
|
||
<rect x="49" y="397" width="24" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="417">;</text>
|
||
<rect x="51" y="443" width="24" height="32" rx="10"/>
|
||
<rect x="49" y="441" width="24" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="461">!</text>
|
||
<rect x="51" y="487" width="26" height="32" rx="10"/>
|
||
<rect x="49" y="485" width="26" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="505">?</text>
|
||
<rect x="51" y="531" width="40" height="32" rx="10"/>
|
||
<rect x="49" y="529" width="40" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="549">++</text>
|
||
<rect x="51" y="575" width="30" height="32" rx="10"/>
|
||
<rect x="49" y="573" width="30" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="593">--</text>
|
||
<rect x="51" y="619" width="40" height="32" rx="10"/>
|
||
<rect x="49" y="617" width="40" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="637"><<</text>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m26 0 h10 m0 0 h14 m-80 0 h20 m60 0 h20 m-100 0 q10 0 10 10 m80 0 q0 -10 10 -10 m-90 10 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m30 0 h10 m0 0 h10 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m30 0 h10 m0 0 h10 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m26 0 h10 m0 0 h14 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m30 0 h10 m0 0 h10 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m30 0 h10 m0 0 h10 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m24 0 h10 m0 0 h16 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m24 0 h10 m0 0 h16 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m24 0 h10 m0 0 h16 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m24 0 h10 m0 0 h16 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m24 0 h10 m0 0 h16 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m26 0 h10 m0 0 h14 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m40 0 h10 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m30 0 h10 m0 0 h10 m-70 -10 v20 m80 0 v-20 m-80 20 v24 m80 0 v-24 m-80 24 q0 10 10 10 m60 0 q10 0 10 -10 m-70 10 h10 m40 0 h10 m23 -616 h-3"/>
|
||
<polygon points="129 17 137 13 137 21"/>
|
||
<polygon points="129 17 121 13 121 21"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Operator" title="Operator">Operator</a> ::= [-+&|^=.,:;!?]
|
||
| '++'
|
||
| '--'
|
||
| '<<'</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Word" title="Word">Word</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="Number">Number:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="370" height="128">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 33 1 29 1 37"/>
|
||
<polygon points="17 33 9 29 9 37"/>
|
||
<rect x="51" y="51" width="26" height="32" rx="10"/>
|
||
<rect x="49" y="49" width="26" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="69">-</text>
|
||
<rect x="51" y="95" width="30" height="32" rx="10"/>
|
||
<rect x="49" y="93" width="30" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="59" y="113">+</text>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Decimal" xlink:title="Decimal">
|
||
<rect x="161" y="19" width="66" height="32"/>
|
||
<rect x="159" y="17" width="66" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="169" y="37">Decimal</text>
|
||
</a>
|
||
<rect x="141" y="85" width="28" height="32" rx="10"/>
|
||
<rect x="139" y="83" width="28" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="149" y="103">$</text>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Hexadecimal" xlink:title="Hexadecimal">
|
||
<rect x="209" y="85" width="94" height="32"/>
|
||
<rect x="207" y="83" width="94" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="217" y="103">Hexadecimal</text>
|
||
</a>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m20 0 h10 m0 0 h40 m-70 0 h20 m50 0 h20 m-90 0 q10 0 10 10 m70 0 q0 -10 10 -10 m-80 10 v12 m70 0 v-12 m-70 12 q0 10 10 10 m50 0 q10 0 10 -10 m-60 10 h10 m26 0 h10 m0 0 h4 m-60 -10 v20 m70 0 v-20 m-70 20 v24 m70 0 v-24 m-70 24 q0 10 10 10 m50 0 q10 0 10 -10 m-60 10 h10 m30 0 h10 m60 -76 h10 m66 0 h10 m-106 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m86 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-86 0 h10 m0 0 h76 m20 32 h76 m-222 0 h20 m202 0 h20 m-242 0 q10 0 10 10 m222 0 q0 -10 10 -10 m-232 10 v46 m222 0 v-46 m-222 46 q0 10 10 10 m202 0 q10 0 10 -10 m-212 10 h10 m28 0 h10 m20 0 h10 m94 0 h10 m-134 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m114 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-114 0 h10 m0 0 h104 m43 -34 h-3"/>
|
||
<polygon points="361 33 369 29 369 37"/>
|
||
<polygon points="361 33 353 29 353 37"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Number" title="Number">Number</a> ::= [-+]? ( <a href="#Decimal" title="Decimal">Decimal</a>+ | '$' <a href="#Hexadecimal" title="Hexadecimal">Hexadecimal</a>+ )</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Word" title="Word">Word</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="Comment">Comment:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="338" height="202">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 183 1 179 1 187"/>
|
||
<polygon points="17 183 9 179 9 187"/>
|
||
<rect x="31" y="169" width="28" height="32" rx="10"/>
|
||
<rect x="29" y="167" width="28" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="39" y="187">{</text>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Space" xlink:title="Space">
|
||
<rect x="99" y="135" width="56" height="32"/>
|
||
<rect x="97" y="133" width="56" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="107" y="153">Space</text>
|
||
</a>
|
||
<polygon points="99 107 106 91 236 91 243 107 236 123 106 123"/>
|
||
<polygon points="97 105 104 89 234 89 241 105 234 121 104 121" class="regexp"/>
|
||
<text class="regexp" x="112" y="109">[#x0021-#x007A]</text>
|
||
<polygon points="99 63 106 47 182 47 189 63 182 79 106 79"/>
|
||
<polygon points="97 61 104 45 180 45 187 61 180 77 104 77" class="regexp"/>
|
||
<text class="regexp" x="112" y="65">[#x007C]</text>
|
||
<polygon points="99 19 106 3 180 3 187 19 180 35 106 35"/>
|
||
<polygon points="97 17 104 1 178 1 185 17 178 33 104 33" class="regexp"/>
|
||
<text class="regexp" x="112" y="21">[#x007E]</text>
|
||
<rect x="283" y="169" width="28" height="32" rx="10"/>
|
||
<rect x="281" y="167" width="28" height="32" class="terminal" rx="10"/>
|
||
<text class="terminal" x="291" y="187">}</text>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 183 h2 m0 0 h10 m28 0 h10 m20 0 h10 m0 0 h154 m-184 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -14 q0 -10 10 -10 m164 34 l20 0 m-20 0 q10 0 10 -10 l0 -14 q0 -10 -10 -10 m-164 0 h10 m56 0 h10 m0 0 h88 m-174 10 l0 -44 q0 -10 10 -10 m174 54 l0 -44 q0 -10 -10 -10 m-164 0 h10 m144 0 h10 m-174 10 l0 -44 q0 -10 10 -10 m174 54 l0 -44 q0 -10 -10 -10 m-164 0 h10 m90 0 h10 m0 0 h54 m-174 10 l0 -44 q0 -10 10 -10 m174 54 l0 -44 q0 -10 -10 -10 m-164 0 h10 m88 0 h10 m0 0 h56 m20 166 h10 m28 0 h10 m3 0 h-3"/>
|
||
<polygon points="329 183 337 179 337 187"/>
|
||
<polygon points="329 183 321 179 321 187"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Comment" title="Comment">Comment</a> ::= '{' ( <a href="#Space" title="Space">Space</a> | [#x0021-#x007A#x007C#x007E] )* '}'</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Space" title="Space">Space</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="Letter">Letter:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="160" height="80">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 17 1 13 1 21"/>
|
||
<polygon points="17 17 9 13 9 21"/>
|
||
<polygon points="51 19 58 3 104 3 111 19 104 35 58 35"/>
|
||
<polygon points="49 17 56 1 102 1 109 17 102 33 56 33" class="regexp"/>
|
||
<text class="regexp" x="64" y="21">[a-z]</text>
|
||
<polygon points="51 63 58 47 106 47 113 63 106 79 58 79"/>
|
||
<polygon points="49 61 56 45 104 45 111 61 104 77 56 77" class="regexp"/>
|
||
<text class="regexp" x="64" y="65">[A-Z]</text>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m60 0 h10 m0 0 h2 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 m62 0 h10 m23 -44 h-3"/>
|
||
<polygon points="151 17 159 13 159 21"/>
|
||
<polygon points="151 17 143 13 143 21"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Letter" title="Letter">Letter</a> ::= [a-zA-Z]</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Name" title="Name">Name</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="Decimal">Decimal:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="120" height="36">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 17 1 13 1 21"/>
|
||
<polygon points="17 17 9 13 9 21"/>
|
||
<polygon points="31 19 38 3 86 3 93 19 86 35 38 35"/>
|
||
<polygon points="29 17 36 1 84 1 91 17 84 33 36 33" class="regexp"/>
|
||
<text class="regexp" x="44" y="21">[0-9]</text>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m62 0 h10 m3 0 h-3"/>
|
||
<polygon points="111 17 119 13 119 21"/>
|
||
<polygon points="111 17 103 13 103 21"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Decimal" title="Decimal">Decimal</a> ::= [0-9]</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Name" title="Name">Name</xhtml:a></xhtml:li>
|
||
<xhtml:li><xhtml:a href="#Number" title="Number">Number</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="Hexadecimal">Hexadecimal:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="160" height="124">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 17 1 13 1 21"/>
|
||
<polygon points="17 17 9 13 9 21"/>
|
||
<polygon points="51 19 58 3 106 3 113 19 106 35 58 35"/>
|
||
<polygon points="49 17 56 1 104 1 111 17 104 33 56 33" class="regexp"/>
|
||
<text class="regexp" x="64" y="21">[0-9]</text>
|
||
<polygon points="51 63 58 47 102 47 109 63 102 79 58 79"/>
|
||
<polygon points="49 61 56 45 100 45 107 61 100 77 56 77" class="regexp"/>
|
||
<text class="regexp" x="64" y="65">[a-f]</text>
|
||
<polygon points="51 107 58 91 106 91 113 107 106 123 58 123"/>
|
||
<polygon points="49 105 56 89 104 89 111 105 104 121 56 121" class="regexp"/>
|
||
<text class="regexp" x="64" y="109">[A-F]</text>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 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 m58 0 h10 m0 0 h4 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 m62 0 h10 m23 -88 h-3"/>
|
||
<polygon points="151 17 159 13 159 21"/>
|
||
<polygon points="151 17 143 13 143 21"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Hexadecimal" title="Hexadecimal">Hexadecimal</a>
|
||
::= [0-9a-fA-F]</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Number" title="Number">Number</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="Space">Space:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="188" height="124">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 17 1 13 1 21"/>
|
||
<polygon points="17 17 9 13 9 21"/>
|
||
<polygon points="51 19 58 3 134 3 141 19 134 35 58 35"/>
|
||
<polygon points="49 17 56 1 132 1 139 17 132 33 56 33" class="regexp"/>
|
||
<text class="regexp" x="64" y="21">[#x0020]</text>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Newline" xlink:title="Newline">
|
||
<rect x="51" y="47" width="66" height="32"/>
|
||
<rect x="49" y="45" width="66" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="59" y="65">Newline</text>
|
||
</a>
|
||
<a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#Comment" xlink:title="Comment">
|
||
<rect x="51" y="91" width="80" height="32"/>
|
||
<rect x="49" y="89" width="80" height="32" class="nonterminal"/>
|
||
<text class="nonterminal" x="59" y="109">Comment</text>
|
||
</a>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m90 0 h10 m-130 0 h20 m110 0 h20 m-150 0 q10 0 10 10 m130 0 q0 -10 10 -10 m-140 10 v24 m130 0 v-24 m-130 24 q0 10 10 10 m110 0 q10 0 10 -10 m-120 10 h10 m66 0 h10 m0 0 h24 m-120 -10 v20 m130 0 v-20 m-130 20 v24 m130 0 v-24 m-130 24 q0 10 10 10 m110 0 q10 0 10 -10 m-120 10 h10 m80 0 h10 m0 0 h10 m23 -88 h-3"/>
|
||
<polygon points="179 17 187 13 187 21"/>
|
||
<polygon points="179 17 171 13 171 21"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Space" title="Space">Space</a> ::= #x0020
|
||
| <a href="#Newline" title="Newline">Newline</a>
|
||
| <a href="#Comment" title="Comment">Comment</a></xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Block" title="Block">Block</xhtml:a></xhtml:li>
|
||
<xhtml:li><xhtml:a href="#Comment" title="Comment">Comment</xhtml:a></xhtml:li>
|
||
<xhtml:li><xhtml:a href="#Gcl1File" title="Gcl1File">Gcl1File</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="Newline">Newline:</xhtml:a></xhtml:p>
|
||
<svg xmlns="http://www.w3.org/2000/svg" width="298" height="68">
|
||
<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;}
|
||
text.terminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #141000;
|
||
font-weight: bold;
|
||
}
|
||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1A1400;
|
||
}
|
||
text.regexp {font-family: Verdana, Sans-serif;
|
||
font-size: 12px;
|
||
fill: #1F1800;
|
||
}
|
||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||
rect.terminal {fill: #FFDB4D; stroke: #332900;}
|
||
rect.nonterminal {fill: #FFEC9E; stroke: #332900;}
|
||
rect.text {fill: none; stroke: none;}
|
||
polygon.regexp {fill: #FFF4C7; stroke: #332900;}
|
||
|
||
</style>
|
||
</defs>
|
||
<polygon points="9 17 1 13 1 21"/>
|
||
<polygon points="17 17 9 13 9 21"/>
|
||
<polygon points="51 51 58 35 134 35 141 51 134 67 58 67"/>
|
||
<polygon points="49 49 56 33 132 33 139 49 132 65 56 65" class="regexp"/>
|
||
<text class="regexp" x="64" y="53">[#x0009]</text>
|
||
<polygon points="181 19 188 3 264 3 271 19 264 35 188 35"/>
|
||
<polygon points="179 17 186 1 262 1 269 17 262 33 186 33" class="regexp"/>
|
||
<text class="regexp" x="194" y="21">[#x000A]</text>
|
||
<svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m0 0 h100 m-130 0 h20 m110 0 h20 m-150 0 q10 0 10 10 m130 0 q0 -10 10 -10 m-140 10 v12 m130 0 v-12 m-130 12 q0 10 10 10 m110 0 q10 0 10 -10 m-120 10 h10 m90 0 h10 m20 -32 h10 m90 0 h10 m3 0 h-3"/>
|
||
<polygon points="289 17 297 13 297 21"/>
|
||
<polygon points="289 17 281 13 281 21"/>
|
||
</svg>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
|
||
<xhtml:div class="ebnf"><xhtml:pre><a href="#Newline" title="Newline">Newline</a> ::= #x0009? #x000A</xhtml:pre></xhtml:div>
|
||
</xhtml:p>
|
||
<xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
|
||
<xhtml:ul>
|
||
<xhtml:li><xhtml:a href="#Gcl1File" title="Gcl1File">Gcl1File</xhtml:a></xhtml:li>
|
||
<xhtml:li><xhtml:a href="#Space" title="Space">Space</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 border="0" class="signature">
|
||
<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="http://www.bottlecaps.de/rr/ui" href="http://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="http://www.bottlecaps.de/rr/ui" href="http://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> |