IMPLEMENTATION MODULE Assertion ;


FROM StrIO IMPORT WriteString, WriteLn ;

(*
   Assert - tests the boolean Condition, if it fails then the module
            suit if HALTed.
            Assert is used for testing critical premises - a debugging
            aid that should be left in for the complete life of
            a package??
*)

PROCEDURE Assert (Condition: BOOLEAN) ;
BEGIN
   IF NOT Condition
   THEN
      WriteString('Assert failed - HALTing system for PMD') ; WriteLn ;
      HALT
   END
END Assert ;


END Assertion.