]>
Commit | Line | Data |
---|---|---|
885824d3 | 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 | ||
a0a162cd | 20 | abst_typedef /*@null@*/ struct _environmentTable *environmentTable; |
21 | ||
22 | ||
885824d3 | 23 | /*@-cppnames@*/ |
24 | typedef int bool; | |
25 | /*@=cppnames@*/ | |
26 | ||
27 | abst_typedef /*@null@*/ char *cstring; | |
28 | typedef /*@only@*/ cstring o_cstring; | |
29 | ||
30 | immut_typedef int ctype; | |
31 | ||
32 | /* sRef -> bool */ | |
33 | typedef bool (*sRefTest) (sRef); | |
34 | ||
35 | /* sRef, fileloc -> void, modifies sRef */ | |
36 | typedef void (*sRefMod) (sRef, fileloc); | |
37 | ||
38 | /* sRef -> void */ | |
39 | typedef void (*sRefShower) (sRef); | |
40 | ||
41 | # else | |
42 | # error "Multiple include" | |
43 | # endif | |
44 | ||
45 | ||
46 | ||
47 |