../tests/purseApp/html_purse_dump/purseApp.TransactionList

prtAll

()V

Flow Annotation

RESFR(A,-1,w)
R     
E     
S     
F     
R(A,-1,w)     

Escape Annotation

number of new = 0
number of captured objects = 0

prt

(Ljava/lang/String;)V

Flow Annotation

RESFR(A,-1,w)R(A,0,w)
R      
E      
S      
F      
R(A,-1,w)      
R(A,0,w)      

Escape Annotation

number of new = 0
number of captured objects = 0

insert

(LpurseApp/Transaction;)V

Flow Annotation

RESFR(A,-1,w)R(A,0,w)
R      
E      
S      
F      
R(A,-1,w)      Rpp  RppRps
R(A,0,w)      RppRsp Rtt

Escape Annotation

number of new = 0
number of captured objects = 0

delete

()V

Flow Annotation

RESFR(A,-1,w)
R     
E     
S     
F     
R(A,-1,w)     

Escape Annotation

number of new = 0
number of captured objects = 0

<init>

(I)V

Flow Annotation

RESFR(A,-1,w)P(A,0)
R      
E      
S      
F      
R(A,-1,w)       Vpp
P(A,0)       

Escape Annotation

number of new = 2
number of captured objects = 0
rate = 0%

incr

(I)Z

Flow Annotation

RESFR(A,-1,w)P(A,0)
R      
E      
S      
F      
R(A,-1,w)      Vpp  Vpp
P(A,0)       

Escape Annotation

number of new = 0
number of captured objects = 0

decr

(I)Z

Flow Annotation

RESFR(A,-1,w)P(A,0)
R      
E      
S      
F      
R(A,-1,w)      Vpp  Vpp
P(A,0)       

Escape Annotation

number of new = 0
number of captured objects = 0

isMax

()Z

Flow Annotation

RESFR(A,-1,w)
R     
E     
S     
F     
R(A,-1,w)     

Escape Annotation

number of new = 0
number of captured objects = 0