Mercurial > hg > Members > kono > jpf-core

view doc/graphics/jpf-basic.svg @ 0:61d41facf527

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
initial v8 import (history reset)
author Peter Mehlitz <Peter.C.Mehlitz@nasa.gov>
date Fri, 23 Jan 2015 10:14:01 -0800
parents
children
line wrap: on
line source

<?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="162 106 384 214" width="32pc" height="214pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2014-11-19 18:37:23 +0000</dc:date></metadata><defs><font-face font-family="Helvetica" font-size="18" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="532.22656" cap-height="719.72656" ascent="770.01953" descent="-229.98047" font-weight="bold"><font-face-src><font-face-name name="Helvetica-Bold"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="13" 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="Helvetica" font-size="14" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="-857.14286" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-style="italic" font-weight="500"><font-face-src><font-face-name name="Helvetica-Oblique"/></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="768.0188" height="588.0188"/><g><title>Layer 1</title><rect x="299.965" y="117" width="99.4872" height="56.0076" fill="#fffab4"/><rect x="299.965" y="117" width="99.4872" height="56.0076" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(304.965 134.0038)" fill="black"><tspan font-family="Helvetica" font-size="18" font-weight="bold" x="28.23774" y="18" textLength="33.011719">JPF</tspan></text><path d="M 206.06 166.232 L 206.06 123.032 C 206.06 120.0512 218.156 117.632 233.06 117.632 C 247.964 117.632 260.06 120.0512 260.06 123.032 L 260.06 166.232 C 260.06 169.2128 247.964 171.632 233.06 171.632 C 218.156 171.632 206.06 169.2128 206.06 166.232" fill="#dfdbff"/><path d="M 206.06 166.232 L 206.06 123.032 C 206.06 120.0512 218.156 117.632 233.06 117.632 C 247.964 117.632 260.06 120.0512 260.06 123.032 L 260.06 166.232 C 260.06 169.2128 247.964 171.632 233.06 171.632 C 218.156 171.632 206.06 169.2128 206.06 166.232 M 206.06 123.032 C 206.06 126.0128 218.156 128.432 233.06 128.432 C 247.964 128.432 260.06 126.0128 260.06 123.032" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(211.06 139.332)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x="2.8554688" y="13" textLength="38.289062">*.class</tspan></text><path d="M 438.51 119.263 L 510.51 119.263 L 510.51 162.463 C 488.91 157.063 460.11 178.663 438.51 167.863 Z" fill="#ffcac7"/><path d="M 438.51 119.263 L 510.51 119.263 L 510.51 162.463 C 488.91 157.063 460.11 178.663 438.51 167.863 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(443.51 135.563)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x="14.0200195" y="13" textLength="33.95996">report</tspan></text><path d="M 322.497 264.402 L 322.497 221.202 C 322.497 218.2212 334.593 215.802 349.497 215.802 C 364.401 215.802 376.497 218.2212 376.497 221.202 L 376.497 264.402 C 376.497 267.3828 364.401 269.802 349.497 269.802 C 334.593 269.802 322.497 267.3828 322.497 264.402" fill="#dfdbff"/><path d="M 322.497 264.402 L 322.497 221.202 C 322.497 218.2212 334.593 215.802 349.497 215.802 C 364.401 215.802 376.497 218.2212 376.497 221.202 L 376.497 264.402 C 376.497 267.3828 364.401 269.802 349.497 269.802 C 334.593 269.802 322.497 267.3828 322.497 264.402 M 322.497 221.202 C 322.497 224.1828 334.593 226.602 349.497 226.602 C 364.401 226.602 376.497 224.1828 376.497 221.202" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(327.497 237.502)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x="10.7995605" y="13" textLength="22.400879">*.jpf</tspan></text><text transform="translate(176 185.642)" fill="black"><tspan font-family="Helvetica" font-size="14" font-style="italic" font-weight="500" x=".154296875" y="14" textLength="90.26172">System under </tspan><tspan font-family="Helvetica" font-size="14" font-style="italic" font-weight="500" x="90.16992" y="14" textLength="8.551758">T</tspan><tspan font-family="Helvetica" font-size="14" font-style="italic" font-weight="500" x="97.16992" y="14" textLength="18.675781">est</tspan><tspan font-family="Helvetica" font-size="14" font-style="italic" font-weight="500" x="8.1967773" y="31" textLength="99.606445">(Java bytecode)</tspan></text><text transform="translate(418.768 185.485)" fill="black"><tspan font-family="Helvetica" font-size="14" font-style="italic" font-weight="500" x=".46923828" y="14" textLength="9.3378906">V</tspan><tspan font-family="Helvetica" font-size="14" font-style="italic" font-weight="500" x="9.041504" y="14" textLength="22.558594">erifi</tspan><tspan font-family="Helvetica" font-size="14" font-style="italic" font-weight="500" x="31.600098" y="14" textLength="80.930664">cation Result</tspan></text><text transform="translate(290.911 276.286)" fill="black"><tspan font-family="Helvetica" font-size="14" font-style="italic" font-weight="500" x="3.4726562" y="14" textLength="61.461914">JPF Confi</tspan><tspan font-family="Helvetica" font-size="14" font-style="italic" font-weight="500" x="64.93457" y="14" textLength="50.592773">guration</tspan><tspan font-family="Helvetica" font-size="14" font-style="italic" font-weight="500" x=".35888672" y="31" textLength="92.59961">Properties to V</tspan><tspan font-family="Helvetica" font-size="14" font-style="italic" font-weight="500" x="92.19287" y="31" textLength="26.448242">erify</tspan></text><path d="M 266.46 140.155075 L 288.70305 140.155075 L 288.70305 134.628 L 296.1174 145.68215 L 288.70305 156.7363 L 288.70305 151.209225 L 266.46 151.209225 Z" fill="white"/><path d="M 266.46 140.155075 L 288.70305 140.155075 L 288.70305 134.628 L 296.1174 145.68215 L 288.70305 156.7363 L 288.70305 151.209225 L 266.46 151.209225 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 404.611 140.078075 L 426.85405 140.078075 L 426.85405 134.551 L 434.2684 145.60515 L 426.85405 156.6593 L 426.85405 151.132225 L 404.611 151.132225 Z" fill="white"/><path d="M 404.611 140.078075 L 426.85405 140.078075 L 426.85405 134.551 L 434.2684 145.60515 L 426.85405 156.6593 L 426.85405 151.132225 L 404.611 151.132225 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 344.23062 209.36985 L 344.23062 187.1268 L 338.70355 187.1268 L 349.7577 179.71245 L 360.81185 187.1268 L 355.28478 187.1268 L 355.28478 209.36985 Z" fill="white"/><path d="M 344.23062 209.36985 L 344.23062 187.1268 L 338.70355 187.1268 L 349.7577 179.71245 L 360.81185 187.1268 L 355.28478 187.1268 L 355.28478 209.36985 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g></g></svg>