home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
RENAME_LIST_VISITOR
PARENT_EDGE
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class RENAME_LIST
Summary
top
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Overview
top
creation features
make
(first:
RENAME_PAIR
)
exported features
pretty
accept
(visitor:
RENAME_LIST_VISITOR
)
Accept to be visited by the
visitor
.
pretty
effective procedure
top
accept
(visitor:
RENAME_LIST_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void