PHP Classes

File: lib/Haanga/Compiler/Parser.y

Recommend this page to a friend!
  Classes of Cesar D. Rodas   Haanga   lib/Haanga/Compiler/Parser.y   Download  
File: lib/Haanga/Compiler/Parser.y
Role: Auxiliary data
Content type: text/plain
Description: Parser definition
Class: Haanga
Template engine to process Django style templates
Author: By
Last change: Test Haanga with PHP7.2
Date: 4 years ago
Size: 17,908 bytes
 

Contents

Class file image Download
%name Haanga_ %include { /* +---------------------------------------------------------------------------------+ | Copyright (c) 2010 César Rodas and Menéame Comunicacions S.L. | +---------------------------------------------------------------------------------+ | Redistribution and use in source and binary forms, with or without | | modification, are permitted provided that the following conditions are met: | | 1. Redistributions of source code must retain the above copyright | | notice, this list of conditions and the following disclaimer. | | | | 2. Redistributions in binary form must reproduce the above copyright | | notice, this list of conditions and the following disclaimer in the | | documentation and/or other materials provided with the distribution. | | | | 3. All advertising materials mentioning features or use of this software | | must display the following acknowledgement: | | This product includes software developed by César D. Rodas. | | | | 4. Neither the name of the César D. Rodas nor the | | names of its contributors may be used to endorse or promote products | | derived from this software without specific prior written permission. | | | | THIS SOFTWARE IS PROVIDED BY CÉSAR D. RODAS ''AS IS'' AND ANY | | EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED | | WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE | | DISCLAIMED. IN NO EVENT SHALL CÉSAR D. RODAS BE LIABLE FOR ANY | | DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES | | (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; | | LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND | | ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | | (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS | | SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE | +---------------------------------------------------------------------------------+ | Authors: César Rodas <crodas@php.net> | +---------------------------------------------------------------------------------+ */ } %declare_class { class Haanga_Compiler_Parser } %include_class { protected $lex; protected $file; function __construct($lex, $file='') { $this->lex = $lex; $this->file = $file; } function Error($text) { throw new Haanga_Compiler_Exception($text.' in '.$this->file.':'.$this->lex->getLine()); } } %parse_accept { } %right T_TAG_OPEN. %right T_NOT. %left T_AND. %left T_OR. %left T_QUESTION T_COLON. %nonassoc T_EQ T_NE. %nonassoc T_GT T_GE T_LT T_LE. %nonassoc T_IN. %left T_PLUS T_MINUS T_CONCAT. %left T_TIMES T_DIV T_MOD. %left T_PIPE T_BITWISE T_FILTER_PIPE. %syntax_error { $expect = array(); foreach ($this->yy_get_expected_tokens($yymajor) as $token) { $expect[] = self::$yyTokenName[$token]; } $this->Error('Unexpected ' . $this->tokenName($yymajor) . '(' . $TOKEN. ')'); } start ::= body(B). { $this->body = B; } body(A) ::= body(B) code(C). { A=B; A[] = C; } body(A) ::= . { A = array(); } /* List of statements */ code(A) ::= T_TAG_OPEN stmts(B). { if (is_array(B) && count(B)) B['line'] = $this->lex->getLine(); A = B; } code(A) ::= T_HTML(B). { A = array('operation' => 'html', 'html' => B, 'line' => $this->lex->getLine() ); } code(A) ::= T_COMMENT(B). { B=rtrim(B); A = array('operation' => 'comment', 'comment' => B); } code(A) ::= T_PRINT_OPEN expr(B) T_PRINT_CLOSE. { A = array('operation' => 'print_var', 'expr' => B, 'line' => $this->lex->getLine() ); } stmts(A) ::= T_EXTENDS var_or_string(B) T_TAG_CLOSE. { A = array('operation' => 'base', B); } stmts(A) ::= stmt(B) T_TAG_CLOSE. { A = B; } stmts(A) ::= for_stmt(B). { A = B; } stmts(A) ::= ifchanged_stmt(B). { A = B; } stmts(A) ::= block_stmt(B). { A = B; } stmts(A) ::= filter_stmt(B). { A = B; } stmts(A) ::= if_stmt(B). { A = B; } stmts(A) ::= T_INCLUDE var_or_string(B) T_TAG_CLOSE. { A = array('operation' => 'include', B); } stmts(A) ::= custom_tag(B). { A = B; } stmts(A) ::= alias(B). { A = B; } stmts(A) ::= ifequal(B). { A = B; } stmts(A) ::= T_AUTOESCAPE varname(B) T_TAG_CLOSE body(X) T_TAG_OPEN T_CUSTOM_END(E) T_TAG_CLOSE. { B = strtolower(B); if (B != 'on' && B != 'off') { $this->Error("Invalid autoescape param (".B."), it must be on or off"); } if (E != "endautoescape") { $this->Error("Invalid close tag ".E.", it must be endautoescape"); } A = array('operation' => 'autoescape', 'value' => B, 'body' => X); } /* Statement */ /* CUSTOM TAGS */ custom_tag(A) ::= T_CUSTOM_TAG(B) T_TAG_CLOSE. { A = array('operation' => 'custom_tag', 'name' => B, 'list'=>array()); } custom_tag(A) ::= T_CUSTOM_TAG(B) T_AS varname(C) T_TAG_CLOSE. { A = array('operation' => 'custom_tag', 'name' => B, 'as' => C, 'list'=>array()); } custom_tag(A) ::= T_CUSTOM_TAG(B) params(X) T_TAG_CLOSE. { A = array('operation' => 'custom_tag', 'name' => B, 'list' => X); } custom_tag(A) ::= T_CUSTOM_TAG(B) params(X) T_AS varname(C) T_TAG_CLOSE. { A = array('operation' => 'custom_tag', 'name' => B, 'as' => C, 'list' => X); } /* tags as blocks */ custom_tag(A) ::= T_CUSTOM_BLOCK(B) T_TAG_CLOSE body(X) T_TAG_OPEN T_CUSTOM_END(C) T_TAG_CLOSE. { if ('end'.B != C) { $this->error("Unexpected ".C); } A = array('operation' => 'custom_tag', 'name' => B, 'body' => X, 'list' => array()); } custom_tag(A) ::= T_CUSTOM_BLOCK(B) params(L) T_TAG_CLOSE body(X) T_TAG_OPEN T_CUSTOM_END(C) T_TAG_CLOSE. { if ('end'.B != C) { $this->error("Unexpected ".C); } A = array('operation' => 'custom_tag', 'name' => B, 'body' => X, 'list' => L); } /* Spacefull is very special, and it is handled in the compiler class */ custom_tag(A) ::= T_SPACEFULL T_TAG_CLOSE body(X) T_TAG_OPEN T_CUSTOM_END(C) T_TAG_CLOSE. { if ('endspacefull' != C) { $this->error("Unexpected ".C); } A = array('operation' => 'spacefull', 'body' => X); } /* variable alias (easier to handle in the compiler class) */ alias(A) ::= T_WITH varname(B) T_AS varname(C) T_TAG_CLOSE body(X) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endwith") { $this->Error("Unexpected ".Z.", expecting endwith"); } A = array('operation' => 'alias', 'var' => B, 'as' => C, 'body' => X); } /* Simple statements (don't require a end_tag or a body ) */ stmt(A) ::= T_SET varname(C) T_ASSIGN expr(X). { A = array('operation' => 'set', 'var' => C,'expr' => X); } stmt(A) ::= regroup(B). { A = B; } stmt ::= T_LOAD string(B). { if (is_file(dirname($this->file) . '/' . B)) { B = dirname($this->file) . '/' . B; } else if (is_file(getcwd() . '/' . B)) { B = getcwd() . '/' . B; } if (!is_file(B) || !Haanga_Compiler::getOption('enable_load')) { $this->error(B." is not a valid file"); } require_once B; } /* FOR loop */ for_def(A) ::= T_FOR varname(B) T_IN filtered_var(C) T_TAG_CLOSE . { $var = $this->compiler->get_context(C[0]); if (is_array($var) || $var instanceof Iterator) { /* let's check if it is an object or array */ $this->compiler->set_context(B, current($var)); } A = array('operation' => 'loop', 'variable' => B, 'index' => NULL, 'array' => C); } for_def(A) ::= T_FOR varname(I) T_COMMA varname(B) T_IN filtered_var(C) T_TAG_CLOSE . { $var = $this->compiler->get_context(C[0]); if (is_array($var) || $var instanceof Iterator) { /* let's check if it is an object or array */ $this->compiler->set_context(B, current($var)); } A = array('operation' => 'loop', 'variable' => B, 'index' => I, 'array' => C); } for_stmt(A) ::= for_def(B) body(D) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endfor") { $this->Error("Unexpected ".Z.", expecting endfor"); } A = B; A['body'] = D; } for_stmt(A) ::= T_FOR varname(B) T_IN range(X) T_TAG_CLOSE body(E) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endfor") { $this->Error("Unexpected ".Z.", expecting endfor"); } A = array('operation' => 'loop', 'variable' => B, 'range' => X, 'body' => E, 'variable' => B, 'step' => 1); } for_stmt(A) ::= T_FOR varname(B) T_IN range(X) T_STEP numvar(S) T_TAG_CLOSE body(E) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endfor") { $this->Error("Unexpected ".Z.", expecting endfor"); } A = array('operation' => 'loop', 'variable' => B, 'range' => X, 'body' => E, 'variable' => B, 'step' => S); } for_stmt(A) ::= for_def(B) body(D) T_TAG_OPEN T_EMPTY T_TAG_CLOSE body(E) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endfor") { $this->Error("Unexpected ".Z.", expecting endfor"); } A = B; A['body'] = D; A['empty'] = E; } /* IF */ if_stmt(A) ::= T_IF expr(B) T_TAG_CLOSE body(X) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endif") { $this->Error("Unexpected ".Z.", expecting endif"); } A = array('operation' => 'if', 'expr' => B, 'body' => X); } if_stmt(A) ::= T_IF expr(B) T_TAG_CLOSE body(X) T_TAG_OPEN T_ELSE T_TAG_CLOSE body(Y) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endif") { $this->Error("Unexpected ".Z.", expecting endif"); } A = array('operation' => 'if', 'expr' => B, 'body' => X, 'else' => Y); } /* ifchanged */ ifchanged_stmt(A) ::= T_IFCHANGED T_TAG_CLOSE body(B) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endifchanged") { $this->Error("Unexpected ".Z.", expecting endifchanged"); } A = array('operation' => 'ifchanged', 'body' => B); } ifchanged_stmt(A) ::= T_IFCHANGED params(X) T_TAG_CLOSE body(B) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endifchanged") { $this->Error("Unexpected ".Z.", expecting endifchanged"); } A = array('operation' => 'ifchanged', 'body' => B, 'check' => X); } ifchanged_stmt(A) ::= T_IFCHANGED T_TAG_CLOSE body(B) T_TAG_OPEN T_ELSE T_TAG_CLOSE body(C) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endifchanged") { $this->Error("Unexpected ".Z.", expecting endifchanged"); } A = array('operation' => 'ifchanged', 'body' => B, 'else' => C); } ifchanged_stmt(A) ::= T_IFCHANGED params(X) T_TAG_CLOSE body(B) T_TAG_OPEN T_ELSE T_TAG_CLOSE body(C) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endifchanged") { $this->Error("Unexpected ".Z.", expecting endifchanged"); } A = array('operation' => 'ifchanged', 'body' => B, 'check' => X, 'else' => C); } /* ifequal */ ifequal(A) ::= T_IFEQUAL fvar_or_string(B) fvar_or_string(C) T_TAG_CLOSE body(X) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endifequal") { $this->Error("Unexpected ".Z.", expecting endifequal"); } A = array('operation' => 'ifequal', 'cmp' => '==', 1 => B, 2 => C, 'body' => X); } ifequal(A) ::= T_IFEQUAL fvar_or_string(B) fvar_or_string(C) T_TAG_CLOSE body(X) T_TAG_OPEN T_ELSE T_TAG_CLOSE body(Y) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endifequal") { $this->Error("Unexpected ".Z.", expecting endifequal"); } A = array('operation' => 'ifequal', 'cmp' => '==', 1 => B, 2 => C, 'body' => X, 'else' => Y); } ifequal(A) ::= T_IFNOTEQUAL fvar_or_string(B) fvar_or_string(C) T_TAG_CLOSE body(X) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endifnotequal") { $this->Error("Unexpected ".Z.", expecting endifnotequal"); } A = array('operation' => 'ifequal', 'cmp' => '!=', 1 => B, 2 => C, 'body' => X); } ifequal(A) ::= T_IFNOTEQUAL fvar_or_string(B) fvar_or_string(C) T_TAG_CLOSE body(X) T_TAG_OPEN T_ELSE T_TAG_CLOSE body(Y) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endifnotequal") { $this->Error("Unexpected ".Z.", expecting endifnotequal"); } A = array('operation' => 'ifequal', 'cmp' => '!=', 1 => B, 2 => C, 'body' => X, 'else' => Y); } /* block stmt */ block_stmt(A) ::= T_BLOCK varname(B) T_TAG_CLOSE body(C) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endblock") { $this->Error("Unexpected ".Z.", expecting endblock"); } A = array('operation' => 'block', 'name' => B, 'body' => C); } block_stmt(A) ::= T_BLOCK varname(B) T_TAG_CLOSE body(C) T_TAG_OPEN T_CUSTOM_END(Z) varname T_TAG_CLOSE. { if (Z != "endblock") { $this->Error("Unexpected ".Z.", expecting endblock"); } A = array('operation' => 'block', 'name' => B, 'body' => C); } block_stmt(A) ::= T_BLOCK number(B) T_TAG_CLOSE body(C) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endblock") { $this->Error("Unexpected ".Z.", expecting endblock"); } A = array('operation' => 'block', 'name' => B, 'body' => C); } block_stmt(A) ::= T_BLOCK number(B) T_TAG_CLOSE body(C) T_TAG_OPEN T_CUSTOM_END(Z) number T_TAG_CLOSE. { if (Z != "endblock") { $this->Error("Unexpected ".Z.", expecting endblock"); } A = array('operation' => 'block', 'name' => B, 'body' => C); } /* filter stmt */ filter_stmt(A) ::= T_FILTER filtered_var(B) T_TAG_CLOSE body(X) T_TAG_OPEN T_CUSTOM_END(Z) T_TAG_CLOSE. { if (Z != "endfilter") { $this->Error("Unexpected ".Z.", expecting endfilter"); } A = array('operation' => 'filter', 'functions' => B, 'body' => X); } /* regroup stmt */ regroup(A) ::= T_REGROUP filtered_var(B) T_BY varname(C) T_AS varname(X). { A=array('operation' => 'regroup', 'array' => B, 'row' => C, 'as' => X); } /* variables with filters */ filtered_var(A) ::= filtered_var(B) T_FILTER_PIPE varname_args(C). { A = B; A[] = C; } filtered_var(A) ::= string(B) T_FILTER_PIPE varname_args(C). { A = array(array('string' => B)); A[] = C; } filtered_var(A) ::= varname_args(B). { A = array(B); } varname_args(A) ::= varname(B) T_COLON var_or_string(X) . { A = array(B, 'args'=>array(X)); } varname_args(A) ::= varname(B). { A = B; } /* List of variables */ params(A) ::= params(B) var_or_string(C). { A = B; A[] = C; } params(A) ::= params(B) T_COMMA var_or_string(C). { A = B; A[] = C; } params(A) ::= var_or_string(B). { A = array(B); } /* variable or string (used on params) */ var_or_string(A) ::= varname(B). { A = array('var' => B); } var_or_string(A) ::= number(B). { A = array('number' => B); } var_or_string(A) ::= T_TRUE|T_FALSE(B). { A = trim(@B); } var_or_string(A) ::= string(B). { A = array('string' => B); } /* filtered variables */ fvar_or_string(A) ::= filtered_var(B). { A = array('var_filter' => B); } fvar_or_string(A) ::= number(B). { A = array('number' => B); } fvar_or_string(A) ::= T_TRUE|T_FALSE(B). { A = trim(@B); } fvar_or_string(A) ::= string(B). { A = array('string' => B); } /* */ string(A) ::= T_STRING(B). { A = B; } string(A) ::= T_INTL T_STRING(B) T_RPARENT. { A = B; } /* expr */ expr(A) ::= expr(Z) T_QUESTION expr(B) T_COLON expr(C). { A = array('expr_cond' => Z, 'true' => B, 'false' => C); } expr(A) ::= T_NOT expr(B). { A = array('op_expr' => 'not', B); } expr(A) ::= expr(B) T_AND(X) expr(C). { A = array('op_expr' => @X, B, C); } expr(A) ::= expr(B) T_OR(X) expr(C). { A = array('op_expr' => @X, B, C); } expr(A) ::= expr(B) T_PLUS|T_MINUS|T_CONCAT(X) expr(C). { A = array('op_expr' => @X, B, C); } expr(A) ::= expr(B) T_EQ|T_NE|T_GT|T_GE|T_LT|T_LE|T_IN(X) expr(C). { A = array('op_expr' => trim(@X), B, C); } expr(A) ::= expr(B) T_TIMES|T_DIV|T_MOD(X) expr(C). { A = array('op_expr' => @X, B, C); } expr(A) ::= expr(B) T_BITWISE(X) expr(C). { A = array('op_expr' => 'expr', array('op_expr' => @X, B, C)); } expr(A) ::= expr(B) T_PIPE expr(C). { A = array('op_expr' => 'expr', array('op_expr' => '|', B, C)); } expr(A) ::= T_LPARENT expr(B) T_RPARENT. { A = array('op_expr' => 'expr', B); } expr(A) ::= fvar_or_string(B). { A = B; } /* Variable name */ varname(A) ::= varpart(B) T_LPARENT T_RPARENT. { A = hexec(B)->getArray(); } varname(A) ::= varpart(B) T_LPARENT params(X) T_RPARENT. { $tmp = hcode(); $args = array_merge(array(B), X); A = call_user_func_array(array($tmp, 'exec'), $args); } varname(A) ::= varpart(B). { A = current($this->compiler->generate_variable_name(B, false)); } varpart(A) ::= varpart(B) T_OBJ|T_DOT varpart_single(C). { if (!is_array(B)) { A = array(B); } else { A = B; } A[]=array('object' => C); } varpart(A) ::= varpart(B) T_CLASS varpart_single(C). { if (!is_array(B)) { A = array(B); } else { A = B; } A[]=array('class' => '$'.C); } varpart(A) ::= varpart(B) T_BRACKETS_OPEN var_or_string(C) T_BRACKETS_CLOSE. { if (!is_array(B)) { A = array(B); } else { A = B; } A[]=C; } varpart(A) ::= varpart_single(B). { A = B; } /* T_BLOCK|T_CUSTOM|T_CUSTOM_BLOCK are also T_ALPHA */ varpart_single(A) ::= T_ALPHA|T_BLOCK|T_CUSTOM_TAG|T_CUSTOM_END|T_CUSTOM_BLOCK(B). { A = B; } range(A) ::= numvar(B) T_DOTDOT numvar(C). { A = array(B, C); } numvar(A) ::= number(B). { A = B; } numvar(A) ::= varname(B). { A = array('var' => B); } number(A) ::= T_NUMERIC(B). { A = B; } number(A) ::= T_MINUS T_NUMERIC(B). { A = -1 * (B); }