../tests/purseApp/html_purse_dump/purseApp.PurseHandle
prt
(Ljava/lang/String;)V
Flow Annotation
| R | E | S | F | R(A,0,w) |
R | | | | | |
E | | | | | |
S | | | | | |
F | | | | | |
R(A,0,w) | | | | | |
Escape Annotation
number of new = 0
number of captured objects = 0
process
(BLjava/lang/Object;)Z
Flow Annotation
| R | E | S | F | R(A,-1,w) | P(A,0) | R(A,1,w) |
R | | | | | | | |
E | | | | | | | |
S | | | Rtt | | | | VppVsp |
F | | | | | | | |
R(A,-1,w) | Vpp | | | | Rpp | | Rtt |
P(A,0) | | | | | | | |
R(A,1,w) | VppVsp | | | | RppRsp | | Rtt |
Escape Annotation
number of new = 0
number of captured objects = 0
<init>
(LpurseApp/Purse;)V
Flow Annotation
| R | E | S | F | R(A,-1,w) | R(A,0,w) |
R | | | | | | |
E | | | | | | |
S | | | | | | |
F | | | | | | |
R(A,-1,w) | | | | | | RppRps |
R(A,0,w) | | | | | | |
Escape Annotation
number of new = 0
number of captured objects = 0