Ada Programming/Libraries/Ada.Assertions


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

WikibookEdit

Ada Reference ManualEdit

Last modified on 25 December 2008, at 12:13