Ada Programming/Libraries/Ada.Assertions
From Wikibooks, the open-content textbooks collection
This language feature is only available in Ada 2005.
Contents |
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;