Assertion: exception | /r/HasProperty | start of exception handlers
Facets:
Source sentences:
text: exception ; begin Do_Something_Interesting ; exception -- Start of exception handlers when Constraint_Error => ... -- Handle constraint error when Storage_Error => -- Propagate Storage_Error as a different exception with a useful message raise Some_Error with "Out of memory" ;