Ada Programming/Libraries/Ada.Assertions

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


This language feature is only available from Ada 2005 on.

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]


External examples[edit]

Ada Reference Manual[edit]