digraph combined {
  label="whileMethod"
  -1 [shape=record,style=filled,label="-1|entry"]
  -2 [shape=record,label="-2|exit"]
  0 [shape=record,label="0|{0:	 // label\l|1:	 // line number information\l|2:	ICONST_0 \l|3:	ISTORE 2\l}"]
  4 [shape=record,label="4|{4:	 // label\l|5:	 // line number information\l|6:	 // stack frame map\l|7:	ILOAD 1\l|8:	IFLE 19\l}"]
  9 [shape=record,label="9|{9:	 // label\l|10:	 // line number information\l|11:	ILOAD 2\l|12:	ILOAD 1\l|13:	IADD \l|14:	ISTORE 2\l|15:	 // label\l|16:	 // line number information\l|17:	IINC 1 -1\l|18:	GOTO 4\l}"]
  19 [shape=record,label="19|{19:	 // label\l|20:	 // line number information\l|21:	 // stack frame map\l|22:	ILOAD 2\l|23:	IRETURN \l}"]
  -1 -> 0 [label=""]
  0 -> 4 [label=""]
  4 -> 9 [label=""]
  19 -> -2 [label=""]
  9 -> 4 [label="T"]
  4 -> 19 [label="T"]
  0 -> 4 [style=dotted]
  -1 -> 0 [style=dotted]
  19 -> -2 [style=dotted]
  4 -> 9 [style=dotted]
  4 -> 19 [style=dotted]
}