home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class TAG_NAME
Summary
top
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Overview
top
creation features
make
(hn:
HASHED_STRING
, sp:
POSITION
)
exported features
hashed_name
:
HASHED_STRING
The corresponding unique one.
to_string
:
STRING
An alias for
hashed_name.to_string
.
start_position
:
POSITION
to_key
:
STRING
short
accept
(visitor:
TAG_NAME_VISITOR
)
Accept to be visited by the
visitor
.
hashed_name
:
HASHED_STRING
writable attribute
top
The corresponding unique one.
to_string
:
STRING
effective function
top
An alias for
hashed_name.to_string
.
start_position
:
POSITION
writable attribute
top
to_key
:
STRING
effective function
top
short
effective procedure
top
accept
(visitor:
TAG_NAME_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void