5 #include "parser_proc.h"
7 void *PSI_ParserProcAlloc(void*(unsigned long));
8 void PSI_ParserProcFree(void*, void(*)(void*));
9 void PSI_ParserProc(void *, token_t, PSI_Token *, PSI_Parser *);
10 void PSI_ParserProcTrace(FILE *, const char*);
12 PSI_Parser *PSI_ParserInit(PSI_Parser *P, const char *filename, psi_error_cb error, unsigned flags)
17 P = malloc(sizeof(*P));
19 memset(P, 0, sizeof(*P));
21 fp = fopen(filename, "r");
29 P = malloc(sizeof(*P));
31 memset(P, 0, sizeof(*P));
33 P->psi.file.fn = strdup(filename);
39 P->proc = PSI_ParserProcAlloc(malloc);
40 if (flags & PSI_PARSER_DEBUG) {
41 PSI_ParserProcTrace(stderr, "PSI> ");
49 void PSI_ParserSyntaxError(PSI_Parser *P, const char *fn, size_t ln, const char *msg, ...) {
50 char buf[0x1000] = {0};
54 vsnprintf(buf, 0x1000-1, msg, argv);
57 P->error(PSI_WARNING, "PSI syntax error on line %zu in '%s'%s%s",
58 ln, fn, msg ? ": ": "", buf);
63 size_t PSI_ParserFill(PSI_Parser *P, size_t n)
65 if (P->flags & PSI_PARSER_DEBUG) {
66 fprintf(stderr, "PSI> Fill: n=%zu\n", n);
69 P->cur = P->tok = P->lim = P->mrk = P->buf;
74 size_t consumed = P->tok - P->buf;
75 size_t reserved = P->lim - P->tok;
76 size_t available = BSIZE - reserved;
80 memmove(P->buf, P->tok, reserved);
87 didread = fread(P->lim, 1, available, P->fp);
89 if (didread < available) {
93 if (P->flags & PSI_PARSER_DEBUG) {
94 fprintf(stderr, "PSI> Fill: consumed=%zu reserved=%zu available=%zu didread=%zu\n",
95 consumed, reserved, available, didread);
98 if (P->flags & PSI_PARSER_DEBUG) {
99 fprintf(stderr, "PSI> Fill: avail=%zu\n", P->lim - P->cur);
101 return P->lim - P->cur;
104 void PSI_ParserParse(PSI_Parser *P, PSI_Token *T)
107 PSI_ParserProc(P->proc, T->type, T, P);
109 PSI_ParserProc(P->proc, 0, NULL, P);
113 void PSI_ParserDtor(PSI_Parser *P)
115 PSI_ParserProcFree(P->proc, free);
121 PSI_DataDtor((PSI_Data *) P);
123 memset(P, 0, sizeof(*P));
126 void PSI_ParserFree(PSI_Parser **P)
138 #if BSIZE < YYMAXFILL
139 # error BSIZE must be greater than YYMAXFILL
142 #define RETURN(t) do { \
144 if (P->flags & PSI_PARSER_DEBUG) { \
145 fprintf(stderr, "PSI> TOKEN: %d %.*s (EOF=%d)\n", P->num, (int) (P->cur-P->tok), P->tok, P->num == PSI_T_EOF); \
150 token_t PSI_ParserScan(PSI_Parser *P)
156 re2c:define:YYCTYPE = "unsigned char";
157 re2c:define:YYCURSOR = P->cur;
158 re2c:define:YYLIMIT = P->lim;
159 re2c:define:YYMARKER = P->mrk;
160 re2c:define:YYFILL = "{ if (!PSI_ParserFill(P,@@)) RETURN(PSI_T_EOF); }";
161 re2c:yyfill:parameter = 0;
166 NSNAME = (NAME)? ("\\" NAME)+;
167 QUOTED_STRING = "\"" ([^\"])+ "\"";
168 NUMBER = [+-]? [0-9]* "."? [0-9]+ ([eE] [+-]? [0-9]+)?;
170 ("#"|"//") .* "\n" { ++P->line; continue;}
171 "(" {RETURN(PSI_T_LPAREN);}
172 ")" {RETURN(PSI_T_RPAREN);}
173 ";" {RETURN(PSI_T_EOS);}
174 "," {RETURN(PSI_T_COMMA);}
175 ":" {RETURN(PSI_T_COLON);}
176 "{" {RETURN(PSI_T_LBRACE);}
177 "}" {RETURN(PSI_T_RBRACE);}
178 "[" {RETURN(PSI_T_LBRACKET);}
179 "]" {RETURN(PSI_T_RBRACKET);}
180 "=" {RETURN(PSI_T_EQUALS);}
181 "$" {RETURN(PSI_T_DOLLAR);}
182 "*" {RETURN(PSI_T_POINTER);}
183 "&" {RETURN(PSI_T_REFERENCE);}
184 [\r\n] { ++P->line; continue; }
186 'TRUE' {RETURN(PSI_T_TRUE);}
187 'FALSE' {RETURN(PSI_T_FALSE);}
188 'NULL' {RETURN(PSI_T_NULL);}
189 'MIXED' {RETURN(PSI_T_MIXED);}
190 'VOID' {RETURN(PSI_T_VOID);}
191 'BOOL' {RETURN(PSI_T_BOOL);}
192 'INT' {RETURN(PSI_T_INT);}
193 'FLOAT' {RETURN(PSI_T_FLOAT);}
194 'DOUBLE' {RETURN(PSI_T_DOUBLE);}
195 'INT8_T' {RETURN(PSI_T_INT8);}
196 'UINT8_T' {RETURN(PSI_T_UINT8);}
197 'INT16_T' {RETURN(PSI_T_INT16);}
198 'UINT16_T' {RETURN(PSI_T_UINT16);}
199 'INT32_T' {RETURN(PSI_T_INT32);}
200 'UINT32_T' {RETURN(PSI_T_UINT32);}
201 'INT64_T' {RETURN(PSI_T_INT64);}
202 'UINT64_T' {RETURN(PSI_T_UINT64);}
203 'UNSIGNED' {RETURN(PSI_T_UNSIGNED);}
204 'STRING' {RETURN(PSI_T_STRING);}
205 'ARRAY' {RETURN(PSI_T_ARRAY);}
206 'FUNCTION' {RETURN(PSI_T_FUNCTION);}
207 'TYPEDEF' {RETURN(PSI_T_TYPEDEF);}
208 'STRUCT' {RETURN(PSI_T_STRUCT);}
209 'CONST' {RETURN(PSI_T_CONST);}
210 'LIB' {RETURN(PSI_T_LIB);}
211 'LET' {RETURN(PSI_T_LET);}
212 'SET' {RETURN(PSI_T_SET);}
213 'RETURN' {RETURN(PSI_T_RETURN);}
214 'FREE' {RETURN(PSI_T_FREE);}
215 'STRLEN' {RETURN(PSI_T_STRLEN);}
216 'STRVAL' {RETURN(PSI_T_STRVAL);}
217 'INTVAL' {RETURN(PSI_T_INTVAL);}
218 'FLOATVAL' {RETURN(PSI_T_FLOATVAL);}
219 'BOOLVAL' {RETURN(PSI_T_BOOLVAL);}
220 'ARRVAL' {RETURN(PSI_T_ARRVAL);}
221 'CALLOC' {RETURN(PSI_T_CALLOC);}
222 'TO_ARRAY' {RETURN(PSI_T_TO_ARRAY);}
223 'TO_STRING' {RETURN(PSI_T_TO_STRING);}
224 'TO_INT' {RETURN(PSI_T_TO_INT);}
225 'TO_FLOAT' {RETURN(PSI_T_TO_FLOAT);}
226 'TO_BOOL' {RETURN(PSI_T_TO_BOOL);}
227 NUMBER {RETURN(PSI_T_NUMBER);}
228 NAME {RETURN(PSI_T_NAME);}
229 NSNAME {RETURN(PSI_T_NSNAME);}
230 QUOTED_STRING {RETURN(PSI_T_QUOTED_STRING);}