INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |
-- Name of last developer-raised exception
-- Is last exception originally due to a violated
-- assertion or non-decreasing variant?
-- Code of last exception that occured
-- Is the last exception originally due to a developer exception?
-- Is last exception originally due to an external event
-- (operating system signal)?
-- Terminate execution with exit status 'code',
-- without triggering an exception
-- Raise a developer exception of name 'name'
INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |