home
wiki
classes/clusters list
class information
+
Point of view
NATIVE_JAVA
ANY
WHEN_ITEM_2
WHEN_ITEM_1
WHEN_ITEM
WHEN_CLAUSE
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
deferred class WHEN_ITEM
Summary
top
A part of the inspect instruction. There are two descendant
WHEN_ITEM_1
(for a single value) and
WHEN_ITEM_2
(for a slice).
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Known children
inherit list:
WHEN_ITEM_1
,
WHEN_ITEM_2
Overview
top
exported features
start_position
:
POSITION
accept
(visitor:
VISITOR
)
Accept to be visited by the
visitor
.
interface_info
:
INTERFACE_INFO
start_position
:
POSITION
deferred function
top
accept
(visitor:
VISITOR
)
deferred procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void
interface_info
:
INTERFACE_INFO
frozen
once function
top