+
Point of view
NATIVE_JAVA
class WHEN_ITEM_2
Summary
top
Class invariant
top
Overview
top
creation features
exported features
lower: EXPRESSION
writable attribute
top
The written slice.
upper: EXPRESSION
writable attribute
top
The written slice.
lower_manifest_expression: MANIFEST_EXPRESSION
writable attribute
top
The corresponding values for lower and upper (they may be calls).
upper_manifest_expression: MANIFEST_EXPRESSION
writable attribute
top
The corresponding values for lower and upper (they may be calls).
lower_value: INTEGER_32
writable attribute
top
Corresponding values for this slice.
upper_value: INTEGER_32
writable attribute
top
Corresponding values for this slice.
start_position: POSITION
effective function
top
accept (visitor: WHEN_ITEM_2_VISITOR)
effective procedure
top
Accept to be visited by the visitor.
interface_info: INTERFACE_INFO
frozen
once function
top