home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
INTROSPECTION_HANDLER
MANIFEST_STRING_INSPECTOR
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
class WHEN_ITEM_1
Summary
top
To store a single value of a when clause in an inspect instruction.
Exemple :
inspect ... when foo, bar, then ...
Direct parents
inherit list:
WHEN_ITEM
Class invariant
top
expression
/= Void
Overview
top
creation features
exported features
expression
:
EXPRESSION
The written one.
manifest_expression
:
MANIFEST_EXPRESSION
The corresponding manifest value (because
expression
can be a call).
expression_value
:
INTEGER_32
The corresponding value
start_position
:
POSITION
accept
(visitor:
WHEN_ITEM_1_VISITOR
)
Accept to be visited by the
visitor
.
expression
:
EXPRESSION
writable attribute
top
The written one.
manifest_expression
:
MANIFEST_EXPRESSION
writable attribute
top
The corresponding manifest value (because
expression
can be a call).
expression_value
:
INTEGER_32
writable attribute
top
The corresponding value
start_position
:
POSITION
effective function
top
accept
(visitor:
WHEN_ITEM_1_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void
inspect ... when foo, bar, then ...