X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=docs%2Fgraphics%2Fgenpeer.svg;fp=docs%2Fgraphics%2Fgenpeer.svg;h=68874286d353f89f7ec8687133bfee9f44f51387;hp=0000000000000000000000000000000000000000;hb=3f0145e38039475a1654974a45ad89c58e2e91e7;hpb=eb4888bdc6128a112847f8c8b93f94efc2bb9f54

diff --git a/docs/graphics/genpeer.svg b/docs/graphics/genpeer.svg
new file mode 100644
index 0000000..6887428
--- /dev/null
+++ b/docs/graphics/genpeer.svg
@@ -0,0 +1,3 @@
+<?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">
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="65 35 468 408" width="39pc" height="34pc" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2014-12-04 01:29:55 +0000</dc:date></metadata><defs><filter id="Shadow" filterUnits="userSpaceOnUse"><feGaussianBlur in="SourceAlpha" result="blur" stdDeviation="1.308"/><feOffset in="blur" result="offset" dx="0" dy="2"/><feFlood flood-color="black" flood-opacity=".5" result="flood"/><feComposite in="flood" in2="offset" operator="in"/></filter><font-face font-family="Helvetica" font-size="14" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Monaco" font-size="12" units-per-em="1000" underline-position="-37.597656" underline-thickness="75.683594" slope="0" x-height="560.54688" cap-height="780.27344" ascent="1e3" descent="-250" font-weight="500"><font-face-src><font-face-name name="Monaco"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="576" height="734"/><g><title>Layer 1</title><g><xl:use xl:href="#id1_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id6_Graphic" filter="url(#Shadow)"/></g><g id="id1_Graphic"><path d="M 266.75 164 L 266.75 231.5 L 262 231.5 L 271.5 254 L 281 231.5 L 276.25 231.5 L 276.25 164 Z" fill="white"/><path d="M 266.75 164 L 266.75 231.5 L 262 231.5 L 271.5 254 L 281 231.5 L 276.25 231.5 L 276.25 164 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><g id="id6_Graphic"><ellipse cx="271.5" cy="202.5" rx="46.500074" ry="19.500031" fill="white"/><ellipse cx="271.5" cy="202.5" rx="46.500074" ry="19.500031" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(239.3 194)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="4.1829102" y="14" textLength="56.03418">GenPeer</tspan></text></g><text transform="translate(133 44.125)" fill="black"><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="12" textLength="100.816406">package x.y.z;</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="28" textLength="108.01758">class MyClass {</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="44" textLength="36.00586">  ...</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="60" textLength="273.64453">  native String foo (int i, String s);</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="76" textLength="7.201172">}</tspan></text><text transform="translate(79 257.125)" fill="black"><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="12" textLength="180.0293">class JPF_x_y_z_MyClass {</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="28" textLength="36.00586">  ...</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="44" textLength="43.20703">  @MJI</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="60" textLength="108.01758">  public static</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="76" textLength="439.27148">      int foo__ILjava_lang_String__2 (MJIEnv env, int objRef,</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="92" textLength="403.26562">                                      int i, int sRef) {</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="108" textLength="187.23047">    int ref = MJIEnv.NULL;</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" fill="gray" x="0" y="124" textLength="180.0293">    // &lt;2do&gt; fill in body</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="140" textLength="108.01758">    return ref;</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="156" textLength="21.603516">  }</tspan><tspan font-family="Monaco" font-size="12" font-weight="500" x="0" y="172" textLength="7.201172">}</tspan></text><text transform="translate(93.5 147.125)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="blue" x=".21777344" y="11" textLength="48.955078">&quot;java gov</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="blue" x="48.288086" y="11" textLength="115.39453">.nasa.jpf.GenPeer x.y</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="blue" x="162.79785" y="11" textLength="213.98438">.z.MyClass &gt; JPF_x_y_z_MyClass.java&quot;</tspan></text></g></g></svg>