Uploaded wiki images.

[jpf-core.git] / docs / graphics / listener-overview.svg

diff --git a/docs/graphics/listener-overview.svg b/docs/graphics/listener-overview.svg
new file mode 100644 (file)
index 0000000..8a58bd9
--- /dev/null
+++ b/docs/graphics/listener-overview.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="63 56 639 340" width="639pt" height="340pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2014-12-02 07:42:37 +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="gray" result="flood"/><feComposite in="flood" in2="offset" operator="in"/></filter><filter id="Shadow_2" 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" result="color"/><feMerge><feMergeNode in="color"/><feMergeNode in="SourceGraphic"/></feMerge></filter><font-face font-family="Helvetica" font-size="12" 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="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><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="blue"><g><path d="M 8 0 L 0 -3 L 0 3 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="Arrow_Marker" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black"><g><path d="M 8 0 L 0 -3 L 0 3 Z" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="-1e3" 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><font-face font-family="Courier" font-size="11" 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><font-face font-family="Courier" font-size="11" units-per-em="1000" underline-position="-144.04297" underline-thickness="91.796875" slope="0" x-height="462.40234" cap-height="594.72656" ascent="753.90625" descent="-246.09375" font-weight="bold"><font-face-src><font-face-name name="Courier-Bold"/></font-face-src></font-face><font-face font-family="Apple Symbols" font-size="12" panose-1="2 0 0 0 0 0 0 0 0 0" units-per-em="1000" underline-position="-73.242188" underline-thickness="48.828125" slope="0" x-height="392.57812" cap-height="546.38672" ascent="666.5039" descent="-250" font-weight="500"><font-face-src><font-face-name name="AppleSymbols"/></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="#id25_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id26_Graphic" filter="url(#Shadow)"/></g><g filter="url(#Shadow_2)"><path d="M 107.658 161.374 L 226.991 161.374 C 229.75242 161.374 231.991 163.61258 231.991 166.374 L 231.991 337.001 C 231.991 339.76242 229.75242 342.001 226.991 342.001 L 107.658 342.001 C 104.896576 342.001 102.658 339.76242 102.658 337.001 L 102.658 166.374 C 102.658 163.61258 104.896576 161.374 107.658 161.374 Z" fill="#ffffcd"/><path d="M 107.658 161.374 L 226.991 161.374 C 229.75242 161.374 231.991 163.61258 231.991 166.374 L 231.991 337.001 C 231.991 339.76242 229.75242 342.001 226.991 342.001 L 107.658 342.001 C 104.896576 342.001 102.658 339.76242 102.658 337.001 L 102.658 166.374 C 102.658 163.61258 104.896576 161.374 107.658 161.374 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><g filter="url(#Shadow_2)"><rect x="122.867" y="292.563" width="90" height="36" fill="white"/><rect x="122.867" y="292.563" width="90" height="36" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(127.867 303.563)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="19.987305" y="11" textLength="40.02539">Search</tspan></text></g><g filter="url(#Shadow_2)"><rect x="122.867" y="175.926" width="90" height="36" fill="white"/><rect x="122.867" y="175.926" width="90" height="36" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(127.867 186.926)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="31" y="11" textLength="18">VM</tspan></text></g><text transform="translate(119.191 239.52)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x=".49609375" y="11" textLength="22.007812">JPF</tspan></text><line x1="75.175" y1="136.649" x2="404.976" y2="136.649" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2" stroke-dasharray="8,4,1,4"/><rect x="106.7" y="74.525" width="121.25" height="36" fill="#ffe2dc"/><rect x="106.7" y="74.525" width="121.25" height="36" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(111.7 85.525)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="7.270508" y="11" textLength="96.708984">System under test</tspan></text><path d="M 274.98012 238.271 L 373.49575 238.271 C 381.07388 238.271 381.07388 238.271 381.07388 240.08095 L 381.07388 239.17598 C 384.86294 239.17598 384.86294 239.17598 384.86294 240.98592 L 384.86294 240.08095 C 388.652 240.08095 388.652 240.08095 388.652 241.8909 L 388.652 265.42025 C 388.652 267.2302 388.652 267.2302 381.07388 267.2302 L 282.55825 267.2302 C 274.98012 267.2302 274.98012 267.2302 274.98012 266.32522 C 271.19106 266.32522 271.19106 266.32522 271.19106 265.42025 C 267.402 265.42025 267.402 265.42025 267.402 263.6103 L 267.402 240.08095 C 267.402 238.271 267.402 238.271 274.98012 238.271 Z" fill="#bfffbe"/><path d="M 274.98012 238.271 L 373.49575 238.271 C 381.07388 238.271 381.07388 238.271 381.07388 240.08095 L 381.07388 263.6103 C 381.07388 265.42025 381.07388 265.42025 373.49575 265.42025 L 274.98012 265.42025 C 267.402 265.42025 267.402 265.42025 267.402 263.6103 L 267.402 240.08095 C 267.402 238.271 267.402 238.271 274.98012 238.271 M 381.07388 239.17598 C 384.86294 239.17598 384.86294 239.17598 384.86294 240.98592 L 384.86294 265.42025 C 384.86294 266.32522 384.86294 266.32522 377.28481 266.32522 L 278.76919 266.32522 C 271.19106 266.32522 271.19106 266.32522 271.19106 265.42025 M 384.86294 240.08095 C 388.652 240.08095 388.652 240.08095 388.652 241.8909 L 388.652 265.42025 C 388.652 267.2302 388.652 267.2302 381.07388 267.2302 L 282.55825 267.2302 C 274.98012 267.2302 274.98012 267.2302 274.98012 266.32522" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(274.827 244.23024)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="22.154688" y="11" textLength="49.359375">listeners</tspan></text><path d="M 213.367 193.9258 L 328.404 193.881 L 328.11532 227.87138" marker-end="url(#FilledArrow_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 213.367 310.563 L 328.993 310.563 L 328.25879 277.62762" marker-end="url(#FilledArrow_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="266.902" y1="252.75231" x2="222.76794" y2="252.90316" marker-end="url(#Arrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="167.867" y1="292.063" x2="167.867" y2="221.826" marker-end="url(#Arrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="167.867" y1="175.926" x2="167.50956" y2="120.92478" marker-end="url(#Arrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(283.027 113.374)" fill="red"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x=".31054688" y="11" textLength="89.378906">executed by JPF</tspan></text><text transform="translate(268.418 144.524)" fill="red"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x=".46972656" y="11" textLength="118.06055">executed by host JVM</tspan></text><text transform="translate(260.108 312.942)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="0" y="11" textLength="97.38867">search event notifi</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="97.38867" y="11" textLength="38.021484">cations</tspan></text><text transform="translate(252.61 176.262)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="0" y="11" textLength="112.740234">execution event notifi</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="112.740234" y="11" textLength="38.021484">cations</tspan></text><text transform="translate(402.525 247.554)" fill="red"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x=".48046875" y="11" textLength="25.347656">confi</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="red" x="25.828125" y="11" textLength="30.691406">gured</tspan></text><text transform="translate(417.247 65.978)" fill="blue"><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="10" textLength="118.819336">- classLoaded (vm)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="23" textLength="145.22363">- threadScheduled (vm)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="36" textLength="138.62256">- threadNotified (vm)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="49" textLength="33.005371">  ...</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="62" textLength="13.2021484">- </tspan><tspan font-family="Courier" font-size="11" font-weight="bold" fill="blue" x="13.2021484" y="62" textLength="118.819336">executeInstruction</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="132.021484" y="62" textLength="33.005371"> (vm)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="75" textLength="13.2021484">- </tspan><tspan font-family="Courier" font-size="11" font-weight="bold" fill="blue" x="13.2021484" y="75" textLength="125.42041">instructionExecuted</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="138.62256" y="75" textLength="33.005371"> (vm)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="88" textLength="33.005371">  ...</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="101" textLength="132.021484">- objectCreated (vm)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="114" textLength="33.005371">  ...</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="127" textLength="138.62256">- exceptionThrown(vm)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="140" textLength="33.005371">  ...</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="153" textLength="198.03223">- choiceGeneratorAdvanced (vm)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="166" textLength="33.005371">  ...</tspan></text><text transform="translate(353.977 331.014)" fill="blue"><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="10" textLength="158.42578">- stateAdvanced (search)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="23" textLength="178.229">- stateBacktracked (search)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="36" textLength="178.229">- propertyViolated (search)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="49" textLength="165.02686">- searchFinished (search)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="blue" x="0" y="62" textLength="33.005371">  ...</tspan></text><text transform="translate(469.131 248.388)" fill="red"><tspan font-family="Courier" font-size="11" font-weight="500" fill="red" x="0" y="10" textLength="184.83008">- +listener=&lt;listener-class&gt;</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="red" x="0" y="23" textLength="105.61719">- @JPFConfig(..)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="red" x="0" y="36" textLength="217.83545">- listener.autoload=&lt;annotations&gt;</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="red" x="0" y="49" textLength="138.62256">- jpf.addListener(..)</tspan><tspan font-family="Courier" font-size="11" font-weight="500" fill="red" x="0" y="62" textLength="33.005371">  ...</tspan></text><g id="id25_Graphic"><rect x="274.264" y="283.835" width="108.986" height="20.5102" fill="white"/><rect x="274.264" y="283.835" width="108.986" height="20.5102" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(279.264 286.5901)" fill="black"><tspan font-family="Apple Symbols" font-size="12" font-weight="500" x=".5291328" y="11" textLength="8.800781">≪</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" x="9.329914" y="11" textLength="80.71289">SearchListener</tspan><tspan font-family="Apple Symbols" font-size="12" font-weight="500" x="90.042805" y="11" textLength="8.4140625">≫</tspan></text></g><g id="id26_Graphic"><rect x="274.432" y="200.503" width="108.986" height="20.5102" fill="white"/><rect x="274.432" y="200.503" width="108.986" height="20.5102" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(279.432 203.2581)" fill="black"><tspan font-family="Apple Symbols" font-size="12" font-weight="500" x="10.539875" y="11" textLength="8.800781">≪</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" x="19.340656" y="11" textLength="60.691406">VMListener</tspan><tspan font-family="Apple Symbols" font-size="12" font-weight="500" x="80.032062" y="11" textLength="8.4140625">≫</tspan></text></g></g></g></svg>