[BACK]Return to compile.y CVS log [TXT] [DIR] Up to [parser3project] / parser3 / src / main

Diff for /parser3/src/main/compile.y between versions 1.27 and 1.44

version 1.27, 2001/02/23 12:37:58 version 1.44, 2001/02/25 10:48:59
Line 18 Line 18
 #include "compile_tools.h"  #include "compile_tools.h"
 #include "pa_value.h"  #include "pa_value.h"
 #include "pa_request.h"  #include "pa_request.h"
   #include "pa_vobject.h"
   
   #define SELF_NAME "self"
   #define USES_NAME "USES"
   
 int real_yyerror(parse_control *pc, char *s);  int real_yyerror(parse_control *pc, char *s);
 static void yyprint(FILE *file, int type, YYSTYPE value);  static void yyprint(FILE *file, int type, YYSTYPE value);
Line 45  all: Line 49  all:
         name_main.APPEND_CONST(MAIN_METHOD_NAME);          name_main.APPEND_CONST(MAIN_METHOD_NAME);
         Array& param_names=*NEW Array(POOL);          Array& param_names=*NEW Array(POOL);
         Array& local_names=*NEW Array(POOL);          Array& local_names=*NEW Array(POOL);
         Method *method=NEW Method(POOL, name_main, param_names, local_names, *$1);          Method& method=*NEW Method(POOL, name_main, param_names, local_names, *$1);
         *PC->methods+=method;          PC->vclass->add_method(name_main, method);
 }  }
 |       methods;  |       methods;
   
 methods: method | methods method;  methods: method | methods method;
 one_big_piece: maybe_codes;  one_big_piece: maybe_codes;
   
 method: '@' STRING bracketed_maybe_strings maybe_bracketed_strings maybe_comment '\n'   method: control_method | code_method;
   
   control_method: '@' STRING '\n' 
                                   control_strings {
           String& name=*SLA2S($2);
           YYSTYPE strings_code=$4;
           if(strings_code->size()<1*2) {
                   strcpy(PC->error, "@");
                   strcat(PC->error, name.cstr());
                   strcat(PC->error, " is empty");
                   YYERROR;
           }
           if(name==CLASS_NAME) {
                   if(strings_code->size()==1*2) 
                           PC->vclass->set_name(*SLA2S(strings_code));
                   else {
                           strcpy(PC->error, "@"CLASS_NAME" must contain sole name");
                           YYERROR;
                   }
           } else {
                   if(name==USES_NAME) {
                           for(int i=0; i<strings_code->size(); i+=2) {
                                   String *file=SLA2S(strings_code, i);
                                   file->APPEND_CONST(".p");
                                   PC->request->use(file->cstr(), 0);
                           }
                   } else if(name==PARENTS_NAME) {
                           for(int i=0; i<strings_code->size(); i+=2) {
                                   String& parent_name=*SLA2S(strings_code, i);
                                   VClass *parent=static_cast<VClass *>(
                                           PC->request->classes().get(parent_name));
                                   if(!parent) {
                                           strcpy(PC->error, parent_name.cstr());
                                           strcat(PC->error, ": undefined class in @"PARENTS_NAME);
                                           YYERROR;
                                   }
                                   PC->vclass->add_parent(*parent);
                           }
                   } else {
                           strcpy(PC->error, name.cstr());
                           strcat(PC->error, ": invalid special name. valid names are "
                                   CLASS_NAME", "USES_NAME" and "PARENTS_NAME);
                           YYERROR;
                   }
           }
   };
   control_strings: control_string | control_strings control_string { $$=$1; P($$, $2) };
   control_string: maybe_string '\n';
   maybe_string: empty | STRING;
   
   code_method: '@' STRING bracketed_maybe_strings maybe_bracketed_strings maybe_comment '\n' 
                         maybe_codes {                          maybe_codes {
         const String *name=LA2S($2);          const String *name=SLA2S($2);
   
         YYSTYPE params_names_code=$3;          YYSTYPE params_names_code=$3;
         Array& params_names=*NEW Array(POOL);          Array& params_names=*NEW Array(POOL);
         for(int i=0; i<params_names_code->size(); i+=2)          for(int i=0; i<params_names_code->size(); i+=2)
                 params_names+=LA2S(params_names_code, i);                  params_names+=SLA2S(params_names_code, i);
   
         YYSTYPE locals_names_code=$4;          YYSTYPE locals_names_code=$4;
         Array& locals_names=*NEW Array(POOL);          Array& locals_names=*NEW Array(POOL);
         for(int i=0; i<locals_names_code->size(); i+=2)          for(int i=0; i<locals_names_code->size(); i+=2)
                 locals_names+=LA2S(locals_names_code, i);                  locals_names+=SLA2S(locals_names_code, i);
   
         Method *method=NEW Method(POOL, *name, params_names, locals_names, *$7);          Method& method=*NEW Method(POOL, *name, params_names, locals_names, *$7);
         *PC->methods+=method;          PC->vclass->add_method(*name, method);
 };  };
   
 maybe_bracketed_strings: empty | bracketed_maybe_strings;  maybe_bracketed_strings: empty | bracketed_maybe_strings;
Line 91  action: get | put | with | call; Line 145  action: get | put | with | call;
   
 /* get */  /* get */
   
 get: '$' any_name {  get: '$' get_name {
         $$=$2; /* stack: resulting value */          $$=$2; /* stack: resulting value */
         OP($$, OP_WRITE); /* value=pop; write(value) */          OP($$, OP_WRITE); /* value=pop; write(value) */
 };  };
   get_name: name_without_curly_rdive EON | name_in_curly_rdive;
 any_name: name_without_curly_rdive EON | name_in_curly_rdive;  
   
 name_in_curly_rdive: '{' name_without_curly_rdive '}' { $$=$2 };  name_in_curly_rdive: '{' name_without_curly_rdive '}' { $$=$2 };
 name_without_curly_rdive: name_without_curly_rdive_read | name_without_curly_rdive_root;  name_without_curly_rdive: 
           name_without_curly_rdive_read 
   |       name_without_curly_rdive_root
   |       name_without_curly_rdive_class;
 name_without_curly_rdive_read: name_without_curly_rdive_code {  name_without_curly_rdive_read: name_without_curly_rdive_code {
         $$=N(POOL);           $$=N(POOL); 
         Array *diving_code=$1;          Array *diving_code=$1;
         String *first_name=LA2S(diving_code);          String *first_name=SLA2S(diving_code);
         if(first_name && *first_name==SELF_NAME) {          if(first_name && *first_name==SELF_NAME) {
                 OP($$, OP_WITH_SELF); /* stack: starting context */                  OP($$, OP_WITH_SELF); /* stack: starting context */
                 P($$, diving_code,                   P($$, diving_code, 
Line 120  name_without_curly_rdive_root: ':' name_ Line 175  name_without_curly_rdive_root: ':' name_
         OP($$, OP_WITH_ROOT); /* stack: starting context */          OP($$, OP_WITH_ROOT); /* stack: starting context */
         P($$, $2); /* diving code; stack: current context */          P($$, $2); /* diving code; stack: current context */
 };  };
   name_without_curly_rdive_class: class_prefix name_without_curly_rdive_code { $$=$1; P($$, $2) };
 name_without_curly_rdive_code: name_advance2 | name_path name_advance2 { $$=$1; P($$, $2) };  name_without_curly_rdive_code: name_advance2 | name_path name_advance2 { $$=$1; P($$, $2) };
   
 /* put */  /* put */
   
 put: '$' name_expr_dive '(' constructor_value ')' {  put: '$' name_expr_wdive '(' constructor_value ')' {
 /*  
         TODO: подсмотреть в $3, и если там первым элементом self,  
                 то выкинуть его и делать не WITH_WRITE, а WITH_SELF  
                 если ничего не осталось - $self(xxx)  
                         обругать  
 */  
         $$=$2; /* stack: context,name */          $$=$2; /* stack: context,name */
         P($$, $4); /* stack: context,name,constructor_value */          P($$, $4); /* stack: context,name,constructor_value */
         OP($$, OP_CONSTRUCT); /* value=pop; name=pop; context=pop; construct(context,name,value) */          OP($$, OP_CONSTRUCT); /* value=pop; name=pop; context=pop; construct(context,name,value) */
 };  };
 name_expr_dive: name_expr_dive_write | name_expr_dive_root;  name_expr_wdive: 
 name_expr_dive_write: name_expr_dive_code {          name_expr_wdive_write
         $$=N(POOL);   |       name_expr_wdive_root
   |       name_expr_wdive_class;
   name_expr_wdive_write: name_expr_dive_code {
           $$=N(POOL);
         Array *diving_code=$1;          Array *diving_code=$1;
         String *first_name=LA2S(diving_code);          String *first_name=SLA2S(diving_code);
         if(first_name && *first_name==SELF_NAME) {          if(first_name && *first_name==SELF_NAME) {
                 OP($$, OP_WITH_SELF); /* stack: starting context */                  OP($$, OP_WITH_SELF); /* stack: starting context */
                 P($$, diving_code,                   P($$, diving_code, 
Line 151  name_expr_dive_write: name_expr_dive_cod Line 204  name_expr_dive_write: name_expr_dive_cod
         }          }
         /* diving code; stack: current context */          /* diving code; stack: current context */
 };  };
 name_expr_dive_root: ':' name_expr_dive_code {  name_expr_wdive_root: ':' name_expr_dive_code {
         $$=N(POOL);           $$=N(POOL); 
         OP($$, OP_WITH_ROOT); /* stack: starting context */          OP($$, OP_WITH_ROOT); /* stack: starting context */
         P($$, $2); /* diving code; stack: context,name */          P($$, $2); /* diving code; stack: context,name */
 };  };
   name_expr_wdive_class: class_prefix name_expr_dive_code { $$=$1; P($$, $2) };
   
 constructor_value:   constructor_value: 
         constructor_one_param_value          constructor_one_param_value
Line 177  complex_constructor_param_body: codes__e Line 231  complex_constructor_param_body: codes__e
 codes__excluding_sole_str_literal: action | code codes { $$=$1; P($$, $2) };  codes__excluding_sole_str_literal: action | code codes { $$=$1; P($$, $2) };
   
 constructor_two_params_value: STRING ';' constructor_one_param_value {  constructor_two_params_value: STRING ';' constructor_one_param_value {
         char *operator_or_fmt=LA2S($1)->cstr();          char *operator_or_fmt=SLA2S($1)->cstr();
         $$=N(POOL);          $$=N(POOL);
         P($$, $1); /* stack: ncontext name operator_or_fmt */          P($$, $1); /* stack: ncontext name operator_or_fmt */
         P($$, $3); /* stack: ncontext name operator_or_fmt expr */          P($$, $3); /* stack: ncontext name operator_or_fmt expr */
Line 197  constructor_two_params_value: STRING ';' Line 251  constructor_two_params_value: STRING ';'
   
 /* call */  /* call */
   
 call: '^' name_expr_dive store_params EON { /* ^field.$method{vasya} */  call: '^' call_name store_params EON { /* ^field.$method{vasya} */
 /*          $$=$2; /* with_xxx,diving code; stack: context,method_junction */
         TODO: подсмотреть в $3, и если там в первом элементе первая буква ":"  
                 то выкинуть её и делать не OP_WITH_READ, а WITH_ROOT  
         TODO: подсмотреть в $3, и если там первым элементом self,  
                 то выкинуть его и делать не OP_WITH_READ, а WITH_SELF  
         TODO:  
                 если первым в $3 идёт result  
                 то  
                         выкинуть его  
                         если там ещё что-то осталось,  
                         то  
                                 не OP_WITH_READ, а WITH_RESULT  
                         иначе  // ^result(value)  
                                 обругать безобразие  
 */  
         $$=N(POOL);   
         OP($$, OP_WITH_READ); /* stack: starting context */  
         P($$, $2); /* diving code; stack: context,method_name */  
         OP($$, OP_GET_METHOD_FRAME); /* stack: context,method_frame */          OP($$, OP_GET_METHOD_FRAME); /* stack: context,method_frame */
         P($$, $3); /* filling method_frame.store_params */          P($$, $3); /* filling method_frame.store_params */
         OP($$, OP_CALL); /* method_frame=pop; ncontext=pop; call(ncontext,method_frame) */          OP($$, OP_CALL); /* method_frame=pop; ncontext=pop; call(ncontext,method_frame) */
 };  };
   
   call_name: name_without_curly_rdive;
   
 store_params: store_param | store_params store_param { $$=$1; P($$, $2) };  store_params: store_param | store_params store_param { $$=$1; P($$, $2) };
 store_param: store_round_param | store_curly_param;  store_param: store_round_param | store_curly_param;
 store_round_param: '(' store_param_parts ')' {$$=$2};  store_round_param: '(' store_param_parts ')' {$$=$2};
 store_param_parts: store_param_part | store_param_parts ';' store_param_part { $$=$1; P($$, $3) };  store_param_parts:
 store_param_part: constructor_one_param_value {          store_param_part
         $$=$1;  |       store_param_parts ';' store_param_part { $$=$1; P($$, $3) }
         OP($$, OP_STORE_PARAM);  ;
 }  
 store_curly_param: '{' maybe_codes '}' {  store_curly_param: '{' maybe_codes '}' {
         $$=N(POOL);           $$=N(POOL); 
         OP($$, OP_CODE_ARRAY);          PCA($$, $2);
         AA($$, $2);  
         OP($$, OP_CREATE_JUNCTION);  
         OP($$, OP_STORE_PARAM);          OP($$, OP_STORE_PARAM);
 };  };
   store_param_part: 
           empty /* optimized () case */
   |       STRING { /* optimized (STRING) case */
           $$=$1;
           OP($$, OP_STORE_PARAM);
   }
   |       complex_constructor_param_value { /* (something complex) */
           $$=$1;
           OP($$, OP_STORE_PARAM);
   }
   ;
   
 /* name */  /* name */
   
Line 289  subvar__get_write: '$' subvar_ref_name_r Line 336  subvar__get_write: '$' subvar_ref_name_r
         OP($$, OP_GET_ELEMENT__WRITE);          OP($$, OP_GET_ELEMENT__WRITE);
 };  };
   
   class_prefix: STRING ':' {
           String& name=*SLA2S($1);
           VClass *vclass=static_cast<VClass *>(PC->request->classes().get(name));
           if(!vclass) {
                   strcpy(PC->error, "'");
                   strcat(PC->error, name.cstr());
                   strcat(PC->error, "' class is undefined in call");
                   YYERROR;
           }
           $$=CL(vclass); // vclass
   };
   
   
 /* with */  /* with */
   
Line 303  with: '$' name_without_curly_rdive '{' c Line 362  with: '$' name_without_curly_rdive '{' c
 /* basics */  /* basics */
   
 write_str_literal: STRING {  write_str_literal: STRING {
         $$=$1;          if(SLA2S($1)->size()) {
         OP($$, OP_WRITE);                  $$=$1;
 };                  OP($$, OP_WRITE);
 empty_value: empty {          } else {
         $$=$1;                  // optimized case of special end of macro. see yylex
         PVS($$, NEW VString(POOL));                  $$=N(POOL);
           }
 };  };
   empty_value: /* empty */ { $$=SL(NEW VString(POOL)) };
 empty: /* empty */ { $$=N(POOL) };  empty: /* empty */ { $$=N(POOL) };
   
 %%  %%
Line 354  int yylex(YYSTYPE *lvalp, void *pc) { Line 415  int yylex(YYSTYPE *lvalp, void *pc) {
                 } else                  } else
                         PC->col++;                          PC->col++;
   
                 /* escaping: ^^ ^$ ^; ^) ^} ^( ^{ */                  // escaping: ^^ ^$ ^; ^) ^} ^( ^{
                 if(c=='^') {                  if(c=='^') {
                         char pending_c=*PC->source;                          char next_c=*PC->source;
   
                         if(pending_c=='^' || pending_c=='$' || pending_c==';' ||                          if(next_c=='^' || next_c=='$' || next_c==';' ||
                                 pending_c=='(' || pending_c==')' ||                                  next_c=='(' || next_c==')' ||
                                 pending_c=='{' || pending_c=='}') {                                  next_c=='{' || next_c=='}') {
                                 /* append piece till ^ */                                  if(end!=begin) {
                                 PC->string->APPEND(begin, end-begin, PC->file, begin_line);                                          // append piece till ^
                                 /* reset piece 'start' position & line */                                          PC->string->APPEND(begin, end-begin, PC->file, begin_line);
                                 begin=PC->source/*^*/;                                  }
                                   // reset piece 'start' position & line
                                   begin=PC->source; // ^
                                 begin_line=PC->line;                                  begin_line=PC->line;
                                 /* skip over ^ and _ */                                  // skip over ^ and _
                                 PC->source+=2;                                  PC->source++;
                                 /* skip analysis = forced literal */                                  // skip analysis = forced literal
                                 continue;                                  continue;
                         }                          }
                 }                  }
Line 401  int yylex(YYSTYPE *lvalp, void *pc) { Line 464  int yylex(YYSTYPE *lvalp, void *pc) {
                                 PC->ls=LS_DEF_PARAMS;                                  PC->ls=LS_DEF_PARAMS;
                                 goto break2;                                  goto break2;
                         }                          }
                         if(c=='\n') { // wrong. bailing out                          if(c=='\n') {
                                 result=c;                                  result=c;
                                 pop_LS(PC);                                  PC->ls=LS_SPEC_CODE;
                                 goto break2;                                  goto break2;
                         }                          }
                         break;                          break;
Line 447  int yylex(YYSTYPE *lvalp, void *pc) { Line 510  int yylex(YYSTYPE *lvalp, void *pc) {
                         }                          }
                         break;                          break;
   
                   case LS_SPEC_CODE:
                           if(c=='\n') {
                                   result=c;
                                   if(*PC->source=='@' || *PC->source==0) // end of special_code
                                           pop_LS(PC);
                                   goto break2;
                           }
                           break;
   
                 // VARIABLE GET/PUT/WITH                  // VARIABLE GET/PUT/WITH
                 case LS_VAR_NAME_SIMPLE:                  case LS_VAR_NAME_SIMPLE:
                         if(c==0 ||                           if(c==0 || 
                                 c==' '|| c=='\t' || c=='\n' ||                                   c==' '|| c=='\t' || c=='\n' || 
                                 c==')' || c=='}') {                                  c==')' || c=='}') {
                                 pop_LS(PC);                                  pop_LS(PC);
                                 PC->source--;   PC->col--;                                  PC->source--;  if(--PC->col<0) { PC->line--;  PC->col=-1; }
                                 result=EON;                                  result=EON;
                                 goto break2;                                  goto break2;
                         }                          }
Line 462  int yylex(YYSTYPE *lvalp, void *pc) { Line 534  int yylex(YYSTYPE *lvalp, void *pc) {
                                 result=c;                                  result=c;
                                 goto break2;                                  goto break2;
                         }                          }
                         if(c==':') {  
                                 result=c;  
                                 goto break2;  
                         }  
                         if(c=='(') {                          if(c=='(') {
                                 PC->ls=LS_VAR_ROUND;                                  PC->ls=LS_VAR_ROUND;
                                 lexical_brackets_nestage=1;                                  lexical_brackets_nestage=1;
Line 478  int yylex(YYSTYPE *lvalp, void *pc) { Line 546  int yylex(YYSTYPE *lvalp, void *pc) {
                                 result=c;                                  result=c;
                                 goto break2;                                  goto break2;
                         }                          }
                         if(c=='.'/* name part delim */ || c=='$'/* name part subvar */) {                          if(c=='.'/* name part delim */ || 
                                   c=='$'/* name part subvar */ ||
                                   c==':'/* ':name' or 'class:name' */) {
                                 result=c;                                  result=c;
                                 goto break2;                                  goto break2;
                         }                          }
                         break;                          break;
                 case LS_VAR_NAME_CURLY:                  case LS_VAR_NAME_CURLY:
                         if(c==':') {  
                                 result=c;  
                                 goto break2;  
                         }  
                         if(c=='}') {  /* ${name} finished, restoring LS */                          if(c=='}') {  /* ${name} finished, restoring LS */
                                 pop_LS(PC);                                  pop_LS(PC);
                                 result=c;                                  result=c;
                                 goto break2;                                  goto break2;
                         }                          }
                         if(c=='.'/* name part delim */ || c=='$'/*name part subvar*/) {                          if(c=='.'/* name part delim */ || 
                                   c=='$'/*name part subvar*/ ||
                                   c==':'/* ':name' or 'class:name' */) {
                                 result=c;                                  result=c;
                                 goto break2;                                  goto break2;
                         }                          }
Line 558  int yylex(YYSTYPE *lvalp, void *pc) { Line 626  int yylex(YYSTYPE *lvalp, void *pc) {
                                 result=c;                                  result=c;
                                 goto break2;                                  goto break2;
                         }                          }
                         if(c=='.'/* name part delim */ || c=='$'/* name part subvar */) {                          if(c=='.'/* name part delim */ || 
                                   c=='$'/* name part subvar */ ||
                                   c==':'/* ':name' or 'class:name' */) {
                                 result=c;                                  result=c;
                                 goto break2;                                  goto break2;
                         }                          }
Line 621  int yylex(YYSTYPE *lvalp, void *pc) { Line 691  int yylex(YYSTYPE *lvalp, void *pc) {
                                 goto break2;                                  goto break2;
                         }                                                                    }                                          
                         pop_LS(PC);                          pop_LS(PC);
                         PC->source--;  PC->col--;                          PC->source--;  if(--PC->col<0) { PC->line--;  PC->col=-1; }
                         result=EON;                          result=EON;
                         goto break2;                          goto break2;
                 }                  }
                 if(c==0) {                  if(c==0) {
                         result=-1;                          result=-1;
 //                      PC->source--;  PC->col--;  
                         break;                          break;
                 }                  }
         }          }
Line 640  break2: Line 709  break2:
                 // strip last \n before LS_DEF_NAME or EOF                  // strip last \n before LS_DEF_NAME or EOF
                 if((c=='@' || c==0) && end[-1]=='\n')                  if((c=='@' || c==0) && end[-1]=='\n')
                         end--;                          end--;
                 // append last piece                  if(end!=begin) {
                 PC->string->APPEND(begin, end-begin, PC->file, begin_line/*, start_col*/);                          // append last piece
                           PC->string->APPEND(begin, end-begin, PC->file, begin_line/*, start_col*/);
                   }
                 // create STRING value: array of OP_VALUE+vstring                  // create STRING value: array of OP_VALUE+vstring
                 *lvalp=L(NEW VString(PC->string));                  *lvalp=SL(NEW VString(PC->string));
                 // new pieces storage                  // new pieces storage
                 PC->string=NEW String(POOL);                  PC->string=NEW String(POOL);
                 // go!                  // go!
Line 666  static void Line 737  static void
           YYSTYPE value)            YYSTYPE value)
      {       {
        if(type==STRING)         if(type==STRING)
          fprintf(file, " \"%s\"", LA2S(value)->cstr());           fprintf(file, " \"%s\"", SLA2S(value)->cstr());
      }       }
   
Removed from v.1.27  
changed lines
  Added in v.1.44

E-mail: