digraph whileMethod { node [shape=record] "whileMethodbb-1" [shape=circle,label="e",xlabel="whileMethod"] "whileMethodbb-2" [shape=circle,label="x"] "whileMethodbb0" [label="0|{0: // label|1: // line number information|2: ICONST_0 |3: ISTORE 2}"] "whileMethodbb4" [label="4|{4: // label|5: // line number information|6: // stack frame map|7: ILOAD 1|8: IFLE 19}"] "whileMethodbb9" [label="9|{9: // label|10: // line number information|11: ILOAD 2|12: ILOAD 1|13: IADD |14: ISTORE 2|15: // label|16: // line number information|17: IINC 1 -1|18: GOTO 4}"] "whileMethodbb19" [label="19|{19: // label|20: // line number information|21: // stack frame map|22: ILOAD 2|23: IRETURN }"] "whileMethodbb-1" -> "whileMethodbb0" "whileMethodbb0" -> "whileMethodbb4" "whileMethodbb4" -> "whileMethodbb9" "whileMethodbb19" -> "whileMethodbb-2" "whileMethodbb9" -> "whileMethodbb4" [label="T"] "whileMethodbb4" -> "whileMethodbb19" [label="T"] }