modelverse/doc/al_rules/rule_call__params-first-multi.dot

digraph {
    node [shape="point"]
    Call [label="Call",shape="oval"]
    NewEvalStack [color="green"]
    NPhase [label="'init'",shape="oval",color="green"]
    NEvalStack [color="green"]
    NSymbols [color="green"]
    NewFrame [color="green"]
    NewPhase [label="'init'",color="green",shape="oval"]
    NewReturnValue [color="green"]
    
    Root -> UserRoot [label="username"]
    UserRoot -> Frame [label="'frame'"]
    Frame -> Call [label="'IP'",color="blue",style="dashed"]
    Frame -> ParamValue [label="'IP'",color="green",penwidth=4]
    Frame -> Param [label="'phase'",color="blue",style="dashed"]
    Param -> ParamValue [label="'value'"]
    Frame -> NewPhase [label="'phase'",color="green",penwidth=4]
    Frame -> OldEvalStack [label="'evalstack'",color="blue",style="dashed"]
    Frame -> NewEvalStack [label="'evalstack'",color="green",penwidth=4]
    NewEvalStack -> OldEvalStack [label="'prev'",color="green",penwidth=4]
    Param -> Param2 [label="'next_param'"]
    OldEvalStack -> Call [label="'inst'",color="green",penwidth=4]
    Call -> Param [label="'params'"]
    OldEvalStack -> Param2 [label="'phase'",color="green",penwidth=4]
    Frame -> ReturnValue [label="'returnvalue'"]
    ReturnValue -> Body [label="'body'"]
    ReturnValue -> Params [label="'params'"]

    NewFrame -> NEvalStack [label="'evalstack'",color="green",penwidth=4]
    NewFrame -> NSymbols [label="'symbols'",color="green",penwidth=4]
    NewFrame -> NPhase [label="'phase'",color="green",penwidth=4]
    NewFrame -> Frame [label="'prev'",color="green",penwidth=4]
    NewFrame -> Call [label="'caller'",color="green",penwidth=4]
    NewFrame -> Body [label="'IP'", color="green",penwidth=4]
    NewFrame -> NewReturnValue [label="'returnvalue'",color="green",penwidth=4]
}