digraph combined {
  label="whileTrueMethod"
  -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:	 // stack frame map\l|3:	IINC 1 1\l|4:	GOTO 0\l}"]
  -1 -> 0 [label=""]
  0 -> 0 [label="T"]
  -1 -> 0 [style=dotted]
}