+
Point of view
All features
class EXPAND_EXPRESSION
- current_continuation = Void or current_continuation = top_sequence
- top_sequence = Void implies current_continuation = Void
- memory /= Void
require
-
node_not_void: node /= Void
require
-
list_not_void: list /= Void
require
-
node_not_void: node /= Void
require
-
list_not_void: list /= Void
ensure
-
no_solution_when_cleared: Result implies is_off
require
-
sequence_not_void: sequence /= Void
ensure
require
-
alternative_not_void: alternative /= Void
ensure
set_last_error_message (error_message:
STRING)
effective procedure
developer_exception_name:
STRING
effective function
is_developer_named_exception:
BOOLEAN
effective function