12345678910111213141516171819 |
- digraph {
- Root [shape="point"]
- UserRoot [shape="point"]
- Frame [shape="point"]
- OldPhase [label="'init'",color="blue"]
- NewPhase [label="'finish'",color="green"]
- OldIP [label="Break"]
- NewIP [label="While"]
- Root -> UserRoot [label="username"]
- UserRoot -> Frame [label="'frame'"]
- Frame -> OldPhase [label="'phase'",color="blue",style="dashed"]
- Frame -> NewPhase [label="'phase'",color="green",penwidth=4]
- Frame -> OldIP [label="'IP'",color="blue",style="dashed"]
- Frame -> NewIP [label="'IP'",color="green",penwidth=4]
- OldIP -> NewIP [label="'while'"]
- }
|