synchronize_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(
  Sequence(
    Terminal("synchronize"),
    Choice(0,
      Terminal("'<PATH>'"),
      Terminal('"<PATH>"')
    ),
    Choice(0,
      Terminal("->"),
      Terminal("<-"),
      Terminal("<->")
    ),
    Choice(0,
      Terminal("'<PATH>'"),
      Terminal('"<PATH>"')
    ),
    Terminal("{"),
    OneOrMore(
      Choice(0,
        NonTerminal("SYNC PARAM"),
        NonTerminal("SYNC OBJECT"),
      )
    ),
    Terminal("}"),
    Optional(
       Sequence(
         Terminal("as"),
         Choice(0,
           Terminal("<NAME>"),
           Terminal('"<NAME>"'),
           Terminal("'<NAME>'"),
         )
       ),"skip"
    )
  )
)
 
d.writeStandalone(sys.stdout.write, css=css_rr)