+
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
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
is 1
constant attribute
{}
is 2
constant attribute
{}
is 3
constant attribute
{}
is 4
constant attribute
{}
is 5
constant attribute
{}
is 6
constant attribute
{}
is True
constant attribute
{}
developer_exception_name:
STRING
effective function
is_developer_named_exception:
BOOLEAN
effective function