uml-overview.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="670" stroke-miterlimit="10" shape-rendering="auto" stroke-opacity="1" fill="black" stroke-dasharray="none" font-weight="normal" stroke-width="1" viewBox="370 20 670 690" height="690" 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 170 L630 170 L630 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath3"
      ><path d="M0 0 L0 440 L630 440 L630 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath4"
      ><path d="M0 0 L0 110 L290 110 L290 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath5"
      ><path d="M0 0 L0 130 L290 130 L290 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath6"
      ><path d="M0 0 L0 400 L250 400 L250 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath7"
      ><path d="M0 0 L0 130 L610 130 L610 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath8"
      ><path d="M0 0 L0 50 L210 50 L210 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath9"
      ><path d="M0 0 L0 80 L210 80 L210 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath10"
      ><path d="M0 0 L0 70 L250 70 L250 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath11"
      ><path d="M0 0 L0 110 L210 110 L210 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath12"
      ><path d="M0 0 L0 50 L250 50 L250 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath13"
      ><path d="M0 0 L0 80 L80 80 L80 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath14"
      ><path d="M0 0 L0 170 L30 170 L30 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath15"
      ><path d="M0 0 L0 80 L30 80 L30 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath16"
      ><path d="M0 0 L0 40 L140 40 L140 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath17"
      ><path d="M0 0 L0 170 L110 170 L110 0 Z"
      /></clipPath
      ><clipPath clipPathUnits="userSpaceOnUse" id="clipPath18"
      ><path d="M0 0 L0 130 L110 130 L110 0 Z"
      /></clipPath
    ></defs
    ><g fill="rgb(255,165,0)" fill-opacity="0.4902" transform="translate(390,520)" stroke-opacity="0.4902" stroke="rgb(255,165,0)"
    ><path d="M0.5 0.5 L252.5 0.5 L252.5 21.5 L629 21.5 L629 169 L0.5 169 Z" stroke="none" clip-path="url(#clipPath2)"
    /></g
    ><g transform="translate(390,520)"
    ><path fill="none" d="M0.5 0.5 L252.5 0.5 L252.5 21.5 L629 21.5 L629 169 L0.5 169 Z" clip-path="url(#clipPath2)"
      /><path fill="none" d="M0.5 21.5 L252.5 21.5" clip-path="url(#clipPath2)"
      /><text x="5" font-size="14px" y="16" clip-path="url(#clipPath2)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >frontend</text
    ></g
    ><g fill="rgb(255,165,0)" fill-opacity="0.4902" transform="translate(390,40)" stroke-opacity="0.4902" stroke="rgb(255,165,0)"
    ><path d="M0.5 0.5 L252.5 0.5 L252.5 21.5 L629 21.5 L629 439 L0.5 439 Z" stroke="none" clip-path="url(#clipPath3)"
    /></g
    ><g transform="translate(390,40)"
    ><path fill="none" d="M0.5 0.5 L252.5 0.5 L252.5 21.5 L629 21.5 L629 439 L0.5 439 Z" clip-path="url(#clipPath3)"
      /><path fill="none" d="M0.5 21.5 L252.5 21.5" clip-path="url(#clipPath3)"
      /><text x="5" font-size="14px" y="16" clip-path="url(#clipPath3)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >backend</text
    ></g
    ><g fill="rgb(200,200,200)" fill-opacity="0.4902" transform="translate(720,190)" stroke-opacity="0.4902" stroke="rgb(200,200,200)"
    ><path d="M0.5 0.5 L283.3076 0.5 L283.3076 21.5 L289 21.5 L289 109 L0.5 109 Z" stroke="none" clip-path="url(#clipPath4)"
    /></g
    ><g transform="translate(720,190)"
    ><path fill="none" d="M0.5 0.5 L283.3076 0.5 L283.3076 21.5 L289 21.5 L289 109 L0.5 109 Z" clip-path="url(#clipPath4)"
      /><path fill="none" d="M0.5 21.5 L283.3076 21.5" clip-path="url(#clipPath4)"
      /><text x="5" font-size="14px" y="16" clip-path="url(#clipPath4)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >org.metaborg.spoofax.shell.commands</text
    ></g
    ><g fill="rgb(200,200,200)" fill-opacity="0.4902" transform="translate(720,340)" stroke-opacity="0.4902" stroke="rgb(200,200,200)"
    ><path d="M0.5 0.5 L258.9053 0.5 L258.9053 21.5 L289 21.5 L289 129 L0.5 129 Z" stroke="none" clip-path="url(#clipPath5)"
    /></g
    ><g transform="translate(720,340)"
    ><path fill="none" d="M0.5 0.5 L258.9053 0.5 L258.9053 21.5 L289 21.5 L289 129 L0.5 129 Z" clip-path="url(#clipPath5)"
      /><path fill="none" d="M0.5 21.5 L258.9053 21.5" clip-path="url(#clipPath5)"
      /><text x="5" font-size="14px" y="16" clip-path="url(#clipPath5)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >org.metaborg.spoofax.shell.invoker</text
    ></g
    ><g fill="rgb(200,200,200)" fill-opacity="0.4902" transform="translate(400,70)" stroke-opacity="0.4902" stroke="rgb(200,200,200)"
    ><path d="M0.5 0.5 L249 0.5 L249 21.5 L249 21.5 L249 399 L0.5 399 Z" stroke="none" clip-path="url(#clipPath6)"
    /></g
    ><g transform="translate(400,70)"
    ><path fill="none" d="M0.5 0.5 L249 0.5 L249 21.5 L249 21.5 L249 399 L0.5 399 Z" clip-path="url(#clipPath6)"
      /><path fill="none" d="M0.5 21.5 L249 21.5" clip-path="url(#clipPath6)"
      /><text x="5" font-size="14px" y="16" clip-path="url(#clipPath6)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >org.metaborg.spoofax.shell.output</text
    ></g
    ><g fill="rgb(200,200,200)" fill-opacity="0.4902" transform="translate(400,550)" stroke-opacity="0.4902" stroke="rgb(200,200,200)"
    ><path d="M0.5 0.5 L244.9404 0.5 L244.9404 21.5 L609 21.5 L609 129 L0.5 129 Z" stroke="none" clip-path="url(#clipPath7)"
    /></g
    ><g transform="translate(400,550)"
    ><path fill="none" d="M0.5 0.5 L244.9404 0.5 L244.9404 21.5 L609 21.5 L609 129 L0.5 129 Z" clip-path="url(#clipPath7)"
      /><path fill="none" d="M0.5 21.5 L244.9404 21.5" clip-path="url(#clipPath7)"
      /><text x="5" font-size="14px" y="16" clip-path="url(#clipPath7)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >org.metaborg.spoofax.shell.client</text
    ></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(420,590)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><rect x="0.5" width="208.5" height="48.5" y="0.5" clip-path="url(#clipPath8)" stroke="none"
    /></g
    ><g transform="translate(420,590)"
    ><rect fill="none" x="0.5" width="208.5" height="48.5" y="0.5" clip-path="url(#clipPath8)"
      /><text x="68" font-size="14px" y="18" clip-path="url(#clipPath8)" font-family="sans-serif" font-style="italic" stroke="none" xml:space="preserve"
      >«IDisplay»</text
      ><path fill="none" d="M1 24 L209 24" clip-path="url(#clipPath8)"
      /><text x="5" font-size="14px" y="39" clip-path="url(#clipPath8)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+displayStyledText(...)</text
    ></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(420,110)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><rect x="0.5" width="208.5" height="78.5" y="0.5" clip-path="url(#clipPath9)" stroke="none"
    /></g
    ><g transform="translate(420,110)"
    ><rect fill="none" x="0.5" width="208.5" height="78.5" y="0.5" clip-path="url(#clipPath9)"
      /><text x="44" font-size="14px" y="18" clip-path="url(#clipPath9)" font-family="sans-serif" font-style="italic" stroke="none" xml:space="preserve"
      >«ISpoofaxResult»</text
      ><path fill="none" d="M1 24 L209 24" clip-path="url(#clipPath9)"
      /><text x="5" font-size="14px" y="39" clip-path="url(#clipPath9)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+ast()</text
      ><text x="5" font-size="14px" y="55" clip-path="url(#clipPath9)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+styled()</text
      ><text x="5" font-size="14px" y="71" clip-path="url(#clipPath9)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+unit(): T</text
    ></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(420,240)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><rect x="0.5" width="208.5" height="48.5" y="0.5" clip-path="url(#clipPath8)" stroke="none"
    /></g
    ><g transform="translate(420,240)"
    ><rect fill="none" x="0.5" width="208.5" height="48.5" y="0.5" clip-path="url(#clipPath8)"
      /><text x="72" font-size="14px" y="18" clip-path="url(#clipPath8)" font-family="sans-serif" font-style="italic" stroke="none" xml:space="preserve"
      >«IResult»</text
      ><path fill="none" d="M1 24 L209 24" clip-path="url(#clipPath8)"
      /><text x="5" font-size="14px" y="39" clip-path="url(#clipPath8)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+accept(visitor)</text
    ></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(740,590)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><rect x="0.5" width="248.5" height="68.5" y="0.5" clip-path="url(#clipPath10)" stroke="none"
    /></g
    ><g transform="translate(740,590)"
    ><rect fill="none" x="0.5" width="248.5" height="68.5" y="0.5" clip-path="url(#clipPath10)"
      /><text x="98" font-size="14px" y="18" clip-path="url(#clipPath10)" font-family="sans-serif" font-style="italic" stroke="none" xml:space="preserve"
      >«IRepl»</text
      ><path fill="none" d="M1 24 L249 24" clip-path="url(#clipPath10)"
      /><text x="5" font-size="14px" y="39" clip-path="url(#clipPath10)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+eval(input): IResult</text
      ><text x="5" font-size="14px" y="55" clip-path="url(#clipPath10)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+getInvoker()</text
    ></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(740,380)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><rect x="0.5" width="248.5" height="68.5" y="0.5" clip-path="url(#clipPath10)" stroke="none"
    /></g
    ><g transform="translate(740,380)"
    ><rect fill="none" x="0.5" width="248.5" height="68.5" y="0.5" clip-path="url(#clipPath10)"
      /><text x="52" font-size="14px" y="18" clip-path="url(#clipPath10)" font-family="sans-serif" font-style="italic" stroke="none" xml:space="preserve"
      >«ICommandInvoker»</text
      ><path fill="none" d="M1 24 L249 24" clip-path="url(#clipPath10)"
      /><text x="5" font-size="14px" y="39" clip-path="url(#clipPath10)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+addCommand(name, desc, cmd)</text
      ><text x="5" font-size="14px" y="55" clip-path="url(#clipPath10)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+execute(name): IResult</text
    ></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(420,340)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><rect x="0.5" width="208.5" height="108.5" y="0.5" clip-path="url(#clipPath11)" stroke="none"
    /></g
    ><g transform="translate(420,340)"
    ><rect fill="none" x="0.5" width="208.5" height="108.5" y="0.5" clip-path="url(#clipPath11)"
      /><text x="50" font-size="14px" y="18" clip-path="url(#clipPath11)" font-family="sans-serif" font-style="italic" stroke="none" xml:space="preserve"
      >«IResultVisitor»</text
      ><path fill="none" d="M1 24 L209 24" clip-path="url(#clipPath11)"
      /><text x="5" font-size="14px" y="39" clip-path="url(#clipPath11)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+visitExcception(...)</text
      ><text x="5" font-size="14px" y="55" clip-path="url(#clipPath11)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+visitFailure(...)</text
      ><text x="5" font-size="14px" y="71" clip-path="url(#clipPath11)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+visitMessage(...)</text
      ><text x="5" font-size="14px" y="87" clip-path="url(#clipPath11)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >+visitResult(...)</text
    ></g
    ><g fill="rgb(255,255,255)" fill-opacity="0" transform="translate(740,230)" stroke-opacity="0" stroke="rgb(255,255,255)"
    ><rect x="0.5" width="248.5" height="48.5" y="0.5" clip-path="url(#clipPath12)" stroke="none"
    /></g
    ><g transform="translate(740,230)"
    ><rect fill="none" x="0.5" width="248.5" height="48.5" y="0.5" clip-path="url(#clipPath12)"
      /><text x="62" font-size="14px" y="18" clip-path="url(#clipPath12)" font-family="sans-serif" font-style="italic" stroke="none" xml:space="preserve"
      >«IReplCommand»</text
      ><path fill="none" d="M1 24 L249 24" clip-path="url(#clipPath12)"
      /><text x="5" font-size="14px" y="39" clip-path="url(#clipPath12)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >execute(...): IResult</text
    ></g
    ><g transform="translate(520,280)"
    ><path fill="none" d="M10.5 10.5 L10.5 60.5" clip-path="url(#clipPath13)"
      /><text x="14" font-size="14px" y="43" clip-path="url(#clipPath13)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >◄ visits</text
    ></g
    ><g stroke-dasharray="8,5" stroke-miterlimit="5" transform="translate(520,440)" stroke-linecap="butt"
    ><path fill="none" d="M10.5 150.5 L10.5 11.5" clip-path="url(#clipPath14)"
      /><path fill="white" d="M17 22.2583 L10.5 11 L4 22.2583 Z" clip-path="url(#clipPath14)" stroke="none"
      /><path fill="none" stroke-miterlimit="10" stroke-dasharray="none" d="M17 22.2583 L10.5 11 L4 22.2583 Z" clip-path="url(#clipPath14)" stroke-linecap="square"
    /></g
    ><g stroke-dasharray="8,5" stroke-miterlimit="5" transform="translate(520,180)" stroke-linecap="butt"
    ><path fill="none" d="M10.5 10.5 L10.5 59.5" clip-path="url(#clipPath15)"
      /><path fill="white" d="M4 48.7417 L10.5 60 L17 48.7417 Z" clip-path="url(#clipPath15)" stroke="none"
      /><path fill="none" stroke-miterlimit="10" stroke-dasharray="none" d="M4 48.7417 L10.5 60 L17 48.7417 Z" clip-path="url(#clipPath15)" stroke-linecap="square"
    /></g
    ><g transform="translate(620,240)"
    ><path fill="none" d="M120.5 20.5 L10.5 20.5" clip-path="url(#clipPath16)"
      /><text x="32.4302" font-size="14px" y="16" clip-path="url(#clipPath16)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >◄ returns</text
    ></g
    ><g transform="translate(850,440)"
    ><path fill="none" d="M10.5 10.5 L10.5 150.5" clip-path="url(#clipPath17)"
      /><text x="14" font-size="14px" y="88" clip-path="url(#clipPath17)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >◄ user input</text
    ></g
    ><g transform="translate(620,590)"
    ><path fill="none" d="M119.5 20.5 L10.5 20.5" clip-path="url(#clipPath16)"
      /><path d="M108.7417 14 L120 20.5 L108.7417 27 L97.9833 20.5 Z" clip-path="url(#clipPath16)" stroke="none"
      /><path fill="none" d="M108.7417 14 L120 20.5 L108.7417 27 L97.9833 20.5 Z" clip-path="url(#clipPath16)"
      /><text x="12.3105" font-size="14px" y="16" clip-path="url(#clipPath16)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >◄ result output</text
    ></g
    ><g transform="translate(860,270)"
    ><path fill="none" d="M10.5 10.5 L10.5 110.5" clip-path="url(#clipPath18)"
      /><text x="14" font-size="14px" y="68" clip-path="url(#clipPath18)" font-family="sans-serif" stroke="none" xml:space="preserve"
      >◄ executes</text
    ></g
  ></g
></svg
>