Ada Exception Kinds

Use “ada exception” to match all Ada exception kinds.

Kind Name
Ada Exception
Ada Exception Local
Ada Exception Object Local
Ada Exception Others

An exception is a declared exception and may local or non-local.

bad_value : exception;   -- Ada Exception 

An exception object local is a choice parameter from an exception handler.

when the_error : bad_value =>  
      -- the_error is Ada Exception Object Local 

Scientific Toolworks, Inc.
http://www.scitools.com