# Контекстно-свободная LIME-грамматика шаблонизатора
#
# Для корректной работы нужен патченый LIME со следующими изменениями:
# (*) Подменой лексемы 'lit' на 'str' в метаграмматике.
#     Это нужно, чтобы можно было юзать строковые лексемы типа '<!--'.
# (*) Для корректной обработки ошибок нужно, чтобы метод eat() возвращал
#     false при ошибке и true при успехе. Т.к. подразумевается, что лексический
#     анализатор зависим от работы синтаксического, знает о его состоянии и
#     соответственно выдаёт либо лексемы "внутри" блоков кода, либо литералы
#     "вне" оных.
# Взять таковой можно здесь: https://github.com/vitalif/lime
# Компилить так: php -d xdebug.max_nesting_level=200 lime.php template.lime > template.class
#
# {{ двойные скобки }} нужно исключительно чтобы маркеры начала и конца подстановки
# были уникальны в грамматике. Вместо них обычно используются { одинарные }, а
# выбор корректной лексемы - скобки или маркера - делает лексический анализатор.
# Но зато вместо { фигурных скобок } можно выбрать себе любые другие маркеры!
#
# Все выражения представляются массивом из двух значений: [ код выражения, флаг экранирования ]
# Флаг экранирования == true, если это выражение HTML-безопасно. При включённом auto_escape
# небезопасные выражения прогоняются через экранирование.
#
# Кстати:
# * Олдстайл BEGIN .. END ликвидирован
# * Возможно, нужно добавить в каком-то виде foreach ... as key => value
#
# PHP старее 5.4 не поддерживается из-за следующих причин:
# * используется $a ?: $b в выражении {a || b}
# * используется короткий синтаксис массивов [ $a, $b ]
# * используется синтаксис ($array_expression)[$key]

%class VMXTemplateParser
%start template

%token literal
%token incorrect
%token name
%token comment

%token ".."     "concatenation operator '..'"
%token "||"     "OR operator '||'"
%token "OR"     "OR operator 'OR'"
%token "XOR"    "XOR operator 'XOR'"
%token "AND"    "AND operator 'AND'"
%token "&&"     "AND operator '&&'"
%token "&"      "bitwise AND operator '&'"
%token "=="     "equality operator '=='"
%token "!="     "non-equality operator '!='"
%token "<"      "less than operator '<'"
%token ">"      "greater than operator '>'"
%token "<="     "less or equal operator '<='"
%token ">="     "greater or equal operator '>='"
%token "?"      "ternary operator '? :'"
%token ":"      "ternary operator '? :'"
%token "+"      "plus operator '+'"
%token "-"      "minus operator '-'"
%token "*"      "multiply operator '*'"
%token "/"      "divide operator '/'"
%token "%"      "mod operator '%'"
%token "("      "left round brace '('"
%token ")"      "right round brace '('"
%token "!"      "NOT operator '!'"
%token "NOT"    "NOT operator 'NOT'"
%token "{"      "left curly brace '{'"
%token "}"      "right curly brace '}'"
%token ","      "comma ','"
%token "=>"     "hash item operator '=>'"
%token "["      "left square brace '['"
%token "]"      "right square brace ']'"
%token "<!--"   "directive begin"
%token "-->"    "directive end"
%token "{{"     "substitution begin"
%token "}}"     "substitution end"

%left ".."
%nonassoc "?" ":"
%left "||" "OR" "XOR"
%left "&&" "AND"
%nonassoc "==" "!=" "<" ">" "<=" ">="
%left "+" "-"
%left "&"
%left "*" "/" "%"

# Директивы

template = chunks {
    $this->template->st->functions['main']['body'] = "function fn_main() {\$stack = array();\n\$t = '';\n".$1."\nreturn \$t;\n}\n";
    $$ = '';
  }
.
chunks = {
    $$ = '';
  }
| chunks chunk {
    $$ = $1 . "# line ".$this->template->lexer->lineno."\n" . $2;
  }
.
chunk = literal {
    $$ = ($1 != "''" && $1 != '""' ? '$t .= ' . $1 . ";\n" : '');
  }
| "<!--" code_chunk/c "-->" {
    $$ = $c;
  }
| "{{" exp/e "}}" {
    $$ = '$t .= ' . ($e[1] || !$this->template->options->auto_escape ? $e[0] : $this->template->compile_function($this->template->options->auto_escape, [ $e ])[0]) . ";\n";
  }
| error/e {
    $$ = '';
  }
.
code_chunk = c_if/$ | c_set/$ | c_fn/$ | c_for/$ | exp/e {
    $$ = '$t .= ' . ($e[1] || !$this->template->options->auto_escape ? $e[0] : $this->template->compile_function($this->template->options->auto_escape, [ $e ])[0]) . ";\n";
  }
.
c_if = "IF" exp/e "-->" chunks/if "<!--" "END" {
    $$ = "if (" . $e[0] . ") {\n" . $if . "}\n";
  }
| "IF" exp/e "-->" chunks/if "<!--" "ELSE" "-->" chunks/else "<!--" "END" {
    $$ = "if (" . $e[0] . ") {\n" . $if . "} else {\n" . $else . "}\n";
  }
| "IF" exp/e "-->" chunks/if c_elseifs/ei chunks/ec "<!--" "END" {
    $$ = "if (" . $e[0] . ") {\n" . $if . $ei . $ec . "}\n";
  }
| "IF" exp/e "-->" chunks/if c_elseifs/ei chunks/ec "<!--" "ELSE" "-->" chunks/else "<!--" "END" {
    $$ = "if (" . $e[0] . ") {\n" . $if . $ei . $ec . "} else {\n" . $else . "}\n";
  }
.
c_elseifs = "<!--" elseif exp/e "-->" {
    $$ = "} elseif (" . $e[0] . ") {\n";
  }
| c_elseifs/p chunks/cs "<!--" elseif exp/e "-->" {
    $$ = $p . $cs . "} elseif (" . $e[0] . ") {\n";
  }
.
c_set = "SET" varref/v "=" exp/e {
    $$ = $v[0] . ' = ' . $e[0] . ";\n";
  }
| "SET" varref/v "-->" chunks/cs "<!--" "END" {
    $$ = "\$stack[] = \$t;\n\$t = '';\n" . $cs . $v[0] . " = \$t;\n\$t = array_pop(\$stack);\n";
  }
.
c_fn = fn name/name "(" arglist/args ")" "=" exp/exp {
    $this->template->st->functions[$name] = array(
      'name' => $name,
      'args' => $args,
      'body' => 'function fn_'.$name." () {\nreturn ".$exp[0].";\n}\n",
      //'line' => $line, Ой, я чо - аргументы не юзаю?
      //'pos' => $pos,
    );
    $$ = '';
  }
| fn name/name "(" arglist/args ")" "-->" chunks/cs "<!--" "END" {
    $this->template->st->functions[$name] = array(
      'name' => $name,
      'args' => $args,
      'body' => 'function fn_'.$name." () {\$stack = array();\n\$t = '';\n".$cs."\nreturn \$t;\n}\n",
      //'line' => $line,
      //'pos' => $pos,
    );
    $$ = '';
  }
.
c_for = for varref/varref "=" exp/exp "-->" chunks/cs "<!--" "END" {
    $varref_index = substr($varref[0], 0, -1) . ".'_index']";
    $$ = "\$stack[] = ".$varref[0].";
\$stack[] = ".$varref_index.";
\$stack[] = 0;
foreach ((array)($exp[0]) as \$item) {
".$varref[0]." = \$item;
".$varref_index." = \$stack[count(\$stack)-1]++;
".$cs."}
array_pop(\$stack);
".$varref_index." = array_pop(\$stack);
".$varref[0]." = array_pop(\$stack);
";
  }
.
fn = "FUNCTION" | "BLOCK" | "MACRO" .
for = "FOR" | "FOREACH" .
elseif = "ELSE" "IF" | "ELSIF" | "ELSEIF" .

# Выражения

exp: exp/a ".." exp/b {
    $$ = [ '(' . $a[0] . ' . ' . $b[0] . ')', $a[1] && $b[1] ];
  }
| exp/a "||" exp/b {
    $$ = [ '(' . $a[0] . ' ?: ' . $b[0] . ')', $a[1] && $b[1] ];
  }
| exp/a "OR" exp/b {
    $$ = [ '(' . $a[0] . ' ?: ' . $b[0] . ')', $a[1] && $b[1] ];
  }
| exp/a "XOR" exp/b {
    $$ = [ '(' . $a[0] . ' XOR ' . $b[0] . ')', true ];
  }
| exp/a "&&" exp/b {
    $$ = [ '(' . $a[0] . ' && ' . $b[0] . ')', true ];
  }
| exp/a "AND" exp/b {
    $$ = [ '(' . $a[0] . ' && ' . $b[0] . ')', true ];
  }
| exp/a "?" exp/b ":" exp/c {
    $$ = [ '(' . $a[0] . ' ? ' . $b[0] . ' : ' . $c[0] . ')', $b[1] && $c[1] ];
  }
| exp/a "==" exp/b {
    $$ = [ '(' . $a[0] . ' == ' . $b[0] . ')', true ];
  }
| exp/a "!=" exp/b {
    $$ = [ '(' . $a[0] . ' != ' . $b[0] . ')', true ];
  }
| exp/a "<" exp/b {
    $$ = [ '(' . $a[0] . ' < ' . $b[0] . ')', true ];
  }
| exp/a ">" exp/b {
    $$ = [ '(' . $a[0] . ' > ' . $b[0] . ')', true ];
  }
| exp/a "<=" exp/b {
    $$ = [ '(' . $a[0] . ' <= ' . $b[0] . ')', true ];
  }
| exp/a ">=" exp/b {
    $$ = [ '(' . $a[0] . ' >= ' . $b[0] . ')', true ];
  }
| exp/a "+" exp/b {
    $$ = [ '(' . $a[0] . ' + ' . $b[0] . ')', true ];
  }
| exp/a "-" exp/b {
    $$ = [ '(' . $a[0] . ' - ' . $b[0] . ')', true ];
  }
| exp/a "&" exp/b {
    $$ = [ '(' . $a[0] . ' & ' . $b[0] . ')', true ];
  }
| exp/a "*" exp/b {
    $$ = [ '(' . $a[0] . ' * ' . $b[0] . ')', true ];
  }
| exp/a "/" exp/b {
    $$ = [ '(' . $a[0] . ' / ' . $b[0] . ')', true ];
  }
| exp/a "%" exp/b {
    $$ = [ '(' . $a[0] . ' % ' . $b[0] . ')', true ];
  }
| p10/$
.
p10: p11/$
| '-' p11/a {
    $$ = [ '(-'.$a[0].')', true ];
  }
.
p11: nonbrace
| '(' exp/e ')' varpath/p {
    $$ = [ ($p !== '' ? 'self::noop('.$e[0].')'.$p : '('.$e[0].')'), false ];
  }
| '!' p11/a {
    $$ = [ '(!'.$a[0].')', true ];
  }
| "NOT" p11/a {
    $$ = [ '(!'.$a[0].')', true ];
  }
.
nonbrace: '{' hash/h '}' {
    $$ = [ 'array(' . $h . ')', true ];
  }
| literal {
    $$ = [ $1, true ];
  }
| varref/$
| name/f '(' ')' {
    $$ = $this->template->compile_function($f, []);
  }
| name/f '(' list/args ')' {
    $$ = $this->template->compile_function($f, $args);
  }
| name/f '(' gthash/args ')' {
    $$ = [ "\$this->parent->call_block('".addcslashes($f, "'\\")."', array(".$args."), '".addcslashes($this->template->lexer->errorinfo(), "'\\")."')", true ];
  }
| name/f nonbrace/arg {
    $$ = $this->template->compile_function($f, [ $arg ]);
  }
.
list: exp/e {
    $$ = [ $e ];
  }
| exp/e ',' list/l {
    $$ = $l;
    array_unshift($$, $e);
  }
.
arglist: name/n {
    $$ = [ $n ];
  }
| name/n ',' arglist/args {
    $$ = $args;
    array_unshift($$, $n);
  }
| {
    $$ = [];
  }
.
hash: pair/$
| pair/p ',' hash/h {
    $$ = $p . ', ' . $h;
  }
| {
    $$ = '';
  }
.
gthash: gtpair/$
| gtpair/p ',' gthash/h {
    $$ = $p . ', ' . $h;
  }
.
pair: exp/k ',' exp/v {
    $$ = $k[0] . ' => ' . $v[0];
  }
| gtpair/$
.
gtpair: exp/k "=>" exp/v {
    $$ = $k[0] . ' => ' . $v[0];
  }
.
varref: name/n {
    $$ = [ "\$this->tpldata['".addcslashes($n, "\\\'")."']", false ];
  }
| varref/v varpart/p {
    $$ = [ $v[0] . $p, false ];
  }
.
varpart: '.' namekw/n {
    $$ = "['".addcslashes($n, "\\\'")."']";
  }
| '[' exp/e ']' {
    $$ = '['.$e[0].']';
  }
| '.' namekw/n '(' ')' {
    $$ = '->'.$n.'()';
  }
| '.' namekw/n '(' list/l ')' {
    $argv = [];
    foreach ($l as $a) {
      $argv[] = $a[0];
    }
    $$ = '->'.$n.'('.implode(', ', $argv).')';
  }
.
varpath: {
    $$ = '';
  }
| varpath/a varpart/p {
    $$ = $a . $p;
  }
.
namekw: name
| "IF" | "END" | "ELSE" | "ELSIF" | "ELSEIF"
| "SET" | "OR" | "XOR" | "AND" | "NOT"
| "FUNCTION" | "BLOCK" | "MACRO" | "FOR" | "FOREACH"
.