+
Point of view
ACE
class ASSERTION_LEVEL_NUMBERING
Summary
top
Overview
top
exported features
  • is_launcher: BOOLEAN
    If True, the clusters list will not be retrieved (it means that the tool is only used to start other tools; it does not load classes itself)
level_name (level: INTEGER_32): STRING
effective function
top
level_not_computed: INTEGER_32
constant attribute
top
To memorize the fact that the assertion level is not yet known.
level_boost: INTEGER_32
constant attribute
top
The -boost hight speed level.
level_no: INTEGER_32
constant attribute
top
No assertion checking of any kind.
level_require: INTEGER_32
constant attribute
top
Evaluate the preconditions.
level_ensure: INTEGER_32
constant attribute
top
Also evaluate postconditions.
level_invariant: INTEGER_32
constant attribute
top
Also evaluate the class invariant on entry to and return from.
level_loop: INTEGER_32
constant attribute
top
Also evaluate the loop variant and the loop invariant.
level_all: INTEGER_32
constant attribute
top
Also evaluate the check instruction.
is_launcher: BOOLEAN
effective function
top
If True, the clusters list will not be retrieved (it means that the tool is only used to start other tools; it does not load classes itself)