Skip to content
Permalink
Browse files

Update exp files.

  • Loading branch information
DarkDimius committed Nov 11, 2017
1 parent 5ece1b2 commit b6bdb955d6cf8ed422bc432d7d3715e1c36d260f
@@ -5,6 +5,6 @@ class Foo

def foo
@ivar = 2
@ivar = "ss"
@ivar = "ss" # error: pinned
end
end
@@ -5,7 +5,7 @@ subgraph "cluster_::Foo#foo" {
bb28_0 [shape = invhouse];
bb28_1 [shape = parallelogram];

bb28_0 [label = "()\n@ivar$4 = alias @ivar : Integer\n@ivar$4 = 2 : <dynamic>\n@ivar$4 = ss : <dynamic>\n<ret>$5 = return @ivar$4 : <bottom>\n<never>"];
bb28_0 [label = "()\n@ivar$4 = alias @ivar : Integer\n@ivar$4 = 2 : Integer(2)\n@ivar$4 = ss : <dynamic>\n<ret>$5 = return @ivar$4 : <bottom>\n<never>"];
bb28_0 -> bb28_1;
bb28_1 [label = "()\n<never>"];
bb28_1 -> bb28_1;
@@ -20,7 +20,7 @@
<polygon fill="none" stroke="#000000" points="16.0114,-179.5901 215,-124.089 413.9886,-179.5901 413.8028,-269.3928 16.1972,-269.3928 16.0114,-179.5901"/>
<text text-anchor="middle" x="215" y="-235.2109" font-family="Times,serif" font-size="14.00" fill="#000000">()</text>
<text text-anchor="middle" x="215" y="-221.2109" font-family="Times,serif" font-size="14.00" fill="#000000">@ivar$4 = alias @ivar : Integer</text>
<text text-anchor="middle" x="215" y="-207.2109" font-family="Times,serif" font-size="14.00" fill="#000000">@ivar$4 = 2 : &lt;dynamic&gt;</text>
<text text-anchor="middle" x="215" y="-207.2109" font-family="Times,serif" font-size="14.00" fill="#000000">@ivar$4 = 2 : Integer(2)</text>
<text text-anchor="middle" x="215" y="-193.2109" font-family="Times,serif" font-size="14.00" fill="#000000">@ivar$4 = ss : &lt;dynamic&gt;</text>
<text text-anchor="middle" x="215" y="-179.2109" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;ret&gt;$5 = return @ivar$4 : &lt;bottom&gt;</text>
<text text-anchor="middle" x="215" y="-165.2109" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;never&gt;</text>
@@ -46,4 +46,4 @@
</g>
</g>
</svg>
<!-- ruby-types:sha256: e216a70b9bb89ac5da971584b9edbe21efaf515569027413c8ad37600a6b5fad -->
<!-- ruby-types:sha256: 14508db22123d0682a1aba00b2313d4e7fd40984d4575ba45c4221762630e842 -->
@@ -53,7 +53,7 @@ subgraph "cluster_::HasLoops#correct_assignment" {
bb31_2 -> bb31_3;
bb31_2 -> bb31_4;

bb31_3 [label = "(a)\nouterLoops: 1\na = a : <dynamic>\n<always>"];
bb31_3 [label = "(a)\nouterLoops: 1\na = a : String(\"a\")\n<always>"];
bb31_3 -> bb31_2;
bb31_4 [label = "()\n<ret>$11 = nil : NilClass\n<ret>$16 = return <ret>$11 : <bottom>\n<never>"];
bb31_4 -> bb31_1;
@@ -4,11 +4,11 @@
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Title: loops.rb Pages: 1 -->
<svg width="1610pt" height="510pt"
viewBox="0.00 0.00 1610.00 510.42" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<svg width="1606pt" height="510pt"
viewBox="0.00 0.00 1606.00 510.42" 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 506.4225)">
<title>loops.rb</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-506.4225 1606,-506.4225 1606,4 -4,4"/>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-506.4225 1602,-506.4225 1602,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_::HasLoops#variable_only_inside_loop</title>
<polygon fill="none" stroke="#0000ff" points="8,-8 8,-482.1861 514,-482.1861 514,-8 8,-8"/>
@@ -21,8 +21,8 @@
</g>
<g id="clust3" class="cluster">
<title>cluster_::HasLoops#correct_assignment</title>
<polygon fill="none" stroke="#0000ff" points="1058,-8 1058,-494.4225 1594,-494.4225 1594,-8 1058,-8"/>
<text text-anchor="middle" x="1326" y="-479.2225" font-family="Times,serif" font-size="14.00" fill="#000000">::HasLoops#correct_assignment</text>
<polygon fill="none" stroke="#0000ff" points="1058,-8 1058,-494.4225 1590,-494.4225 1590,-8 1058,-8"/>
<text text-anchor="middle" x="1324" y="-479.2225" font-family="Times,serif" font-size="14.00" fill="#000000">::HasLoops#correct_assignment</text>
</g>
<!-- bb27_0 -->
<g id="node1" class="node">
@@ -205,58 +205,58 @@
<!-- bb31_1 -->
<g id="node12" class="node">
<title>bb31_1</title>
<polygon fill="none" stroke="#000000" points="1484.3844,-88 1380.3724,-88 1353.6156,-16 1457.6276,-16 1484.3844,-88"/>
<text text-anchor="middle" x="1419" y="-54.8" font-family="Times,serif" font-size="14.00" fill="#000000">()</text>
<text text-anchor="middle" x="1419" y="-40.8" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;never&gt;</text>
<polygon fill="none" stroke="#000000" points="1480.3844,-88 1376.3724,-88 1349.6156,-16 1453.6276,-16 1480.3844,-88"/>
<text text-anchor="middle" x="1415" y="-54.8" font-family="Times,serif" font-size="14.00" fill="#000000">()</text>
<text text-anchor="middle" x="1415" y="-40.8" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;never&gt;</text>
</g>
<!-- bb31_1&#45;&gt;bb31_1 -->
<g id="edge14" class="edge">
<title>bb31_1&#45;&gt;bb31_1</title>
<path fill="none" stroke="#000000" d="M1479.1996,-73.1646C1492.503,-71.1759 1502.1919,-64.1211 1502.1919,-52 1502.1919,-38.3036 1489.8209,-31.0759 1473.8428,-30.3168"/>
<polygon fill="#000000" stroke="#000000" points="1473.3773,-26.8309 1463.5064,-30.6801 1473.6232,-33.8266 1473.3773,-26.8309"/>
<path fill="none" stroke="#000000" d="M1475.1996,-73.1646C1488.503,-71.1759 1498.1919,-64.1211 1498.1919,-52 1498.1919,-38.3036 1485.8209,-31.0759 1469.8428,-30.3168"/>
<polygon fill="#000000" stroke="#000000" points="1469.3773,-26.8309 1459.5064,-30.6801 1469.6232,-33.8266 1469.3773,-26.8309"/>
</g>
<!-- bb31_3 -->
<g id="node14" class="node">
<title>bb31_3</title>
<ellipse fill="none" stroke="#000000" cx="1150" cy="-169.2548" rx="83.6756" ry="45.011"/>
<text text-anchor="middle" x="1150" y="-186.0548" font-family="Times,serif" font-size="14.00" fill="#000000">(a)</text>
<text text-anchor="middle" x="1150" y="-172.0548" font-family="Times,serif" font-size="14.00" fill="#000000">outerLoops: 1</text>
<text text-anchor="middle" x="1150" y="-158.0548" font-family="Times,serif" font-size="14.00" fill="#000000">a = a : &lt;dynamic&gt;</text>
<text text-anchor="middle" x="1150" y="-144.0548" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;always&gt;</text>
<ellipse fill="none" stroke="#000000" cx="1148" cy="-169.2548" rx="81.712" ry="45.011"/>
<text text-anchor="middle" x="1148" y="-186.0548" font-family="Times,serif" font-size="14.00" fill="#000000">(a)</text>
<text text-anchor="middle" x="1148" y="-172.0548" font-family="Times,serif" font-size="14.00" fill="#000000">outerLoops: 1</text>
<text text-anchor="middle" x="1148" y="-158.0548" font-family="Times,serif" font-size="14.00" fill="#000000">a = a : String(&quot;a&quot;)</text>
<text text-anchor="middle" x="1148" y="-144.0548" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;always&gt;</text>
</g>
<!-- bb31_2&#45;&gt;bb31_3 -->
<g id="edge15" class="edge">
<title>bb31_2&#45;&gt;bb31_3</title>
<path fill="none" stroke="#000000" d="M1200.1001,-251.5176C1193.0672,-241.7202 1185.808,-231.2522 1179.056,-221.1803"/>
<polygon fill="#000000" stroke="#000000" points="1181.9651,-219.2341 1173.5199,-212.8366 1176.1323,-223.1043 1181.9651,-219.2341"/>
<path fill="none" stroke="#000000" d="M1199.4006,-251.5176C1192.2128,-241.7202 1184.7881,-231.2522 1177.8769,-221.1803"/>
<polygon fill="#000000" stroke="#000000" points="1180.7233,-219.1417 1172.2088,-212.8366 1174.933,-223.0752 1180.7233,-219.1417"/>
</g>
<!-- bb31_4 -->
<g id="node15" class="node">
<title>bb31_4</title>
<ellipse fill="none" stroke="#000000" cx="1419" cy="-169.2548" rx="167.3482" ry="45.011"/>
<text text-anchor="middle" x="1419" y="-186.0548" font-family="Times,serif" font-size="14.00" fill="#000000">()</text>
<text text-anchor="middle" x="1419" y="-172.0548" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;ret&gt;$11 = nil : NilClass</text>
<text text-anchor="middle" x="1419" y="-158.0548" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;ret&gt;$16 = return &lt;ret&gt;$11 : &lt;bottom&gt;</text>
<text text-anchor="middle" x="1419" y="-144.0548" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;never&gt;</text>
<ellipse fill="none" stroke="#000000" cx="1415" cy="-169.2548" rx="167.3482" ry="45.011"/>
<text text-anchor="middle" x="1415" y="-186.0548" font-family="Times,serif" font-size="14.00" fill="#000000">()</text>
<text text-anchor="middle" x="1415" y="-172.0548" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;ret&gt;$11 = nil : NilClass</text>
<text text-anchor="middle" x="1415" y="-158.0548" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;ret&gt;$16 = return &lt;ret&gt;$11 : &lt;bottom&gt;</text>
<text text-anchor="middle" x="1415" y="-144.0548" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;never&gt;</text>
</g>
<!-- bb31_2&#45;&gt;bb31_4 -->
<g id="edge16" class="edge">
<title>bb31_2&#45;&gt;bb31_4</title>
<path fill="none" stroke="#000000" d="M1298.1097,-253.2867C1314.7051,-241.7511 1332.7924,-229.1784 1349.8003,-217.3561"/>
<polygon fill="#000000" stroke="#000000" points="1351.8381,-220.2021 1358.0516,-211.6205 1347.8428,-214.4543 1351.8381,-220.2021"/>
<path fill="none" stroke="#000000" d="M1296.7666,-253.2867C1312.8497,-241.856 1330.3656,-229.4069 1346.8673,-217.6787"/>
<polygon fill="#000000" stroke="#000000" points="1349.2677,-220.2666 1355.3911,-211.6205 1345.2125,-214.5609 1349.2677,-220.2666"/>
</g>
<!-- bb31_3&#45;&gt;bb31_2 -->
<g id="edge17" class="edge">
<title>bb31_3&#45;&gt;bb31_2</title>
<path fill="none" stroke="#000000" d="M1184.8742,-210.6898C1192.1992,-220.8217 1199.8511,-231.8049 1206.9828,-242.4076"/>
<polygon fill="#000000" stroke="#000000" points="1204.119,-244.4218 1212.5746,-250.8057 1209.9456,-240.5422 1204.119,-244.4218"/>
<path fill="none" stroke="#000000" d="M1183.2201,-210.2716C1190.777,-220.4897 1198.6938,-231.595 1206.0756,-242.3152"/>
<polygon fill="#000000" stroke="#000000" points="1203.339,-244.5146 1211.8638,-250.8057 1209.1229,-240.5716 1203.339,-244.5146"/>
</g>
<!-- bb31_4&#45;&gt;bb31_1 -->
<g id="edge18" class="edge">
<title>bb31_4&#45;&gt;bb31_1</title>
<path fill="none" stroke="#000000" d="M1419,-123.9211C1419,-115.4909 1419,-106.6737 1419,-98.2175"/>
<polygon fill="#000000" stroke="#000000" points="1422.5001,-98.132 1419,-88.1321 1415.5001,-98.1321 1422.5001,-98.132"/>
<path fill="none" stroke="#000000" d="M1415,-123.9211C1415,-115.4909 1415,-106.6737 1415,-98.2175"/>
<polygon fill="#000000" stroke="#000000" points="1418.5001,-98.132 1415,-88.1321 1411.5001,-98.1321 1418.5001,-98.132"/>
</g>
</g>
</svg>
<!-- ruby-types:sha256: af1a00bfbc6f6d1793268bf5d273862bd6a3b1b36095c7b73ce91789061b7ab1 -->
<!-- ruby-types:sha256: 86c4ada6fa7ab3a6ffd974b10625c7c06792540720133197e93b59c6b6f81c9a -->

0 comments on commit b6bdb95

Please sign in to comment.
You can’t perform that action at this time.