Step 2.
a) Choose the method(s) to be analyzed or Select All
Read methods 44 -- 19 -- 20 Read methods 44 -- 17 -- 23 Read methods 44 -- 24 -- 25 Read methods 44 -- 26 -- 27 Read methods 44 -- 15 -- 28 Read methods 44 -- 30 -- 28 <init>()V
size()I
isEmpty()Z
push(Ljava/lang/Object;)V
top()Ljava/lang/Object;
pop()Ljava/lang/Object;

b) Select the Cost Model
Number of instructions
Termination
Memory + Garbage CollectorNoneScopedReachabilityLiveness
Number of calls to the method in the class

c) Provide an upper bound to check it? No Yes
e.g. [x]=2*x

d) Compute the asymptotic upper bound? No Normal Lazy

e) Select the user interface Automatic Manual