Added support for ISO C99 _Bool and stdbool bool/true/false. The

[splint.git] / src / Headers / forwardTypes.h

diff --git a/src/Headers/forwardTypes.h b/src/Headers/forwardTypes.h
index f6d393ce860ba7ed070361863e2c665ff8285d3d..aef68f522e7e5fb316a94e8c2f33185016802393 100644 (file)
--- a/src/Headers/forwardTypes.h
+++ b/src/Headers/forwardTypes.h
@@ -1,12 +1,11 @@
 # ifndef FORWARDTYPES_H
 # define FORWARDTYPES_H
 
-# ifndef NOLCL
 # include "lclForwardTypes.h"
-# endif
 
 abst_typedef /*@null@*/ struct s_sRef *sRef;
 abst_typedef /*@null@*/ struct s_uentry *uentry;
+typedef struct s_hashNode *hashNode;
 immut_typedef int typeIdSet;
 typedef /*@only@*/ uentry o_uentry;
 abst_typedef struct s_mttok *mttok;
@@ -23,6 +22,7 @@ abst_typedef /*@null@*/ struct s_genericTable *genericTable;
 abst_typedef /*@null@*/ struct s_annotationInfo *annotationInfo;
 abst_typedef /*@null@*/ struct s_inputStream *inputStream;
 abst_typedef /*@null@*/ struct s_stateValue *stateValue;
+abst_typedef /*@null@*/ struct s_pointers *pointers;
 abst_typedef /*@null@*/ genericTable valueTable;
 abst_typedef /*@null@*/ genericTable metaStateTable;
 abst_typedef /*@null@*/ genericTable annotationTable;
@@ -30,6 +30,7 @@ abst_typedef /*@null@*/ struct s_metaStateInfo *metaStateInfo;
 
 abst_typedef /*@null@*/ struct s_functionConstraint *functionConstraint;
 abst_typedef struct s_metaStateConstraint *metaStateConstraint;
+abst_typedef /*@null@*/ struct s_metaStateConstraintList *metaStateConstraintList ;
 abst_typedef struct s_metaStateSpecifier *metaStateSpecifier;
 abst_typedef /*@null@*/ struct s_metaStateExpression *metaStateExpression;
 
@@ -69,19 +70,19 @@ abst_typedef sRefSet globSet;
 abst_typedef /*@null@*/ struct s_constraint *constraint;
 abst_typedef /*@null@*/ struct s_constraintList *constraintList;
 
+abst_typedef /*@null@*/ struct s_ctypeList *ctypeList;
+abst_typedef /*@null@*/ ctypeList fileIdList;
 
 /* DRL modified 9 26 00 */
 
-abst_typedef /*@null@*/ struct s_constraintExpr * constraintExpr;
-
+abst_typedef /*@null@*/ struct s_constraintExpr *constraintExpr;
 
+abst_typedef /*@untainted@*/ /*@null@*/ char *cstring;
+typedef /*@only@*/ cstring o_cstring;
 
-/*@-cppnames@*/
-typedef int bool;
-/*@=cppnames@*/
+abst_typedef /*@null@*/ struct s_cstringSList *cstringSList;
 
-abst_typedef /*@null@*/ char *cstring;
-typedef /*@only@*/ cstring o_cstring;
+typedef enum e_LSLInitRuleCode LSLInitRuleCode;
 
 immut_typedef int ctype;