Package: Ada.Assertions

pragma License (Unrestricted);

Can't be Pure in Ada95 as to implement the second subprogram we need Ada.Exceptions as there is no raise .. with statement.

pragma Pure (Ada.Assertions);

package Ada.Assertions is

Assertion_Error

procedure Assert (Check : in Boolean);

If Check is False the exception Assertion_Error is raised.

procedure Assert (Check   : in Boolean;
                  Message : in String);

If Check is False the exception Assertion_Error is raised with the given message.

end Ada.Assertions;