Ada Programming/Libraries/Ada.Assertions

From Wikibooks, the open-content textbooks collection

package Ada.Assertions is

  pragma Pure(Assertions);

  Assertion_Error : exception;

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

end Ada.Assertions;