home
wiki
classes/clusters list
class information
+
Point of view
COMPILE
ANY
CREATION_CLAUSE
RUN_FEATURE_1
FEATURE_CLAUSE
EIFFEL_PARSER
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class FEATURE_NAME_LIST
Summary
top
A list of
FEATURE_NAME
(simple feature names as well as infix or prefix names).
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Class invariant
top
first
/= Void
Overview
top
creation features
make_1
(fn:
FEATURE_NAME
)
make_n
(list:
FAST_ARRAY
[
FEATURE_NAME
])
Note: also check for multiple occurrences.
exported features
first
:
FEATURE_NAME
item
(i:
INTEGER_32
):
FEATURE_NAME
count
:
INTEGER_32
has
(fn:
FEATURE_NAME
):
BOOLEAN
internal_name
(fn:
FEATURE_NAME
):
FEATURE_NAME
If present, give back the one actually stored in
Current
.
pretty
(indent_level:
INTEGER_32
)
short
all_positions_in_error_handler
accept
(visitor:
FEATURE_NAME_LIST_VISITOR
)
Accept to be visited by the
visitor
.
set_launcher
first
:
FEATURE_NAME
writable attribute
top
item
(i:
INTEGER_32
):
FEATURE_NAME
effective function
top
require
i.in_range(1,
count
)
ensure
Result /= Void
count
:
INTEGER_32
effective function
top
has
(fn:
FEATURE_NAME
):
BOOLEAN
effective function
top
require
fn /= Void
internal_name
(fn:
FEATURE_NAME
):
FEATURE_NAME
effective function
top
If present, give back the one actually stored in
Current
.
require
fn /= Void
pretty
(indent_level:
INTEGER_32
)
effective procedure
top
short
effective procedure
top
all_positions_in_error_handler
effective procedure
top
accept
(visitor:
FEATURE_NAME_LIST_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void
set_launcher
effective procedure
top