home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
EXPORT_LIST
CALL_SUPPORT
CLIENT_LIST
CLASS_TEXT
CLIENT_LIST_VISITOR
ANONYMOUS_FEATURE_MIXER
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class CLIENT_LIST
Summary
top
To store a list of clients class like : {FOO, BAR}
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Overview
top
creation features
make
(sp:
POSITION
, cnl:
CLASS_NAME_LIST
)
When the client list is really written.
merge
(sp:
POSITION
, cnl1:
CLASS_NAME_LIST
, cnl2:
CLASS_NAME_LIST
)
omitted
When the client list is omitted.
exported features
start_position
:
POSITION
Of the the opening bracket when list is really written.
is_omitted
:
BOOLEAN
pretty
(indent_level:
INTEGER_32
)
gives_permission_to
(cn:
CLASS_NAME
):
BOOLEAN
Check whether the
cn
class is a member (or a subclass as well) of the
Current
client list.
gives_permission_to_any
:
BOOLEAN
Check whether the
Current
client list gives permission to all classes.
gives_no_permission
:
BOOLEAN
Check whether the
Current
client list gives no permission at all (No error report done here in
error_handler
).
is_equal
(other: CLIENT_LIST):
BOOLEAN
Is
other
attached to an object considered equal to current object?
accept
(visitor:
CLIENT_LIST_VISITOR
)
Accept to be visited by the
visitor
.
eiffel_view
:
STRING
The Eiffel view of the allowed classe(s) list.
start_position
:
POSITION
writable attribute
top
Of the the opening bracket when list is really written.
is_omitted
:
BOOLEAN
effective function
top
pretty
(indent_level:
INTEGER_32
)
effective procedure
top
gives_permission_to
(cn:
CLASS_NAME
):
BOOLEAN
effective function
top
Check whether the
cn
class is a member (or a subclass as well) of the
Current
client list.
(No error report done here in
error_handler
).
require
cn /= Void
gives_permission_to_any
:
BOOLEAN
effective function
top
Check whether the
Current
client list gives permission to all classes.
(No error report done here in
error_handler
).
gives_no_permission
:
BOOLEAN
effective function
top
Check whether the
Current
client list gives no permission at all (No error report done here in
error_handler
).
is_equal
(other: CLIENT_LIST):
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)
accept
(visitor:
CLIENT_LIST_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void
eiffel_view
:
STRING
effective function
top
The Eiffel view of the allowed classe(s) list.
(Because of clients list merging, the
Current
clients list may be located on many Eiffel source files. This function is also useful to remind default abbreviated notation as omitted list or empty list.)
ensure
Result /= Void