]>
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; | |
4cccc6ad | 15 | |
16 | ||
885824d3 | 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 | ||
a0a162cd | 22 | abst_typedef /*@null@*/ struct _environmentTable *environmentTable; |
23 | ||
4cccc6ad | 24 | abst_typedef /*@null@*/ struct _constraint *constraint; |
25 | ||
bf92e32c | 26 | /* DRL modified 9 26 00 */ |
27 | ||
28 | abst_typedef struct constraintExpr_ * constraintExpr; | |
a0a162cd | 29 | |
885824d3 | 30 | /*@-cppnames@*/ |
31 | typedef int bool; | |
32 | /*@=cppnames@*/ | |
33 | ||
34 | abst_typedef /*@null@*/ char *cstring; | |
35 | typedef /*@only@*/ cstring o_cstring; | |
36 | ||
37 | immut_typedef int ctype; | |
38 | ||
39 | /* sRef -> bool */ | |
40 | typedef bool (*sRefTest) (sRef); | |
41 | ||
42 | /* sRef, fileloc -> void, modifies sRef */ | |
43 | typedef void (*sRefMod) (sRef, fileloc); | |
44 | ||
45 | /* sRef -> void */ | |
46 | typedef void (*sRefShower) (sRef); | |
47 | ||
48 | # else | |
49 | # error "Multiple include" | |
50 | # endif | |
51 | ||
52 | ||
53 | ||
54 |