class CLUSTER
Summary
Class invariant
Overview
creation features
exported features
accept (visitor: CLUSTER_VISITOR)
effective procedure
Accept to be visited by the visitor.
is_equal (other: CLUSTER): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
view_in (msg: STRING)
effective procedure
get_started (highest_encountered_level: INTEGER_32)
effective procedure
Called after the parsing of the whole ACE file (or the whole command line).
show
effective procedure
pretty_in (txt: STRING)
effective procedure
Performs the ace_check and also prepare in txt a pretty version of the Ace file as it is memorized (can be also used to pretty one's ACE file).
read_classes
effective procedure
include_parsing
effective procedure
name: STRING
writable attribute
directory_path: STRING
writable attribute
parser_buffer: PARSER_BUFFER
frozen
once function
level_name (level: INTEGER_32): STRING
effective function
level_not_computed: INTEGER_32
constant attribute
To memorize the fact that the assertion level is not yet known.
level_boost: INTEGER_32
constant attribute
The -boost hight speed level.
level_no: INTEGER_32
constant attribute
No assertion checking of any kind.
level_require: INTEGER_32
constant attribute
Evaluate the preconditions.
level_ensure: INTEGER_32
constant attribute
Also evaluate postconditions.
level_invariant: INTEGER_32
constant attribute
Also evaluate the class invariant on entry to and return from.
level_loop: INTEGER_32
constant attribute
Also evaluate the loop variant and the loop invariant.
level_all: INTEGER_32
constant attribute
Also evaluate the check instruction.