+
Point of view
WHEN_CLAUSE
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.
validity_check_continued_ (occurrence_1: WHEN_ITEM)
effective procedure
top
match_value (v: INTEGER_32): BOOLEAN
effective function
top
collect (t: TYPE)
effective procedure
top
adapt_for (t: TYPE): WHEN_ITEM_2
effective function
top
compute_values (container: WHEN_CLAUSE)
effective procedure
top
force_internal_character_values (type: TYPE, container: WHEN_CLAUSE)
effective procedure
top
force_internal_integer_values (type: TYPE, container: WHEN_CLAUSE)
effective procedure
top
specialize_in (new_type: TYPE): WHEN_ITEM_2
effective function
top
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): WHEN_ITEM_2
effective function
top
specialize_2_character (type: TYPE): WHEN_ITEM_2
effective function
top
specialize_2_integer (type: TYPE): WHEN_ITEM_2
effective function
top
specialize_2_string (type: TYPE): WHEN_ITEM_2
effective function
top
has_been_specialized: BOOLEAN
effective function
top
pretty (indent_level: INTEGER_32)
effective procedure
top
validity_check (original_inspect: INSPECT_STATEMENT)
effective procedure
top
validity_check_continued (occurrence_1: WHEN_ITEM): BOOLEAN
effective function
top