The GNU Modula-2 front end to GCC

gm2-libs/Assertion

DEFINITION MODULE Assertion ;

(*
   Description: Provides an assert procedure.
*)

EXPORT QUALIFIED Assert ;


(*
   Assert - tests the boolean Condition, if it fails then HALT is called.
*)


PROCEDURE Assert (Condition: BOOLEAN) ;


END Assertion.