Ada Programming/Libraries/Ada.Assertions

From Wikibooks, open books for an open world
Jump to: navigation, search

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 also[edit]

Wikibook[edit]

Ada Reference Manual[edit]