examples/If.svg

<?xml version="1.0"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.0//EN" "http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd">
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:jfreesvg="http://www.jfree.org/jfreesvg/svg" width="607" height="427" text-rendering="auto" shape-rendering="auto">
<defs></defs>
<line x1="157.5" y1="7.5" x2="427.5" y2="7.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="157.5" y1="67.5" x2="427.5" y2="67.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="142.5" y1="97.5" x2="247.5" y2="97.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="337.5" y1="97.5" x2="457.5" y2="97.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="22.5" y1="127.5" x2="262.5" y2="127.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="337.5" y1="127.5" x2="592.5" y2="127.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="22.5" y1="187.5" x2="262.5" y2="187.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="337.5" y1="187.5" x2="592.5" y2="187.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="7.5" y1="232.5" x2="277.5" y2="232.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="322.5" y1="232.5" x2="592.5" y2="232.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="7.5" y1="292.5" x2="277.5" y2="292.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="322.5" y1="292.5" x2="592.5" y2="292.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="142.5" y1="322.5" x2="262.5" y2="322.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="337.5" y1="322.5" x2="457.5" y2="322.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="157.5" y1="352.5" x2="442.5" y2="352.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="157.5" y1="412.5" x2="442.5" y2="412.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="157.5" y1="7.5" x2="157.5" y2="67.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="427.5" y1="7.5" x2="427.5" y2="67.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="247.5" y1="67.5" x2="247.5" y2="97.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="337.5" y1="67.5" x2="337.5" y2="97.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="142.5" y1="97.5" x2="142.5" y2="120" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><g style="fill: rgb(0,0,0); fill-opacity: 1.0; stroke: none" ><path d="M 142.5 127.5 L 137.5 112.5 L 147.5 112.5 Z "/></g><line x1="457.5" y1="97.5" x2="457.5" y2="120" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><g style="fill: rgb(0,0,0); fill-opacity: 1.0; stroke: none" ><path d="M 457.5 127.5 L 452.5 112.5 L 462.5 112.5 Z "/></g><line x1="22.5" y1="127.5" x2="22.5" y2="187.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="262.5" y1="127.5" x2="262.5" y2="187.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="337.5" y1="127.5" x2="337.5" y2="187.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="592.5" y1="127.5" x2="592.5" y2="187.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="142.5" y1="187.5" x2="142.5" y2="225" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><g style="fill: rgb(0,0,0); fill-opacity: 1.0; stroke: none" ><path d="M 142.5 232.5 L 137.5 217.5 L 147.5 217.5 Z "/></g><line x1="457.5" y1="187.5" x2="457.5" y2="225" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><g style="fill: rgb(0,0,0); fill-opacity: 1.0; stroke: none" ><path d="M 457.5 232.5 L 452.5 217.5 L 462.5 217.5 Z "/></g><line x1="7.5" y1="232.5" x2="7.5" y2="292.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="277.5" y1="232.5" x2="277.5" y2="292.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="322.5" y1="232.5" x2="322.5" y2="292.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="592.5" y1="232.5" x2="592.5" y2="292.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-dasharray: 9.0;" /><line x1="142.5" y1="292.5" x2="142.5" y2="322.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="457.5" y1="292.5" x2="457.5" y2="322.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="262.5" y1="322.5" x2="262.5" y2="345" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><g style="fill: rgb(0,0,0); fill-opacity: 1.0; stroke: none" ><path d="M 262.5 352.5 L 257.5 337.5 L 267.5 337.5 Z "/></g><line x1="337.5" y1="322.5" x2="337.5" y2="345" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><g style="fill: rgb(0,0,0); fill-opacity: 1.0; stroke: none" ><path d="M 337.5 352.5 L 332.5 337.5 L 342.5 337.5 Z "/></g><line x1="157.5" y1="352.5" x2="157.5" y2="412.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><line x1="442.5" y1="352.5" x2="442.5" y2="412.5" style="stroke-width: 1.5;stroke: rgb(0,0,0);stroke-opacity: 1.0;stroke-linecap: square;" /><g ><text x="218.5" y="45.5" style="fill: rgb(0,0,0); fill-opacity: 1.0; font-family: Fira Code; font-size: 23px;" >$1 = eval c</text></g><g ><text x="82.5" y="165.5" style="fill: rgb(0,0,0); fill-opacity: 1.0; font-family: Fira Code; font-size: 23px;" >assume $1</text></g><g ><text x="390.5" y="165.5" style="fill: rgb(0,0,0); fill-opacity: 1.0; font-family: Fira Code; font-size: 23px;" >assume !$1</text></g><g ><text x="68.5" y="270.5" style="fill: rgb(0,0,0); fill-opacity: 1.0; font-family: Fira Code; font-size: 23px;" >$2 = eval t</text></g><g ><text x="383.5" y="270.5" style="fill: rgb(0,0,0); fill-opacity: 1.0; font-family: Fira Code; font-size: 23px;" >$2 = eval f</text></g><g ><text x="211.5" y="390.5" style="fill: rgb(0,0,0); fill-opacity: 1.0; font-family: Fira Code; font-size: 23px;" >$result = $2</text></g></svg>