src/Headers/misc.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** misc.h
   8 **
   9 ** (general.c)
  10 */
  11
  12 # ifndef MISC_H
  13 # define MISC_H
  14
  15 # include "lclMisc.h"
  16
  17 extern void assertSet (/*@special@*/ /*@sef@*/ /*@unused@*/ void *p_x)
  18    /*@sets p_x, *p_x@*/ ;
  19 # define assertSet(x) ;
  20
  21 extern void assertDefined (/*@sef@*/ /*@unused@*/ void *p_x) ;
  22 # define assertDefined(x) ;
  23
  24
  25 /*@-czechfcns@*/
  26 extern int size_toInt (size_t p_x) /*@*/ /*@ensures result==p_x@*/;
  27 extern long size_toLong (size_t p_x) /*@*/ /*@ensures result==p_x@*/ ;
  28 extern size_t size_fromInt (int p_x) /*@*/ /*@ensures result==p_x@*/ ;
  29 extern int longUnsigned_toInt (long unsigned int p_x) /*@*/ /*@ensures result==p_x@*/ ;
  30 extern int long_toInt (long p_x) /*@*/ /*@ensures result==p_x@*/;
  31 extern long unsigned longUnsigned_fromInt (int p_x) /*@*/  /*@ensures result==p_x@*/ ;
  32 /*@=czechfcns@*/
  33
  34 # include "mstring.h"
  35
  36
  37 extern int int_compare (/*@sef@*/ int p_x, /*@sef@*/ int p_y) /*@*/ ;
  38 # define int_compare(x,y) (((x) > (y)) ? 1 : (((x) < (y)) ? -1 : 0))
  39
  40 /*@-macroparams@*/
  41 /*@-macrofcndecl@*/ /* works for lots of types */
  42 # define generic_compare(x,y) (((x) > (y)) ? 1 : (((x) < (y)) ? -1 : 0))
  43 /*@=macrofcndecl@*/
  44 /*@=macroparams@*/
  45
  46 /*@notfunction@*/
  47 # define GET(s) ((s *)smalloc(sizeof(s)))
  48
  49 /*@-czechfcns@*/
  50 extern bool isHeaderFile (cstring) /*@*/ ;
  51
  52 extern void fputline (FILE *p_out, char *p_s) /*@modifies p_out@*/;
  53
  54 extern int int_log (int p_x) /*@*/ ;
  55
  56 extern char char_fromInt (int p_x) /*@*/ ;
  57
  58 extern /*@exposed@*/ cstring removePreDirs (cstring p_s);
  59
  60 /* These are defined by the bison library (?) */
  61 extern /*@external@*/ int isatty (int);
  62 extern /*@external@*/ int yywrap (void);
  63 /*@=czechfcns@*/
  64
  65 # else
  66 # error "Multiple include"
  67 # endif
  68
  69
  70
  71
  72