digraph staticFieldReadMethod { node [shape=record] "staticFieldReadMethodbb-1" [shape=circle,label="e",xlabel="staticFieldReadMethod"] "staticFieldReadMethodbb-2" [shape=circle,label="x"] "staticFieldReadMethodbb0" [label="0|{0: // label|1: // line number information|2: GETSTATIC ExampleClass.staticField Ljava/lang/String;|3: ARETURN }"] "staticFieldReadMethodbb-1" -> "staticFieldReadMethodbb0" "staticFieldReadMethodbb0" -> "staticFieldReadMethodbb-2" }