Package: GNAT.Exceptions

This package provides an interface for raising predefined exceptions with an exception message. It can be used from Pure units.

package GNAT.Exceptions is

pragma Pure (Exceptions);

`Exception_Type`
Primitive Operations:	`Raise_Exception`

CE : constant Exception_Type;

Constraint_Error

PE : constant Exception_Type;

Program_Error

SE : constant Exception_Type;

Storage_Error

TE : constant Exception_Type;

Tasking_Error One of these constants is used in the call to specify the exception

type Exception_Type is private;

Type used to specify which exception to raise.

procedure Raise_Exception (E : Exception_Type; Message : String);
pragma Import (Ada, Raise_Exception, "__gnat_raise_exception");

pragma No_Return (Raise_Exception);

Raise specified exception with specified message

private

   --  Implementation-defined ...

end GNAT.Exceptions;