Merged code tree with Dave Evans's version. Many changes to numberous to list....

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

diff --git a/src/Headers/lclForwardTypes.h b/src/Headers/lclForwardTypes.h
index 321a23b87db7afefce35fdd7d958f48aa2f34fa7..33ccbb264f42eac89f099db4d56f916503cf70e9 100644 (file)
--- a/src/Headers/lclForwardTypes.h
+++ b/src/Headers/lclForwardTypes.h
@@ -1,13 +1,18 @@
 # ifndef LCL_FORWARDTYPES_H
 # define LCL_FORWARDTYPES_H
 
-typedef struct _termNode *termNode;
-typedef /*@null@*/ struct _lclTypeSpecNode *lclTypeSpecNode;
-abst_typedef struct _termNodeList *termNodeList;
+typedef struct s_opFormNode *opFormNode;
+typedef struct s_termNode *termNode;
+typedef struct s_abstBodyNode *abstBodyNode;
+typedef struct s_lclPredicateNode *lclPredicateNode;
+typedef struct s_stmtNode *stmtNode;
+abst_typedef struct s_programNodeList *programNodeList;
+typedef /*@null@*/ struct s_lclTypeSpecNode *lclTypeSpecNode;
+abst_typedef struct s_termNodeList *termNodeList;
 typedef unsigned int sort;
 typedef long unsigned lsymbol;
-typedef struct _typeExpr *typeExpr;
-abst_typedef /*@null@*/ struct _ltoken *ltoken;
+typedef struct s_typeExpr *typeExpr;
+abst_typedef /*@null@*/ struct s_ltoken *ltoken;
 typedef unsigned int ltokenCode;
 
 # else