class EXCEPTIONS_HANDLER
Summary
Overview
creation features
exported features
  • bad_inspect_value (p: POSITION)
    When some Eiffel "inspect" instruction without the optional "else" part does not match the input.
used: BOOLEAN
writable attribute
Indicate wheter the live code uses EXCEPTIONS or not.
bad_inspect_value (p: POSITION)
effective procedure
When some Eiffel "inspect" instruction without the optional "else" part does not match the input.