home
wiki
classes/clusters list
class information
+
Point of view
EIFFELDOC
ANY
CLUSTER_VISITOR
CLASS_TEXT
CLASSES_TREE
EIFFELDOC
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class CLUSTER
Summary
top
A
CLUSTER
description. Such an object is created for each cluster entry of the
ACE
file in
ACE
file mode, but also for each directory of the loading path for the ordinary command line mode.
Direct parents
inherit list:
VISITABLE
insert list:
ASSERTION_LEVEL_NUMBERING
,
DEBUG_KEY_SUPPORT
,
GLOBALS
Class invariant
top
name
/= Void
Overview
top
creation features
exported features
class_text
(class_name:
CLASS_NAME
, report_error:
BOOLEAN
, load:
BOOLEAN
):
CLASS_TEXT
accept
(visitor:
CLUSTER_VISITOR
)
Accept to be visited by the
visitor
.
is_equal
(other: CLUSTER):
BOOLEAN
Is
other
attached to an object considered equal to current object?
view_in
(msg:
STRING
)
get_started
(highest_encountered_level:
INTEGER_32
)
Called after the parsing of the whole
ACE
file (or the whole command line).
show
pretty_in
(txt:
STRING
)
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
include_parsing
name
:
STRING
directory_path
:
STRING
parser_buffer
:
PARSER_BUFFER
level_name
(level:
INTEGER_32
):
STRING
level_not_computed
:
INTEGER_32
To memorize the fact that the assertion level is not yet known.
level_boost
:
INTEGER_32
The -boost hight speed level.
level_no
:
INTEGER_32
No assertion checking of any kind.
level_require
:
INTEGER_32
Evaluate the preconditions.
level_ensure
:
INTEGER_32
Also evaluate postconditions.
level_invariant
:
INTEGER_32
Also evaluate the class invariant on entry to and return from.
level_loop
:
INTEGER_32
Also evaluate the loop variant and the loop invariant.
level_all
:
INTEGER_32
Also evaluate the check instruction.
class_text
(class_name:
CLASS_NAME
, report_error:
BOOLEAN
, load:
BOOLEAN
):
CLASS_TEXT
effective function
top
accept
(visitor:
CLUSTER_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void
is_equal
(other: CLUSTER):
BOOLEAN
effective function
top
Is
other
attached to an object considered equal to current object?
require
other /= Void
ensure
commutative:
generating_type = other.generating_type implies Result = other.is_equal(Current)
view_in
(msg:
STRING
)
effective procedure
top
get_started
(highest_encountered_level:
INTEGER_32
)
effective procedure
top
Called after the parsing of the whole
ACE
file (or the whole command line).
require
highest_encountered_level.in_range(
level_boost
,
level_all
)
show
effective procedure
top
pretty_in
(txt:
STRING
)
effective procedure
top
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
top
include_parsing
effective procedure
top
name
:
STRING
writable attribute
top
directory_path
:
STRING
writable attribute
top
parser_buffer
:
PARSER_BUFFER
frozen
once function
top
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.
Do not check for Void target. Do not check system level validity. Optimize generated code.
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.
The default value.