]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | # ifndef FORWARDTYPES_H |
2 | # define FORWARDTYPES_H | |
3 | ||
4 | # ifndef NOLCL | |
5 | # include "lclForwardTypes.h" | |
6 | # endif | |
7 | ||
28bf4b0b | 8 | abst_typedef /*@null@*/ struct s_sRef *sRef; |
9 | abst_typedef /*@null@*/ struct s_uentry *uentry; | |
cd7d9b17 | 10 | typedef struct s_hashNode *hashNode; |
885824d3 | 11 | immut_typedef int typeIdSet; |
12 | typedef /*@only@*/ uentry o_uentry; | |
28bf4b0b | 13 | abst_typedef struct s_mttok *mttok; |
14 | abst_typedef /*@null@*/ struct s_idDecl *idDecl; | |
15 | abst_typedef /*@null@*/ struct s_usymtab *usymtab; | |
16 | abst_typedef /*@null@*/ struct s_exprNode *exprNode; | |
17 | abst_typedef /*@null@*/ struct s_guardSet *guardSet; | |
18 | abst_typedef /*@null@*/ struct s_sRefSet *sRefSet; | |
19 | abst_typedef /*@null@*/ struct s_sRefList *sRefList ; | |
20 | abst_typedef /*@null@*/ struct s_aliasTable *aliasTable; | |
21 | abst_typedef /*@null@*/ struct s_fileloc *fileloc; | |
22 | abst_typedef /*@null@*/ struct s_cstringTable *cstringTable; | |
23 | abst_typedef /*@null@*/ struct s_genericTable *genericTable; | |
24 | abst_typedef /*@null@*/ struct s_annotationInfo *annotationInfo; | |
25 | abst_typedef /*@null@*/ struct s_inputStream *inputStream; | |
26 | abst_typedef /*@null@*/ struct s_stateValue *stateValue; | |
f9264521 | 27 | abst_typedef /*@null@*/ struct s_pointers *pointers; |
28bf4b0b | 28 | abst_typedef /*@null@*/ genericTable valueTable; |
29 | abst_typedef /*@null@*/ genericTable metaStateTable; | |
30 | abst_typedef /*@null@*/ genericTable annotationTable; | |
31 | abst_typedef /*@null@*/ struct s_metaStateInfo *metaStateInfo; | |
3814599d | 32 | |
33 | abst_typedef /*@null@*/ struct s_functionConstraint *functionConstraint; | |
08eb3d0e | 34 | abst_typedef struct s_metaStateConstraint *metaStateConstraint; |
ccf0a4a8 | 35 | abst_typedef /*@null@*/ struct s_metaStateConstraintList *metaStateConstraintList ; |
08eb3d0e | 36 | abst_typedef struct s_metaStateSpecifier *metaStateSpecifier; |
37 | abst_typedef /*@null@*/ struct s_metaStateExpression *metaStateExpression; | |
28bf4b0b | 38 | |
39 | abst_typedef /*@null@*/ struct s_functionClause *functionClause; | |
40 | abst_typedef /*@null@*/ struct s_functionClauseList *functionClauseList; | |
41 | ||
42 | abst_typedef struct s_globalsClause *globalsClause; | |
43 | abst_typedef struct s_modifiesClause *modifiesClause; | |
44 | abst_typedef /*@null@*/ struct s_warnClause *warnClause; | |
45 | abst_typedef struct s_stateClause *stateClause; | |
46 | ||
47 | abst_typedef /*@null@*/ struct s_stateClauseList *stateClauseList; | |
48 | ||
49 | /* The mt grammar nodes: */ | |
50 | abst_typedef struct s_mtDeclarationNode *mtDeclarationNode; | |
51 | abst_typedef /*@null@*/ struct s_mtDeclarationPiece *mtDeclarationPiece; | |
52 | abst_typedef /*@null@*/ struct s_mtDeclarationPieces *mtDeclarationPieces; | |
53 | abst_typedef /*@null@*/ struct s_mtContextNode *mtContextNode; | |
54 | abst_typedef struct s_mtValuesNode *mtValuesNode; | |
55 | abst_typedef struct s_mtDefaultsNode *mtDefaultsNode; | |
56 | abst_typedef /*@null@*/ struct s_mtDefaultsDeclList *mtDefaultsDeclList; | |
57 | abst_typedef struct s_mtDefaultsDecl *mtDefaultsDecl; | |
58 | abst_typedef struct s_mtAnnotationsNode *mtAnnotationsNode; | |
59 | abst_typedef /*@null@*/ struct s_mtAnnotationList *mtAnnotationList; | |
60 | abst_typedef struct s_mtAnnotationDecl *mtAnnotationDecl; | |
61 | abst_typedef struct s_mtMergeNode *mtMergeNode; | |
62 | abst_typedef struct s_mtMergeItem *mtMergeItem; | |
63 | abst_typedef /*@null@*/ struct s_mtMergeClauseList *mtMergeClauseList; | |
64 | abst_typedef struct s_mtMergeClause *mtMergeClause; | |
65 | abst_typedef /*@null@*/ struct s_mtTransferClauseList *mtTransferClauseList; | |
66 | abst_typedef struct s_mtTransferClause *mtTransferClause; | |
67 | abst_typedef /*@null@*/ struct s_mtLoseReferenceList *mtLoseReferenceList; | |
68 | abst_typedef struct s_mtLoseReference *mtLoseReference; | |
69 | abst_typedef struct s_mtTransferAction *mtTransferAction; | |
70 | abst_typedef sRefSet globSet; | |
71 | ||
60eced23 | 72 | abst_typedef /*@null@*/ struct s_constraint *constraint; |
73 | abst_typedef /*@null@*/ struct s_constraintList *constraintList; | |
93307a76 | 74 | |
140c27a8 | 75 | abst_typedef /*@null@*/ struct s_ctypeList *ctypeList; |
76 | abst_typedef /*@null@*/ ctypeList fileIdList; | |
4cccc6ad | 77 | |
bf92e32c | 78 | /* DRL modified 9 26 00 */ |
79 | ||
140c27a8 | 80 | abst_typedef /*@null@*/ struct s_constraintExpr *constraintExpr; |
a0a162cd | 81 | |
885824d3 | 82 | /*@-cppnames@*/ |
83 | typedef int bool; | |
84 | /*@=cppnames@*/ | |
85 | ||
ccf0a4a8 | 86 | abst_typedef /*@untainted@*/ /*@null@*/ char *cstring; |
885824d3 | 87 | typedef /*@only@*/ cstring o_cstring; |
88 | ||
140c27a8 | 89 | abst_typedef /*@null@*/ struct s_cstringSList *cstringSList; |
90 | ||
91 | typedef enum e_LSLInitRuleCode LSLInitRuleCode; | |
92 | ||
885824d3 | 93 | immut_typedef int ctype; |
94 | ||
95 | /* sRef -> bool */ | |
96 | typedef bool (*sRefTest) (sRef); | |
97 | ||
28bf4b0b | 98 | /* sRef, fileloc -> void; modifies sRef */ |
885824d3 | 99 | typedef void (*sRefMod) (sRef, fileloc); |
100 | ||
28bf4b0b | 101 | /* sRef, int, fileloc -> void; modifies sRef */ |
102 | typedef void (*sRefModVal) (sRef, int, fileloc); | |
103 | ||
885824d3 | 104 | /* sRef -> void */ |
105 | typedef void (*sRefShower) (sRef); | |
106 | ||
107 | # else | |
108 | # error "Multiple include" | |
109 | # endif | |
110 | ||
111 | ||
112 | ||
113 |