Ada Programming/Libraries/Ada.Assertions

< Ada Programming < Libraries

Computing » Computer Science » Computer Programming » Ada Programming

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

Wikibook

Ada Reference Manual

11.4.2 Pragmas Assert and Assertion_Policy (Annotated)

This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.