home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
CLASS_TEXT
INDEX_LIST_VISITOR
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class INDEX_LIST
Summary
top
For the indexing clause in the heading part of a class.
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Overview
top
creation features
exported features
pretty
accept
(visitor:
INDEX_LIST_VISITOR
)
Accept to be visited by the
visitor
.
pretty
effective procedure
top
accept
(visitor:
INDEX_LIST_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void