Step 2.
a) Choose the method(s) to be analyzed or Select All
main([Ljava/lang/String;)V
bodies()Ljava/util/Enumeration;
bodiesRev()Ljava/util/Enumeration;
createTestData(I)V
stepSystem(I)V
makeTree(I)V
intcoord(Lmemory/jolden/bh/MathVector;)Lmemory/jolden/bh/MathVector;
vp(Lmemory/jolden/bh/Body;I)V
main2([Ljava/lang/String;)V
Read methods 158 -- 88 -- 89 Read methods 158 -- 92 -- 93 Read methods 158 -- 94 -- 93 Read methods 158 -- 95 -- 96 Read methods 158 -- 97 -- 96 Read methods 158 -- 98 -- 96 Read methods 158 -- 99 -- 100 Read methods 158 -- 101 -- 102 Read methods 158 -- 103 -- 104 Read methods 158 -- 105 -- 104 <init>()V

Context Info (Classes)

b) Cost Model
Number of instructions
Termination
Memory + Garbage Collector NoneScopedReachabilityLiveness
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