instance_add_rr.py

Go to the documentation of this file.

# https://pypi.org/project/railroad-diagrams/
# https://jakearchibald.github.io/svgomg/
 
from railroad import *
 
css_rr = """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;
}"""
 
d = Diagram(
  ZeroOrMore(
    Choice(0,
      Terminal("%read-only"),
      Terminal("%persistent"),
      Terminal("%protected"),
      Terminal("%private")
    ),
  ),
  ZeroOrMore(
    Choice(0,
      Terminal("!read-only"),
      Terminal("!persistent"),
      Terminal("!protected"),
      Terminal("!private")
    ),
  ),
  Terminal("instance"),
  Terminal("add"),
  Stack(
    Sequence(
      Terminal("("),
      Optional(
        OptionalSequence(
          Sequence(
            Terminal("<NUMBER>"),
            Terminal(",")
          ),
          Sequence(
            Terminal("<NAME>"),
            Terminal(",")
          ),
          OneOrMore(
            Sequence(
              Terminal("<NAME>"),
              Terminal("="),
              Terminal("<VALUE>")
            ), ","
          )
        ), "skip"
      ),
      Terminal(")"),
    ),
    Sequence(
      Choice(0,
        Terminal(";"),
        Sequence(
          Terminal("{"),
          ZeroOrMore(
            Choice(0,
              NonTerminal("SET PARAMETER"),
              NonTerminal("POPULATE OBJECT")
            ), "", "skip"
          ),
          Terminal("}")
        )
      )
    )
  ),
)
 
d.writeStandalone(sys.stdout.write, css=css_rr)