graph: {title: "annotated control flow graph"
colorentry 19: 255 255 180
colorentry 33: 198 232 255
colorentry 34: 255 228 198
colorentry 35: 204 119 22
colorentry 36: 10 147 113
colorentry 42: 198 255 234
colorentry 43: 47 183 122
display_edge_labels: yes
smanhattan_edges : yes
priority_phase : yes
equalydist : yes
layout_nearfactor : 0
layout_downfactor : 8
layout_upfactor : 8
xspace: 24
yspace: 48
node.color : 19
node.margin : 11
node.bordercolor: 7
node.fontname :"courR12"
edge.color : 7
edge.arrowsize : 8
edge.thickness : 3
edge.class : 1
edge.fontname :"helvB10"
classname 1 : "CFG Edges"
classname 2 : "Const Lists"
classname 3 : "Live Variable Lists"
hidden: 2
hidden: 3
node: {title:"20" label:"WRITE (x)"}
node: {title:"19" label:"x := x+1" }
node: {title:"18" label:"x := 25" bordercolor:10}
node: {title:"17" label:"x := (x+1)*(x+1)-x-1" bordercolor: 9}
node: {title:"15" label:"x := x+1" }
node: {title:"14" label:"x := 4" bordercolor: 9}
node: {title:"13" label:"x := 3" bordercolor:10}
node: {title:"11" label:"x := y+x" bordercolor: 9}
node: {title:"10" label:"x := 2" }
node: {title:"9" label:"x := 2*x" bordercolor:10}
node: {title:"7" label:"x := x-2" }
node: {title:"6" label:"x := 3" bordercolor:10}
node: {title:"4" label:"x := 4" bordercolor:10}
node: {title:"2" label:"y := 1" }
node: {title:"1" label:"READ (x)" }
node.color: 33
node.textcolor: 8
node.bordercolor: 8
node.height:40
node.shape: rhomb
node: {title:"21" label:"Exit" shape: ellipse }
node: {title:"16" label:"x=5" }
node: {title:"12" label:"x=55"}
node: {title:"8" label:"x=55"}
node: {title:"5" label:"x=55"}
node: {title:"3" label:"y=1" }
node: {title:"0" label:"Start" shape: ellipse }
edge: {source:"20" target:"21"}
edge: {source:"19" target:"20"}
edge: {source:"18" target:"19" color:10 }
edge: {source:"17" target:"19" color: 9 }
edge: {source:"15" target:"16" }
bentnearedge: {source:"16" target:"18" color:10 label:"true" }
bentnearedge: {source:"16" target:"17" color: 9 label:"false"}
edge: {source:"14" target:"15" color: 9 }
edge: {source:"13" target:"15" color:10 }
edge: {source:"11" target:"12" color: 9 }
bentnearedge: {source:"12" target:"14" color: 9 label:"false"}
bentnearedge: {source:"12" target:"13" color:10 label:"true" }
bentnearedge: {source:"8" target:"11" color: 9 label:"false"}
edge: {source:"7" target:"8" }
backedge: {source:"10" target:"8" }
edge: {source:"9" target:"10" color:10 }
bentnearedge: {source:"8" target:"9" color:10 label:"true" }
edge: {source:"6" target:"7" color:10 }
bentnearedge: {source:"5" target:"7" color: 9 label:"false"}
edge: {source:"4" target:"5" color:10 }
bentnearedge: {source:"3" target:"5" color: 9 label:"false"}
bentnearedge: {source:"5" target:"6" color:10 label:"true" }
edge: {source:"2" target:"3" }
bentnearedge: {source:"3" target:"4" color:10 label:"true" }
edge: {source:"1" target:"2"}
edge: {source:"0" target:"1"}
node.margin : -1
node.color : 34
node.textcolor : 35
node.bordercolor: 29
node.borderwidth: 1
node.height : 30
node.shape : box
node.label :"y\n1"
node.fontname :"helvB08"
edge.color : 29
edge.thickness : 1
edge.arrowsize : 0
edge.priority :100
edge.class : 2
node: {title:"c0" }
node: {title:"c1" }
node: {title:"c2" }
node: {title:"c3" }
node: {title:"c4" label:"x\n25"}
node: {title:"c5" }
node: {title:"c6" }
node: {title:"c7" }
node: {title:"c8" label:"x\n3" }
node: {title:"c9" }
node: {title:"c10" label:"x\n4" }
node: {title:"c11" }
node: {title:"c12" }
node: {title:"c13" }
node: {title:"c14" label:"x\n2" }
node: {title:"c15" }
node: {title:"c16" }
node: {title:"c17" }
node: {title:"c18" }
node: {title:"c19" label:"x\n3" }
node: {title:"c20" }
node: {title:"c21" }
node: {title:"c22" label:"x\n4" }
node: {title:"c23" }
node: {title:"c24" }
nearedge: {source:"20" target:"c0" }
nearedge: {source:"19" target:"c1" }
edge: {source:"16" target:"c2" }
nearedge: {source:"17" target:"c3" }
nearedge: {source:"c4" target:"c5" }
nearedge: {source:"18" target:"c4" }
nearedge: {source:"15" target:"c6" }
edge: {source:"12" target:"c7" }
nearedge: {source:"c8" target:"c9" }
nearedge: {source:"13" target:"c8" }
nearedge: {source:"c10" target:"c11"}
nearedge: {source:"14" target:"c10"}
nearedge: {source:"11" target:"c12"}
edge: {source:"8" target:"c13"}
nearedge: {source:"c14" target:"c15"}
nearedge: {source:"10" target:"c14"}
nearedge: {source:"9" target:"c16"}
nearedge: {source:"7" target:"c17"}
edge: {source:"5" target:"c18"}
nearedge: {source:"c19" target:"c20"}
nearedge: {source:"6" target:"c19"}
edge: {source:"3" target:"c21"}
nearedge: {source:"c22" target:"c23"}
nearedge: {source:"4" target:"c22"}
nearedge: {source:"2" target:"c24"}
node.textcolor : 36
node.bordercolor: 43
node.color: 42
node.label:"x"
edge.class: 3
edge.color: 43
node: {title:"l0" label:"y"}
node: {title:"l1" }
node: {title:"l2" }
node: {title:"l3" }
node: {title:"l4" }
node: {title:"l5" }
node: {title:"l6" }
node: {title:"l7" label:"y"}
node: {title:"l8" }
node: {title:"l9" label:"y"}
node: {title:"l10" label:"y"}
node: {title:"l11" }
node: {title:"l12" label:"y"}
node: {title:"l13" }
node: {title:"l14" label:"y"}
node: {title:"l15" }
node: {title:"l16" label:"y"}
node: {title:"l17" label:"y"}
node: {title:"l18" }
node: {title:"l19" label:"y"}
node: {title:"l20" label:"y"}
node: {title:"l21" }
node: {title:"l22" label:"<terminal>"}
nearedge: {source:"20" target:"l0" }
nearedge: {source:"19" target:"l1" }
edge: {source:"16" target:"l2" }
nearedge: {source:"17" target:"l3" }
nearedge: {source:"15" target:"l4" }
edge: {source:"12" target:"l5" }
nearedge: {source:"l6" target:"l7" }
nearedge: {source:"11" target:"l6" }
nearedge: {source:"l8" target:"l9" }
edge: {source:"8" target:"l8" }
nearedge: {source:"10" target:"l10"}
nearedge: {source:"l11" target:"l12"}
nearedge: {source:"9" target:"l11"}
nearedge: {source:"l13" target:"l14"}
nearedge: {source:"7" target:"l13"}
nearedge: {source:"l15" target:"l16"}
edge: {source:"5" target:"l15"}
nearedge: {source:"6" target:"l17"}
nearedge: {source:"l18" target:"l19"}
edge: {source:"3" target:"l18"}
nearedge: {source:"4" target:"l20"}
nearedge: {source:"2" target:"l21"}
nearedge: {source:"1" target:"l22"}
}
|
