home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
INTERNALS_HANDLER
All features
class BENCHMARK
Summary
top
Benchmarking facilities
Direct parents
insert list:
ANY
,
PLATFORM
Overview
top
creation features
make
(n:
STRING
)
exported features
make
(n:
STRING
)
start
next
stop
break
useful for loop termination
name
:
STRING
in_progress
:
BOOLEAN
counter
:
INTEGER_32
min_time
:
REAL_64
in seconds
max_time
:
REAL_64
in seconds
total_time
:
REAL_64
in seconds
mean_time
:
REAL_64
in seconds
set_custom_print
(cp:
PROCEDURE
[
TUPLE 1
[BENCHMARK]])
print_now
smart_print
make
(n:
STRING
)
effective procedure
top
require
n /= Void
ensure
not
in_progress
counter
= 0
start
effective procedure
top
require
not
in_progress
ensure
in_progress
next
effective procedure
top
require
in_progress
ensure
counter
= old
counter
+ 1
in_progress
stop
effective procedure
top
require
in_progress
ensure
counter
= old
counter
+ 1
not
in_progress
break
effective procedure
top
useful for loop termination
require
in_progress
ensure
counter
= old
counter
not
in_progress
name
:
STRING
writable attribute
top
in_progress
:
BOOLEAN
writable attribute
top
counter
:
INTEGER_32
writable attribute
top
min_time
:
REAL_64
writable attribute
top
in seconds
max_time
:
REAL_64
writable attribute
top
in seconds
total_time
:
REAL_64
writable attribute
top
in seconds
mean_time
:
REAL_64
effective function
top
in seconds
require
counter
> 0
set_custom_print
(cp:
PROCEDURE
[
TUPLE 1
[BENCHMARK]])
effective procedure
top
print_now
effective procedure
top
smart_print
effective procedure
top