src/Headers/messageLog.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** messageLog.h (from slist_templace.h)
   8 */
   9
  10 # ifndef messageLog_H
  11 # define messageLog_H
  12
  13 typedef struct
  14 {
  15   fileloc loc;
  16   cstring msg;
  17 } *msgentry ;
  18
  19 typedef /*@only@*/ msgentry o_msgentry;
  20
  21 abst_typedef /*@null@*/ struct
  22 {
  23   int        nelements;
  24   int        nspace;
  25   /*@reldef@*/ /*@only@*/ o_msgentry  *elements;
  26 } *messageLog ;
  27
  28 /*@constant null messageLog messageLog_undefined; @*/
  29 # define messageLog_undefined ((messageLog)0)
  30
  31 extern /*@unused@*/ /*@falsewhennull@*/ bool
  32   messageLog_isDefined (messageLog p_s) /*@*/ ;
  33 # define messageLog_isDefined(c) ((c) != messageLog_undefined)
  34
  35 extern /*@only@*/ messageLog messageLog_new (void) /*@*/ ;
  36 extern bool messageLog_add (messageLog p_s, fileloc p_fl, cstring p_mess)
  37             /*@modifies p_s@*/ ;
  38
  39 extern /*@only@*/ /*@unused@*/ cstring messageLog_unparse (messageLog p_s)  /*@*/ ;
  40 extern void messageLog_free (/*@only@*/ messageLog p_s) ;
  41
  42 /*@constant int messageLogBASESIZE; @*/
  43 # define messageLogBASESIZE MIDBASESIZE
  44
  45 # else
  46 # error "Multiple include"
  47 # endif
  48
  49
  50
  51