digraph allocObjectMethod { node [shape=record] "allocObjectMethodbb-1" [shape=circle,label="e",xlabel="allocObjectMethod"] "allocObjectMethodbb-2" [shape=circle,label="x"] "allocObjectMethodbb0" [label="0|{0: // label|1: // line number information|2: NEW java/lang/Object|3: DUP |4: INVOKESPECIAL java/lang/Object. ()V|5: ARETURN }"] "allocObjectMethodbb-1" -> "allocObjectMethodbb0" "allocObjectMethodbb0" -> "allocObjectMethodbb-2" }