modelverse/doc/al_rules/rule_access__eval.dot

digraph {
    node [shape="point"]
    Inst [shape="oval",label="Access"]
    Phase [shape="oval",label="'eval'",color="blue"]
    NewPhase [shape="oval",label="'finish'",color="green"]

    Root -> UserRoot [label="username"]
    UserRoot -> Frame [label="'frame'"]
    Frame -> Inst [label="'IP'"]
    Frame -> NewReturnValue [label="'returnvalue'",color="green",penwidth=4]
    Frame -> Phase [label="'phase'",color="blue",style="dashed"]
    Frame -> NewPhase [label="'phase'",color="green",penwidth=4]
    Frame -> ReturnValue [label="'returnvalue'",color="blue",style="dashed"]
    ReturnValue -> NewReturnValue [label="'value'"]
}