graph: { title: "CFG_GRAPH" x: 150 y: 30 width: 716 height: 960 layoutalgorithm: dfs display_edge_labels: yes manhatten_edges: yes layout_nearfactor: 0 xspace: 25 node.color: lightyellow node.textcolor: blue edge.color: blue edge.arrowsize: 15 edge.thickness: 4 stretch: 43 shrink: 100 classname 1 : "CFG Edges (blue)" classname 2 : "Const Lists (red)" classname 3 : "Live Variable Lists (green)" node: { title:"21" label: "Exit" shape: ellipse color: aquamarine } node: { title:"20" label: " WRITE (x)"} node: { title:"19" label: " x := x+1"} node: { title:"18" label: " x := 25"} node: { title:"17" label: " x := ((((x+1)*(x+1))-(x*x))-x)-1"} node: { title:"16" label: "x=5" shape: rhomb color: pink } node: { title:"15" label: " x := x+1"} node: { title:"14" label: " x := 4"} node: { title:"13" label: " x := 3"} node: { title:"12" label: "x=55" shape: rhomb color: pink } node: { title:"11" label: " x := y+x"} node: { title:"10" label: " x := 2"} node: { title:"9" label: " x := 2*x"} node: { title:"8" label: "x=55" shape: rhomb color: pink } node: { title:"7" label: " x := x-2"} node: { title:"6" label: " x := 3"} node: { title:"5" label: "x=55" shape: rhomb color: pink } node: { title:"4" label: " x := 4"} node: { title:"3" label: "y=1" shape: rhomb color: pink } node: { title:"2" label: " y := 1"} node: { title:"1" label: " READ (x)"} node: { title:"0" label: "Start" shape: ellipse color: aquamarine } edge: { sourcename:"20" targetname:"21" class: 1} edge: { sourcename:"19" targetname:"20" class: 1} edge: { sourcename:"18" targetname:"19" class: 1} edge: { sourcename:"17" targetname:"19" class: 1} edge: { sourcename:"15" targetname:"16" class: 1} bentnearedge: { sourcename:"16" targetname:"18" label: "true" class: 1} bentnearedge: { sourcename:"16" targetname:"17" label: "false" class: 1} edge: { sourcename:"14" targetname:"15" class: 1} edge: { sourcename:"13" targetname:"15" class: 1} edge: { sourcename:"11" targetname:"12" class: 1} bentnearedge: { sourcename:"12" targetname:"14" label: "false" class: 1} bentnearedge: { sourcename:"12" targetname:"13" label: "true" class: 1} bentnearedge: { sourcename:"8" targetname:"11" label: "false" class: 1} edge: { sourcename:"7" targetname:"8" class: 1} backedge: { sourcename:"10" targetname:"8" class: 1} edge: { sourcename:"9" targetname:"10" class: 1} bentnearedge: { sourcename:"8" targetname:"9" label: "true" class: 1} edge: { sourcename:"6" targetname:"7" class: 1} bentnearedge: { sourcename:"5" targetname:"7" label: "false" class: 1} edge: { sourcename:"4" targetname:"5" class: 1} bentnearedge: { sourcename:"3" targetname:"5" label: "false" class: 1} bentnearedge: { sourcename:"5" targetname:"6" label: "true" class: 1} edge: { sourcename:"2" targetname:"3" class: 1} bentnearedge: { sourcename:"3" targetname:"4" label: "true" class: 1} edge: { sourcename:"1" targetname:"2" class: 1} edge: { sourcename:"0" targetname:"1" class: 1} // node.color: darkred node.bordercolor: yellow node.textcolor: yellow edge.color: red edge.thickness: 3 node: { title: "CP0" label: "y\n1" } node: { title: "CP1" label: "y\n1" } node: { title: "CP2" label: "y\n1" } node: { title: "CP3" label: "y\n1" } node: { title: "CP4" label: "x\n25" } node: { title: "CP5" label: "y\n1" } node: { title: "CP6" label: "y\n1" } node: { title: "CP7" label: "y\n1" } node: { title: "CP8" label: "x\n3" } node: { title: "CP9" label: "y\n1" } node: { title: "CP10" label: "x\n4" } node: { title: "CP11" label: "y\n1" } node: { title: "CP12" label: "y\n1" } node: { title: "CP13" label: "y\n1" } node: { title: "CP14" label: "x\n2" } node: { title: "CP15" label: "y\n1" } node: { title: "CP16" label: "y\n1" } node: { title: "CP17" label: "y\n1" } node: { title: "CP18" label: "y\n1" } node: { title: "CP19" label: "x\n3" } node: { title: "CP20" label: "y\n1" } node: { title: "CP21" label: "y\n1" } node: { title: "CP22" label: "x\n4" } node: { title: "CP23" label: "y\n1" } node: { title: "CP24" label: "y\n1" } nearedge: { sourcename: "20" targetname: "CP0" class: 2 } nearedge: { sourcename: "19" targetname: "CP1" class: 2 } edge: { sourcename: "16" targetname: "CP2" class: 2 } nearedge: { sourcename: "17" targetname: "CP3" class: 2 } nearedge: { sourcename: "CP4" targetname: "CP5" class: 2 } nearedge: { sourcename: "18" targetname: "CP4" class: 2 } nearedge: { sourcename: "15" targetname: "CP6" class: 2 } edge: { sourcename: "12" targetname: "CP7" class: 2 } nearedge: { sourcename: "CP8" targetname: "CP9" class: 2 } nearedge: { sourcename: "13" targetname: "CP8" class: 2 } nearedge: { sourcename: "CP10" targetname: "CP11" class: 2 } nearedge: { sourcename: "14" targetname: "CP10" class: 2 } nearedge: { sourcename: "11" targetname: "CP12" class: 2 } edge: { sourcename: "8" targetname: "CP13" class: 2 } nearedge: { sourcename: "CP14" targetname: "CP15" class: 2 } nearedge: { sourcename: "10" targetname: "CP14" class: 2 } nearedge: { sourcename: "9" targetname: "CP16" class: 2 } nearedge: { sourcename: "7" targetname: "CP17" class: 2 } edge: { sourcename: "5" targetname: "CP18" class: 2 } nearedge: { sourcename: "CP19" targetname: "CP20" class: 2 } nearedge: { sourcename: "6" targetname: "CP19" class: 2 } edge: { sourcename: "3" targetname: "CP21" class: 2 } nearedge: { sourcename: "CP22" targetname: "CP23" class: 2 } nearedge: { sourcename: "4" targetname: "CP22" class: 2 } nearedge: { sourcename: "2" targetname: "CP24" class: 2 } // edge.class: 3 edge.color: darkgreen node.color: green node.textcolor: darkgreen node.bordercolor: darkgreen node: { title: "LL0" label: "y" } node: { title: "LL1" label: "x" } node: { title: "LL2" label: "x" } node: { title: "LL3" label: "x" } node: { title: "LL4" label: "x" } node: { title: "LL5" label: "x" } node: { title: "LL6" label: "x" } node: { title: "LL7" label: "y" } node: { title: "LL8" label: "x" } node: { title: "LL9" label: "y" } node: { title: "LL10" label: "y" } node: { title: "LL11" label: "x" } node: { title: "LL12" label: "y" } node: { title: "LL13" label: "x" } node: { title: "LL14" label: "y" } node: { title: "LL15" label: "x" } node: { title: "LL16" label: "y" } node: { title: "LL17" label: "y" } node: { title: "LL18" label: "x" } node: { title: "LL19" label: "y" } node: { title: "LL20" label: "y" } node: { title: "LL21" label: "x" } node: { title: "LL22" label: "" } nearedge: { sourcename: "20" targetname: "LL0" } nearedge: { sourcename: "19" targetname: "LL1" } edge: { sourcename: "16" targetname: "LL2" } nearedge: { sourcename: "17" targetname: "LL3" } nearedge: { sourcename: "15" targetname: "LL4" } edge: { sourcename: "12" targetname: "LL5" } nearedge: { sourcename: "LL6" targetname: "LL7" } nearedge: { sourcename: "11" targetname: "LL6" } nearedge: { sourcename: "LL8" targetname: "LL9" } edge: { sourcename: "8" targetname: "LL8" } nearedge: { sourcename: "10" targetname: "LL10" } nearedge: { sourcename: "LL11" targetname: "LL12" } nearedge: { sourcename: "9" targetname: "LL11" } nearedge: { sourcename: "LL13" targetname: "LL14" } nearedge: { sourcename: "7" targetname: "LL13" } nearedge: { sourcename: "LL15" targetname: "LL16" } edge: { sourcename: "5" targetname: "LL15" } nearedge: { sourcename: "6" targetname: "LL17" } nearedge: { sourcename: "LL18" targetname: "LL19" } edge: { sourcename: "3" targetname: "LL18" } nearedge: { sourcename: "4" targetname: "LL20" } nearedge: { sourcename: "2" targetname: "LL21" } nearedge: { sourcename: "1" targetname: "LL22" } }