|
|
1.1 paf 1: %{
1.9 paf 2: #define YYSTYPE Array/*<op>*/ *
3: #define YYPARSE_PARAM pc
4: #define YYLEX_PARAM pc
5: #define YYDEBUG 1
1.1 paf 6: #define YYERROR_VERBOSE
1.9 paf 7: #define yyerror(msg) real_yyerror((parse_control *)pc, msg)
8: #define YYPRINT(file, type, value) yyprint(file, type, value)
1.1 paf 9:
10: #include <stdio.h>
11: #include <string.h>
12: #include <stdlib.h>
13:
14: #include "compile_tools.h"
1.8 paf 15: #include "pa_value.h"
1.12 paf 16: #include "pa_request.h"
1.1 paf 17:
1.9 paf 18: int real_yyerror(parse_control *pc, char *s);
19: static void yyprint(FILE *file, int type, YYSTYPE value);
1.1 paf 20: int yylex(YYSTYPE *lvalp, void *pc);
21:
22:
1.8 paf 23: // local convinient inplace typecast & var
1.9 paf 24: #define PC ((parse_control *)pc)
25: #define pool *PC->pool
1.1 paf 26: %}
27:
28: %pure_parser
29:
1.13 paf 30: %token EON
1.4 paf 31: %token STRING
1.1 paf 32: %token BOGUS
33:
34: %%
35:
1.10 paf 36: all:
37: one_big_piece {
1.8 paf 38: String& name_main=*new(pool) String(pool);
1.11 paf 39: name_main.APPEND_CONST(MAIN_METHOD_NAME);
1.8 paf 40: Array& param_names=*new(pool) Array(pool);
41: Array& local_names=*new(pool) Array(pool);
42: Method *method=new(pool) Method(pool, name_main, param_names, local_names, *$1);
43: *PC->methods+=method;
1.10 paf 44: }
45: | methods;
46:
47: methods: method | methods method;
48: one_big_piece: maybe_codes;
49:
50: method: '@' STRING bracketed_maybe_strings maybe_bracketed_strings maybe_comment '\n'
51: maybe_codes {
52: const String *name=LA2S($2);
53:
54: YYSTYPE params_names_code=$3;
55: Array& params_names=*new(pool) Array(pool);
56: for(int i=0; i<params_names_code->size(); i+=2)
57: params_names+=LA2S(params_names_code, i);
58:
59: YYSTYPE locals_names_code=$4;
60: Array& locals_names=*new(pool) Array(pool);
61: for(int i=0; i<locals_names_code->size(); i+=2)
62: locals_names+=LA2S(locals_names_code, i);
63:
64: Method *method=new(pool) Method(pool, *name, params_names, locals_names, *$7);
65: *PC->methods+=method;
1.8 paf 66: };
1.10 paf 67:
68: maybe_bracketed_strings: empty | bracketed_maybe_strings;
69: bracketed_maybe_strings: '[' maybe_strings ']' {$$=$2};
70: maybe_strings: empty | strings;
71: strings: STRING | strings ';' STRING { $$=$1; P($$, $3) };
72:
73: maybe_comment: empty | STRING;
1.1 paf 74:
75: /* codes */
76:
1.10 paf 77: maybe_codes: empty | codes;
78:
1.1 paf 79: codes: code | codes code {
80: $$=$1;
1.9 paf 81: P($$, $2);
1.1 paf 82: };
83: code: write_str_literal | action;
84: action: get | put | with | call;
85:
86: /* get */
87:
88: get: '$' any_name {
89: $$=$2; /* stack: resulting value */
1.17 paf 90: OP($$, OP_WRITE); /* value=pop; write(value) */
1.1 paf 91: };
92:
1.13 paf 93: any_name: name_without_curly_rdive EON | name_in_curly_rdive;
1.1 paf 94:
95: name_in_curly_rdive: '{' name_without_curly_rdive '}' { $$=$2 };
1.19 ! paf 96: name_without_curly_rdive: name_without_curly_rdive_read | name_without_curly_rdive_root;
! 97: name_without_curly_rdive_read: name_without_curly_rdive_code {
! 98: /*
1.1 paf 99: TODO: подсмотреть в $1, и если там первым элементом self,
100: то выкинуть его и делать не OP_WITH_READ, а WITH_SELF
1.19 ! paf 101: */
! 102: $$=N(pool);
! 103: OP($$, OP_WITH_READ); /* stack: starting context */
1.9 paf 104: P($$, $1); /* diving code; stack: current context */
1.1 paf 105: };
1.19 ! paf 106: name_without_curly_rdive_root: ':' name_without_curly_rdive_code {
! 107: $$=N(pool);
! 108: OP($$, OP_WITH_ROOT); /* stack: starting context */
! 109: P($$, $2); /* diving code; stack: current context */
! 110: };
! 111: name_without_curly_rdive_code: name_advance2 | name_path name_advance2 { $$=$1; P($$, $2) };
1.1 paf 112:
113: /* put */
114:
115: put: '$' name_expr_dive '(' constructor_value ')' {
116: /*
117: TODO: подсмотреть в $3, и если там в первом элементе первая буква ":"
118: то выкинуть её и делать не OP_WITH_OP_WRITE, а WITH_ROOT
119: TODO: подсмотреть в $3, и если там первым элементом self,
120: то выкинуть его и делать не OP_WITH_OP_WRITE, а WITH_SELF
121: если ничего не осталось - $self(xxx)
122: обругать
123: */
1.8 paf 124: $$=N(pool);
1.3 paf 125: OP($$, OP_WITH_WRITE); /* stack: starting context */
1.9 paf 126: P($$, $2); /* diving code; stack: context,name */
127: P($$, $4); /* stack: context,name,constructor_value */
128: OP($$, OP_CONSTRUCT); /* value=pop; name=pop; context=pop; construct(context,name,value) */
1.1 paf 129: };
130: constructor_value:
131: constructor_one_param_value
132: | constructor_two_params_value /* $var(=;2*2) $var(%d;2*2) $var(+;1) */
133: ;
134: constructor_one_param_value:
1.15 paf 135: empty /* optimized $var() case */
1.17 paf 136: | STRING /* optimized $var(STRING) case */
1.1 paf 137: | complex_constructor_param_value /* $var(something complex) */
138: ;
139: complex_constructor_param_value: complex_constructor_param_body {
1.8 paf 140: $$=N(pool);
1.3 paf 141: OP($$, OP_CREATE_EWPOOL); /* stack: empty write context */
1.9 paf 142: P($$, $1); /* some codes to that context */
143: OP($$, OP_REDUCE_EWPOOL); /* context=pop; stack: context.value() */
1.1 paf 144: };
145: complex_constructor_param_body:
146: codes__excluding_sole_str_literal
147: | codes__str__followed_by__excluding_sole_str_literal
148: ;
1.4 paf 149: constructor_two_params_value: STRING ';' constructor_one_param_value {
1.7 paf 150: char *operator_or_fmt=LA2S($1)->cstr();
1.8 paf 151: $$=N(pool);
1.9 paf 152: P($$, $1); /* stack: ncontext name operator_or_fmt */
1.3 paf 153: P($$, $3); /* stack: ncontext name operator_or_fmt expr */
1.1 paf 154: switch(operator_or_fmt[0]) {
155: case '=': case '%':
1.3 paf 156: OP($$, OP_EXPRESSION_EVAL);
1.1 paf 157: break;
158: case '+': case '-': case '*': case '/':
1.3 paf 159: OP($$, OP_MODIFY_EVAL);
1.1 paf 160: break;
161: default:
1.6 paf 162: strcpy(PC->error, "invalid modification operator");
163: YYERROR;
1.1 paf 164: }
165: /* stack: ncontext name value */
166: };
167:
168:
169: /* call */
170:
1.13 paf 171: call: '^' name_expr_dive store_params EON { /* ^field.$method{vasya} */
1.1 paf 172: /*
173: TODO: подсмотреть в $3, и если там в первом элементе первая буква ":"
174: то выкинуть её и делать не OP_WITH_READ, а WITH_ROOT
175: TODO: подсмотреть в $3, и если там первым элементом self,
176: то выкинуть его и делать не OP_WITH_READ, а WITH_SELF
177: TODO:
178: если первым в $3 идёт result
179: то
180: выкинуть его
181: если там ещё что-то осталось,
182: то
183: не OP_WITH_READ, а WITH_RESULT
184: иначе // ^result(value)
185: обругать безобразие
186: */
1.8 paf 187: $$=N(pool);
1.3 paf 188: OP($$, OP_WITH_READ); /* stack: starting context */
1.9 paf 189: P($$, $2); /* diving code; stack: context,method_name */
190: OP($$, OP_GET_METHOD_FRAME); /* stack: context,method_frame */
191: P($$, $3); /* filling method_frame.store_params */
192: OP($$, OP_CALL); /* method_frame=pop; ncontext=pop; call(ncontext,method_frame) */
1.1 paf 193: };
194:
1.9 paf 195: store_params: store_param | store_params store_param { $$=$1; P($$, $2) };
1.1 paf 196: store_param: store_round_param | store_curly_param;
197: store_round_param: '(' store_param_parts ')' {$$=$2};
1.9 paf 198: store_param_parts: store_param_part | store_param_parts ';' store_param_part { $$=$1; P($$, $3) };
1.1 paf 199: store_param_part: constructor_one_param_value {
200: $$=$1;
1.9 paf 201: OP($$, OP_STORE_PARAM);
1.1 paf 202: }
1.10 paf 203: store_curly_param: '{' maybe_codes '}' {
1.8 paf 204: $$=N(pool);
1.3 paf 205: OP($$, OP_CODE_ARRAY);
1.9 paf 206: AA($$, $2);
207: OP($$, OP_CREATE_JUNCTION);
208: OP($$, OP_STORE_PARAM);
1.1 paf 209: };
210:
211: /* name */
212:
1.9 paf 213: name_expr_dive: name_expr_value | name_path name_expr_value { $$=$1; P($$, $2) };
1.1 paf 214:
1.9 paf 215: name_path: name_step | name_path name_step { $$=$1; P($$, $2) };
1.1 paf 216: name_step: name_advance1 '.';
217: name_advance1: name_expr_value {
218: /* stack: context */
219: $$=$1; /* stack: context,name */
1.9 paf 220: OP($$, OP_GET_ELEMENT); /* name=pop; context=pop; stack: context.get_element(name) */
1.1 paf 221: };
222: name_advance2: name_expr_value {
223: /* stack: context */
224: $$=$1; /* stack: context,name */
1.9 paf 225: OP($$, OP_GET_ELEMENT); /* name=pop; context=pop; stack: context.get_element(name) */
1.1 paf 226: }
1.4 paf 227: | STRING BOGUS
1.1 paf 228: ;
229: name_expr_value:
1.4 paf 230: STRING /* subname_is_const */
1.1 paf 231: | name_expr_subvar_value /* $subname_is_var_value */
232: | name_expr_with_subvar_value /* xxx$part_of_subname_is_var_value[$...] */
233: ;
234: name_expr_subvar_value: '$' subvar_ref_name_rdive {
235: $$=$2;
1.9 paf 236: OP($$, OP_GET_ELEMENT);
1.1 paf 237: };
1.4 paf 238: name_expr_with_subvar_value: STRING subvar_get_writes {
1.8 paf 239: $$=N(pool);
1.3 paf 240: OP($$, OP_CREATE_EWPOOL);
1.9 paf 241: P($$, $1);
1.17 paf 242: OP($$, OP_WRITE);
1.9 paf 243: P($$, $2);
244: OP($$, OP_REDUCE_EWPOOL);
1.1 paf 245: };
1.18 paf 246: subvar_ref_name_rdive: subvar_ref_name_rdive_read | subvar_ref_name_rdive_root;
247: subvar_ref_name_rdive_read: STRING {
248: $$=N(pool);
249: OP($$, OP_WITH_READ);
1.9 paf 250: P($$, $1);
1.1 paf 251: };
1.18 paf 252: subvar_ref_name_rdive_root: ':' STRING {
253: $$=N(pool);
254: OP($$, OP_WITH_ROOT);
255: P($$, $2);
256: };
1.9 paf 257: subvar_get_writes: subvar__get_write | subvar_get_writes subvar__get_write { $$=$1; P($$, $2) };
1.1 paf 258: subvar__get_write: '$' subvar_ref_name_rdive {
259: $$=$2;
1.17 paf 260: OP($$, OP_GET_ELEMENT__WRITE);
1.1 paf 261: };
262:
263:
264: /* with */
265:
266: with: '$' name_without_curly_rdive '{' codes '}' {
267: $$=$2;
1.9 paf 268: OP($$, OP_CREATE_RWPOOL);
269: P($$, $4);
270: OP($$, OP_REDUCE_RWPOOL);
1.17 paf 271: OP($$, OP_WRITE);
1.1 paf 272: };
273:
274: /* codes_in_brackets */
275:
276: codes__str__followed_by__excluding_sole_str_literal:
277: write_str_literal codes__excluding_sole_str_literal {
278: $$=$1;
1.9 paf 279: P($$, $2);
1.1 paf 280: }
281: ;
282: codes__excluding_sole_str_literal:
283: action
284: | codes__excluding_sole_str_literal write_str_literal {
285: $$=$1;
1.9 paf 286: P($$, $2);
1.1 paf 287: }
288: ;
1.4 paf 289: write_str_literal: STRING {
1.1 paf 290: $$=$1;
1.17 paf 291: OP($$, OP_WRITE);
1.1 paf 292: };
293:
294: /* */
295:
1.8 paf 296: empty: /* empty */ { $$=N(pool) };
1.1 paf 297:
298: %%
299:
300: /*
301: 000$111(2222)00
302: 000$111{3333}00
1.9 paf 303: $,^: push,=0
1.1 paf 304: 1:( { break=pop
305: 2:( ) pop
306: 3:{ } pop
307:
308: 000^111(2222)4444{33333}4000
1.9 paf 309: $,^: push,=0
1.1 paf 310: 1:( { break=pop
311: 2:( )=4
312: 3:{ }=4
313: 4:[^({]=pop
314: */
315:
316: int yylex(YYSTYPE *lvalp, void *pc) {
317: #define lexical_brackets_nestage PC->brackets_nestages[PC->sp]
318:
319: register int c;
320: int result;
321:
322: if(PC->pending_state) {
323: result=PC->pending_state;
324: PC->pending_state=0;
325: return result;
326: }
327:
1.9 paf 328: char *begin=PC->source;
329: char *end;
330: int begin_line=PC->line;
1.1 paf 331: while(1) {
1.9 paf 332: c=*(end=(PC->source++));
1.1 paf 333:
1.4 paf 334: if(c=='\n') {
1.1 paf 335: PC->line++;
1.8 paf 336: PC->col=0;
1.10 paf 337: } else
1.4 paf 338: PC->col++;
1.1 paf 339:
340: /* escaping: ^^ ^$ ^; ^) ^} ^( ^{ */
341: if(c=='^') {
342: char pending_c=*PC->source;
343:
1.9 paf 344: if(pending_c=='^' || pending_c=='$' || pending_c==';' ||
345: pending_c=='(' || pending_c==')' ||
346: pending_c=='{' || pending_c=='}') {
1.1 paf 347: /* append piece till ^ */
1.9 paf 348: PC->string->APPEND(begin, end-begin, PC->file, begin_line);
1.1 paf 349: /* reset piece 'start' position & line */
1.9 paf 350: begin=PC->source/*^*/;
351: begin_line=PC->line;
1.1 paf 352: /* skip over ^ and _ */
353: PC->source+=2;
354: /* skip analysis = forced literal */
355: continue;
356: }
357: }
358: switch(PC->ls) {
1.10 paf 359:
360: // USER'S = NOT OURS
1.1 paf 361: case LS_USER:
362: if(c=='$') {
1.10 paf 363: push_LS(PC, LS_VAR_NAME_SIMPLE);
1.1 paf 364: result=c;
365: goto break2;
366: }
367: if(c=='^') {
1.10 paf 368: push_LS(PC, LS_METHOD_NAME);
369: result=c;
370: goto break2;
371: }
372: if(c=='@' && PC->col==0+1) {
1.1 paf 373: result=c;
1.10 paf 374: push_LS(PC, LS_DEF_NAME);
375: goto break2;
376: }
377:
378: break;
379:
380: // METHOD DEFINITION
381: case LS_DEF_NAME:
382: if(c=='[') {
383: result=c;
384: PC->ls=LS_DEF_PARAMS;
385: goto break2;
386: }
387: if(c=='\n') { // wrong. bailing out
388: result=c;
389: pop_LS(PC);
390: goto break2;
391: }
392: break;
393: case LS_DEF_PARAMS:
394: if(c==';') {
395: result=c;
396: goto break2;
397: }
398: if(c==']') {
399: result=c;
400: PC->ls=*PC->source=='['?LS_DEF_LOCALS:LS_DEF_COMMENT;
401: goto break2;
402: }
403: if(c=='\n') { // wrong. bailing out
404: result=c;
405: pop_LS(PC);
406: goto break2;
407: }
408: break;
409: case LS_DEF_LOCALS:
410: if(c=='[' || c==';') {
411: result=c;
412: goto break2;
413: }
414: if(c==']') {
415: result=c;
416: PC->ls=LS_DEF_COMMENT;
417: goto break2;
418: }
419: if(c=='\n') { // wrong. bailing out
420: result=c;
421: pop_LS(PC);
422: goto break2;
423: }
424: break;
425: case LS_DEF_COMMENT:
426: if(c=='\n') {
427: result=c;
428: pop_LS(PC);
1.1 paf 429: goto break2;
430: }
431: break;
432:
1.10 paf 433: // VARIABLE GET/PUT/WITH
1.1 paf 434: case LS_VAR_NAME_SIMPLE:
435: if(c==0 ||
436: c==' '|| c=='\t' || c=='\n' ||
437: c==')' || c=='}') {
438: pop_LS(PC);
1.4 paf 439: PC->source--; PC->col--;
1.13 paf 440: result=EON;
1.1 paf 441: goto break2;
442: }
1.13 paf 443: if(begin==end && c=='{') { /* ${name}, no need of EON, switching LS */
1.1 paf 444: PC->ls=LS_VAR_NAME_CURLY;
445: result=c;
446: goto break2;
447: }
1.18 paf 448: if(c==':') {
449: result=c;
450: goto break2;
451: }
1.1 paf 452: if(c=='(') {
453: PC->ls=LS_VAR_ROUND;
454: lexical_brackets_nestage=1;
455: result=c;
456: goto break2;
457: }
458: if(c=='{') {
459: PC->ls=LS_VAR_CURLY;
460: lexical_brackets_nestage=1;
461: result=c;
462: goto break2;
463: }
464: if(c=='.'/* name part delim */ || c=='$'/* name part subvar */) {
465: result=c;
466: goto break2;
467: }
468: break;
469: case LS_VAR_NAME_CURLY:
1.18 paf 470: if(c==':') {
471: result=c;
472: goto break2;
473: }
1.1 paf 474: if(c=='}') { /* ${name} finished, restoring LS */
475: pop_LS(PC);
476: result=c;
477: goto break2;
478: }
479: if(c=='.'/* name part delim */ || c=='$'/*name part subvar*/) {
480: result=c;
481: goto break2;
482: }
483: break;
484: case LS_VAR_ROUND:
485: if(c=='$') {
1.10 paf 486: push_LS(PC, LS_VAR_NAME_SIMPLE);
1.1 paf 487: result=c;
488: goto break2;
489: }
490: if(c=='^') {
1.10 paf 491: push_LS(PC, LS_METHOD_NAME);
1.1 paf 492: result=c;
493: goto break2;
494: }
495: if(c==')') {
496: if(--lexical_brackets_nestage==0) {
497: pop_LS(PC);
498: result=c;
499: goto break2;
500: }
501: }
502: if(c==';'/* operator_or_fmt;value delim */) {
503: result=c;
504: goto break2;
505: }
506: if(c=='(')
507: lexical_brackets_nestage++;
508: break;
509: case LS_VAR_CURLY:
510: if(c=='$') {
1.10 paf 511: push_LS(PC, LS_VAR_NAME_SIMPLE);
1.1 paf 512: result=c;
513: goto break2;
514: }
515: if(c=='^') {
1.10 paf 516: push_LS(PC, LS_METHOD_NAME);
1.1 paf 517: result=c;
518: goto break2;
519: }
520: if(c=='}')
521: if(--lexical_brackets_nestage==0) {
522: pop_LS(PC);
523: result=c;
524: goto break2;
525: }
526: if(c=='{')
527: lexical_brackets_nestage++;
528: break;
529:
1.10 paf 530: // METHOD CALL
1.1 paf 531: case LS_METHOD_NAME:
532: if(c=='(') {
533: PC->ls=LS_METHOD_ROUND;
534: lexical_brackets_nestage=1;
535: result=c;
536: goto break2;
537: }
538: if(c=='{') {
539: PC->ls=LS_METHOD_CURLY;
540: lexical_brackets_nestage=1;
541: result=c;
542: goto break2;
543: }
544: if(c=='.'/* name part delim */ || c=='$'/* name part subvar */) {
545: result=c;
546: goto break2;
547: }
548: break;
549: case LS_METHOD_ROUND:
550: if(c=='$') {
1.10 paf 551: push_LS(PC, LS_VAR_NAME_SIMPLE);
1.1 paf 552: result=c;
553: goto break2;
554: }
555: if(c=='^') {
1.10 paf 556: push_LS(PC, LS_METHOD_NAME);
1.1 paf 557: result=c;
558: goto break2;
559: }
560: if(c==';'/* param delim */) {
561: result=c;
562: goto break2;
563: }
564: if(c==')')
565: if(--lexical_brackets_nestage==0) {
566: PC->ls=LS_METHOD_AFTER;
567: result=c;
568: goto break2;
569: }
570: if(c=='(')
571: lexical_brackets_nestage++;
572: break;
573: case LS_METHOD_CURLY:
574: if(c=='$') {
1.10 paf 575: push_LS(PC, LS_VAR_NAME_SIMPLE);
1.1 paf 576: result=c;
577: goto break2;
578: }
579: if(c=='^') {
1.10 paf 580: push_LS(PC, LS_METHOD_NAME);
1.1 paf 581: result=c;
582: goto break2;
583: }
584: if(c=='}')
585: if(--lexical_brackets_nestage==0) {
586: PC->ls=LS_METHOD_AFTER;
587: result=c;
588: goto break2;
589: }
590: if(c=='{')
591: lexical_brackets_nestage++;
592: break;
593: case LS_METHOD_AFTER:
594: if(c=='(') {/* )( }( */
595: PC->ls=LS_METHOD_ROUND;
596: lexical_brackets_nestage=1;
597: result=c;
598: goto break2;
599: }
600: if(c=='{') {/* ){ }{ */
601: PC->ls=LS_METHOD_CURLY;
602: lexical_brackets_nestage=1;
603: result=c;
604: goto break2;
605: }
606: pop_LS(PC);
1.4 paf 607: PC->source--; PC->col--;
1.13 paf 608: result=EON;
1.1 paf 609: goto break2;
610: }
1.9 paf 611: if(c==0) {
1.1 paf 612: result=-1;
1.4 paf 613: PC->source--; PC->col--;
1.1 paf 614: break;
615: }
616: }
617:
618: break2:
1.9 paf 619: if(begin==end)
1.1 paf 620: return result;
621: else {
622: PC->pending_state=result;
1.10 paf 623: // strip last \n before LS_DEF_NAME or EOF
624: if((c=='@' || c==0) && end[-1]=='\n')
625: end--;
626: // append last piece
1.9 paf 627: PC->string->APPEND(begin, end-begin, PC->file, begin_line/*, start_col*/);
1.17 paf 628: // create STRING value: array of OP_VALUE+vstring
629: *lvalp=L(new(pool) VString(PC->string));
1.10 paf 630: // new pieces storage
1.8 paf 631: PC->string=new(pool) String(pool);
1.10 paf 632: // go!
1.4 paf 633: return STRING;
1.1 paf 634: }
635: }
636:
1.9 paf 637: int real_yyerror(parse_control *pc, char *s) /* Called by yyparse on error */
1.1 paf 638: {
1.16 paf 639: //fprintf(stderr, "[%s]\n", s);
1.6 paf 640:
641: s[MAX_STRING-1]=0; strcpy(pc->error, s);
1.1 paf 642: return 1;
643: }
644:
645: static void
1.9 paf 646: yyprint(
1.1 paf 647: FILE *file,
648: int type,
649: YYSTYPE value)
650: {
1.9 paf 651: if(type==STRING)
652: fprintf(file, " \"%s\"", LA2S(value)->cstr());
1.1 paf 653: }
654: