Ada Programming/Libraries/Ada.Assertions

From Wikibooks, the open-content textbooks collection

Jump to: navigation, search

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;

Personal tools