Rust编写的JavaScript引擎,该项目是一个试验性质的项目。
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 

333 lines
18 KiB

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 7.0.1 (0)
-->
<!-- Pages: 1 -->
<svg width="2868pt" height="197pt"
viewBox="0.00 0.00 2867.57 197.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 193)">
<polygon fill="white" stroke="none" points="-4,4 -4,-193 2863.57,-193 2863.57,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster___main__</title>
<polygon fill="lightgrey" stroke="black" points="8,-8 8,-181 2851.57,-181 2851.57,-8 8,-8"/>
<text text-anchor="middle" x="1429.79" y="-165.8" font-family="Times,serif" font-size="14.00">__main__</text>
</g>
<!-- __main___start -->
<g id="node1" class="node">
<title>__main___start</title>
<polygon fill="green" stroke="green" points="54.6,-108 15.9,-90 54.6,-72 93.31,-90 54.6,-108"/>
<polyline fill="none" stroke="green" points="26.78,-95.06 26.78,-84.94"/>
<polyline fill="none" stroke="green" points="43.72,-77.06 65.49,-77.06"/>
<polyline fill="none" stroke="green" points="82.43,-84.94 82.43,-95.06"/>
<polyline fill="none" stroke="green" points="65.49,-102.94 43.72,-102.94"/>
<text text-anchor="middle" x="54.6" y="-86.3" font-family="Times,serif" font-size="14.00">Start</text>
</g>
<!-- __main___i_0 -->
<g id="node2" class="node">
<title>__main___i_0</title>
<polygon fill="none" stroke="black" points="130.21,-72 130.21,-108 240.21,-108 240.21,-72 130.21,-72"/>
<text text-anchor="middle" x="185.21" y="-86.3" font-family="Times,serif" font-size="14.00">0000: PushInt8 3</text>
</g>
<!-- __main___start&#45;&gt;__main___i_0 -->
<g id="edge1" class="edge">
<title>__main___start&#45;&gt;__main___i_0</title>
<path fill="none" stroke="black" d="M94.19,-90C102.02,-90 110.47,-90 118.93,-90"/>
<polygon fill="black" stroke="black" points="118.92,-93.5 128.92,-90 118.92,-86.5 118.92,-93.5"/>
</g>
<!-- __main___i_2 -->
<g id="node3" class="node">
<title>__main___i_2</title>
<polygon fill="none" stroke="black" points="277.21,-72 277.21,-108 397.21,-108 397.21,-72 277.21,-72"/>
<text text-anchor="middle" x="337.21" y="-86.3" font-family="Times,serif" font-size="14.00">0002: DefInitLet &#39;i&#39;</text>
</g>
<!-- __main___i_0&#45;&gt;__main___i_2 -->
<g id="edge2" class="edge">
<title>__main___i_0&#45;&gt;__main___i_2</title>
<path fill="none" stroke="black" d="M239.94,-90C248.36,-90 257.16,-90 265.88,-90"/>
<polygon fill="black" stroke="black" points="265.75,-93.5 275.75,-90 265.75,-86.5 265.75,-93.5"/>
</g>
<!-- __main___i_7 -->
<g id="node4" class="node">
<title>__main___i_7</title>
<polygon fill="none" stroke="black" points="434.21,-72 434.21,-108 550.21,-108 550.21,-72 434.21,-72"/>
<text text-anchor="middle" x="492.21" y="-86.3" font-family="Times,serif" font-size="14.00">0007: GetName &#39;i&#39;</text>
</g>
<!-- __main___i_2&#45;&gt;__main___i_7 -->
<g id="edge3" class="edge">
<title>__main___i_2&#45;&gt;__main___i_7</title>
<path fill="none" stroke="black" d="M396.93,-90C405.48,-90 414.35,-90 423.07,-90"/>
<polygon fill="black" stroke="black" points="422.9,-93.5 432.9,-90 422.9,-86.5 422.9,-93.5"/>
</g>
<!-- __main___i_12 -->
<g id="node5" class="node">
<title>__main___i_12</title>
<polygon fill="none" stroke="black" points="587.21,-72 587.21,-108 703.21,-108 703.21,-72 587.21,-72"/>
<text text-anchor="middle" x="645.21" y="-86.3" font-family="Times,serif" font-size="14.00">0012: PushInt8 10</text>
</g>
<!-- __main___i_7&#45;&gt;__main___i_12 -->
<g id="edge4" class="edge">
<title>__main___i_7&#45;&gt;__main___i_12</title>
<path fill="none" stroke="black" d="M549.87,-90C558.36,-90 567.2,-90 575.9,-90"/>
<polygon fill="black" stroke="black" points="575.72,-93.5 585.72,-90 575.72,-86.5 575.72,-93.5"/>
</g>
<!-- __main___i_14 -->
<g id="node6" class="node">
<title>__main___i_14</title>
<polygon fill="none" stroke="black" points="740.21,-72 740.21,-108 844.21,-108 844.21,-72 740.21,-72"/>
<text text-anchor="middle" x="792.21" y="-86.3" font-family="Times,serif" font-size="14.00">0014: LessThan</text>
</g>
<!-- __main___i_12&#45;&gt;__main___i_14 -->
<g id="edge5" class="edge">
<title>__main___i_12&#45;&gt;__main___i_14</title>
<path fill="none" stroke="black" d="M703.1,-90C711.71,-90 720.62,-90 729.33,-90"/>
<polygon fill="black" stroke="black" points="729.09,-93.5 739.09,-90 729.09,-86.5 729.09,-93.5"/>
</g>
<!-- __main___i_15 -->
<g id="node7" class="node">
<title>__main___i_15</title>
<polygon fill="none" stroke="black" points="1006.21,-108 881.2,-90 1006.21,-72 1131.23,-90 1006.21,-108"/>
<text text-anchor="middle" x="1006.21" y="-86.3" font-family="Times,serif" font-size="14.00">0015: JumpIfFalse 53</text>
</g>
<!-- __main___i_14&#45;&gt;__main___i_15 -->
<g id="edge6" class="edge">
<title>__main___i_14&#45;&gt;__main___i_15</title>
<path fill="none" stroke="black" d="M843.99,-90C851.15,-90 858.78,-90 866.67,-90"/>
<polygon fill="black" stroke="black" points="866.47,-93.5 876.47,-90 866.47,-86.5 866.47,-93.5"/>
</g>
<!-- __main___i_20 -->
<g id="node8" class="node">
<title>__main___i_20</title>
<polygon fill="#48f379" stroke="#48f379" points="1193.22,-45 1193.22,-81 1429.22,-81 1429.22,-45 1193.22,-45"/>
<text text-anchor="middle" x="1311.22" y="-59.3" font-family="Times,serif" font-size="14.00">0020: PushDeclarativeEnvironment 0, 0</text>
</g>
<!-- __main___i_15&#45;&gt;__main___i_20 -->
<g id="edge8" class="edge">
<title>__main___i_15&#45;&gt;__main___i_20</title>
<path fill="none" stroke="red" d="M1081.63,-82.41C1103.41,-80.26 1127.26,-77.97 1149.22,-76 1159.9,-75.04 1170.99,-74.08 1182.12,-73.14"/>
<polygon fill="red" stroke="red" points="1182.07,-76.65 1191.74,-72.33 1181.48,-69.68 1182.07,-76.65"/>
<text text-anchor="middle" x="1162.22" y="-79.8" font-family="Times,serif" font-size="14.00">NO</text>
</g>
<!-- __main___i_53 -->
<g id="node17" class="node">
<title>__main___i_53</title>
<polygon fill="#6148f3" stroke="#6148f3" points="1193.22,-100 1193.22,-136 1429.22,-136 1429.22,-100 1193.22,-100"/>
<text text-anchor="middle" x="1311.22" y="-114.3" font-family="Times,serif" font-size="14.00">0053: PushDeclarativeEnvironment 0, 1</text>
</g>
<!-- __main___i_15&#45;&gt;__main___i_53 -->
<g id="edge7" class="edge">
<title>__main___i_15&#45;&gt;__main___i_53</title>
<path fill="none" stroke="green" d="M1084.85,-97.17C1114.47,-99.91 1149.07,-103.11 1182.15,-106.17"/>
<polygon fill="green" stroke="green" points="1181.51,-109.62 1191.79,-107.06 1182.15,-102.65 1181.51,-109.62"/>
<text text-anchor="middle" x="1162.22" y="-107.8" font-family="Times,serif" font-size="14.00">YES</text>
</g>
<!-- __main___i_29 -->
<g id="node9" class="node">
<title>__main___i_29</title>
<polygon fill="none" stroke="black" points="1466.22,-17 1466.22,-53 1603.22,-53 1603.22,-17 1466.22,-17"/>
<text text-anchor="middle" x="1534.72" y="-31.3" font-family="Times,serif" font-size="14.00">0029: GetName &#39;print&#39;</text>
</g>
<!-- __main___i_20&#45;&gt;__main___i_29 -->
<g id="edge9" class="edge">
<title>__main___i_20&#45;&gt;__main___i_29</title>
<path fill="none" stroke="black" d="M1429.13,-48.22C1437.93,-47.11 1446.67,-46 1455.14,-44.93"/>
<polygon fill="black" stroke="black" points="1455.51,-48.41 1464.99,-43.69 1454.63,-41.47 1455.51,-48.41"/>
</g>
<!-- __main___i_34 -->
<g id="node10" class="node">
<title>__main___i_34</title>
<polygon fill="none" stroke="black" points="1640.22,-17 1640.22,-53 1774.22,-53 1774.22,-17 1640.22,-17"/>
<text text-anchor="middle" x="1707.22" y="-31.3" font-family="Times,serif" font-size="14.00">0034: PushUndefined</text>
</g>
<!-- __main___i_29&#45;&gt;__main___i_34 -->
<g id="edge10" class="edge">
<title>__main___i_29&#45;&gt;__main___i_34</title>
<path fill="none" stroke="black" d="M1603.11,-35C1611.65,-35 1620.44,-35 1629.12,-35"/>
<polygon fill="black" stroke="black" points="1628.92,-38.5 1638.92,-35 1628.92,-31.5 1628.92,-38.5"/>
</g>
<!-- __main___i_35 -->
<g id="node11" class="node">
<title>__main___i_35</title>
<polygon fill="none" stroke="black" points="1811.22,-17 1811.22,-53 1892.22,-53 1892.22,-17 1811.22,-17"/>
<text text-anchor="middle" x="1851.72" y="-31.3" font-family="Times,serif" font-size="14.00">0035: Swap</text>
</g>
<!-- __main___i_34&#45;&gt;__main___i_35 -->
<g id="edge11" class="edge">
<title>__main___i_34&#45;&gt;__main___i_35</title>
<path fill="none" stroke="black" d="M1774.05,-35C1782.87,-35 1791.81,-35 1800.31,-35"/>
<polygon fill="black" stroke="black" points="1800.07,-38.5 1810.07,-35 1800.07,-31.5 1800.07,-38.5"/>
</g>
<!-- __main___i_36 -->
<g id="node12" class="node">
<title>__main___i_36</title>
<polygon fill="none" stroke="black" points="1929.22,-17 1929.22,-53 2045.22,-53 2045.22,-17 1929.22,-17"/>
<text text-anchor="middle" x="1987.22" y="-31.3" font-family="Times,serif" font-size="14.00">0036: GetName &#39;i&#39;</text>
</g>
<!-- __main___i_35&#45;&gt;__main___i_36 -->
<g id="edge12" class="edge">
<title>__main___i_35&#45;&gt;__main___i_36</title>
<path fill="none" stroke="black" d="M1892.05,-35C1900.27,-35 1909.16,-35 1918.09,-35"/>
<polygon fill="black" stroke="black" points="1917.85,-38.5 1927.85,-35 1917.85,-31.5 1917.85,-38.5"/>
</g>
<!-- __main___i_41 -->
<g id="node13" class="node">
<title>__main___i_41</title>
<polygon fill="none" stroke="black" points="2082.22,-17 2082.22,-53 2166.22,-53 2166.22,-17 2082.22,-17"/>
<text text-anchor="middle" x="2124.22" y="-31.3" font-family="Times,serif" font-size="14.00">0041: Call 1</text>
</g>
<!-- __main___i_36&#45;&gt;__main___i_41 -->
<g id="edge13" class="edge">
<title>__main___i_36&#45;&gt;__main___i_41</title>
<path fill="none" stroke="black" d="M2045.08,-35C2053.7,-35 2062.56,-35 2071.07,-35"/>
<polygon fill="black" stroke="black" points="2070.9,-38.5 2080.9,-35 2070.9,-31.5 2070.9,-38.5"/>
</g>
<!-- __main___i_46 -->
<g id="node14" class="node">
<title>__main___i_46</title>
<polygon fill="none" stroke="black" points="2203.22,-17 2203.22,-53 2275.22,-53 2275.22,-17 2203.22,-17"/>
<text text-anchor="middle" x="2239.22" y="-31.3" font-family="Times,serif" font-size="14.00">0046: Pop</text>
</g>
<!-- __main___i_41&#45;&gt;__main___i_46 -->
<g id="edge14" class="edge">
<title>__main___i_41&#45;&gt;__main___i_46</title>
<path fill="none" stroke="black" d="M2166.02,-35C2174.45,-35 2183.39,-35 2191.99,-35"/>
<polygon fill="black" stroke="black" points="2191.94,-38.5 2201.94,-35 2191.94,-31.5 2191.94,-38.5"/>
</g>
<!-- __main___i_47 -->
<g id="node15" class="node">
<title>__main___i_47</title>
<polygon fill="#48f379" stroke="#48f379" points="2312.22,-50 2312.22,-86 2455.22,-86 2455.22,-50 2312.22,-50"/>
<text text-anchor="middle" x="2383.72" y="-64.3" font-family="Times,serif" font-size="14.00">0047: PopEnvironment</text>
</g>
<!-- __main___i_46&#45;&gt;__main___i_47 -->
<g id="edge15" class="edge">
<title>__main___i_46&#45;&gt;__main___i_47</title>
<path fill="none" stroke="black" d="M2275.08,-43.07C2283.1,-44.93 2291.97,-46.98 2301.07,-49.09"/>
<polygon fill="black" stroke="black" points="2300.24,-52.49 2310.77,-51.34 2301.82,-45.67 2300.24,-52.49"/>
</g>
<!-- __main___i_47&#45;&gt;__main___i_20 -->
<g id="edge17" class="edge">
<title>__main___i_47&#45;&gt;__main___i_20</title>
<path fill="none" stroke="#48f379" stroke-dasharray="1,5" d="M2312.43,-71.45C2289.42,-72.31 2263.74,-73 2240.22,-73 1533.72,-73 1533.72,-73 1533.72,-73 1499.75,-73 1462.88,-71.81 1429.14,-70.25"/>
</g>
<!-- __main___i_48 -->
<g id="node16" class="node">
<title>__main___i_48</title>
<polygon fill="none" stroke="black" points="2582.3,-97 2492.14,-79 2582.3,-61 2672.45,-79 2582.3,-97"/>
<text text-anchor="middle" x="2582.3" y="-75.3" font-family="Times,serif" font-size="14.00">0048: Jump 78</text>
</g>
<!-- __main___i_47&#45;&gt;__main___i_48 -->
<g id="edge16" class="edge">
<title>__main___i_47&#45;&gt;__main___i_48</title>
<path fill="none" stroke="black" d="M2455.13,-71.94C2469.13,-72.72 2483.95,-73.55 2498.32,-74.36"/>
<polygon fill="black" stroke="black" points="2498.03,-77.85 2508.21,-74.91 2498.42,-70.86 2498.03,-77.85"/>
</g>
<!-- __main___i_78 -->
<g id="node25" class="node">
<title>__main___i_78</title>
<polygon fill="red" stroke="red" points="2776.47,-118 2709.28,-100 2776.47,-82 2843.67,-100 2776.47,-118"/>
<text text-anchor="middle" x="2776.47" y="-96.3" font-family="Times,serif" font-size="14.00">0078: End</text>
</g>
<!-- __main___i_48&#45;&gt;__main___i_78 -->
<g id="edge18" class="edge">
<title>__main___i_48&#45;&gt;__main___i_78</title>
<path fill="none" stroke="black" d="M2642.52,-85.47C2665.93,-88.03 2692.78,-90.96 2716.2,-93.52"/>
<polygon fill="black" stroke="black" points="2715.56,-96.97 2725.88,-94.58 2716.32,-90.02 2715.56,-96.97"/>
</g>
<!-- __main___i_62 -->
<g id="node18" class="node">
<title>__main___i_62</title>
<polygon fill="none" stroke="black" points="1466.22,-93 1466.22,-129 1603.22,-129 1603.22,-93 1466.22,-93"/>
<text text-anchor="middle" x="1534.72" y="-107.3" font-family="Times,serif" font-size="14.00">0062: GetName &#39;print&#39;</text>
</g>
<!-- __main___i_53&#45;&gt;__main___i_62 -->
<g id="edge19" class="edge">
<title>__main___i_53&#45;&gt;__main___i_62</title>
<path fill="none" stroke="black" d="M1429.13,-114.31C1437.93,-114.03 1446.67,-113.75 1455.14,-113.48"/>
<polygon fill="black" stroke="black" points="1455.09,-116.99 1464.98,-113.17 1454.87,-109.99 1455.09,-116.99"/>
</g>
<!-- __main___i_67 -->
<g id="node19" class="node">
<title>__main___i_67</title>
<polygon fill="none" stroke="black" points="1640.22,-93 1640.22,-129 1774.22,-129 1774.22,-93 1640.22,-93"/>
<text text-anchor="middle" x="1707.22" y="-107.3" font-family="Times,serif" font-size="14.00">0067: PushUndefined</text>
</g>
<!-- __main___i_62&#45;&gt;__main___i_67 -->
<g id="edge20" class="edge">
<title>__main___i_62&#45;&gt;__main___i_67</title>
<path fill="none" stroke="black" d="M1603.11,-111C1611.65,-111 1620.44,-111 1629.12,-111"/>
<polygon fill="black" stroke="black" points="1628.92,-114.5 1638.92,-111 1628.92,-107.5 1628.92,-114.5"/>
</g>
<!-- __main___i_68 -->
<g id="node20" class="node">
<title>__main___i_68</title>
<polygon fill="none" stroke="black" points="1811.22,-93 1811.22,-129 1892.22,-129 1892.22,-93 1811.22,-93"/>
<text text-anchor="middle" x="1851.72" y="-107.3" font-family="Times,serif" font-size="14.00">0068: Swap</text>
</g>
<!-- __main___i_67&#45;&gt;__main___i_68 -->
<g id="edge21" class="edge">
<title>__main___i_67&#45;&gt;__main___i_68</title>
<path fill="none" stroke="black" d="M1774.05,-111C1782.87,-111 1791.81,-111 1800.31,-111"/>
<polygon fill="black" stroke="black" points="1800.07,-114.5 1810.07,-111 1800.07,-107.5 1800.07,-114.5"/>
</g>
<!-- __main___i_69 -->
<g id="node21" class="node">
<title>__main___i_69</title>
<polygon fill="none" stroke="black" points="1929.22,-93 1929.22,-129 2045.22,-129 2045.22,-93 1929.22,-93"/>
<text text-anchor="middle" x="1987.22" y="-107.3" font-family="Times,serif" font-size="14.00">0069: PushInt8 10</text>
</g>
<!-- __main___i_68&#45;&gt;__main___i_69 -->
<g id="edge22" class="edge">
<title>__main___i_68&#45;&gt;__main___i_69</title>
<path fill="none" stroke="black" d="M1892.05,-111C1900.27,-111 1909.16,-111 1918.09,-111"/>
<polygon fill="black" stroke="black" points="1917.85,-114.5 1927.85,-111 1917.85,-107.5 1917.85,-114.5"/>
</g>
<!-- __main___i_71 -->
<g id="node22" class="node">
<title>__main___i_71</title>
<polygon fill="none" stroke="black" points="2082.22,-93 2082.22,-129 2166.22,-129 2166.22,-93 2082.22,-93"/>
<text text-anchor="middle" x="2124.22" y="-107.3" font-family="Times,serif" font-size="14.00">0071: Call 1</text>
</g>
<!-- __main___i_69&#45;&gt;__main___i_71 -->
<g id="edge23" class="edge">
<title>__main___i_69&#45;&gt;__main___i_71</title>
<path fill="none" stroke="black" d="M2045.08,-111C2053.7,-111 2062.56,-111 2071.07,-111"/>
<polygon fill="black" stroke="black" points="2070.9,-114.5 2080.9,-111 2070.9,-107.5 2070.9,-114.5"/>
</g>
<!-- __main___i_76 -->
<g id="node23" class="node">
<title>__main___i_76</title>
<polygon fill="none" stroke="black" points="2203.22,-93 2203.22,-129 2275.22,-129 2275.22,-93 2203.22,-93"/>
<text text-anchor="middle" x="2239.22" y="-107.3" font-family="Times,serif" font-size="14.00">0076: Pop</text>
</g>
<!-- __main___i_71&#45;&gt;__main___i_76 -->
<g id="edge24" class="edge">
<title>__main___i_71&#45;&gt;__main___i_76</title>
<path fill="none" stroke="black" d="M2166.02,-111C2174.45,-111 2183.39,-111 2191.99,-111"/>
<polygon fill="black" stroke="black" points="2191.94,-114.5 2201.94,-111 2191.94,-107.5 2191.94,-114.5"/>
</g>
<!-- __main___i_77 -->
<g id="node24" class="node">
<title>__main___i_77</title>
<polygon fill="#6148f3" stroke="#6148f3" points="2312.22,-105 2312.22,-141 2455.22,-141 2455.22,-105 2312.22,-105"/>
<text text-anchor="middle" x="2383.72" y="-119.3" font-family="Times,serif" font-size="14.00">0077: PopEnvironment</text>
</g>
<!-- __main___i_76&#45;&gt;__main___i_77 -->
<g id="edge25" class="edge">
<title>__main___i_76&#45;&gt;__main___i_77</title>
<path fill="none" stroke="black" d="M2275.08,-113.94C2283.02,-114.6 2291.78,-115.34 2300.77,-116.1"/>
<polygon fill="black" stroke="black" points="2300.48,-119.59 2310.73,-116.94 2301.06,-112.61 2300.48,-119.59"/>
</g>
<!-- __main___i_77&#45;&gt;__main___i_53 -->
<g id="edge27" class="edge">
<title>__main___i_77&#45;&gt;__main___i_53</title>
<path fill="none" stroke="#6148f3" stroke-dasharray="1,5" d="M2312.51,-140.99C2289.62,-145.46 2263.98,-149 2240.22,-149 1533.72,-149 1533.72,-149 1533.72,-149 1489.36,-149 1440.47,-142.83 1399.94,-135.99"/>
</g>
<!-- __main___i_77&#45;&gt;__main___i_78 -->
<g id="edge26" class="edge">
<title>__main___i_77&#45;&gt;__main___i_78</title>
<path fill="none" stroke="black" d="M2455.03,-118.86C2526.84,-114.63 2637.53,-108.12 2708.21,-103.96"/>
<polygon fill="black" stroke="black" points="2708.35,-107.46 2718.12,-103.38 2707.93,-100.47 2708.35,-107.46"/>
</g>
</g>
</svg>