src/Headers/forwardTypes.h

   1 # ifndef FORWARDTYPES_H
   2 # define FORWARDTYPES_H
   3
   4 # ifndef NOLCL
   5 # include "lclForwardTypes.h"
   6 # endif
   7
   8 abst_typedef /*@dependent@*/ /*@null@*/ struct _sRef *sRef;
   9 abst_typedef /*@null@*/ struct _uentry *uentry;
  10 immut_typedef int typeIdSet;
  11 typedef /*@only@*/ uentry o_uentry;
  12 abst_typedef /*@null@*/ struct _idDecl *idDecl;
  13 abst_typedef /*@null@*/ struct _usymtab  *usymtab;
  14 abst_typedef /*@null@*/ struct _exprNode *exprNode;
  15 abst_typedef /*@null@*/ struct _guardSet *guardSet;
  16 abst_typedef /*@null@*/ struct _sRefSet *sRefSet;
  17 abst_typedef /*@null@*/ struct _aliasTable *aliasTable;
  18 abst_typedef /*@null@*/ struct __fileloc *fileloc;
  19
  20 /*@-cppnames@*/
  21 typedef int bool;
  22 /*@=cppnames@*/
  23
  24 abst_typedef /*@null@*/ char *cstring;
  25 typedef /*@only@*/ cstring o_cstring;
  26
  27 immut_typedef int ctype;
  28
  29 /* sRef -> bool */
  30 typedef bool (*sRefTest) (sRef);
  31
  32 /* sRef, fileloc -> void, modifies sRef */
  33 typedef void (*sRefMod) (sRef, fileloc);
  34
  35 /* sRef -> void */
  36 typedef void (*sRefShower) (sRef);
  37
  38 # else
  39 # error "Multiple include"
  40 # endif
  41
  42
  43
  44