requires.svg

Go to the documentation of this file.

<svg class="railroad-diagram" height="92" viewBox="0 0 364.5 92" width="364.5" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 21v20m10 -20v20m-10 -10h20" /></g><path d="M40 31h10" /><g>
<path d="M50 31h0.0" /><path d="M314.5 31h0.0" /><g class="terminal ">
<path d="M50.0 31h0.0" /><path d="M138.0 31h0.0" /><rect height="22" rx="10" ry="10" width="88" x="50" y="20"></rect><text x="94" y="35">requires</text></g><path d="M138.0 31h10" /><g>
<path d="M148.0 31h0.0" /><path d="M276.0 31h0.0" /><path d="M148.0 31h20" /><g class="terminal ">
<path d="M168.0 31h0.0" /><path d="M256.0 31h0.0" /><rect height="22" rx="10" ry="10" width="88" x="168" y="20"></rect><text x="212" y="35">&apos;&lt;PATH>&apos;</text></g><path d="M256.0 31h20" /><path d="M148.0 31a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10" /><g class="terminal ">
<path d="M168.0 61h0.0" /><path d="M256.0 61h0.0" /><rect height="22" rx="10" ry="10" width="88" x="168" y="50"></rect><text x="212" y="65">&quot;&lt;PATH>&quot;</text></g><path d="M256.0 61a10 10 0 0 0 10 -10v-10a10 10 0 0 1 10 -10" /></g><path d="M276.0 31h10" /><g class="terminal ">
<path d="M286.0 31h0.0" /><path d="M314.5 31h0.0" /><rect height="22" rx="10" ry="10" width="28.5" x="286" y="20"></rect><text x="300.25" y="35">;</text></g></g><path d="M314.5 31h10" /><path d="M 324.5 31 h 20 m -10 -10 v 20 m 10 -20 v 20"></path></g><style>/* <![CDATA[ */
svg.railroad-diagram {
    background-color:hsl(30,20%,95%);
}
svg.railroad-diagram path {
    stroke-width:3;
    stroke:black;
    fill:rgba(0,0,0,0);
}
svg.railroad-diagram text {
    font:bold 14px monospace;
    text-anchor:middle;
}
svg.railroad-diagram text.label{
    text-anchor:start;
}
svg.railroad-diagram text.comment{
    font:italic 12px monospace;
}
svg.railroad-diagram rect{
    stroke-width:3;
    stroke:black;
    fill:hsl(120,100%,90%);
}
svg.railroad-diagram g.non-terminal rect{
    stroke: black;
    fill: white;
)
svg.railroad-diagram rect.group-box {
    stroke: gray;
    stroke-dasharray: 10 5;
    fill: none;
}
/* ]]> */
</style></svg>