gcc/m2/gm2-libs/Assertion.mod

   1 (* Assertion.mod provides an assert procedure.
   2
   3 Copyright (C) 2001-2024 Free Software Foundation, Inc.
   4 Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
   5
   6 This file is part of GNU Modula-2.
   7
   8 GNU Modula-2 is free software; you can redistribute it and/or modify
   9 it under the terms of the GNU General Public License as published by
  10 the Free Software Foundation; either version 3, or (at your option)
  11 any later version.
  12
  13 GNU Modula-2 is distributed in the hope that it will be useful, but
  14 WITHOUT ANY WARRANTY; without even the implied warranty of
  15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  16 General Public License for more details.
  17
  18 Under Section 7 of GPL version 3, you are granted additional
  19 permissions described in the GCC Runtime Library Exception, version
  20 3.1, as published by the Free Software Foundation.
  21
  22 You should have received a copy of the GNU General Public License and
  23 a copy of the GCC Runtime Library Exception along with this program;
  24 see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
  25 <http://www.gnu.org/licenses/>.  *)
  26
  27 IMPLEMENTATION MODULE Assertion ;
  28
  29 FROM StrIO IMPORT WriteString, WriteLn ;
  30
  31
  32 (*
  33    Assert - tests the boolean Condition, if it fails then HALT is called.
  34 *)
  35
  36 PROCEDURE Assert (Condition: BOOLEAN) ;
  37 BEGIN
  38    IF NOT Condition
  39    THEN
  40       WriteString('assert failed - halting system') ; WriteLn ;
  41       HALT
  42    END
  43 END Assert ;
  44
  45
  46 END Assertion.