]>
Commit | Line | Data |
---|---|---|
1 | # ifndef LCL_FORWARDTYPES_H | |
2 | # define LCL_FORWARDTYPES_H | |
3 | ||
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; | |
12 | typedef unsigned int sort; | |
13 | typedef long unsigned lsymbol; | |
14 | typedef struct s_typeExpr *typeExpr; | |
15 | abst_typedef /*@null@*/ struct s_ltoken *ltoken; | |
16 | typedef unsigned int ltokenCode; | |
17 | ||
18 | # else | |
19 | # error "Multiple include" | |
20 | # endif |