Skip to content

Instantly share code, notes, and snippets.

@nikomatsakis

nikomatsakis/gist:3208238

Created July 30, 2012 16:29
Show Gist options
  • Save nikomatsakis/3208238 to your computer and use it in GitHub Desktop.
Save nikomatsakis/3208238 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.html
<body>
<div style="width:100%">
<svg version="1.1" xmlns="http://www.w3.org/2000/svg"
xmlns:xlink="http://www.w3.org/1999/xlink">
<!-- automatically generated by aafigure -->
<text x="98.0" y="25.9" font-family="monospace" font-size="14.0" fill="#000000" >
A
</text>
<text x="434.0" y="25.9" font-family="monospace" font-size="14.0" fill="#000000" >
B
</text>
<text x="98.0" y="53.9" font-family="monospace" font-size="14.0" fill="#000000" >
f
</text>
<text x="266.0" y="53.9" font-family="monospace" font-size="14.0" fill="#000000" >
int
</text>
<text x="434.0" y="53.9" font-family="monospace" font-size="14.0" fill="#000000" >
g
</text>
<line x1="77.0" y1="7.0" x2="161.0" y2="7.0" stroke="#000000" stroke-width="2.0" />
<line x1="413.0" y1="7.0" x2="497.0" y2="7.0" stroke="#000000" stroke-width="2.0" />
<line x1="77.0" y1="7.0" x2="77.0" y2="35.0" stroke="#000000" stroke-width="2.0" />
<line x1="161.0" y1="7.0" x2="161.0" y2="35.0" stroke="#000000" stroke-width="2.0" />
<line x1="413.0" y1="7.0" x2="413.0" y2="35.0" stroke="#000000" stroke-width="2.0" />
<line x1="497.0" y1="7.0" x2="497.0" y2="35.0" stroke="#000000" stroke-width="2.0" />
<line x1="77.0" y1="35.0" x2="161.0" y2="35.0" stroke="#000000" stroke-width="2.0" />
<path d="M245.0,42.0 C245.0,38.7001683545 248.700168354,35.0 252.0,35.0" fill="none" stroke="#000000" stroke-width="2.0" />
<line x1="252.0" y1="35.0" x2="350.0" y2="35.0" stroke="#000000" stroke-width="2.0" />
<path d="M357.0,42.0 C357.0,38.7001683545 353.299831646,35.0 350.0,35.0" fill="none" stroke="#000000" stroke-width="2.0" />
<line x1="413.0" y1="35.0" x2="497.0" y2="35.0" stroke="#000000" stroke-width="2.0" />
<path d="M581.0,42.0 C581.0,38.7001683545 584.700168354,35.0 588.0,35.0" fill="none" stroke="#000000" stroke-width="2.0" />
<line x1="588.0" y1="35.0" x2="658.0" y2="35.0" stroke="#000000" stroke-width="2.0" />
<path d="M665.0,42.0 C665.0,38.7001683545 661.299831646,35.0 658.0,35.0" fill="none" stroke="#000000" stroke-width="2.0" />
<line x1="77.0" y1="35.0" x2="77.0" y2="63.0" stroke="#000000" stroke-width="2.0" />
<line x1="161.0" y1="35.0" x2="161.0" y2="63.0" stroke="#000000" stroke-width="2.0" />
<g>
<line x1="238.0" y1="49.0" x2="227.5" y2="52.5" stroke="#000000" stroke-width="2.0" />
<line x1="238.0" y1="49.0" x2="227.5" y2="45.5" stroke="#000000" stroke-width="2.0" />
<line x1="168.0" y1="49.0" x2="238.0" y2="49.0" stroke="#000000" stroke-width="2.0" />
</g>
<line x1="245.0" y1="42.0" x2="245.0" y2="56.0" stroke="#000000" stroke-width="2.0" />
<line x1="357.0" y1="42.0" x2="357.0" y2="56.0" stroke="#000000" stroke-width="2.0" />
<line x1="413.0" y1="35.0" x2="413.0" y2="63.0" stroke="#000000" stroke-width="2.0" />
<line x1="497.0" y1="35.0" x2="497.0" y2="63.0" stroke="#000000" stroke-width="2.0" />
<g>
<line x1="574.0" y1="49.0" x2="563.5" y2="52.5" stroke="#000000" stroke-width="2.0" />
<line x1="574.0" y1="49.0" x2="563.5" y2="45.5" stroke="#000000" stroke-width="2.0" />
<line x1="504.0" y1="49.0" x2="574.0" y2="49.0" stroke="#000000" stroke-width="2.0" />
</g>
<line x1="581.0" y1="42.0" x2="581.0" y2="56.0" stroke="#000000" stroke-width="2.0" />
<line x1="665.0" y1="42.0" x2="665.0" y2="56.0" stroke="#000000" stroke-width="2.0" />
<line x1="77.0" y1="63.0" x2="161.0" y2="63.0" stroke="#000000" stroke-width="2.0" />
<path d="M245.0,56.0 C245.0,59.2998316455 248.700168354,63.0 252.0,63.0" fill="none" stroke="#000000" stroke-width="2.0" />
<line x1="252.0" y1="63.0" x2="350.0" y2="63.0" stroke="#000000" stroke-width="2.0" />
<path d="M357.0,56.0 C357.0,59.2998316455 353.299831646,63.0 350.0,63.0" fill="none" stroke="#000000" stroke-width="2.0" />
<line x1="413.0" y1="63.0" x2="497.0" y2="63.0" stroke="#000000" stroke-width="2.0" />
<path d="M581.0,56.0 C581.0,59.2998316455 584.700168354,63.0 588.0,63.0" fill="none" stroke="#000000" stroke-width="2.0" />
<line x1="588.0" y1="63.0" x2="658.0" y2="63.0" stroke="#000000" stroke-width="2.0" />
<path d="M665.0,56.0 C665.0,59.2998316455 661.299831646,63.0 658.0,63.0" fill="none" stroke="#000000" stroke-width="2.0" />
<line x1="623.0" y1="70.0" x2="623.0" y2="105.0" stroke="#000000" stroke-width="2.0" />
<g>
<line x1="119.0" y1="70.0" x2="122.5" y2="80.5" stroke="#000000" stroke-width="2.0" />
<line x1="119.0" y1="70.0" x2="115.5" y2="80.5" stroke="#000000" stroke-width="2.0" />
<line x1="119.0" y1="70.0" x2="119.0" y2="105.0" stroke="#000000" stroke-width="2.0" />
</g>
<line x1="119.0" y1="105.0" x2="623.0" y2="105.0" stroke="#000000" stroke-width="2.0" />
</svg>
</div>
</body>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment