65 lines
3.9 KiB
XML
65 lines
3.9 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE svg PUBLIC '-//W3C//DTD SVG 1.0//EN'
|
|
'http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd'>
|
|
<svg fill-opacity="1" xmlns:xlink="http://www.w3.org/1999/xlink" color-rendering="auto" color-interpolation="auto" text-rendering="auto" stroke="black" stroke-linecap="square" width="520" stroke-miterlimit="10" shape-rendering="auto" stroke-opacity="1" fill="black" stroke-dasharray="none" font-weight="normal" stroke-width="1" viewBox="80 260 520 150" height="150" xmlns="http://www.w3.org/2000/svg" font-family="'Dialog'" font-style="normal" stroke-linejoin="miter" font-size="12px" stroke-dashoffset="0" image-rendering="auto"
|
|
><!--Generated by the Batik Graphics2D SVG Generator--><defs id="genericDefs"
|
|
/><g
|
|
><defs id="defs1"
|
|
><clipPath clipPathUnits="userSpaceOnUse" id="clipPath1"
|
|
><path d="M0 0 L2147483647 0 L2147483647 2147483647 L0 2147483647 L0 0 Z"
|
|
/></clipPath
|
|
><clipPath clipPathUnits="userSpaceOnUse" id="clipPath2"
|
|
><path d="M0 0 L0 110 L150 110 L150 0 Z"
|
|
/></clipPath
|
|
><clipPath clipPathUnits="userSpaceOnUse" id="clipPath3"
|
|
><path d="M0 0 L0 40 L200 40 L200 0 Z"
|
|
/></clipPath
|
|
></defs
|
|
><g font-family="sans-serif" font-size="14px" transform="translate(430,280)"
|
|
><text x="5" xml:space="preserve" y="17.9688" clip-path="url(#clipPath2)" stroke="none"
|
|
>while (1) {</text
|
|
><text x="5" xml:space="preserve" y="33.9375" clip-path="url(#clipPath2)" stroke="none"
|
|
> ...</text
|
|
><text x="5" xml:space="preserve" y="49.9062" clip-path="url(#clipPath2)" stroke="none"
|
|
> sem_post(coin);</text
|
|
><text x="5" xml:space="preserve" y="65.875" clip-path="url(#clipPath2)" stroke="none"
|
|
> sem_wait(coffee);</text
|
|
><text x="5" xml:space="preserve" y="81.8438" clip-path="url(#clipPath2)" stroke="none"
|
|
> ...</text
|
|
><text x="5" xml:space="preserve" y="97.8125" clip-path="url(#clipPath2)" stroke="none"
|
|
>}</text
|
|
></g
|
|
><g font-family="sans-serif" font-size="14px" transform="translate(100,280)"
|
|
><text x="5" xml:space="preserve" y="17.9688" clip-path="url(#clipPath2)" stroke="none"
|
|
>while (1) {</text
|
|
><text x="5" xml:space="preserve" y="33.9375" clip-path="url(#clipPath2)" stroke="none"
|
|
> ...</text
|
|
><text x="5" xml:space="preserve" y="49.9062" clip-path="url(#clipPath2)" stroke="none"
|
|
> sem_wait(coin);</text
|
|
><text x="5" xml:space="preserve" y="65.875" clip-path="url(#clipPath2)" stroke="none"
|
|
> sem_post(coffee);</text
|
|
><text x="5" xml:space="preserve" y="81.8438" clip-path="url(#clipPath2)" stroke="none"
|
|
> ...</text
|
|
><text x="5" xml:space="preserve" y="97.8125" clip-path="url(#clipPath2)" stroke="none"
|
|
>}</text
|
|
></g
|
|
><g stroke-dasharray="8,5" stroke-miterlimit="5" transform="translate(240,320)" stroke-linecap="butt"
|
|
><path fill="none" d="M179.5 20.5 L10.5 20.5" clip-path="url(#clipPath3)"
|
|
/><path fill="none" stroke-miterlimit="10" stroke-dasharray="none" d="M168.7417 14 L180 20.5 L168.7417 27" clip-path="url(#clipPath3)" stroke-linecap="square"
|
|
/></g
|
|
><g font-family="sans-serif" font-size="14px" transform="translate(240,320)"
|
|
><text x="75.9312" xml:space="preserve" y="16" clip-path="url(#clipPath3)" stroke="none"
|
|
>coffee</text
|
|
></g
|
|
><g stroke-dasharray="8,5" stroke-miterlimit="5" transform="translate(240,300)" stroke-linecap="butt"
|
|
><path fill="none" d="M11.5 20.5 L180.5 20.5" clip-path="url(#clipPath3)"
|
|
/><path fill="none" stroke-miterlimit="10" stroke-dasharray="none" d="M22.2583 27 L11 20.5 L22.2583 14" clip-path="url(#clipPath3)" stroke-linecap="square"
|
|
/></g
|
|
><g font-family="sans-serif" font-size="14px" transform="translate(240,300)"
|
|
><text x="82.1587" xml:space="preserve" y="16" clip-path="url(#clipPath3)" stroke="none"
|
|
>coin</text
|
|
></g
|
|
></g
|
|
></svg
|
|
>
|