class WHEN_ITEM_1
Summary
Class invariant
Overview
creation features
exported features
expression: EXPRESSION
writable attribute
The written one.
manifest_expression: MANIFEST_EXPRESSION
writable attribute
The corresponding manifest value (because expression can be a call).
expression_value: INTEGER_32
writable attribute
The corresponding value
start_position: POSITION
effective function
accept (visitor: WHEN_ITEM_1_VISITOR)
effective procedure
Accept to be visited by the visitor.
validity_check_continued_when_item_1 (occurrence_2: WHEN_ITEM_1)
effective procedure
set_manifest_expression (lookup_type: TYPE)
effective procedure
set_expression_value_character
effective procedure
set_expression_value_integer
effective procedure
specialize_in (new_type: TYPE): WHEN_ITEM_1
effective function
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): WHEN_ITEM_1
effective function
specialize_2_character (type: TYPE): WHEN_ITEM_1
effective function
specialize_2_integer (type: TYPE): WHEN_ITEM_1
effective function
specialize_2_string (type: TYPE): WHEN_ITEM_1
effective function
has_been_specialized: BOOLEAN
effective function
pretty (indent_level: INTEGER_32)
effective procedure
init (exp: EXPRESSION)
effective procedure