1reading Blort.class...
2method <init> ()V
3first 0007
4block 0000
5  pred 0005
6  Blort.java:2@0001: Rop{invoke-direct . <- Ljava/lang/Object; call throws <any
7  >}(java.lang.Object.<init>:()V catch) . <- v0:NffffLBlort;
8  next 0006
9block 0005
10  pred 0007
11  Blort.java:2@0000: move-param-object(0) v0:"this"NffffLBlort; <- .
12  Blort.java:2@0000: goto . <- .
13  next 0000
14block 0006
15  pred 0000
16  Blort.java:2@0004: return-void . <- .
17  returns
18block 0007
19  @????: goto . <- .
20  next 0005
21
22method testMultipleIdenticalSuccessors (I)V
23first 002e
24block 0000
25  pred 0025
26  Blort.java:5@0001: switch({1, 2, 3}) . <- v3:I
27  next 001c
28  next 001c
29  next 001c
30  next 0026 *
31block 001c
32  pred 0000
33  pred 0000
34  pred 0000
35  Blort.java:9@001c: get-static-object(java.lang.System.out:Ljava/io/PrintStrea
36  m; catch) . <- .
37  next 002c
38block 001f
39  pred 002c
40  Blort.java:9@001f: const-object("foo" catch) . <- .
41  next 002d
42block 0021
43  pred 002d
44  Blort.java:9@0021: Rop{invoke-virtual . <- Ljava/io/PrintStream; Ljava/lang/S
45  tring; call throws <any>}(java.io.PrintStream.println:(Ljava/lang/String;)V c
46  atch) . <- v0:Ljava/io/PrintStream; v1:Ljava/lang/String;="foo"
47  next 0026
48block 0025
49  pred 002e
50  Blort.java:5@0000: move-param-object(0) v2:"this"LBlort; <- .
51  Blort.java:5@0000: move-param-int(1) v3:"foo"I <- .
52  Blort.java:5@0000: goto . <- .
53  next 0000
54block 0026
55  pred 0000
56  pred 0021
57  Blort.java:12@0024: return-void . <- .
58  returns
59block 002c
60  pred 001c
61  Blort.java:9@001c: Rop{move-result-pseudo Ljava/io/PrintStream; <- . flows} v
62  0:Ljava/io/PrintStream; <- .
63  Blort.java:9@001c: goto . <- .
64  next 001f
65block 002d
66  pred 001f
67  Blort.java:9@001f: Rop{move-result-pseudo Ljava/lang/String; <- . flows} v1:L
68  java/lang/String;="foo" <- .
69  Blort.java:9@001f: goto . <- .
70  next 0021
71block 002e
72  @????: goto . <- .
73  next 0025
74
75method testNoPrimarySuccessor ()V
76first 0012
77block 0000
78  pred 000a
79  Blort.java:16@0000: new-instance(java.lang.RuntimeException catch java.lang.R
80  untimeException) . <- .
81  next 0013
82  next 0011 *
83block 0003
84  pred 0011
85  Blort.java:16@0004: Rop{invoke-direct . <- Ljava/lang/RuntimeException; call
86  throws <any>}(java.lang.RuntimeException.<init>:()V catch java.lang.RuntimeEx
87  ception) . <- v0:N0000Ljava/lang/RuntimeException;
88  next 0013
89  next 0007 *
90block 0007
91  pred 0003
92  Blort.java:16@0007: throw(catch java.lang.RuntimeException) . <- v0:Ljava/lan
93  g/RuntimeException;
94  next 0013
95block 000a
96  pred 0012
97  Blort.java:16@0000: move-param-object(0) v1:"this"LBlort; <- .
98  Blort.java:16@0000: goto . <- .
99  next 0000
100block 000b
101  pred 0013
102  Blort.java:19@0009: return-void . <- .
103  returns
104block 0011
105  pred 0000
106  Blort.java:16@0000: Rop{move-result-pseudo N0000Ljava/lang/RuntimeException;
107  <- . flows} v0:N0000Ljava/lang/RuntimeException; <- .
108  Blort.java:16@0000: goto . <- .
109  next 0003
110block 0012
111  @????: goto . <- .
112  next 000a
113block 0013
114  pred 0000
115  pred 0003
116  pred 0007
117  Blort.java:17@0008: Rop{move-exception Ljava/lang/RuntimeException; <- . flow
118  s} v0:Ljava/lang/RuntimeException; <- .
119  @????: goto . <- .
120  next 000b
121