home
wiki
classes/clusters list
class information
+
Point of view
SYSTEM_TOOLS
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
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?
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.
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)
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.