]> andersk Git - splint.git/blobdiff - src/Headers/forwardTypes.h
*** empty log message ***
[splint.git] / src / Headers / forwardTypes.h
index 4f3c335afe2177854da742551af3f3f70502b681..1f6783476d37e4061a0987a09c061a4e32b6c611 100644 (file)
@@ -7,6 +7,7 @@
 
 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;
@@ -28,6 +29,12 @@ abst_typedef /*@null@*/ genericTable metaStateTable;
 abst_typedef /*@null@*/ genericTable annotationTable;
 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;
+
 abst_typedef /*@null@*/ struct s_functionClause *functionClause;
 abst_typedef /*@null@*/ struct s_functionClauseList *functionClauseList;
 
@@ -75,7 +82,7 @@ abst_typedef /*@null@*/ struct s_constraintExpr * constraintExpr;
 typedef int bool;
 /*@=cppnames@*/
 
-abst_typedef /*@null@*/ char *cstring;
+abst_typedef /*@untainted@*/ /*@null@*/ char *cstring;
 typedef /*@only@*/ cstring o_cstring;
 
 immut_typedef int ctype;
This page took 0.220217 seconds and 4 git commands to generate.