%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); }
|