1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
#pragma prototyped
/*
* Glenn Fowler
* AT&T Research
*
* expression library private definitions
*/
#ifndef _EXLIB_H
#define _EXLIB_H
#include <align.h>
#include <ast.h>
typedef struct Exinput_s /* input stack */
{
struct Exinput_s*next; /* next in stack */
int close; /* close fp on pop */
char* file; /* previous file */
Sfio_t* fp; /* expression file pointer */
int line; /* previous line */
int nesting; /* expression nesting level */
int peek; /* 1 char peek */
int unit; /* first frame in parse unit */
char* pushback; /* pushback buffer */
char* bp; /* expression string base */
char* pp; /* pushback pointer */
char* sp; /* expression string pointer */
} Exinput_t;
typedef struct Print_s /* compiled printf arg node */
{
struct Print_s* next; /* next arg */
char* format; /* printf format for arg */
struct Exnode_s*param[3]; /* 0:width 1:precision 2:base */
struct Exnode_s*arg; /* arg to format */
} Print_t;
#define _EX_DATA_PRIVATE_ \
Exnode_t* next; /* free list link */ \
Extype_t value; /* dynamic variable value */ \
struct \
{ \
Exid_t* procedure; /* called procedure */ \
Exnode_t* args; /* actual argument list */ \
} call; /* procedure call */ \
struct \
{ \
Exnode_t* array; /* array name */ \
Exid_t* index; /* array index */ \
Exnode_t* statement; /* statement to apply */ \
} generate; /* associative array generator */ \
struct \
{ \
Exnode_t* descriptor; /* Expr_t.file index */ \
Print_t* args; /* compiler printf args */ \
} print; /* printf */ \
struct \
{ \
Exnode_t* args; /* formal arg list */ \
Exnode_t* body; /* body */ \
Dt_t* frame; /* local symbol frame */ \
int arity; /* # formal args */ \
} procedure; /* procedure args and body */
#define _EX_NODE_PRIVATE_ \
Exshort_t subop; /* operator qualifier */ \
Exshort_t pad_2; /* padding */
#define _EX_PROG_PRIVATE_ \
Vmalloc_t* ve; /* eval tmp region */ \
Vmalloc_t* vc; /* str_* region */ \
Dt_t* frame; /* frame symbol table */ \
Dtdisc_t symdisc; /* Expr_t.symbols discipline */ \
Exdisc_t* disc; /* user discipline */ \
Exinput_t* input; /* input stack */ \
Expr_t* program; /* previous program on stack */ \
Sfio_t* tmp; /* tmp string buffer */ \
Extype_t loopret; /* return value */ \
Exid_t main; /* main procedure */ \
char line[512]; /* last few input tokens */ \
char* linep; /* line[] pointer */ \
int eof; /* lex hit eof */ \
int errors; /* fatal error count */ \
int formals; /* parsing formal args */ \
int linewrap; /* linep wrapped around line[] */ \
int loopcount; /* break|continue|return count */ \
int loopop; /* break|continue|return op */ \
int nesting; /* exstatement() nesting */
#include <expr.h>
#include <ctype.h>
#include <error.h>
#include <sfstr.h>
#define cast excast
#define id_string (&exbuiltin[0])
#define exunlex(p,c) ((p)->linep--,(p)->input->peek=(c))
#define putcontext(p,c) (((p)->linep>=&(p)->line[sizeof((p)->line)]?(p)->linep=(p)->line,(p)->linewrap=1:0),*(p)->linep++=(c))
#define setcontext(p) ((p)->linep=(p)->line,(p)->linewrap=0)
typedef struct Switch_s /* switch parse state */
{
struct Switch_s*prev; /* previous switch state */
Exnode_t* firstcase; /* first case block */
Exnode_t* lastcase; /* last case block */
Exnode_t* defcase; /* default case block */
Extype_t** base; /* label base pointer */
Extype_t** cur; /* current label pointer */
Extype_t** last; /* last label pointer */
int def; /* default label hit */
int type; /* switch test type */
} Switch_t;
typedef struct /* associative array bucket */
{
Dtlink_t link; /* table link */
Extype_t value; /* value */
char name[1]; /* index name */
} Exassoc_t;
typedef struct /* ex global state */
{
Exid_t* id; /* current declaration id */
int declare; /* current declaration type */
Exref_t* lastref; /* last in . reference list */
int nolabel; /* <id>':' not a label */
Exinput_t null; /* null input */
Expr_t* program; /* current program */
Exnode_t* procedure; /* current procedure */
Exref_t* refs; /* . reference list */
Switch_t* swstate; /* switch parse state */
} Exstate_t;
extern const char* exversion;
extern Exstate_t expr;
extern int exparse(void); /* yacc should do this */
#endif
|
