etc/token_matcher_integer.svg

<?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="100 530 520 160" height="160" 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 120 L480 120 L480 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath3"
      ><path d="M0 0 L0 40 L90 40 L90 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath4"
      ><path d="M0 0 L0 20 L20 20 L20 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath5"
      ><path d="M0 0 L0 40 L70 40 L70 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath6"
      ><path d="M0 0 L0 60 L210 60 L210 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath7"
      ><path d="M0 0 L0 50 L90 50 L90 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath8"
      ><path d="M0 0 L0 40 L80 40 L80 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath9"
      ><path d="M0 0 L0 30 L50 30 L50 0 Z"
      /></clipPath
    ></defs
    ><g fill="rgb(255,255,255)" fill-opacity="0.4902" transform="translate(120,550)" stroke-opacity="0.4902" stroke="rgb(255,255,255)"
    ><rect x="0.5" width="478.5" height="118.5" y="0.5" clip-path="url(#clipPath2)" stroke="none"
    /></g
    ><g transform="translate(120,550)"
    ><rect fill="none" x="0.5" width="478.5" height="118.5" y="0.5" clip-path="url(#clipPath2)"
      /><text x="176" font-size="10px" y="14.375" clip-path="url(#clipPath2)" font-family="monospace" stroke="none" xml:space="preserve"
      >token_matcher_integer</text
    ></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(440,590)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><rect x="0.5" y="0.5" clip-path="url(#clipPath3)" width="88.5" rx="8" ry="8" height="38.5" stroke="none"
    /></g
    ><g transform="translate(440,590)"
    ><rect x="0.5" y="0.5" clip-path="url(#clipPath3)" fill="none" width="88.5" rx="8" ry="8" height="38.5"
      /><text x="41" font-size="10px" y="23.1875" clip-path="url(#clipPath3)" font-family="monospace" stroke="none" xml:space="preserve"
      >2</text
    ></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(300,590)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><rect x="0.5" y="0.5" clip-path="url(#clipPath3)" width="88.5" rx="8" ry="8" height="38.5" stroke="none"
    /></g
    ><g transform="translate(300,590)"
    ><rect x="0.5" y="0.5" clip-path="url(#clipPath3)" fill="none" width="88.5" rx="8" ry="8" height="38.5"
      /><text x="41" font-size="10px" y="23.1875" clip-path="url(#clipPath3)" font-family="monospace" stroke="none" xml:space="preserve"
      >1</text
    ></g
    ><g transform="translate(130,600)"
    ><circle r="8.75" clip-path="url(#clipPath4)" cx="10.25" cy="10.25" stroke="none"
      /><circle fill="none" r="8.75" clip-path="url(#clipPath4)" cx="10.25" cy="10.25"
    /></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(570,600)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><circle r="9.25" clip-path="url(#clipPath4)" cx="9.75" cy="9.75" stroke="none"
    /></g
    ><g transform="translate(570,600)"
    ><circle fill="none" r="9.25" clip-path="url(#clipPath4)" cx="9.75" cy="9.75"
      /><circle r="6.2273" clip-path="url(#clipPath4)" cx="10" cy="10" stroke="none"
    /></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(570,600)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><circle fill="none" r="6.2273" clip-path="url(#clipPath4)" cx="10" cy="10"
    /></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(170,590)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><rect x="0.5" y="0.5" clip-path="url(#clipPath3)" width="88.5" rx="8" ry="8" height="38.5" stroke="none"
    /></g
    ><g transform="translate(170,590)"
    ><rect x="0.5" y="0.5" clip-path="url(#clipPath3)" fill="none" width="88.5" rx="8" ry="8" height="38.5"
      /><text x="41" font-size="10px" y="23.1875" clip-path="url(#clipPath3)" font-family="monospace" stroke="none" xml:space="preserve"
      >0</text
    ></g
    ><g transform="translate(520,590)"
    ><path fill="none" d="M10.5 20.5 L49.5 20.5" clip-path="url(#clipPath5)"
      /><path fill="none" d="M38.7417 27 L50 20.5 L38.7417 14" clip-path="url(#clipPath5)"
    /></g
    ><g transform="translate(130,560)"
    ><path fill="none" d="M10.5 40.5 L10.5 10.5" clip-path="url(#clipPath6)"
      /><path fill="none" d="M10.5 10.5 L190.5 10.5" clip-path="url(#clipPath6)"
      /><path fill="none" d="M190.5 10.5 L190.5 29.5" clip-path="url(#clipPath6)"
      /><path fill="none" d="M184 18.7417 L190.5 30 L197 18.7417" clip-path="url(#clipPath6)"
    /></g
    ><g transform="translate(300,620)"
    ><path fill="none" d="M10.5 10.5 L10.5 30.5" clip-path="url(#clipPath7)"
      /><path fill="none" d="M10.5 30.5 L70.5 30.5" clip-path="url(#clipPath7)"
      /><path fill="none" d="M70.5 30.5 L70.5 11.5" clip-path="url(#clipPath7)"
      /><path fill="none" d="M77 22.2583 L70.5 11 L64 22.2583" clip-path="url(#clipPath7)"
      /><text x="24.9487" font-size="10px" y="26" clip-path="url(#clipPath7)" font-family="monospace" stroke="none" xml:space="preserve"
      >[0-9]</text
    ></g
    ><g transform="translate(250,600)"
    ><path fill="none" d="M10.5 20.5 L49.5 20.5" clip-path="url(#clipPath5)"
      /><path fill="none" d="M38.7417 27 L50 20.5 L38.7417 14" clip-path="url(#clipPath5)"
      /><text x="26.9897" font-size="10px" y="16" clip-path="url(#clipPath5)" font-family="monospace" stroke="none" xml:space="preserve"
      >-</text
    ></g
    ><g transform="translate(250,580)"
    ><path fill="none" d="M10.5 20.5 L49.5 20.5" clip-path="url(#clipPath5)"
      /><path fill="none" d="M38.7417 27 L50 20.5 L38.7417 14" clip-path="url(#clipPath5)"
      /><text x="26.9897" font-size="10px" y="16" clip-path="url(#clipPath5)" font-family="monospace" stroke="none" xml:space="preserve"
      >+</text
    ></g
    ><g transform="translate(380,590)"
    ><path fill="none" d="M10.5 20.5 L59.5 20.5" clip-path="url(#clipPath8)"
      /><path fill="none" d="M48.7417 27 L60 20.5 L48.7417 14" clip-path="url(#clipPath8)"
      /><text x="19.9487" font-size="10px" y="16" clip-path="url(#clipPath8)" font-family="monospace" stroke="none" xml:space="preserve"
      >[0-9]</text
    ></g
    ><g transform="translate(140,600)"
    ><path fill="none" d="M10.5 10.5 L29.5 10.5" clip-path="url(#clipPath9)"
      /><path fill="none" d="M18.7417 17 L30 10.5 L18.7417 4" clip-path="url(#clipPath9)"
    /></g
  ></g
></svg
>