gcc/m2/gm2-libs-coroutines/Debug.def

   1 (* Debug.def provides some simple debugging routines.
   2
   3 Copyright (C) 2002-2022 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 DEFINITION MODULE Debug ;
  28
  29 (*
  30     Title      : Debug
  31     Author     : Gaius Mulley
  32     System     : UNIX (gm2)
  33     Date       : Sat Aug 13 19:41:57 1994
  34     Last edit  : Sat Aug 13 19:41:57 1994
  35     Description: provides some simple debugging routines.
  36 *)
  37
  38 EXPORT QUALIFIED Halt, DebugString, PushOutput ;
  39
  40 TYPE
  41    WriteP = PROCEDURE (CHAR) ;
  42
  43
  44 (*
  45    Halt - writes a message in the format:
  46           Module:Line:Message
  47
  48           It then terminates by calling HALT.
  49 *)
  50
  51 PROCEDURE Halt (File    : ARRAY OF CHAR;
  52                 LineNo  : CARDINAL;
  53                 Function,
  54                 Message : ARRAY OF CHAR) ;
  55
  56
  57 (*
  58    DebugString - writes a string to the debugging device (Scn.Write).
  59                  It interprets \n as carriage return, linefeed.
  60 *)
  61
  62 PROCEDURE DebugString (a: ARRAY OF CHAR) ;
  63
  64
  65 (*
  66    PushOutput - pushes the output procedure, p, which is used Debug.
  67 *)
  68
  69 PROCEDURE PushOutput (p: WriteP) ;
  70
  71
  72 (*
  73    PopOutput - pops the current output procedure from the stack.
  74 *)
  75
  76 PROCEDURE PopOutput ;
  77
  78
  79 END Debug.