Ada Programming/Libraries/Ada.Assertions

From Wikibooks, the open-content textbooks collection

---

This language feature is only available in Ada 2005.

Contents 1 See also 1.1 Wikibook 1.2 Ada Reference Manual

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;

[edit] See also

[edit] Wikibook

• Ada Programming
• Ada Programming/Libraries
• Ada Programming/Libraries/Ada

[edit] Ada Reference Manual

• 11.4.2 Pragmas Assert and Assertion_Policy (Annotated)