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