Step 2.
a) Choose the method(s) to be analyzed or Select All
Read methods 60 -- 17 -- 18 Read methods 60 -- 24 -- 25 Read methods 60 -- 28 -- 29 Read methods 60 -- 33 -- 34 Read methods 60 -- 35 -- 36 Read methods 60 -- 38 -- 39 Read methods 60 -- 41 -- 42 Read methods 60 -- 46 -- 47 Read methods 60 -- 49 -- 42 Read methods 60 -- 50 -- 51 <init>()V
m2(Lconditional/Experiments;)V
m3(III)V
m4(II)V
m5([IIII)V
m6([IIIII)V
m7(Lconditional/Experiments;Lconditional/Experiments;Lconditional/Experiments;)V
m8(Lconditional/Experiments;Lconditional/Experiments;Lconditional/Experiments;Lconditional/Experiments;)V
m9(Lconditional/Experiments;Lconditional/Experiments;Lconditional/Experiments;)V
m10(Lconditional/Experiments;Lconditional/Experiments;I)V

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