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'"] }