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
  16
  17 abst_typedef /*@null@*/ struct _guardSet *guardSet;
  18 abst_typedef /*@null@*/ struct _sRefSet *sRefSet;
  19 abst_typedef /*@null@*/ struct _aliasTable *aliasTable;
  20 abst_typedef /*@null@*/ struct __fileloc *fileloc;
  21
  22
  23 abst_typedef  struct _constraint *constraint;
  24 abst_typedef struct _constraintList  *constraintList;
  25
  26
  27 /* DRL modified 9 26 00 */
  28
  29 abst_typedef /*@null@*/ struct _constraintExpr * constraintExpr;
  30
  31
  32
  33 /*@-cppnames@*/
  34 typedef int bool;
  35 /*@=cppnames@*/
  36
  37 abst_typedef /*@null@*/ char *cstring;
  38 typedef /*@only@*/ cstring o_cstring;
  39
  40 immut_typedef int ctype;
  41
  42 /* sRef -> bool */
  43 typedef bool (*sRefTest) (sRef);
  44
  45 /* sRef, fileloc -> void, modifies sRef */
  46 typedef void (*sRefMod) (sRef, fileloc);
  47
  48 /* sRef -> void */
  49 typedef void (*sRefShower) (sRef);
  50
  51 # else
  52 # error "Multiple include"
  53 # endif
  54
  55
  56
  57