mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
115 lines
4.8 KiB
XML
115 lines
4.8 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<svg xmlns="http://www.w3.org/2000/svg" width="555" height="125">
|
|
<defs>
|
|
<style type="text/css">
|
|
@namespace "http://www.w3.org/2000/svg";
|
|
.line {fill: none; stroke: #332900; stroke-width: 1;}
|
|
.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; stroke-width: 1;}
|
|
rect.nonterminal {fill: #FFEC9E; stroke: #332900; stroke-width: 1;}
|
|
rect.text {fill: none; stroke: none;}
|
|
polygon.regexp {fill: #FFF4C7; stroke: #332900; stroke-width: 1;}
|
|
</style>
|
|
</defs>
|
|
<polygon points="9 17 1 13 1 21"/>
|
|
<polygon points="17 17 9 13 9 21"/>
|
|
<rect x="31" y="3" width="46" height="32" rx="10"/>
|
|
<rect x="29"
|
|
y="1"
|
|
width="46"
|
|
height="32"
|
|
class="terminal"
|
|
rx="10"/>
|
|
<text class="terminal" x="39" y="21">else</text>
|
|
<a xmlns:xlink="http://www.w3.org/1999/xlink"
|
|
xlink:href="#rule-assign"
|
|
xlink:title="rule-assign">
|
|
<rect x="117" y="35" width="90" height="32"/>
|
|
<rect x="115" y="33" width="90" height="32" class="nonterminal"/>
|
|
<text class="nonterminal" x="125" y="53">rule-assign</text>
|
|
</a>
|
|
<rect x="267" y="3" width="28" height="32" rx="10"/>
|
|
<rect x="265"
|
|
y="1"
|
|
width="28"
|
|
height="32"
|
|
class="terminal"
|
|
rx="10"/>
|
|
<text class="terminal" x="275" y="21">if</text>
|
|
<rect x="335" y="3" width="28" height="32" rx="10"/>
|
|
<rect x="333"
|
|
y="1"
|
|
width="28"
|
|
height="32"
|
|
class="terminal"
|
|
rx="10"/>
|
|
<text class="terminal" x="343" y="21">{</text>
|
|
<a xmlns:xlink="http://www.w3.org/1999/xlink"
|
|
xlink:href="#query"
|
|
xlink:title="query">
|
|
<rect x="383" y="3" width="56" height="32"/>
|
|
<rect x="381" y="1" width="56" height="32" class="nonterminal"/>
|
|
<text class="nonterminal" x="391" y="21">query</text>
|
|
</a>
|
|
<rect x="459" y="3" width="28" height="32" rx="10"/>
|
|
<rect x="457"
|
|
y="1"
|
|
width="28"
|
|
height="32"
|
|
class="terminal"
|
|
rx="10"/>
|
|
<text class="terminal" x="467" y="21">}</text>
|
|
<a xmlns:xlink="http://www.w3.org/1999/xlink"
|
|
xlink:href="#literal-stmt"
|
|
xlink:title="literal-stmt">
|
|
<rect x="335" y="47" width="90" height="32"/>
|
|
<rect x="333" y="45" width="90" height="32" class="nonterminal"/>
|
|
<text class="nonterminal" x="343" y="65">literal-stmt</text>
|
|
</a>
|
|
<rect x="267" y="91" width="28" height="32" rx="10"/>
|
|
<rect x="265"
|
|
y="89"
|
|
width="28"
|
|
height="32"
|
|
class="terminal"
|
|
rx="10"/>
|
|
<text class="terminal" x="275" y="109">{</text>
|
|
<a xmlns:xlink="http://www.w3.org/1999/xlink"
|
|
xlink:href="#query"
|
|
xlink:title="query">
|
|
<rect x="315" y="91" width="56" height="32"/>
|
|
<rect x="313" y="89" width="56" height="32" class="nonterminal"/>
|
|
<text class="nonterminal" x="323" y="109">query</text>
|
|
</a>
|
|
<rect x="391" y="91" width="28" height="32" rx="10"/>
|
|
<rect x="389"
|
|
y="89"
|
|
width="28"
|
|
height="32"
|
|
class="terminal"
|
|
rx="10"/>
|
|
<text class="terminal" x="399" y="109">}</text>
|
|
<path class="line"
|
|
d="m17 17 h2 m0 0 h10 m46 0 h10 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 m40 -32 h10 m28 0 h10 m20 0 h10 m28 0 h10 m0 0 h10 m56 0 h10 m0 0 h10 m28 0 h10 m-192 0 h20 m172 0 h20 m-212 0 q10 0 10 10 m192 0 q0 -10 10 -10 m-202 10 v24 m192 0 v-24 m-192 24 q0 10 10 10 m172 0 q10 0 10 -10 m-182 10 h10 m90 0 h10 m0 0 h62 m-260 -44 h20 m260 0 h20 m-300 0 q10 0 10 10 m280 0 q0 -10 10 -10 m-290 10 v68 m280 0 v-68 m-280 68 q0 10 10 10 m260 0 q10 0 10 -10 m-270 10 h10 m28 0 h10 m0 0 h10 m56 0 h10 m0 0 h10 m28 0 h10 m0 0 h88 m23 -88 h-3"/>
|
|
<polygon points="545 17 553 13 553 21"/>
|
|
<polygon points="545 17 537 13 537 21"/>
|
|
</svg>
|
