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

# ifndef LCL_FORWARDTYPES_H
# define LCL_FORWARDTYPES_H

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 s_typeExpr *typeExpr;
abst_typedef /*@null@*/ struct s_ltoken *ltoken;
typedef unsigned int ltokenCode;

# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	1	# ifndef LCL_FORWARDTYPES_H
	2	# define LCL_FORWARDTYPES_H
	3
28bf4b0b	4	typedef struct s_opFormNode *opFormNode;
	5	typedef struct s_termNode *termNode;
	6	typedef struct s_abstBodyNode *abstBodyNode;
	7	typedef struct s_lclPredicateNode *lclPredicateNode;
	8	typedef struct s_stmtNode *stmtNode;
	9	abst_typedef struct s_programNodeList *programNodeList;
	10	typedef /@null@/ struct s_lclTypeSpecNode *lclTypeSpecNode;
	11	abst_typedef struct s_termNodeList *termNodeList;
885824d3	12	typedef unsigned int sort;
885824d3	13	typedef long unsigned lsymbol;
28bf4b0b	14	typedef struct s_typeExpr *typeExpr;
28bf4b0b	15	abst_typedef /@null@/ struct s_ltoken *ltoken;
885824d3	16	typedef unsigned int ltokenCode;
	17
	18	# else
	19	# error "Multiple include"
	20	# endif