PHP_ParserGenerator - ошибка в грамматике или в генераторе парсера? - PullRequest
Новая
       8

PHP_ParserGenerator - ошибка в грамматике или в генераторе парсера?

1 голос
/ 12 января 2010

Я пытаюсь создать парсер для простого языка с лимонным портом на PHP , и он работает, почти.

Следующая грамматика: 

%name SP_
%declare_class { class SpecParser }
%token_prefix SP_
%include_class {
 public $retvalue = '<todo: error handling>';
 public function singleKey($elem) {
     end($elem);
     return key($elem);
 }
}
%parse_accept {
 $this->retvalue = $this->_retvalue;
}

%right ASSIGN.

start(A) ::= spec(B) . { A = B; }

spec(A) ::= top_stmt(B) . { A = B; }

top_stmt(A) ::= . { A=array('empty' => NULL); }
top_stmt(A) ::= conditional(B) . { A = B;}
top_stmt(A) ::= retval(B) . { A = B; }
top_stmt(A) ::= assignment(B) . { A = array('assignment' => B); }
top_stmt(A) ::= MOD STRING(B) top_stmt(C) . {C['rulename'] = B; A=B;}

conditional(A) ::= IF stmt_list(B) . { A = array('condbreak' => array('stmt_list' => B)); }
conditional(A) ::= IF stmt_list(B) stmt(C) . { A = array('condexec' => array('cond' => B,'exec' => C)); }

retval(A) ::= access(B) . { A = array('access' => B); }
retval(A) ::= invoke(B) . { A = array('invoke' => B); }

assignment(A) ::= access(B) ASSIGN expr(C) . {A = array('lval' => B, 'rval' => C);}

expr(A) ::= retval(B) . { A = array('retval' => B); }
expr(A) ::= NOT retval(B) . { A = array('!retval' => B); }

stmt(A) ::= expr(B) . { A = array('expr' => B); }
stmt(A) ::= assignment(B) . { A = array('assignment' => B); }

empty_stmt_list(A) ::= . {A = array();}
empty_stmt_list(A) ::= stmt(B) . {
    A = array(B);
}
empty_stmt_list(A) ::= empty_stmt_list(B) COMMA stmt(C) . {
    B[] = C;
    A = B;
}

stmt_list(A) ::= stmt_list(B) COMMA stmt(C) . {B[] = C; A=B; }
stmt_list(A) ::= stmt(B) . { A = array(B); }

invoke(A) ::= access(B) LPAREN empty_stmt_list(C) RPAREN . { A = array('target' => B,'args' => C); }

access(A) ::= VARIABLE(B) . { A = array('variable' => B); }

должен анализировать входные данные, такие как:

  1. 'если $ cond1,! $ Cond2, $ cond3 () $ var = $ this ($ a (), $ inst1 = $ b ())'
  2. '$ Var'
  3. '% rulename $ var'

Хотя входные данные, такие как 1 и 2, работают как положено, почему-то, для меня непонятно, как, вход 3 возвращает строку (8) «rulename». Я понятия не имею, какие сокращения должны произойти, чтобы это произошло. Что-то не так с грамматикой, или я должен начать отладку самого PHP_ParserGenerator?

Спасибо

1 Ответ

1 голос
/ 12 января 2010

Я должен быть очень уставшим. Ошибка в плохом назначении: 

top_stmt(A) ::= MOD STRING(B) top_stmt(C) . {C['rulename'] = B; A=B;}

который должен был быть: 

top_stmt(A) ::= MOD STRING(B) top_stmt(C) . {C['rulename'] = B; A=C;}
...