modelverse/doc/al_rules/rule_input.dot

digraph {
    Root [shape="point"]
    UserRoot [shape="point"]
    Frame [shape="point"]
    InputNext [shape="point"]
    IP [label="Input"]
    Value [shape="point"]

    OldPhase [label="'init'",color="blue"]
    NewPhase [label="'finish'",color="green"]
    OldReturnvalue [shape="point",color="blue"]
    Input [shape="point",color="blue"]

    Root -> UserRoot [label="username"]
    UserRoot -> Frame [label="'frame'"]
    UserRoot -> Input [label="'input'",color="blue",style="dashed"]
    Input -> InputNext [label="'next'",color="blue",style="dashed"]
    UserRoot -> InputNext [label="'input'",color="green",penwidth=4]
    Input -> Value [label="'value'",color="blue",style="dashed"]
    Frame -> OldPhase [label="'phase'",color="blue",style="dashed"]
    Frame -> NewPhase [label="'phase'",color="green",penwidth=4]
    Frame -> OldReturnvalue [label="'returnvalue'",color="blue",style="dashed"]
    Frame -> Value [label="'returnvalue'",color="green",penwidth=4]
    Frame -> IP [label="'IP'"]
}