Skip to content

Instantly share code, notes, and snippets.

@bfncs

bfncs/index.html

Last active July 22, 2019 13:51
Show Gist options
  • Save bfncs/509e11827adbfc91f97e9469e45528e2 to your computer and use it in GitHub Desktop.
Save bfncs/509e11827adbfc91f97e9469e45528e2 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
index.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.59.1797" />
<style type="text/css">
::-moz-selection
{
color: #FFFCF0;
background: #0F0C00;
}
::selection
{
color: #FFFCF0;
background: #0F0C00;
}
.ebnf a, .grammar a
{
text-decoration: none;
}
.ebnf a:hover, .grammar 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, .ebnf code
{
display: block;
padding: 10px;
background: #FFF6D1;
width: 992px;
}
#divs div.grammar
{
display: block;
padding-left: 16px;
padding-top: 2px;
padding-bottom: 2px;
background: #FFF6D1;
}
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 #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;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
fill: #1F1800;
font-weight: normal;
}
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></head>
<body>
<p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="topic">topic:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="379" height="37">
<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;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
fill: #1F1800;
font-weight: normal;
}
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="#domain" xlink:title="domain">
<rect x="31" y="3" width="66" height="32"/>
<rect x="29" y="1" width="66" height="32" class="nonterminal"/>
<text class="nonterminal" x="39" y="21">domain</text></a><rect x="117" y="3" width="24" height="32" rx="10"/>
<rect x="115" y="1" width="24" height="32" class="terminal" rx="10"/>
<text class="terminal" x="125" y="21">.</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#visibility" xlink:title="visibility">
<rect x="161" y="3" width="70" height="32"/>
<rect x="159" y="1" width="70" height="32" class="nonterminal"/>
<text class="nonterminal" x="169" y="21">visibility</text></a><rect x="251" y="3" width="24" height="32" rx="10"/>
<rect x="249" y="1" width="24" height="32" class="terminal" rx="10"/>
<text class="terminal" x="259" y="21">.</text><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#name" xlink:title="name">
<rect x="295" y="3" width="56" height="32"/>
<rect x="293" y="1" width="56" height="32" class="nonterminal"/>
<text class="nonterminal" x="303" y="21">name</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m66 0 h10 m0 0 h10 m24 0 h10 m0 0 h10 m70 0 h10 m0 0 h10 m24 0 h10 m0 0 h10 m56 0 h10 m3 0 h-3"/>
<polygon points="369 17 377 13 377 21"/>
<polygon points="369 17 361 13 361 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">
<div class="ebnf"><code>
<div><a href="#topic" title="topic">topic</a>    ::= <a href="#domain" title="domain">domain</a> '.' <a href="#visibility" title="visibility">visibility</a> '.' <a href="#name" title="name">name</a></div></code></div>
</p>
<p xmlns:xhtml="http://www.w3.org/1999/xhtml">no references</p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="domain">domain:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="109" height="37">
<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;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
fill: #1F1800;
font-weight: normal;
}
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="#word" xlink:title="word">
<rect x="31" y="3" width="50" height="32"/>
<rect x="29" y="1" width="50" height="32" class="nonterminal"/>
<text class="nonterminal" x="39" y="21">word</text></a><path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m50 0 h10 m3 0 h-3"/>
<polygon points="99 17 107 13 107 21"/>
<polygon points="99 17 91 13 91 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">
<div class="ebnf"><code>
<div><a href="#domain" title="domain">domain</a>   ::= <a href="#word" title="word">word</a></div></code></div>
</p>
<p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
<ul>
<li><a href="#topic" title="topic">topic</a></li>
</ul>
</p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="visibility">visibility:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="171" height="81">
<defs>
<style type="text/css">
@namespace "http://www.w3.org/2000/svg";
.line {fill: none; stroke: #332900;}
.bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
.thin-line {stroke: #1F1800; shape-rendering: crispEdges}
.filled {fill: #332900; stroke: none;}
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;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
fill: #1F1800;
font-weight: normal;
}
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="60" height="32" rx="10"/>
<rect x="49" y="1" width="60" height="32" class="terminal" rx="10"/>
<text class="terminal" x="59" y="21">public</text>
<rect x="51" y="47" width="72" height="32" rx="10"/>
<rect x="49" y="45" width="72" height="32" class="terminal" rx="10"/>
<text class="terminal" x="59" y="65">internal</text>
<path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m60 0 h10 m0 0 h12 m-112 0 h20 m92 0 h20 m-132 0 q10 0 10 10 m112 0 q0 -10 10 -10 m-122 10 v24 m112 0 v-24 m-112 24 q0 10 10 10 m92 0 q10 0 10 -10 m-102 10 h10 m72 0 h10 m23 -44 h-3"/>
<polygon points="161 17 169 13 169 21"/>
<polygon points="161 17 153 13 153 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">
<div class="ebnf"><code>
<div><a href="#visibility" title="visibility">visibility</a></div>
<div>         ::= 'public'</div>
<div>           | 'internal'</div></code></div>
</p>
<p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
<ul>
<li><a href="#topic" title="topic">topic</a></li>
</ul>
</p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="name">name:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="149" height="81">
<defs>
<style type="text/css">
@namespace "http://www.w3.org/2000/svg";
.line {fill: none; stroke: #332900;}
.bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2; }
.thin-line {stroke: #1F1800; shape-rendering: crispEdges}
.filled {fill: #332900; stroke: none;}
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;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
fill: #1F1800;
font-weight: normal;
}
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 61 1 57 1 65"/>
<polygon points="17 61 9 57 9 65"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#word" xlink:title="word">
<rect x="51" y="47" width="50" height="32"/>
<rect x="49" y="45" width="50" height="32" class="nonterminal"/>
<text class="nonterminal" x="59" y="65">word</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>
<path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 61 h2 m20 0 h10 m50 0 h10 m-90 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -24 q0 -10 10 -10 m70 44 l20 0 m-20 0 q10 0 10 -10 l0 -24 q0 -10 -10 -10 m-70 0 h10 m24 0 h10 m0 0 h26 m23 44 h-3"/>
<polygon points="139 61 147 57 147 65"/>
<polygon points="139 61 131 57 131 65"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">
<div class="ebnf"><code>
<div><a href="#name" title="name">name</a>     ::= <a href="#word" title="word">word</a> ( '.' <a href="#word" title="word">word</a> )*</div></code></div>
</p>
<p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
<ul>
<li><a href="#topic" title="topic">topic</a></li>
</ul>
</p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="word">word:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="193" height="141">
<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;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
fill: #1F1800;
font-weight: normal;
}
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"/><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#alpha" xlink:title="alpha">
<rect x="71" y="19" width="54" height="32"/>
<rect x="69" y="17" width="54" height="32" class="nonterminal"/>
<text class="nonterminal" x="79" y="37">alpha</text></a><a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#digit" xlink:title="digit">
<rect x="71" y="63" width="48" height="32"/>
<rect x="69" y="61" width="48" height="32" class="nonterminal"/>
<text class="nonterminal" x="79" y="81">digit</text></a><rect x="71" y="107" width="26" height="32" rx="10"/>
<rect x="69" y="105" width="26" height="32" class="terminal" rx="10"/>
<text class="terminal" x="79" y="125">-</text>
<path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m40 0 h10 m54 0 h10 m-94 0 h20 m74 0 h20 m-114 0 q10 0 10 10 m94 0 q0 -10 10 -10 m-104 10 v24 m94 0 v-24 m-94 24 q0 10 10 10 m74 0 q10 0 10 -10 m-84 10 h10 m48 0 h10 m0 0 h6 m-84 -10 v20 m94 0 v-20 m-94 20 v24 m94 0 v-24 m-94 24 q0 10 10 10 m74 0 q10 0 10 -10 m-84 10 h10 m26 0 h10 m0 0 h28 m-114 -88 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 m23 32 h-3"/>
<polygon points="183 33 191 29 191 37"/>
<polygon points="183 33 175 29 175 37"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">
<div class="ebnf"><code>
<div><a href="#word" title="word">word</a>     ::= ( <a href="#alpha" title="alpha">alpha</a> | <a href="#digit" title="digit">digit</a> | '-' )+</div></code></div>
</p>
<p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
<ul>
<li><a href="#domain" title="domain">domain</a></li>
<li><a href="#name" title="name">name</a></li>
</ul>
</p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="alpha">alpha:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="127" height="169">
<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;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
fill: #1F1800;
font-weight: normal;
}
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="28" height="32" rx="10"/>
<rect x="49" y="1" width="28" height="32" class="terminal" rx="10"/>
<text class="terminal" x="59" y="21">a</text>
<rect x="51" y="47" width="28" height="32" rx="10"/>
<rect x="49" y="45" width="28" height="32" class="terminal" rx="10"/>
<text class="terminal" x="59" y="65">b</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">y</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">z</text>
<path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m28 0 h10 m-68 0 h20 m48 0 h20 m-88 0 q10 0 10 10 m68 0 q0 -10 10 -10 m-78 10 v24 m68 0 v-24 m-68 24 q0 10 10 10 m48 0 q10 0 10 -10 m-58 10 h10 m28 0 h10 m-58 -10 v20 m68 0 v-20 m-68 20 v24 m68 0 v-24 m-68 24 q0 10 10 10 m48 0 q10 0 10 -10 m-58 10 h10 m28 0 h10 m-58 -10 v20 m68 0 v-20 m-68 20 v24 m68 0 v-24 m-68 24 q0 10 10 10 m48 0 q10 0 10 -10 m-58 10 h10 m26 0 h10 m0 0 h2 m23 -132 h-3"/>
<polygon points="117 17 125 13 125 21"/>
<polygon points="117 17 109 13 109 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">
<div class="ebnf"><code>
<div><a href="#alpha" title="alpha">alpha</a>    ::= 'a'</div>
<div>           | 'b'</div>
<div>           | 'y'</div>
<div>           | 'z'</div></code></div>
</p>
<p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
<ul>
<li><a href="#word" title="word">word</a></li>
</ul>
</p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-size: 14px; font-weight:bold"><a name="digit">digit:</a></p><svg xmlns="http://www.w3.org/2000/svg" width="127" height="169">
<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;
font-weight: normal;
}
text.regexp {font-family: Verdana, Sans-serif;
font-size: 12px;
fill: #1F1800;
font-weight: normal;
}
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="28" height="32" rx="10"/>
<rect x="49" y="1" width="28" height="32" class="terminal" rx="10"/>
<text class="terminal" x="59" y="21">0</text>
<rect x="51" y="47" width="28" height="32" rx="10"/>
<rect x="49" y="45" width="28" height="32" class="terminal" rx="10"/>
<text class="terminal" x="59" y="65">1</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">8</text>
<rect x="51" y="135" width="28" height="32" rx="10"/>
<rect x="49" y="133" width="28" height="32" class="terminal" rx="10"/>
<text class="terminal" x="59" y="153">9</text>
<path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m28 0 h10 m-68 0 h20 m48 0 h20 m-88 0 q10 0 10 10 m68 0 q0 -10 10 -10 m-78 10 v24 m68 0 v-24 m-68 24 q0 10 10 10 m48 0 q10 0 10 -10 m-58 10 h10 m28 0 h10 m-58 -10 v20 m68 0 v-20 m-68 20 v24 m68 0 v-24 m-68 24 q0 10 10 10 m48 0 q10 0 10 -10 m-58 10 h10 m28 0 h10 m-58 -10 v20 m68 0 v-20 m-68 20 v24 m68 0 v-24 m-68 24 q0 10 10 10 m48 0 q10 0 10 -10 m-58 10 h10 m28 0 h10 m23 -132 h-3"/>
<polygon points="117 17 125 13 125 21"/>
<polygon points="117 17 109 13 109 21"/></svg><p xmlns:xhtml="http://www.w3.org/1999/xhtml">
<div class="ebnf"><code>
<div><a href="#digit" title="digit">digit</a>    ::= '0'</div>
<div>           | '1'</div>
<div>           | '8'</div>
<div>           | '9'</div></code></div>
</p>
<p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
<ul>
<li><a href="#word" title="word">word</a></li>
</ul>
</p><br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><hr xmlns:xhtml="http://www.w3.org/1999/xhtml" />
<p xmlns:xhtml="http://www.w3.org/1999/xhtml">
<table border="0" class="signature">
<tr>
<td style="width: 100%"> </td>
<td valign="top">
<nobr class="signature">... generated by <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</a></nobr>
</td>
<td><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></a></td>
</tr>
</table>
</p>
</body>
</html>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment