+++ /dev/null
-<?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="131 133 625 388" width="625pt" height="388pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2010-02-22 02:58:46 +0000</dc:date></metadata><defs><filter id="Shadow" filterUnits="userSpaceOnUse"><feGaussianBlur in="SourceAlpha" result="blur" stdDeviation=".48301078"/><feOffset in="blur" result="offset" dx="1" dy="1"/><feFlood flood-color="black" flood-opacity=".5" result="flood"/><feComposite in="flood" in2="offset" operator="in"/></filter><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="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="Courier" font-size="13" units-per-em="1000" underline-position="-178.22266" underline-thickness="57.617188" slope="0" x-height="462.40234" cap-height="594.72656" ascent="753.90625" descent="-246.09375" font-weight="500"><font-face-src><font-face-name name="Courier"/></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><g><xl:use xl:href="#id139_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id140_Graphic" filter="url(#Shadow)"/></g><path d="M 284.70481 177.8364 L 284.70481 177.8364 C 294.09105 185.10919 295.80434 198.61399 288.53156 208.00022 C 288.53156 208.00022 288.53156 208.00022 288.53156 208.00022 L 231.091 282.13285 C 223.81822 291.51909 210.31342 293.23238 200.92719 285.9596 L 200.92719 285.9596 C 191.54095 278.68681 189.82766 265.18201 197.10044 255.79578 L 254.541 181.66315 C 261.81378 172.27691 275.31858 170.56362 284.70481 177.8364 C 284.70481 177.8364 284.70481 177.8364 284.70481 177.8364 Z" fill="#ffccc3" fill-opacity=".25"/><path d="M 284.70481 177.8364 L 284.70481 177.8364 C 294.09105 185.10919 295.80434 198.61399 288.53156 208.00022 C 288.53156 208.00022 288.53156 208.00022 288.53156 208.00022 L 231.091 282.13285 C 223.81822 291.51909 210.31342 293.23238 200.92719 285.9596 L 200.92719 285.9596 C 191.54095 278.68681 189.82766 265.18201 197.10044 255.79578 L 254.541 181.66315 C 261.81378 172.27691 275.31858 170.56362 284.70481 177.8364 C 284.70481 177.8364 284.70481 177.8364 284.70481 177.8364 Z" stroke="#ff97a0" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g id="id139_Graphic"><circle cx="269.28125" cy="195.78125" r="18.281279" fill="white"/><circle cx="269.28125" cy="195.78125" r="18.281279" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><g id="id140_Graphic"><circle cx="215.5" cy="267.5" r="15.500025" fill="white"/><circle cx="215.5" cy="267.5" r="15.500025" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><line x1="258.01217" y1="210.80888" x2="225.10027" y2="254.69777" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(145.432 221)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x=".19897461" y="13" textLength="7.940918">T</tspan><tspan font-family="Helvetica" font-size="13" font-weight="500" x="7.6638184" y="13" textLength="49.137207">ransition</tspan></text><rect x="231" y="217" width="75" height="11" fill="blue" fill-opacity=".14"/><rect x="231" y="217" width="75" height="11" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(253.562 187)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x=".3227539" y="13" textLength="30.354492">State</tspan></text><text transform="translate(312.5 213)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x=".21044922" y="14" textLength="43.579102">Choice</tspan></text><line x1="267" y1="144" x2="268.45463" y2="177.01808" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 205.51021 279.9999 L 183.932 307 L 183.932 307 L 183.932 307" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="224.25289" y1="280.89727" x2="240" y2="305" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="276.61163" y1="213.07815" x2="294.378" y2="255" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(360.562 248)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="0" y="14" textLength="116.74414">Scheduling Choice</tspan></text><text transform="translate(360.562 343)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="0" y="14" textLength="77.041016">Data Choice</tspan></text><text transform="translate(405.562 361)" fill="blue"><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x="0" y="13" textLength="249.64062">boolean b = Verify.getBoolean();</tspan><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x="0" y="29" textLength="335.45459">double d = Verify.getDouble("MyHeuristic");</tspan><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x="0" y="45" textLength="15.602539">..</tspan></text><text transform="translate(405.562 268)" fill="blue"><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x="0" y="13" textLength="171.62793">synchronized (..) {..}</tspan><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x="0" y="29" textLength="70.211426">wait (..)</tspan><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x="0" y="45" textLength="140.42285">x = mySharedObject</tspan><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x="0" y="61" textLength="15.602539">..</tspan></text><text transform="translate(360.562 424)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="0" y="14" textLength="92.59961">Control Choice</tspan></text><text transform="translate(405.562 448)" fill="blue"><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x="0" y="13" textLength="109.217773">if (<cond>) ..</tspan><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x="0" y="29" textLength="210.63428">INVOKECG.setInvocations(..)</tspan><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x="0" y="45" textLength="15.602539">..</tspan></text><path d="M 332.571 233.32 L 332.571 433.328 L 355.562 433.328" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="333.347" y1="256.576" x2="355.562" y2="256.576" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="332.571" y1="351.929" x2="354.787" y2="351.929" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g></g></svg>
projects / jpf-core.git / blobdiff
