Ada Programming/Libraries/Ada.Assertions

< Ada Programming‎ | Libraries

Ada Lovelace 1838.jpg

This language feature is only available in Ada 2005.


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;

See alsoEdit