../tests/purseApp/html_purse_dump/purseApp.LoyaltyRentACar

analyze

(LpurseApp/Transaction;)V

Flow Annotation

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

Escape Annotation

number of new = 0
number of captured objects = 0

getBalance

()I

Flow Annotation

	R	E	S	F	R(A,-1,w)
R					Vpp
E
S
F
R(A,-1,w)	Vpp				Rpp

Escape Annotation

number of new = 0
number of captured objects = 0

update

()V

Flow Annotation

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

Escape Annotation

number of new = 0
number of captured objects = 0

getSN

()I

Flow Annotation

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

Escape Annotation

number of new = 0
number of captured objects = 0

getName

()Ljava/lang/String;

Flow Annotation

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

Escape Annotation

number of new = 0
number of captured objects = 0

getSurname

()Ljava/lang/String;

Flow Annotation

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

Escape Annotation

number of new = 0
number of captured objects = 0

<init>

(LpurseApp/Purse;ILjava/lang/String;Ljava/lang/String;)V

Flow Annotation

	R	E	S	F	R(A,-1,w)	R(A,0,w)	P(A,1)	R(A,2,w)	R(A,3,w)
R
E
S			Vpp
F
R(A,-1,w)			Vpp			RppRps	Vpp	RppRps	RppRps
R(A,0,w)			VppVsp					Rtt	Rtt
P(A,1)
R(A,2,w)			VppVsp						Rtt
R(A,3,w)			VppVsp

Escape Annotation

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

()V

Flow Annotation

	R	E	S	F
R
E
S
F

Escape Annotation

number of new = 0
number of captured objects = 0