php-src/Zend/zend_language_parser.y

1253 lines
43 KiB
Plaintext
Raw Normal View History

1999-04-08 02:10:10 +08:00
%{
/*
+----------------------------------------------------------------------+
| Zend Engine |
+----------------------------------------------------------------------+
2014-01-03 11:08:10 +08:00
| Copyright (c) 1998-2014 Zend Technologies Ltd. (http://www.zend.com) |
1999-04-08 02:10:10 +08:00
+----------------------------------------------------------------------+
2001-12-11 23:16:21 +08:00
| This source file is subject to version 2.00 of the Zend license, |
| that is bundled with this package in the file LICENSE, and is |
| available through the world-wide-web at the following url: |
2001-12-11 23:16:21 +08:00
| http://www.zend.com/license/2_00.txt. |
1999-07-16 22:58:16 +08:00
| If you did not receive a copy of the Zend license and are unable to |
| obtain it through the world-wide-web, please send a note to |
| license@zend.com so we can mail you a copy immediately. |
1999-04-08 02:10:10 +08:00
+----------------------------------------------------------------------+
| Authors: Andi Gutmans <andi@zend.com> |
| Zeev Suraski <zeev@zend.com> |
| Nikita Popov <nikic@php.net> |
1999-04-08 02:10:10 +08:00
+----------------------------------------------------------------------+
*/
/* $Id$ */
/*
1999-04-08 02:10:10 +08:00
* LALR shift/reduce conflicts and how they are resolved:
*
* - 2 shift/reduce conflicts due to the dangling elseif/else ambiguity. Solved by shift.
*
1999-04-08 02:10:10 +08:00
*/
1999-12-06 23:31:06 +08:00
1999-04-08 02:10:10 +08:00
#include "zend_compile.h"
#include "zend.h"
#include "zend_list.h"
#include "zend_globals.h"
#include "zend_API.h"
#include "zend_constants.h"
2011-06-24 07:00:53 +08:00
#define YYSIZE_T size_t
#define yytnamerr zend_yytnamerr
static YYSIZE_T zend_yytnamerr(char*, const char*);
1999-04-08 02:10:10 +08:00
#define YYERROR_VERBOSE
2014-07-27 18:45:38 +08:00
#define YYSTYPE zend_parser_stack_elem
1999-04-08 02:10:10 +08:00
%}
%pure_parser
2014-05-31 06:09:11 +08:00
%expect 2
1999-04-08 02:10:10 +08:00
%code requires {
#ifdef ZTS
# define YYPARSE_PARAM tsrm_ls
# define YYLEX_PARAM tsrm_ls
#endif
}
2011-06-24 07:00:53 +08:00
%token END 0 "end of file"
%left T_INCLUDE T_INCLUDE_ONCE T_EVAL T_REQUIRE T_REQUIRE_ONCE
2011-06-24 07:00:53 +08:00
%token T_INCLUDE "include (T_INCLUDE)"
%token T_INCLUDE_ONCE "include_once (T_INCLUDE_ONCE)"
%token T_EVAL "eval (T_EVAL)"
%token T_REQUIRE "require (T_REQUIRE)"
%token T_REQUIRE_ONCE "require_once (T_REQUIRE_ONCE)"
1999-04-08 02:10:10 +08:00
%left ','
%left T_LOGICAL_OR
2011-06-24 07:00:53 +08:00
%token T_LOGICAL_OR "or (T_LOGICAL_OR)"
%left T_LOGICAL_XOR
2011-06-24 07:00:53 +08:00
%token T_LOGICAL_XOR "xor (T_LOGICAL_XOR)"
%left T_LOGICAL_AND
2011-06-24 07:00:53 +08:00
%token T_LOGICAL_AND "and (T_LOGICAL_AND)"
%right T_PRINT
2011-06-24 07:00:53 +08:00
%token T_PRINT "print (T_PRINT)"
%right T_YIELD
%token T_YIELD "yield (T_YIELD)"
%left '=' T_PLUS_EQUAL T_MINUS_EQUAL T_MUL_EQUAL T_DIV_EQUAL T_CONCAT_EQUAL T_MOD_EQUAL T_AND_EQUAL T_OR_EQUAL T_XOR_EQUAL T_SL_EQUAL T_SR_EQUAL T_POW_EQUAL
2011-06-24 07:00:53 +08:00
%token T_PLUS_EQUAL "+= (T_PLUS_EQUAL)"
%token T_MINUS_EQUAL "-= (T_MINUS_EQUAL)"
%token T_MUL_EQUAL "*= (T_MUL_EQUAL)"
%token T_DIV_EQUAL "/= (T_DIV_EQUAL)"
%token T_CONCAT_EQUAL ".= (T_CONCAT_EQUAL)"
%token T_MOD_EQUAL "%= (T_MOD_EQUAL)"
%token T_AND_EQUAL "&= (T_AND_EQUAL)"
%token T_OR_EQUAL "|= (T_OR_EQUAL)"
%token T_XOR_EQUAL "^= (T_XOR_EQUAL)"
%token T_SL_EQUAL "<<= (T_SL_EQUAL)"
%token T_SR_EQUAL ">>= (T_SR_EQUAL)"
1999-04-08 02:10:10 +08:00
%left '?' ':'
%left T_BOOLEAN_OR
2011-06-24 07:00:53 +08:00
%token T_BOOLEAN_OR "|| (T_BOOLEAN_OR)"
%left T_BOOLEAN_AND
%token T_BOOLEAN_AND "&& (T_BOOLEAN_AND)"
1999-04-08 02:10:10 +08:00
%left '|'
%left '^'
%left '&'
2000-03-30 06:05:19 +08:00
%nonassoc T_IS_EQUAL T_IS_NOT_EQUAL T_IS_IDENTICAL T_IS_NOT_IDENTICAL
2011-06-24 07:00:53 +08:00
%token T_IS_EQUAL "== (T_IS_EQUAL)"
%token T_IS_NOT_EQUAL "!= (T_IS_NOT_EQUAL)"
%token T_IS_IDENTICAL "=== (T_IS_IDENTICAL)"
%token T_IS_NOT_IDENTICAL "!== (T_IS_NOT_IDENTICAL)"
%nonassoc '<' T_IS_SMALLER_OR_EQUAL '>' T_IS_GREATER_OR_EQUAL
2011-06-24 07:00:53 +08:00
%token T_IS_SMALLER_OR_EQUAL "<= (T_IS_SMALLER_OR_EQUAL)"
%token T_IS_GREATER_OR_EQUAL ">= (T_IS_GREATER_OR_EQUAL)"
%left T_SL T_SR
2011-06-24 07:00:53 +08:00
%token T_SL "<< (T_SL)"
%token T_SR ">> (T_SR)"
1999-04-08 02:10:10 +08:00
%left '+' '-' '.'
%left '*' '/' '%'
%right '!'
%nonassoc T_INSTANCEOF
2011-06-24 07:00:53 +08:00
%token T_INSTANCEOF "instanceof (T_INSTANCEOF)"
2011-06-03 09:09:32 +08:00
%right '~' T_INC T_DEC T_INT_CAST T_DOUBLE_CAST T_STRING_CAST T_ARRAY_CAST T_OBJECT_CAST T_BOOL_CAST T_UNSET_CAST '@'
%right T_POW
2011-06-24 07:00:53 +08:00
%token T_INC "++ (T_INC)"
%token T_DEC "-- (T_DEC)"
%token T_INT_CAST "(int) (T_INT_CAST)"
%token T_DOUBLE_CAST "(double) (T_DOUBLE_CAST)"
%token T_STRING_CAST "(string) (T_STRING_CAST)"
%token T_ARRAY_CAST "(array) (T_ARRAY_CAST)"
%token T_OBJECT_CAST "(object) (T_OBJECT_CAST)"
%token T_BOOL_CAST "(bool) (T_BOOL_CAST)"
%token T_UNSET_CAST "(unset) (T_UNSET_CAST)"
1999-04-08 02:10:10 +08:00
%right '['
%nonassoc T_NEW T_CLONE
2011-06-24 07:00:53 +08:00
%token T_NEW "new (T_NEW)"
%token T_CLONE "clone (T_CLONE)"
%token T_EXIT "exit (T_EXIT)"
%token T_IF "if (T_IF)"
%left T_ELSEIF
2011-06-24 07:00:53 +08:00
%token T_ELSEIF "elseif (T_ELSEIF)"
%left T_ELSE
%token T_ELSE "else (T_ELSE)"
%left T_ENDIF
%token T_ENDIF "endif (T_ENDIF)"
%token T_LNUMBER "integer number (T_LNUMBER)"
%token T_DNUMBER "floating-point number (T_DNUMBER)"
%token T_STRING "identifier (T_STRING)"
%token T_STRING_VARNAME "variable name (T_STRING_VARNAME)"
%token T_VARIABLE "variable (T_VARIABLE)"
%token T_NUM_STRING "number (T_NUM_STRING)"
%token T_INLINE_HTML
%token T_CHARACTER
%token T_BAD_CHARACTER
2011-06-24 07:00:53 +08:00
%token T_ENCAPSED_AND_WHITESPACE "quoted-string and whitespace (T_ENCAPSED_AND_WHITESPACE)"
%token T_CONSTANT_ENCAPSED_STRING "quoted-string (T_CONSTANT_ENCAPSED_STRING)"
%token T_ECHO "echo (T_ECHO)"
%token T_DO "do (T_DO)"
%token T_WHILE "while (T_WHILE)"
%token T_ENDWHILE "endwhile (T_ENDWHILE)"
%token T_FOR "for (T_FOR)"
%token T_ENDFOR "endfor (T_ENDFOR)"
%token T_FOREACH "foreach (T_FOREACH)"
%token T_ENDFOREACH "endforeach (T_ENDFOREACH)"
%token T_DECLARE "declare (T_DECLARE)"
%token T_ENDDECLARE "enddeclare (T_ENDDECLARE)"
%token T_AS "as (T_AS)"
%token T_SWITCH "switch (T_SWITCH)"
%token T_ENDSWITCH "endswitch (T_ENDSWITCH)"
%token T_CASE "case (T_CASE)"
%token T_DEFAULT "default (T_DEFAULT)"
%token T_BREAK "break (T_BREAK)"
%token T_CONTINUE "continue (T_CONTINUE)"
%token T_GOTO "goto (T_GOTO)"
%token T_FUNCTION "function (T_FUNCTION)"
%token T_CONST "const (T_CONST)"
%token T_RETURN "return (T_RETURN)"
%token T_TRY "try (T_TRY)"
%token T_CATCH "catch (T_CATCH)"
%token T_FINALLY "finally (T_FINALLY)"
2011-06-24 07:00:53 +08:00
%token T_THROW "throw (T_THROW)"
%token T_USE "use (T_USE)"
%token T_INSTEADOF "insteadof (T_INSTEADOF)"
%token T_GLOBAL "global (T_GLOBAL)"
2003-02-24 20:05:58 +08:00
%right T_STATIC T_ABSTRACT T_FINAL T_PRIVATE T_PROTECTED T_PUBLIC
2011-06-24 07:00:53 +08:00
%token T_STATIC "static (T_STATIC)"
%token T_ABSTRACT "abstract (T_ABSTRACT)"
%token T_FINAL "final (T_FINAL)"
%token T_PRIVATE "private (T_PRIVATE)"
%token T_PROTECTED "protected (T_PROTECTED)"
%token T_PUBLIC "public (T_PUBLIC)"
%token T_VAR "var (T_VAR)"
%token T_UNSET "unset (T_UNSET)"
%token T_ISSET "isset (T_ISSET)"
%token T_EMPTY "empty (T_EMPTY)"
%token T_HALT_COMPILER "__halt_compiler (T_HALT_COMPILER)"
%token T_CLASS "class (T_CLASS)"
%token T_TRAIT "trait (T_TRAIT)"
%token T_INTERFACE "interface (T_INTERFACE)"
%token T_EXTENDS "extends (T_EXTENDS)"
%token T_IMPLEMENTS "implements (T_IMPLEMENTS)"
%token T_OBJECT_OPERATOR "-> (T_OBJECT_OPERATOR)"
%right T_DOUBLE_ARROW
2011-06-24 07:00:53 +08:00
%token T_DOUBLE_ARROW "=> (T_DOUBLE_ARROW)"
%token T_LIST "list (T_LIST)"
%token T_ARRAY "array (T_ARRAY)"
%token T_CALLABLE "callable (T_CALLABLE)"
2011-06-24 07:00:53 +08:00
%token T_CLASS_C "__CLASS__ (T_CLASS_C)"
%token T_TRAIT_C "__TRAIT__ (T_TRAIT_C)"
2011-06-24 07:00:53 +08:00
%token T_METHOD_C "__METHOD__ (T_METHOD_C)"
%token T_FUNC_C "__FUNCTION__ (T_FUNC_C)"
%token T_LINE "__LINE__ (T_LINE)"
%token T_FILE "__FILE__ (T_FILE)"
%token T_COMMENT "comment (T_COMMENT)"
%token T_DOC_COMMENT "doc comment (T_DOC_COMMENT)"
%token T_OPEN_TAG "open tag (T_OPEN_TAG)"
%token T_OPEN_TAG_WITH_ECHO "open tag with echo (T_OPEN_TAG_WITH_ECHO)"
%token T_CLOSE_TAG "close tag (T_CLOSE_TAG)"
%token T_WHITESPACE "whitespace (T_WHITESPACE)"
%token T_START_HEREDOC "heredoc start (T_START_HEREDOC)"
%token T_END_HEREDOC "heredoc end (T_END_HEREDOC)"
%token T_DOLLAR_OPEN_CURLY_BRACES "${ (T_DOLLAR_OPEN_CURLY_BRACES)"
%token T_CURLY_OPEN "{$ (T_CURLY_OPEN)"
%token T_PAAMAYIM_NEKUDOTAYIM ":: (T_PAAMAYIM_NEKUDOTAYIM)"
%token T_NAMESPACE "namespace (T_NAMESPACE)"
%token T_NS_C "__NAMESPACE__ (T_NS_C)"
%token T_DIR "__DIR__ (T_DIR)"
%token T_NS_SEPARATOR "\\ (T_NS_SEPARATOR)"
%token T_ELLIPSIS "... (T_ELLIPSIS)"
%token T_POW "** (T_POW)"
%token T_POW_EQUAL "**= (T_POW_EQUAL)"
1999-04-08 02:10:10 +08:00
%% /* Rules */
2000-01-29 06:23:28 +08:00
start:
2014-07-27 18:45:38 +08:00
top_statement_list { CG(ast) = $1.ast; }
2000-01-29 06:23:28 +08:00
;
top_statement_list:
top_statement_list top_statement { $$.list = zend_ast_list_add($1.list, $2.ast); }
| /* empty */ { $$.list = zend_ast_create_list(0, ZEND_AST_STMT_LIST); }
1999-04-08 02:10:10 +08:00
;
2007-09-29 03:52:53 +08:00
namespace_name:
2014-07-27 18:45:38 +08:00
T_STRING { $$.ast = $1.ast; }
2014-07-27 03:53:50 +08:00
| namespace_name T_NS_SEPARATOR T_STRING
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_append_str($1.ast, $3.ast); }
2007-09-29 03:52:53 +08:00
;
1999-04-08 02:10:10 +08:00
name:
namespace_name
2014-07-27 18:45:38 +08:00
{ $$.ast = $1.ast; $$.ast->attr = ZEND_NAME_NOT_FQ; }
| T_NAMESPACE T_NS_SEPARATOR namespace_name
2014-07-27 18:45:38 +08:00
{ $$.ast = $3.ast; $$.ast->attr = ZEND_NAME_RELATIVE; }
| T_NS_SEPARATOR namespace_name
2014-07-27 18:45:38 +08:00
{ $$.ast = $2.ast; $$.ast->attr = ZEND_NAME_FQ; }
;
top_statement:
2014-07-27 18:45:38 +08:00
statement { $$.ast = $1.ast; }
| function_declaration_statement { $$.ast = $1.ast; }
| class_declaration_statement { $$.ast = $1.ast; }
| T_HALT_COMPILER '(' ')' ';'
{ $$.ast = zend_ast_create(ZEND_AST_HALT_COMPILER,
zend_ast_create_zval_from_long(zend_get_scanned_file_offset(TSRMLS_C)));
2014-07-22 21:50:23 +08:00
zend_stop_lexing(TSRMLS_C); }
2014-07-22 18:45:44 +08:00
| T_NAMESPACE namespace_name ';'
{ $$.ast = zend_ast_create(ZEND_AST_NAMESPACE, $2.ast, NULL);
2014-07-28 21:23:00 +08:00
RESET_DOC_COMMENT(); }
| T_NAMESPACE namespace_name { RESET_DOC_COMMENT(); }
2014-07-22 19:52:35 +08:00
'{' top_statement_list '}'
{ $$.ast = zend_ast_create(ZEND_AST_NAMESPACE, $2.ast, $5.ast); }
2014-07-28 21:23:00 +08:00
| T_NAMESPACE { RESET_DOC_COMMENT(); }
2014-07-22 19:52:35 +08:00
'{' top_statement_list '}'
{ $$.ast = zend_ast_create(ZEND_AST_NAMESPACE, NULL, $4.ast); }
2014-07-22 05:41:11 +08:00
| T_USE use_declarations ';'
2014-07-27 18:45:38 +08:00
{ $$.ast = $2.ast; $$.ast->attr = T_CLASS; }
2014-07-22 05:41:11 +08:00
| T_USE T_FUNCTION use_declarations ';'
2014-07-27 18:45:38 +08:00
{ $$.ast = $3.ast; $$.ast->attr = T_FUNCTION; }
2014-07-22 05:41:11 +08:00
| T_USE T_CONST use_declarations ';'
2014-07-27 18:45:38 +08:00
{ $$.ast = $3.ast; $$.ast->attr = T_CONST; }
| T_CONST const_list ';' { $$.ast = $2.ast; }
;
2008-06-08 17:38:47 +08:00
use_declarations:
use_declarations ',' use_declaration
{ $$.list = zend_ast_list_add($1.list, $3.ast); }
2008-06-08 17:38:47 +08:00
| use_declaration
{ $$.list = zend_ast_create_list(1, ZEND_AST_USE, $1.ast); }
2008-08-12 18:23:02 +08:00
;
2008-06-08 17:38:47 +08:00
use_declaration:
2014-07-22 04:49:31 +08:00
namespace_name
{ $$.ast = zend_ast_create(ZEND_AST_USE_ELEM, $1.ast, NULL); }
2014-07-22 04:49:31 +08:00
| namespace_name T_AS T_STRING
{ $$.ast = zend_ast_create(ZEND_AST_USE_ELEM, $1.ast, $3.ast); }
2014-07-22 04:49:31 +08:00
| T_NS_SEPARATOR namespace_name
{ $$.ast = zend_ast_create(ZEND_AST_USE_ELEM, $2.ast, NULL); }
2014-07-22 04:49:31 +08:00
| T_NS_SEPARATOR namespace_name T_AS T_STRING
{ $$.ast = zend_ast_create(ZEND_AST_USE_ELEM, $2.ast, $4.ast); }
2008-08-12 18:23:02 +08:00
;
2008-06-08 17:38:47 +08:00
2014-07-22 17:55:07 +08:00
const_list:
const_list ',' const_decl { $$.list = zend_ast_list_add($1.list, $3.ast); }
| const_decl { $$.list = zend_ast_create_list(1, ZEND_AST_CONST_DECL, $1.ast); }
2007-09-29 03:52:53 +08:00
;
inner_statement_list:
2014-07-11 05:04:42 +08:00
inner_statement_list inner_statement
{ $$.list = zend_ast_list_add($1.list, $2.ast); }
| /* empty */
{ $$.list = zend_ast_create_list(0, ZEND_AST_STMT_LIST); }
;
inner_statement:
2014-07-27 18:45:38 +08:00
statement { $$.ast = $1.ast; }
| function_declaration_statement { $$.ast = $1.ast; }
| class_declaration_statement { $$.ast = $1.ast; }
2014-07-11 05:04:42 +08:00
| T_HALT_COMPILER '(' ')' ';'
{ zend_error_noreturn(E_COMPILE_ERROR, "__HALT_COMPILER() can only be used from the outermost scope"); }
;
1999-04-08 02:10:10 +08:00
statement:
2014-07-27 18:45:38 +08:00
unticked_statement { $$.ast = $1.ast; }
| T_STRING ':' { $$.ast = zend_ast_create(ZEND_AST_LABEL, $1.ast); }
;
unticked_statement:
2014-07-27 18:45:38 +08:00
'{' inner_statement_list '}' { $$.ast = $2.ast; }
| if_stmt { $$.ast = $1.ast; }
| alt_if_stmt { $$.ast = $1.ast; }
| T_WHILE parenthesis_expr while_statement
{ $$.ast = zend_ast_create(ZEND_AST_WHILE, $2.ast, $3.ast); }
2014-07-10 20:46:22 +08:00
| T_DO statement T_WHILE parenthesis_expr ';'
{ $$.ast = zend_ast_create(ZEND_AST_DO_WHILE, $2.ast, $4.ast); }
| T_FOR '(' for_expr ';' for_expr ';' for_expr ')' for_statement
{ $$.ast = zend_ast_create(ZEND_AST_FOR, $3.ast, $5.ast, $7.ast, $9.ast); }
2014-07-11 21:31:47 +08:00
| T_SWITCH parenthesis_expr switch_case_list
{ $$.ast = zend_ast_create(ZEND_AST_SWITCH, $2.ast, $3.ast); }
| T_BREAK ';' { $$.ast = zend_ast_create(ZEND_AST_BREAK, NULL); }
| T_BREAK expr ';' { $$.ast = zend_ast_create(ZEND_AST_BREAK, $2.ast); }
| T_CONTINUE ';' { $$.ast = zend_ast_create(ZEND_AST_CONTINUE, NULL); }
| T_CONTINUE expr ';' { $$.ast = zend_ast_create(ZEND_AST_CONTINUE, $2.ast); }
2014-07-08 03:06:02 +08:00
| T_RETURN ';'
{ $$.ast = zend_ast_create(ZEND_AST_RETURN, NULL); }
2014-07-08 03:06:02 +08:00
| T_RETURN expr ';'
{ $$.ast = zend_ast_create(ZEND_AST_RETURN, $2.ast); }
2014-07-27 18:45:38 +08:00
| T_GLOBAL global_var_list ';' { $$.ast = $2.ast; }
| T_STATIC static_var_list ';' { $$.ast = $2.ast; }
| T_ECHO echo_expr_list ';' { $$.ast = $2.ast; }
| T_INLINE_HTML { $$.ast = zend_ast_create(ZEND_AST_ECHO, $1.ast); }
2014-07-27 18:45:38 +08:00
| expr ';' { $$.ast = $1.ast; }
| T_UNSET '(' unset_variables ')' ';' { $$.ast = $3.ast; }
2014-07-11 18:16:21 +08:00
| T_FOREACH '(' expr T_AS foreach_variable ')' foreach_statement
{ $$.ast = zend_ast_create(ZEND_AST_FOREACH,
2014-07-27 18:45:38 +08:00
$3.ast, $5.ast, NULL, $7.ast); }
2014-07-11 18:16:21 +08:00
| T_FOREACH '(' expr T_AS foreach_variable T_DOUBLE_ARROW foreach_variable ')'
foreach_statement
{ $$.ast = zend_ast_create(ZEND_AST_FOREACH,
2014-07-27 18:45:38 +08:00
$3.ast, $7.ast, $5.ast, $9.ast); }
2014-07-22 22:11:19 +08:00
| T_DECLARE '(' const_list ')' declare_statement
{ $$.ast = zend_ast_create(ZEND_AST_DECLARE, $3.ast, $5.ast); }
2014-07-27 18:45:38 +08:00
| ';' /* empty statement */ { $$.ast = NULL; }
| T_TRY '{' inner_statement_list '}' catch_list finally_statement
{ $$.ast = zend_ast_create(ZEND_AST_TRY, $3.ast, $5.ast, $6.ast); }
| T_THROW expr ';' { $$.ast = zend_ast_create(ZEND_AST_THROW, $2.ast); }
| T_GOTO T_STRING ';' { $$.ast = zend_ast_create(ZEND_AST_GOTO, $2.ast); }
;
catch_list:
/* empty */
{ $$.list = zend_ast_create_list(0, ZEND_AST_CATCH_LIST); }
| catch_list T_CATCH '(' name T_VARIABLE ')' '{' inner_statement_list '}'
{ $$.list = zend_ast_list_add($1.list,
zend_ast_create(ZEND_AST_CATCH, $4.ast, $5.ast, $8.ast)); }
;
finally_statement:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.ast = NULL; }
| T_FINALLY '{' inner_statement_list '}' { $$.ast = $3.ast; }
;
unset_variables:
unset_variable { $$.list = zend_ast_create_list(1, ZEND_AST_STMT_LIST, $1.ast); }
| unset_variables ',' unset_variable { $$.list = zend_ast_list_add($1.list, $3.ast); }
;
unset_variable:
variable { $$.ast = zend_ast_create(ZEND_AST_UNSET, $1.ast); }
;
1999-04-08 02:10:10 +08:00
2002-09-24 01:20:59 +08:00
function_declaration_statement:
function returns_ref T_STRING '(' parameter_list ')'
2014-07-27 18:45:38 +08:00
{ $$.str = CG(doc_comment); CG(doc_comment) = NULL; }
'{' inner_statement_list '}'
2014-07-28 20:51:08 +08:00
{ $$.ast = zend_ast_create_decl(ZEND_AST_FUNC_DECL, $2.num, $1.num, $7.str,
zend_ast_get_str($3.ast), $5.ast, NULL, $9.ast); }
2002-09-24 01:20:59 +08:00
;
is_reference:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.num = 0; }
| '&' { $$.num = ZEND_PARAM_REF; }
;
is_variadic:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.num = 0; }
| T_ELLIPSIS { $$.num = ZEND_PARAM_VARIADIC; }
;
2014-07-21 23:34:00 +08:00
class_declaration_statement:
2014-07-27 18:37:28 +08:00
class_type
2014-07-27 18:45:38 +08:00
{ $$.num = CG(zend_lineno); }
2014-07-27 18:37:28 +08:00
T_STRING extends_from implements_list
2014-07-27 18:45:38 +08:00
{ $$.str = CG(doc_comment); CG(doc_comment) = NULL; }
2014-07-21 22:34:45 +08:00
'{' class_statement_list '}'
2014-07-28 20:51:08 +08:00
{ $$.ast = zend_ast_create_decl(ZEND_AST_CLASS, $1.num, $2.num, $6.str,
2014-07-27 18:45:38 +08:00
zend_ast_get_str($3.ast), $4.ast, $5.ast, $8.ast); }
2014-07-27 18:37:28 +08:00
| T_INTERFACE
2014-07-27 18:45:38 +08:00
{ $$.num = CG(zend_lineno); }
2014-07-27 18:37:28 +08:00
T_STRING interface_extends_list
2014-07-27 18:45:38 +08:00
{ $$.str = CG(doc_comment); CG(doc_comment) = NULL; }
'{' class_statement_list '}'
2014-07-28 20:51:08 +08:00
{ $$.ast = zend_ast_create_decl(ZEND_AST_CLASS, ZEND_ACC_INTERFACE, $2.num, $5.str,
2014-07-27 18:45:38 +08:00
zend_ast_get_str($3.ast), NULL, $4.ast, $7.ast); }
2002-07-18 02:36:29 +08:00
;
2014-07-27 18:37:28 +08:00
class_type:
2014-07-27 18:45:38 +08:00
T_CLASS { $$.num = 0; }
| T_ABSTRACT T_CLASS { $$.num = ZEND_ACC_EXPLICIT_ABSTRACT_CLASS; }
| T_FINAL T_CLASS { $$.num = ZEND_ACC_FINAL_CLASS; }
| T_TRAIT { $$.num = ZEND_ACC_TRAIT; }
;
2002-07-18 02:36:29 +08:00
extends_from:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.ast = NULL; }
| T_EXTENDS name { $$.ast = $2.ast; }
2003-03-05 19:14:44 +08:00
;
interface_extends_list:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.ast = NULL; }
| T_EXTENDS name_list { $$.ast = $2.ast; }
;
2003-03-05 19:14:44 +08:00
implements_list:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.ast = NULL; }
| T_IMPLEMENTS name_list { $$.ast = $2.ast; }
;
foreach_variable:
2014-07-27 18:45:38 +08:00
variable { $$.ast = $1.ast; }
| '&' variable { $$.ast = zend_ast_create(ZEND_AST_REF, $2.ast); }
2014-07-27 18:45:38 +08:00
| T_LIST '(' assignment_list ')' { $$.ast = $3.ast; }
1999-04-08 02:10:10 +08:00
;
for_statement:
2014-07-27 18:45:38 +08:00
statement { $$.ast = $1.ast; }
| ':' inner_statement_list T_ENDFOR ';' { $$.ast = $2.ast; }
1999-04-08 02:10:10 +08:00
;
foreach_statement:
2014-07-27 18:45:38 +08:00
statement { $$.ast = $1.ast; }
| ':' inner_statement_list T_ENDFOREACH ';' { $$.ast = $2.ast; }
1999-04-08 02:10:10 +08:00
;
declare_statement:
2014-07-27 18:45:38 +08:00
statement { $$.ast = $1.ast; }
| ':' inner_statement_list T_ENDDECLARE ';' { $$.ast = $2.ast; }
;
1999-04-08 02:10:10 +08:00
switch_case_list:
2014-07-27 18:45:38 +08:00
'{' case_list '}' { $$.ast = $2.ast; }
| '{' ';' case_list '}' { $$.ast = $3.ast; }
| ':' case_list T_ENDSWITCH ';' { $$.ast = $2.ast; }
| ':' ';' case_list T_ENDSWITCH ';' { $$.ast = $3.ast; }
1999-04-08 02:10:10 +08:00
;
case_list:
/* empty */ { $$.list = zend_ast_create_list(0, ZEND_AST_SWITCH_LIST); }
2014-07-11 21:31:47 +08:00
| case_list T_CASE expr case_separator inner_statement_list
{ $$.list = zend_ast_list_add($1.list,
zend_ast_create(ZEND_AST_SWITCH_CASE, $3.ast, $5.ast)); }
2014-07-11 21:31:47 +08:00
| case_list T_DEFAULT case_separator inner_statement_list
{ $$.list = zend_ast_list_add($1.list,
zend_ast_create(ZEND_AST_SWITCH_CASE, NULL, $4.ast)); }
1999-04-08 02:10:10 +08:00
;
case_separator:
':'
| ';'
;
while_statement:
2014-07-27 18:45:38 +08:00
statement { $$.ast = $1.ast; }
| ':' inner_statement_list T_ENDWHILE ';' { $$.ast = $2.ast; }
1999-04-08 02:10:10 +08:00
;
2014-07-10 22:38:04 +08:00
if_stmt_without_else:
T_IF parenthesis_expr statement
{ $$.list = zend_ast_create_list(1, ZEND_AST_IF,
zend_ast_create(ZEND_AST_IF_ELEM, $2.ast, $3.ast)); }
2014-07-10 22:38:04 +08:00
| if_stmt_without_else T_ELSEIF parenthesis_expr statement
{ $$.list = zend_ast_list_add($1.list,
zend_ast_create(ZEND_AST_IF_ELEM, $3.ast, $4.ast)); }
2014-07-10 22:38:04 +08:00
;
1999-04-08 02:10:10 +08:00
2014-07-10 22:38:04 +08:00
if_stmt:
2014-07-27 18:45:38 +08:00
if_stmt_without_else { $$.ast = $1.ast; }
2014-07-10 22:38:04 +08:00
| if_stmt_without_else T_ELSE statement
{ $$.list = zend_ast_list_add($1.list,
zend_ast_create(ZEND_AST_IF_ELEM, NULL, $3.ast)); }
1999-04-08 02:10:10 +08:00
;
2014-07-11 05:04:42 +08:00
alt_if_stmt_without_else:
T_IF parenthesis_expr ':' inner_statement_list
{ $$.list = zend_ast_create_list(1, ZEND_AST_IF,
zend_ast_create(ZEND_AST_IF_ELEM, $2.ast, $4.ast)); }
2014-07-11 05:04:42 +08:00
| alt_if_stmt_without_else T_ELSEIF parenthesis_expr ':' inner_statement_list
{ $$.list = zend_ast_list_add($1.list,
zend_ast_create(ZEND_AST_IF_ELEM, $3.ast, $5.ast)); }
1999-04-08 02:10:10 +08:00
;
2014-07-11 05:04:42 +08:00
alt_if_stmt:
2014-07-27 18:45:38 +08:00
alt_if_stmt_without_else T_ENDIF ';' { $$.ast = $1.ast; }
2014-07-11 05:04:42 +08:00
| alt_if_stmt_without_else T_ELSE ':' inner_statement_list T_ENDIF ';'
{ $$.list = zend_ast_list_add($1.list,
zend_ast_create(ZEND_AST_IF_ELEM, NULL, $4.ast)); }
1999-04-08 02:10:10 +08:00
;
parameter_list:
2014-07-27 18:45:38 +08:00
non_empty_parameter_list { $$.ast = $1.ast; }
| /* empty */ { $$.list = zend_ast_create_list(0, ZEND_AST_PARAM_LIST); }
1999-04-08 02:10:10 +08:00
;
non_empty_parameter_list:
parameter
{ $$.list = zend_ast_create_list(1, ZEND_AST_PARAM_LIST, $1.ast); }
| non_empty_parameter_list ',' parameter
{ $$.list = zend_ast_list_add($1.list, $3.ast); }
;
parameter:
optional_type is_reference is_variadic T_VARIABLE
{ $$.ast = zend_ast_create_ex(ZEND_AST_PARAM, $2.num | $3.num,
2014-07-27 18:45:38 +08:00
$1.ast, $4.ast, NULL); }
| optional_type is_reference is_variadic T_VARIABLE '=' expr
{ $$.ast = zend_ast_create_ex(ZEND_AST_PARAM, $2.num | $3.num,
2014-07-27 18:45:38 +08:00
$1.ast, $4.ast, $6.ast); }
1999-04-08 02:10:10 +08:00
;
optional_type:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.ast = NULL; }
| T_ARRAY { $$.ast = zend_ast_create_ex(ZEND_AST_TYPE, IS_ARRAY); }
| T_CALLABLE { $$.ast = zend_ast_create_ex(ZEND_AST_TYPE, IS_CALLABLE); }
2014-07-27 18:45:38 +08:00
| name { $$.ast = $1.ast; }
2003-03-06 22:31:17 +08:00
;
2014-07-13 19:11:55 +08:00
argument_list:
'(' ')' { $$.list = zend_ast_create_list(0, ZEND_AST_ARG_LIST); }
2014-07-27 18:45:38 +08:00
| '(' non_empty_argument_list ')' { $$.ast = $2.ast; }
2014-06-07 19:06:53 +08:00
;
2014-07-13 19:11:55 +08:00
non_empty_argument_list:
argument
{ $$.list = zend_ast_create_list(1, ZEND_AST_ARG_LIST, $1.ast); }
2014-07-13 19:11:55 +08:00
| non_empty_argument_list ',' argument
{ $$.list = zend_ast_list_add($1.list, $3.ast); }
2014-06-07 19:06:53 +08:00
;
2014-07-13 19:11:55 +08:00
argument:
2014-07-27 18:45:38 +08:00
expr_without_variable { $$.ast = $1.ast; }
| variable { $$.ast = $1.ast; }
2014-06-19 19:57:29 +08:00
/*| '&' variable { ZEND_ASSERT(0); } */
| T_ELLIPSIS expr { $$.ast = zend_ast_create(ZEND_AST_UNPACK, $2.ast); }
2014-06-07 19:06:53 +08:00
;
1999-04-08 02:10:10 +08:00
global_var_list:
global_var_list ',' global_var { $$.list = zend_ast_list_add($1.list, $3.ast); }
| global_var { $$.list = zend_ast_create_list(1, ZEND_AST_STMT_LIST, $1.ast); }
1999-04-08 02:10:10 +08:00
;
global_var:
2014-06-07 19:06:53 +08:00
simple_variable
{ $$.ast = zend_ast_create(ZEND_AST_GLOBAL,
zend_ast_create(ZEND_AST_VAR, $1.ast)); }
1999-04-08 02:10:10 +08:00
;
static_var_list:
static_var_list ',' static_var { $$.list = zend_ast_list_add($1.list, $3.ast); }
| static_var { $$.list = zend_ast_create_list(1, ZEND_AST_STMT_LIST, $1.ast); }
;
1999-04-08 02:10:10 +08:00
static_var:
T_VARIABLE
{ $$.ast = zend_ast_create(ZEND_AST_STATIC, $1.ast, NULL); }
| T_VARIABLE '=' expr
{ $$.ast = zend_ast_create(ZEND_AST_STATIC, $1.ast, $3.ast); }
1999-04-08 02:10:10 +08:00
;
class_statement_list:
class_statement_list class_statement
{ $$.list = zend_ast_list_add($1.list, $2.ast); }
1999-04-08 02:10:10 +08:00
| /* empty */
{ $$.list = zend_ast_create_list(0, ZEND_AST_STMT_LIST); }
1999-04-08 02:10:10 +08:00
;
class_statement:
2014-07-19 20:54:56 +08:00
variable_modifiers property_list ';'
2014-07-31 01:12:48 +08:00
{ $$.list = zend_ast_append_doc_comment($2.list TSRMLS_CC); $$.ast->attr = $1.num; }
2014-07-22 17:55:07 +08:00
| T_CONST class_const_list ';'
2014-07-28 21:23:00 +08:00
{ $$.ast = $2.ast; RESET_DOC_COMMENT(); }
2014-07-20 04:39:01 +08:00
| T_USE name_list trait_adaptations
{ $$.ast = zend_ast_create(ZEND_AST_USE_TRAIT, $2.ast, $3.ast); }
| method_modifiers function returns_ref T_STRING '(' parameter_list ')'
2014-07-27 18:45:38 +08:00
{ $$.str = CG(doc_comment); CG(doc_comment) = NULL; }
method_body
2014-07-28 20:51:08 +08:00
{ $$.ast = zend_ast_create_decl(ZEND_AST_METHOD, $3.num | $1.num, $2.num, $8.str,
2014-07-27 18:45:38 +08:00
zend_ast_get_str($4.ast), $6.ast, NULL, $9.ast); }
1999-04-08 02:10:10 +08:00
;
2014-07-20 04:39:01 +08:00
name_list:
name { $$.list = zend_ast_create_list(1, ZEND_AST_NAME_LIST, $1.ast); }
| name_list ',' name { $$.list = zend_ast_list_add($1.list, $3.ast); }
Implemented Traits for PHP as proposed in the RFC [TRAITS] # RFC http://wiki.php.net/rfc/horizontalreuse#traits_-_reuse_of_behavior # Ok, here we go, I guess that will result in more discussion, which is fine # by me. But now, the patch is here, and properly archived. # # See below a list of notes to the patch, it also includes a list of # points which should be fixed # # Internals of the Traits Patch # ----------------------------- # # Open TODOs # """""""""" # # - Reflection API # - support for traits for internal classes # - currently destroy_zend_class does not handle that case # # Introduced Structures # """"""""""""""""""""" # # Data structures to encode the composition information specified in the # source: # - zend_trait_method_reference # - zend_trait_precedence # - zend_trait_alias # # Changes # """"""" # # zend_class_entry # - uses NULL terminated lists of pointers for # - trait_aliases # - trait_precedences # - do you prefer an explicit counter? # - the information is only necessary during class composition # but might be interesting for reflection # - did not want to blow up class further with not really necessary length counters # # added keywords # - trait # - insteadof # # Added opcodes # ZEND_ADD_TRAIT # - similar to ZEND_ADD_INTERFACE # - adds the trait to the list of traits of a class, no actual composition done # ZEND_BIND_TRAITS # - emitted in zend_do_end_class_declaration # - concludes the class definition and will initiate the trait composition # when the class definition is encountered during runtime # # Added Flags # ZEND_ACC_TRAIT = 0x120 # ZEND_ACC_IMPLEMENT_TRAITS = 0x400000 # ZEND_FETCH_CLASS_TRAIT = 14 # # zend_vm_execute.h # - not sure whether the handler initialization (ZEND_ADD_TRAIT_SPEC_HANDLER, # ZEND_BIND_TRAITS_SPEC_HANDLER) is correct, maybe it should be more selective # # zend_compile.c # - refactored do_inherit_method_check # split into do_inherit_method_check and do_inheritance_check_on_method # - added helper functions use a '_' as prefix and are not mentioned in the # headers # - _copy_functions # prepare hash-maps of functions which should be merged into a class # here the aliases are handled # - _merge_functions # builds a hash-table of the methods which need to be added to a class # does the conflict detection # - reused php_runkit_function_copy_ctor # - it is not identical with the original code anymore, needed to update it # think I fixed some bugs, not sure whether all have been reported back to runkit # - has to be renamed, left the name for the moment, to make its origin obvious # - here might be optimization potential # - not sure whether everything needs to be copied # - copying the literals might be broken # - added it since the literals array is freed by efree and gave problems # with doubled frees # - all immutable parts of the zend_op array should not be copied # - am not sure which parts are immutable # - and not sure how to avoid doubled frees on the same arrays on shutdown # - _merge_functions_to_class # does the final merging with the target class to handle inherited # and overridden methods # - small helper for NULL terminated lists # zend_init_list, zend_add_to_list # # zend_language_parser.y # - reused class definition for traits # - there should be something with regard to properties # - if they get explicitly defined, it might be worthwhile to # check that there are no collisions with other traits in a composition # (however, I would not introduce elaborate language features to control that # but a notice for such conflicts might be nice to the developers)
2010-04-23 06:05:56 +08:00
;
trait_adaptations:
2014-07-27 18:45:38 +08:00
';' { $$.ast = NULL; }
| '{' '}' { $$.ast = NULL; }
| '{' trait_adaptation_list '}' { $$.ast = $2.ast; }
Implemented Traits for PHP as proposed in the RFC [TRAITS] # RFC http://wiki.php.net/rfc/horizontalreuse#traits_-_reuse_of_behavior # Ok, here we go, I guess that will result in more discussion, which is fine # by me. But now, the patch is here, and properly archived. # # See below a list of notes to the patch, it also includes a list of # points which should be fixed # # Internals of the Traits Patch # ----------------------------- # # Open TODOs # """""""""" # # - Reflection API # - support for traits for internal classes # - currently destroy_zend_class does not handle that case # # Introduced Structures # """"""""""""""""""""" # # Data structures to encode the composition information specified in the # source: # - zend_trait_method_reference # - zend_trait_precedence # - zend_trait_alias # # Changes # """"""" # # zend_class_entry # - uses NULL terminated lists of pointers for # - trait_aliases # - trait_precedences # - do you prefer an explicit counter? # - the information is only necessary during class composition # but might be interesting for reflection # - did not want to blow up class further with not really necessary length counters # # added keywords # - trait # - insteadof # # Added opcodes # ZEND_ADD_TRAIT # - similar to ZEND_ADD_INTERFACE # - adds the trait to the list of traits of a class, no actual composition done # ZEND_BIND_TRAITS # - emitted in zend_do_end_class_declaration # - concludes the class definition and will initiate the trait composition # when the class definition is encountered during runtime # # Added Flags # ZEND_ACC_TRAIT = 0x120 # ZEND_ACC_IMPLEMENT_TRAITS = 0x400000 # ZEND_FETCH_CLASS_TRAIT = 14 # # zend_vm_execute.h # - not sure whether the handler initialization (ZEND_ADD_TRAIT_SPEC_HANDLER, # ZEND_BIND_TRAITS_SPEC_HANDLER) is correct, maybe it should be more selective # # zend_compile.c # - refactored do_inherit_method_check # split into do_inherit_method_check and do_inheritance_check_on_method # - added helper functions use a '_' as prefix and are not mentioned in the # headers # - _copy_functions # prepare hash-maps of functions which should be merged into a class # here the aliases are handled # - _merge_functions # builds a hash-table of the methods which need to be added to a class # does the conflict detection # - reused php_runkit_function_copy_ctor # - it is not identical with the original code anymore, needed to update it # think I fixed some bugs, not sure whether all have been reported back to runkit # - has to be renamed, left the name for the moment, to make its origin obvious # - here might be optimization potential # - not sure whether everything needs to be copied # - copying the literals might be broken # - added it since the literals array is freed by efree and gave problems # with doubled frees # - all immutable parts of the zend_op array should not be copied # - am not sure which parts are immutable # - and not sure how to avoid doubled frees on the same arrays on shutdown # - _merge_functions_to_class # does the final merging with the target class to handle inherited # and overridden methods # - small helper for NULL terminated lists # zend_init_list, zend_add_to_list # # zend_language_parser.y # - reused class definition for traits # - there should be something with regard to properties # - if they get explicitly defined, it might be worthwhile to # check that there are no collisions with other traits in a composition # (however, I would not introduce elaborate language features to control that # but a notice for such conflicts might be nice to the developers)
2010-04-23 06:05:56 +08:00
;
trait_adaptation_list:
2014-07-20 04:39:01 +08:00
trait_adaptation
{ $$.list = zend_ast_create_list(1, ZEND_AST_TRAIT_ADAPTATIONS, $1.ast); }
2014-07-20 04:39:01 +08:00
| trait_adaptation_list trait_adaptation
{ $$.list = zend_ast_list_add($1.list, $2.ast); }
Implemented Traits for PHP as proposed in the RFC [TRAITS] # RFC http://wiki.php.net/rfc/horizontalreuse#traits_-_reuse_of_behavior # Ok, here we go, I guess that will result in more discussion, which is fine # by me. But now, the patch is here, and properly archived. # # See below a list of notes to the patch, it also includes a list of # points which should be fixed # # Internals of the Traits Patch # ----------------------------- # # Open TODOs # """""""""" # # - Reflection API # - support for traits for internal classes # - currently destroy_zend_class does not handle that case # # Introduced Structures # """"""""""""""""""""" # # Data structures to encode the composition information specified in the # source: # - zend_trait_method_reference # - zend_trait_precedence # - zend_trait_alias # # Changes # """"""" # # zend_class_entry # - uses NULL terminated lists of pointers for # - trait_aliases # - trait_precedences # - do you prefer an explicit counter? # - the information is only necessary during class composition # but might be interesting for reflection # - did not want to blow up class further with not really necessary length counters # # added keywords # - trait # - insteadof # # Added opcodes # ZEND_ADD_TRAIT # - similar to ZEND_ADD_INTERFACE # - adds the trait to the list of traits of a class, no actual composition done # ZEND_BIND_TRAITS # - emitted in zend_do_end_class_declaration # - concludes the class definition and will initiate the trait composition # when the class definition is encountered during runtime # # Added Flags # ZEND_ACC_TRAIT = 0x120 # ZEND_ACC_IMPLEMENT_TRAITS = 0x400000 # ZEND_FETCH_CLASS_TRAIT = 14 # # zend_vm_execute.h # - not sure whether the handler initialization (ZEND_ADD_TRAIT_SPEC_HANDLER, # ZEND_BIND_TRAITS_SPEC_HANDLER) is correct, maybe it should be more selective # # zend_compile.c # - refactored do_inherit_method_check # split into do_inherit_method_check and do_inheritance_check_on_method # - added helper functions use a '_' as prefix and are not mentioned in the # headers # - _copy_functions # prepare hash-maps of functions which should be merged into a class # here the aliases are handled # - _merge_functions # builds a hash-table of the methods which need to be added to a class # does the conflict detection # - reused php_runkit_function_copy_ctor # - it is not identical with the original code anymore, needed to update it # think I fixed some bugs, not sure whether all have been reported back to runkit # - has to be renamed, left the name for the moment, to make its origin obvious # - here might be optimization potential # - not sure whether everything needs to be copied # - copying the literals might be broken # - added it since the literals array is freed by efree and gave problems # with doubled frees # - all immutable parts of the zend_op array should not be copied # - am not sure which parts are immutable # - and not sure how to avoid doubled frees on the same arrays on shutdown # - _merge_functions_to_class # does the final merging with the target class to handle inherited # and overridden methods # - small helper for NULL terminated lists # zend_init_list, zend_add_to_list # # zend_language_parser.y # - reused class definition for traits # - there should be something with regard to properties # - if they get explicitly defined, it might be worthwhile to # check that there are no collisions with other traits in a composition # (however, I would not introduce elaborate language features to control that # but a notice for such conflicts might be nice to the developers)
2010-04-23 06:05:56 +08:00
;
2014-07-20 04:39:01 +08:00
trait_adaptation:
2014-07-27 18:45:38 +08:00
trait_precedence ';' { $$.ast = $1.ast; }
| trait_alias ';' { $$.ast = $1.ast; }
Implemented Traits for PHP as proposed in the RFC [TRAITS] # RFC http://wiki.php.net/rfc/horizontalreuse#traits_-_reuse_of_behavior # Ok, here we go, I guess that will result in more discussion, which is fine # by me. But now, the patch is here, and properly archived. # # See below a list of notes to the patch, it also includes a list of # points which should be fixed # # Internals of the Traits Patch # ----------------------------- # # Open TODOs # """""""""" # # - Reflection API # - support for traits for internal classes # - currently destroy_zend_class does not handle that case # # Introduced Structures # """"""""""""""""""""" # # Data structures to encode the composition information specified in the # source: # - zend_trait_method_reference # - zend_trait_precedence # - zend_trait_alias # # Changes # """"""" # # zend_class_entry # - uses NULL terminated lists of pointers for # - trait_aliases # - trait_precedences # - do you prefer an explicit counter? # - the information is only necessary during class composition # but might be interesting for reflection # - did not want to blow up class further with not really necessary length counters # # added keywords # - trait # - insteadof # # Added opcodes # ZEND_ADD_TRAIT # - similar to ZEND_ADD_INTERFACE # - adds the trait to the list of traits of a class, no actual composition done # ZEND_BIND_TRAITS # - emitted in zend_do_end_class_declaration # - concludes the class definition and will initiate the trait composition # when the class definition is encountered during runtime # # Added Flags # ZEND_ACC_TRAIT = 0x120 # ZEND_ACC_IMPLEMENT_TRAITS = 0x400000 # ZEND_FETCH_CLASS_TRAIT = 14 # # zend_vm_execute.h # - not sure whether the handler initialization (ZEND_ADD_TRAIT_SPEC_HANDLER, # ZEND_BIND_TRAITS_SPEC_HANDLER) is correct, maybe it should be more selective # # zend_compile.c # - refactored do_inherit_method_check # split into do_inherit_method_check and do_inheritance_check_on_method # - added helper functions use a '_' as prefix and are not mentioned in the # headers # - _copy_functions # prepare hash-maps of functions which should be merged into a class # here the aliases are handled # - _merge_functions # builds a hash-table of the methods which need to be added to a class # does the conflict detection # - reused php_runkit_function_copy_ctor # - it is not identical with the original code anymore, needed to update it # think I fixed some bugs, not sure whether all have been reported back to runkit # - has to be renamed, left the name for the moment, to make its origin obvious # - here might be optimization potential # - not sure whether everything needs to be copied # - copying the literals might be broken # - added it since the literals array is freed by efree and gave problems # with doubled frees # - all immutable parts of the zend_op array should not be copied # - am not sure which parts are immutable # - and not sure how to avoid doubled frees on the same arrays on shutdown # - _merge_functions_to_class # does the final merging with the target class to handle inherited # and overridden methods # - small helper for NULL terminated lists # zend_init_list, zend_add_to_list # # zend_language_parser.y # - reused class definition for traits # - there should be something with regard to properties # - if they get explicitly defined, it might be worthwhile to # check that there are no collisions with other traits in a composition # (however, I would not introduce elaborate language features to control that # but a notice for such conflicts might be nice to the developers)
2010-04-23 06:05:56 +08:00
;
trait_precedence:
2014-07-20 04:39:01 +08:00
absolute_trait_method_reference T_INSTEADOF name_list
{ $$.ast = zend_ast_create(ZEND_AST_TRAIT_PRECEDENCE, $1.ast, $3.ast); }
Implemented Traits for PHP as proposed in the RFC [TRAITS] # RFC http://wiki.php.net/rfc/horizontalreuse#traits_-_reuse_of_behavior # Ok, here we go, I guess that will result in more discussion, which is fine # by me. But now, the patch is here, and properly archived. # # See below a list of notes to the patch, it also includes a list of # points which should be fixed # # Internals of the Traits Patch # ----------------------------- # # Open TODOs # """""""""" # # - Reflection API # - support for traits for internal classes # - currently destroy_zend_class does not handle that case # # Introduced Structures # """"""""""""""""""""" # # Data structures to encode the composition information specified in the # source: # - zend_trait_method_reference # - zend_trait_precedence # - zend_trait_alias # # Changes # """"""" # # zend_class_entry # - uses NULL terminated lists of pointers for # - trait_aliases # - trait_precedences # - do you prefer an explicit counter? # - the information is only necessary during class composition # but might be interesting for reflection # - did not want to blow up class further with not really necessary length counters # # added keywords # - trait # - insteadof # # Added opcodes # ZEND_ADD_TRAIT # - similar to ZEND_ADD_INTERFACE # - adds the trait to the list of traits of a class, no actual composition done # ZEND_BIND_TRAITS # - emitted in zend_do_end_class_declaration # - concludes the class definition and will initiate the trait composition # when the class definition is encountered during runtime # # Added Flags # ZEND_ACC_TRAIT = 0x120 # ZEND_ACC_IMPLEMENT_TRAITS = 0x400000 # ZEND_FETCH_CLASS_TRAIT = 14 # # zend_vm_execute.h # - not sure whether the handler initialization (ZEND_ADD_TRAIT_SPEC_HANDLER, # ZEND_BIND_TRAITS_SPEC_HANDLER) is correct, maybe it should be more selective # # zend_compile.c # - refactored do_inherit_method_check # split into do_inherit_method_check and do_inheritance_check_on_method # - added helper functions use a '_' as prefix and are not mentioned in the # headers # - _copy_functions # prepare hash-maps of functions which should be merged into a class # here the aliases are handled # - _merge_functions # builds a hash-table of the methods which need to be added to a class # does the conflict detection # - reused php_runkit_function_copy_ctor # - it is not identical with the original code anymore, needed to update it # think I fixed some bugs, not sure whether all have been reported back to runkit # - has to be renamed, left the name for the moment, to make its origin obvious # - here might be optimization potential # - not sure whether everything needs to be copied # - copying the literals might be broken # - added it since the literals array is freed by efree and gave problems # with doubled frees # - all immutable parts of the zend_op array should not be copied # - am not sure which parts are immutable # - and not sure how to avoid doubled frees on the same arrays on shutdown # - _merge_functions_to_class # does the final merging with the target class to handle inherited # and overridden methods # - small helper for NULL terminated lists # zend_init_list, zend_add_to_list # # zend_language_parser.y # - reused class definition for traits # - there should be something with regard to properties # - if they get explicitly defined, it might be worthwhile to # check that there are no collisions with other traits in a composition # (however, I would not introduce elaborate language features to control that # but a notice for such conflicts might be nice to the developers)
2010-04-23 06:05:56 +08:00
;
2014-07-20 04:39:01 +08:00
trait_alias:
trait_method_reference T_AS trait_modifiers T_STRING
2014-07-29 04:03:16 +08:00
{ $$.ast = zend_ast_create_ex(ZEND_AST_TRAIT_ALIAS, $3.num, $1.ast, $4.ast); }
2014-07-20 04:39:01 +08:00
| trait_method_reference T_AS member_modifier
2014-07-29 04:03:16 +08:00
{ $$.ast = zend_ast_create_ex(ZEND_AST_TRAIT_ALIAS, $3.num, $1.ast, NULL); }
Implemented Traits for PHP as proposed in the RFC [TRAITS] # RFC http://wiki.php.net/rfc/horizontalreuse#traits_-_reuse_of_behavior # Ok, here we go, I guess that will result in more discussion, which is fine # by me. But now, the patch is here, and properly archived. # # See below a list of notes to the patch, it also includes a list of # points which should be fixed # # Internals of the Traits Patch # ----------------------------- # # Open TODOs # """""""""" # # - Reflection API # - support for traits for internal classes # - currently destroy_zend_class does not handle that case # # Introduced Structures # """"""""""""""""""""" # # Data structures to encode the composition information specified in the # source: # - zend_trait_method_reference # - zend_trait_precedence # - zend_trait_alias # # Changes # """"""" # # zend_class_entry # - uses NULL terminated lists of pointers for # - trait_aliases # - trait_precedences # - do you prefer an explicit counter? # - the information is only necessary during class composition # but might be interesting for reflection # - did not want to blow up class further with not really necessary length counters # # added keywords # - trait # - insteadof # # Added opcodes # ZEND_ADD_TRAIT # - similar to ZEND_ADD_INTERFACE # - adds the trait to the list of traits of a class, no actual composition done # ZEND_BIND_TRAITS # - emitted in zend_do_end_class_declaration # - concludes the class definition and will initiate the trait composition # when the class definition is encountered during runtime # # Added Flags # ZEND_ACC_TRAIT = 0x120 # ZEND_ACC_IMPLEMENT_TRAITS = 0x400000 # ZEND_FETCH_CLASS_TRAIT = 14 # # zend_vm_execute.h # - not sure whether the handler initialization (ZEND_ADD_TRAIT_SPEC_HANDLER, # ZEND_BIND_TRAITS_SPEC_HANDLER) is correct, maybe it should be more selective # # zend_compile.c # - refactored do_inherit_method_check # split into do_inherit_method_check and do_inheritance_check_on_method # - added helper functions use a '_' as prefix and are not mentioned in the # headers # - _copy_functions # prepare hash-maps of functions which should be merged into a class # here the aliases are handled # - _merge_functions # builds a hash-table of the methods which need to be added to a class # does the conflict detection # - reused php_runkit_function_copy_ctor # - it is not identical with the original code anymore, needed to update it # think I fixed some bugs, not sure whether all have been reported back to runkit # - has to be renamed, left the name for the moment, to make its origin obvious # - here might be optimization potential # - not sure whether everything needs to be copied # - copying the literals might be broken # - added it since the literals array is freed by efree and gave problems # with doubled frees # - all immutable parts of the zend_op array should not be copied # - am not sure which parts are immutable # - and not sure how to avoid doubled frees on the same arrays on shutdown # - _merge_functions_to_class # does the final merging with the target class to handle inherited # and overridden methods # - small helper for NULL terminated lists # zend_init_list, zend_add_to_list # # zend_language_parser.y # - reused class definition for traits # - there should be something with regard to properties # - if they get explicitly defined, it might be worthwhile to # check that there are no collisions with other traits in a composition # (however, I would not introduce elaborate language features to control that # but a notice for such conflicts might be nice to the developers)
2010-04-23 06:05:56 +08:00
;
trait_method_reference:
2014-07-20 04:39:01 +08:00
T_STRING
{ $$.ast = zend_ast_create(ZEND_AST_METHOD_REFERENCE, NULL, $1.ast); }
2014-07-27 18:45:38 +08:00
| absolute_trait_method_reference { $$.ast = $1.ast; }
Implemented Traits for PHP as proposed in the RFC [TRAITS] # RFC http://wiki.php.net/rfc/horizontalreuse#traits_-_reuse_of_behavior # Ok, here we go, I guess that will result in more discussion, which is fine # by me. But now, the patch is here, and properly archived. # # See below a list of notes to the patch, it also includes a list of # points which should be fixed # # Internals of the Traits Patch # ----------------------------- # # Open TODOs # """""""""" # # - Reflection API # - support for traits for internal classes # - currently destroy_zend_class does not handle that case # # Introduced Structures # """"""""""""""""""""" # # Data structures to encode the composition information specified in the # source: # - zend_trait_method_reference # - zend_trait_precedence # - zend_trait_alias # # Changes # """"""" # # zend_class_entry # - uses NULL terminated lists of pointers for # - trait_aliases # - trait_precedences # - do you prefer an explicit counter? # - the information is only necessary during class composition # but might be interesting for reflection # - did not want to blow up class further with not really necessary length counters # # added keywords # - trait # - insteadof # # Added opcodes # ZEND_ADD_TRAIT # - similar to ZEND_ADD_INTERFACE # - adds the trait to the list of traits of a class, no actual composition done # ZEND_BIND_TRAITS # - emitted in zend_do_end_class_declaration # - concludes the class definition and will initiate the trait composition # when the class definition is encountered during runtime # # Added Flags # ZEND_ACC_TRAIT = 0x120 # ZEND_ACC_IMPLEMENT_TRAITS = 0x400000 # ZEND_FETCH_CLASS_TRAIT = 14 # # zend_vm_execute.h # - not sure whether the handler initialization (ZEND_ADD_TRAIT_SPEC_HANDLER, # ZEND_BIND_TRAITS_SPEC_HANDLER) is correct, maybe it should be more selective # # zend_compile.c # - refactored do_inherit_method_check # split into do_inherit_method_check and do_inheritance_check_on_method # - added helper functions use a '_' as prefix and are not mentioned in the # headers # - _copy_functions # prepare hash-maps of functions which should be merged into a class # here the aliases are handled # - _merge_functions # builds a hash-table of the methods which need to be added to a class # does the conflict detection # - reused php_runkit_function_copy_ctor # - it is not identical with the original code anymore, needed to update it # think I fixed some bugs, not sure whether all have been reported back to runkit # - has to be renamed, left the name for the moment, to make its origin obvious # - here might be optimization potential # - not sure whether everything needs to be copied # - copying the literals might be broken # - added it since the literals array is freed by efree and gave problems # with doubled frees # - all immutable parts of the zend_op array should not be copied # - am not sure which parts are immutable # - and not sure how to avoid doubled frees on the same arrays on shutdown # - _merge_functions_to_class # does the final merging with the target class to handle inherited # and overridden methods # - small helper for NULL terminated lists # zend_init_list, zend_add_to_list # # zend_language_parser.y # - reused class definition for traits # - there should be something with regard to properties # - if they get explicitly defined, it might be worthwhile to # check that there are no collisions with other traits in a composition # (however, I would not introduce elaborate language features to control that # but a notice for such conflicts might be nice to the developers)
2010-04-23 06:05:56 +08:00
;
2014-07-20 04:39:01 +08:00
absolute_trait_method_reference:
name T_PAAMAYIM_NEKUDOTAYIM T_STRING
{ $$.ast = zend_ast_create(ZEND_AST_METHOD_REFERENCE, $1.ast, $3.ast); }
Implemented Traits for PHP as proposed in the RFC [TRAITS] # RFC http://wiki.php.net/rfc/horizontalreuse#traits_-_reuse_of_behavior # Ok, here we go, I guess that will result in more discussion, which is fine # by me. But now, the patch is here, and properly archived. # # See below a list of notes to the patch, it also includes a list of # points which should be fixed # # Internals of the Traits Patch # ----------------------------- # # Open TODOs # """""""""" # # - Reflection API # - support for traits for internal classes # - currently destroy_zend_class does not handle that case # # Introduced Structures # """"""""""""""""""""" # # Data structures to encode the composition information specified in the # source: # - zend_trait_method_reference # - zend_trait_precedence # - zend_trait_alias # # Changes # """"""" # # zend_class_entry # - uses NULL terminated lists of pointers for # - trait_aliases # - trait_precedences # - do you prefer an explicit counter? # - the information is only necessary during class composition # but might be interesting for reflection # - did not want to blow up class further with not really necessary length counters # # added keywords # - trait # - insteadof # # Added opcodes # ZEND_ADD_TRAIT # - similar to ZEND_ADD_INTERFACE # - adds the trait to the list of traits of a class, no actual composition done # ZEND_BIND_TRAITS # - emitted in zend_do_end_class_declaration # - concludes the class definition and will initiate the trait composition # when the class definition is encountered during runtime # # Added Flags # ZEND_ACC_TRAIT = 0x120 # ZEND_ACC_IMPLEMENT_TRAITS = 0x400000 # ZEND_FETCH_CLASS_TRAIT = 14 # # zend_vm_execute.h # - not sure whether the handler initialization (ZEND_ADD_TRAIT_SPEC_HANDLER, # ZEND_BIND_TRAITS_SPEC_HANDLER) is correct, maybe it should be more selective # # zend_compile.c # - refactored do_inherit_method_check # split into do_inherit_method_check and do_inheritance_check_on_method # - added helper functions use a '_' as prefix and are not mentioned in the # headers # - _copy_functions # prepare hash-maps of functions which should be merged into a class # here the aliases are handled # - _merge_functions # builds a hash-table of the methods which need to be added to a class # does the conflict detection # - reused php_runkit_function_copy_ctor # - it is not identical with the original code anymore, needed to update it # think I fixed some bugs, not sure whether all have been reported back to runkit # - has to be renamed, left the name for the moment, to make its origin obvious # - here might be optimization potential # - not sure whether everything needs to be copied # - copying the literals might be broken # - added it since the literals array is freed by efree and gave problems # with doubled frees # - all immutable parts of the zend_op array should not be copied # - am not sure which parts are immutable # - and not sure how to avoid doubled frees on the same arrays on shutdown # - _merge_functions_to_class # does the final merging with the target class to handle inherited # and overridden methods # - small helper for NULL terminated lists # zend_init_list, zend_add_to_list # # zend_language_parser.y # - reused class definition for traits # - there should be something with regard to properties # - if they get explicitly defined, it might be worthwhile to # check that there are no collisions with other traits in a composition # (however, I would not introduce elaborate language features to control that # but a notice for such conflicts might be nice to the developers)
2010-04-23 06:05:56 +08:00
;
trait_modifiers:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.num = 0; }
| member_modifier { $$.num = $1.num; }
Implemented Traits for PHP as proposed in the RFC [TRAITS] # RFC http://wiki.php.net/rfc/horizontalreuse#traits_-_reuse_of_behavior # Ok, here we go, I guess that will result in more discussion, which is fine # by me. But now, the patch is here, and properly archived. # # See below a list of notes to the patch, it also includes a list of # points which should be fixed # # Internals of the Traits Patch # ----------------------------- # # Open TODOs # """""""""" # # - Reflection API # - support for traits for internal classes # - currently destroy_zend_class does not handle that case # # Introduced Structures # """"""""""""""""""""" # # Data structures to encode the composition information specified in the # source: # - zend_trait_method_reference # - zend_trait_precedence # - zend_trait_alias # # Changes # """"""" # # zend_class_entry # - uses NULL terminated lists of pointers for # - trait_aliases # - trait_precedences # - do you prefer an explicit counter? # - the information is only necessary during class composition # but might be interesting for reflection # - did not want to blow up class further with not really necessary length counters # # added keywords # - trait # - insteadof # # Added opcodes # ZEND_ADD_TRAIT # - similar to ZEND_ADD_INTERFACE # - adds the trait to the list of traits of a class, no actual composition done # ZEND_BIND_TRAITS # - emitted in zend_do_end_class_declaration # - concludes the class definition and will initiate the trait composition # when the class definition is encountered during runtime # # Added Flags # ZEND_ACC_TRAIT = 0x120 # ZEND_ACC_IMPLEMENT_TRAITS = 0x400000 # ZEND_FETCH_CLASS_TRAIT = 14 # # zend_vm_execute.h # - not sure whether the handler initialization (ZEND_ADD_TRAIT_SPEC_HANDLER, # ZEND_BIND_TRAITS_SPEC_HANDLER) is correct, maybe it should be more selective # # zend_compile.c # - refactored do_inherit_method_check # split into do_inherit_method_check and do_inheritance_check_on_method # - added helper functions use a '_' as prefix and are not mentioned in the # headers # - _copy_functions # prepare hash-maps of functions which should be merged into a class # here the aliases are handled # - _merge_functions # builds a hash-table of the methods which need to be added to a class # does the conflict detection # - reused php_runkit_function_copy_ctor # - it is not identical with the original code anymore, needed to update it # think I fixed some bugs, not sure whether all have been reported back to runkit # - has to be renamed, left the name for the moment, to make its origin obvious # - here might be optimization potential # - not sure whether everything needs to be copied # - copying the literals might be broken # - added it since the literals array is freed by efree and gave problems # with doubled frees # - all immutable parts of the zend_op array should not be copied # - am not sure which parts are immutable # - and not sure how to avoid doubled frees on the same arrays on shutdown # - _merge_functions_to_class # does the final merging with the target class to handle inherited # and overridden methods # - small helper for NULL terminated lists # zend_init_list, zend_add_to_list # # zend_language_parser.y # - reused class definition for traits # - there should be something with regard to properties # - if they get explicitly defined, it might be worthwhile to # check that there are no collisions with other traits in a composition # (however, I would not introduce elaborate language features to control that # but a notice for such conflicts might be nice to the developers)
2010-04-23 06:05:56 +08:00
;
2003-02-11 17:48:37 +08:00
method_body:
2014-07-27 18:45:38 +08:00
';' /* abstract method */ { $$.ast = NULL; }
| '{' inner_statement_list '}' { $$.ast = $2.ast; }
2003-02-11 17:48:37 +08:00
;
variable_modifiers:
2014-07-27 18:45:38 +08:00
non_empty_member_modifiers { $$.num = $1.num; }
| T_VAR { $$.num = ZEND_ACC_PUBLIC; }
;
method_modifiers:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.num = ZEND_ACC_PUBLIC; }
2014-07-27 18:17:36 +08:00
| non_empty_member_modifiers
2014-07-27 18:45:38 +08:00
{ $$.num = $1.num; if (!($$.num & ZEND_ACC_PPP_MASK)) { $$.num |= ZEND_ACC_PUBLIC; } }
2002-06-29 23:38:40 +08:00
;
1999-04-08 02:10:10 +08:00
2003-02-11 17:48:37 +08:00
non_empty_member_modifiers:
2014-07-27 18:45:38 +08:00
member_modifier { $$.num = $1.num; }
2014-07-27 18:17:36 +08:00
| non_empty_member_modifiers member_modifier
2014-07-27 18:45:38 +08:00
{ $$.num = zend_add_member_modifier($1.num, $2.num); }
1999-04-08 02:10:10 +08:00
;
2003-02-11 17:48:37 +08:00
member_modifier:
2014-07-27 18:45:38 +08:00
T_PUBLIC { $$.num = ZEND_ACC_PUBLIC; }
| T_PROTECTED { $$.num = ZEND_ACC_PROTECTED; }
| T_PRIVATE { $$.num = ZEND_ACC_PRIVATE; }
| T_STATIC { $$.num = ZEND_ACC_STATIC; }
| T_ABSTRACT { $$.num = ZEND_ACC_ABSTRACT; }
| T_FINAL { $$.num = ZEND_ACC_FINAL; }
;
2014-07-19 20:54:56 +08:00
property_list:
property_list ',' property { $$.list = zend_ast_list_add($1.list, $3.ast); }
| property { $$.list = zend_ast_create_list(1, ZEND_AST_PROP_DECL, $1.ast); }
2014-07-19 20:54:56 +08:00
;
property:
T_VARIABLE { $$.ast = zend_ast_create(ZEND_AST_PROP_ELEM, $1.ast, NULL); }
2014-07-19 20:54:56 +08:00
| T_VARIABLE '=' expr
{ $$.ast = zend_ast_create(ZEND_AST_PROP_ELEM, $1.ast, $3.ast); }
;
2014-07-19 21:13:50 +08:00
class_const_list:
class_const_list ',' const_decl { $$.list = zend_ast_list_add($1.list, $3.ast); }
2014-07-22 17:55:07 +08:00
| const_decl
{ $$.list = zend_ast_create_list(1, ZEND_AST_CLASS_CONST_DECL, $1.ast); }
2014-07-19 21:13:50 +08:00
;
2014-07-22 17:55:07 +08:00
const_decl:
T_STRING '=' expr
{ $$.ast = zend_ast_create(ZEND_AST_CONST_ELEM, $1.ast, $3.ast); }
;
echo_expr_list:
echo_expr_list ',' echo_expr { $$.list = zend_ast_list_add($1.list, $3.ast); }
| echo_expr { $$.list = zend_ast_create_list(1, ZEND_AST_STMT_LIST, $1.ast); }
2014-07-08 03:14:14 +08:00
;
echo_expr:
expr { $$.ast = zend_ast_create(ZEND_AST_ECHO, $1.ast); }
1999-04-08 02:10:10 +08:00
;
for_expr:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.ast = NULL; }
| non_empty_for_expr { $$.ast = $1.ast; }
;
non_empty_for_expr:
non_empty_for_expr ',' expr { $$.list = zend_ast_list_add($1.list, $3.ast); }
| expr { $$.list = zend_ast_create_list(1, ZEND_AST_EXPR_LIST, $1.ast); }
1999-04-08 02:10:10 +08:00
;
new_expr:
T_NEW class_name_reference ctor_arguments
{ $$.ast = zend_ast_create(ZEND_AST_NEW, $2.ast, $3.ast); }
;
expr_without_variable:
2014-06-07 19:06:53 +08:00
T_LIST '(' assignment_list ')' '=' expr
{ $$.ast = zend_ast_create(ZEND_AST_ASSIGN, $3.ast, $6.ast); }
2014-06-07 19:06:53 +08:00
| variable '=' expr
{ $$.ast = zend_ast_create(ZEND_AST_ASSIGN, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable '=' '&' variable
{ $$.ast = zend_ast_create(ZEND_AST_ASSIGN_REF, $1.ast, $4.ast); }
| variable '=' '&' T_NEW class_name_reference ctor_arguments
{ zend_error(E_DEPRECATED, "Assigning the return value of new by reference is deprecated");
$$.ast = zend_ast_create(ZEND_AST_ASSIGN_REF, $1.ast,
zend_ast_create(ZEND_AST_NEW, $5.ast, $6.ast)); }
| T_CLONE expr { $$.ast = zend_ast_create(ZEND_AST_CLONE, $2.ast); }
2014-06-07 19:06:53 +08:00
| variable T_PLUS_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_ADD, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable T_MINUS_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_SUB, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable T_MUL_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_MUL, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable T_POW_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_POW, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable T_DIV_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_DIV, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable T_CONCAT_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_CONCAT, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable T_MOD_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_MOD, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable T_AND_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_BW_AND, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable T_OR_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_BW_OR, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable T_XOR_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_BW_XOR, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable T_SL_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_SL, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable T_SR_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_assign_op(ZEND_ASSIGN_SR, $1.ast, $3.ast); }
| variable T_INC { $$.ast = zend_ast_create(ZEND_AST_POST_INC, $1.ast); }
| T_INC variable { $$.ast = zend_ast_create(ZEND_AST_PRE_INC, $2.ast); }
| variable T_DEC { $$.ast = zend_ast_create(ZEND_AST_POST_DEC, $1.ast); }
| T_DEC variable { $$.ast = zend_ast_create(ZEND_AST_PRE_DEC, $2.ast); }
| expr T_BOOLEAN_OR expr
{ $$.ast = zend_ast_create(ZEND_AST_OR, $1.ast, $3.ast); }
| expr T_BOOLEAN_AND expr
{ $$.ast = zend_ast_create(ZEND_AST_AND, $1.ast, $3.ast); }
| expr T_LOGICAL_OR expr
{ $$.ast = zend_ast_create(ZEND_AST_OR, $1.ast, $3.ast); }
| expr T_LOGICAL_AND expr
{ $$.ast = zend_ast_create(ZEND_AST_AND, $1.ast, $3.ast); }
| expr T_LOGICAL_XOR expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_binary_op(ZEND_BOOL_XOR, $1.ast, $3.ast); }
| expr '|' expr { $$.ast = zend_ast_create_binary_op(ZEND_BW_OR, $1.ast, $3.ast); }
| expr '&' expr { $$.ast = zend_ast_create_binary_op(ZEND_BW_AND, $1.ast, $3.ast); }
| expr '^' expr { $$.ast = zend_ast_create_binary_op(ZEND_BW_XOR, $1.ast, $3.ast); }
| expr '.' expr { $$.ast = zend_ast_create_binary_op(ZEND_CONCAT, $1.ast, $3.ast); }
| expr '+' expr { $$.ast = zend_ast_create_binary_op(ZEND_ADD, $1.ast, $3.ast); }
| expr '-' expr { $$.ast = zend_ast_create_binary_op(ZEND_SUB, $1.ast, $3.ast); }
| expr '*' expr { $$.ast = zend_ast_create_binary_op(ZEND_MUL, $1.ast, $3.ast); }
| expr T_POW expr { $$.ast = zend_ast_create_binary_op(ZEND_POW, $1.ast, $3.ast); }
| expr '/' expr { $$.ast = zend_ast_create_binary_op(ZEND_DIV, $1.ast, $3.ast); }
| expr '%' expr { $$.ast = zend_ast_create_binary_op(ZEND_MOD, $1.ast, $3.ast); }
| expr T_SL expr { $$.ast = zend_ast_create_binary_op(ZEND_SL, $1.ast, $3.ast); }
| expr T_SR expr { $$.ast = zend_ast_create_binary_op(ZEND_SR, $1.ast, $3.ast); }
| '+' expr %prec T_INC { $$.ast = zend_ast_create(ZEND_AST_UNARY_PLUS, $2.ast); }
| '-' expr %prec T_INC { $$.ast = zend_ast_create(ZEND_AST_UNARY_MINUS, $2.ast); }
| '!' expr { $$.ast = zend_ast_create_ex(ZEND_AST_UNARY_OP, ZEND_BOOL_NOT, $2.ast); }
| '~' expr { $$.ast = zend_ast_create_ex(ZEND_AST_UNARY_OP, ZEND_BW_NOT, $2.ast); }
| expr T_IS_IDENTICAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_binary_op(ZEND_IS_IDENTICAL, $1.ast, $3.ast); }
| expr T_IS_NOT_IDENTICAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_binary_op(ZEND_IS_NOT_IDENTICAL, $1.ast, $3.ast); }
| expr T_IS_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_binary_op(ZEND_IS_EQUAL, $1.ast, $3.ast); }
| expr T_IS_NOT_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_binary_op(ZEND_IS_NOT_EQUAL, $1.ast, $3.ast); }
| expr '<' expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_binary_op(ZEND_IS_SMALLER, $1.ast, $3.ast); }
| expr T_IS_SMALLER_OR_EQUAL expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_binary_op(ZEND_IS_SMALLER_OR_EQUAL, $1.ast, $3.ast); }
| expr '>' expr
{ $$.ast = zend_ast_create(ZEND_AST_GREATER, $1.ast, $3.ast); }
| expr T_IS_GREATER_OR_EQUAL expr
{ $$.ast = zend_ast_create(ZEND_AST_GREATER_EQUAL, $1.ast, $3.ast); }
| expr T_INSTANCEOF class_name_reference
{ $$.ast = zend_ast_create(ZEND_AST_INSTANCEOF, $1.ast, $3.ast); }
2014-07-27 18:45:38 +08:00
| parenthesis_expr { $$.ast = $1.ast; }
| new_expr { $$.ast = $1.ast; }
| expr '?' expr ':' expr
{ $$.ast = zend_ast_create(ZEND_AST_CONDITIONAL, $1.ast, $3.ast, $5.ast); }
| expr '?' ':' expr
{ $$.ast = zend_ast_create(ZEND_AST_CONDITIONAL, $1.ast, NULL, $4.ast); }
2014-07-27 18:45:38 +08:00
| internal_functions_in_yacc { $$.ast = $1.ast; }
2014-06-19 19:57:29 +08:00
| T_INT_CAST expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_cast(IS_LONG, $2.ast); }
2014-06-19 19:57:29 +08:00
| T_DOUBLE_CAST expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_cast(IS_DOUBLE, $2.ast); }
2014-06-19 19:57:29 +08:00
| T_STRING_CAST expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_cast(IS_STRING, $2.ast); }
2014-06-19 19:57:29 +08:00
| T_ARRAY_CAST expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_cast(IS_ARRAY, $2.ast); }
2014-06-19 19:57:29 +08:00
| T_OBJECT_CAST expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_cast(IS_OBJECT, $2.ast); }
2014-06-19 19:57:29 +08:00
| T_BOOL_CAST expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_cast(_IS_BOOL, $2.ast); }
2014-06-19 19:57:29 +08:00
| T_UNSET_CAST expr
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_cast(IS_NULL, $2.ast); }
| T_EXIT exit_expr { $$.ast = zend_ast_create(ZEND_AST_EXIT, $2.ast); }
| '@' expr { $$.ast = zend_ast_create(ZEND_AST_SILENCE, $2.ast); }
2014-07-27 18:45:38 +08:00
| scalar { $$.ast = $1.ast; }
| '`' backticks_expr '`' { $$.ast = zend_ast_create(ZEND_AST_SHELL_EXEC, $2.ast); }
| T_PRINT expr { $$.ast = zend_ast_create(ZEND_AST_PRINT, $2.ast); }
| T_YIELD { $$.ast = zend_ast_create(ZEND_AST_YIELD, NULL, NULL); }
| T_YIELD expr { $$.ast = zend_ast_create(ZEND_AST_YIELD, $2.ast, NULL); }
| T_YIELD expr T_DOUBLE_ARROW expr
{ $$.ast = zend_ast_create(ZEND_AST_YIELD, $4.ast, $2.ast); }
| function returns_ref '(' parameter_list ')' lexical_vars
2014-07-27 18:45:38 +08:00
{ $$.str = CG(doc_comment); CG(doc_comment) = NULL; }
'{' inner_statement_list '}'
2014-07-28 20:51:08 +08:00
{ $$.ast = zend_ast_create_decl(ZEND_AST_CLOSURE, $2.num, $1.num, $7.str,
STR_INIT("{closure}", sizeof("{closure}") - 1, 0),
2014-07-27 18:45:38 +08:00
$4.ast, $6.ast, $9.ast); }
2014-07-18 21:47:46 +08:00
| T_STATIC function returns_ref '(' parameter_list ')' lexical_vars
2014-07-27 18:45:38 +08:00
{ $$.str = CG(doc_comment); CG(doc_comment) = NULL; }
2014-07-18 21:47:46 +08:00
'{' inner_statement_list '}'
2014-07-28 20:51:08 +08:00
{ $$.ast = zend_ast_create_decl(ZEND_AST_CLOSURE, $3.num | ZEND_ACC_STATIC, $2.num,
2014-07-27 18:45:38 +08:00
$8.str, STR_INIT("{closure}", sizeof("{closure}") - 1, 0),
$5.ast, $7.ast, $10.ast); }
;
function:
2014-07-27 18:45:38 +08:00
T_FUNCTION { $$.num = CG(zend_lineno); }
2014-07-18 21:23:16 +08:00
;
2014-07-18 21:47:46 +08:00
returns_ref:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.num = 0; }
| '&' { $$.num = ZEND_ACC_RETURN_REFERENCE; }
2014-07-18 21:47:46 +08:00
;
lexical_vars:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.ast = NULL; }
| T_USE '(' lexical_var_list ')' { $$.ast = $3.ast; }
;
lexical_var_list:
lexical_var_list ',' lexical_var { $$.list = zend_ast_list_add($1.list, $3.ast); }
| lexical_var { $$.list = zend_ast_create_list(1, ZEND_AST_CLOSURE_USES, $1.ast); }
2014-07-18 18:30:39 +08:00
;
lexical_var:
2014-07-27 18:45:38 +08:00
T_VARIABLE { $$.ast = $1.ast; }
| '&' T_VARIABLE { $$.ast = $2.ast; $$.ast->attr = 1; }
1999-04-08 02:10:10 +08:00
;
function_call:
2014-07-13 19:11:55 +08:00
name argument_list
{ $$.ast = zend_ast_create(ZEND_AST_CALL, $1.ast, $2.ast); }
2014-07-13 19:11:55 +08:00
| class_name T_PAAMAYIM_NEKUDOTAYIM member_name argument_list
{ $$.ast = zend_ast_create(ZEND_AST_STATIC_CALL,
2014-07-27 18:45:38 +08:00
$1.ast, $3.ast, $4.ast); }
2014-07-13 19:11:55 +08:00
| variable_class_name T_PAAMAYIM_NEKUDOTAYIM member_name argument_list
{ $$.ast = zend_ast_create(ZEND_AST_STATIC_CALL,
2014-07-27 18:45:38 +08:00
$1.ast, $3.ast, $4.ast); }
2014-07-13 19:11:55 +08:00
| callable_expr argument_list
{ $$.ast = zend_ast_create(ZEND_AST_CALL, $1.ast, $2.ast); }
;
class_name:
2014-07-20 05:30:07 +08:00
T_STATIC
{ zval zv; ZVAL_STRINGL(&zv, "static", sizeof("static")-1);
2014-07-27 18:45:38 +08:00
$$.ast = zend_ast_create_zval_ex(&zv, ZEND_NAME_NOT_FQ); }
| name { $$.ast = $1.ast; }
;
class_name_reference:
2014-07-27 18:45:38 +08:00
class_name { $$.ast = $1.ast; }
| new_variable { $$.ast = $1.ast; }
;
1999-04-08 02:10:10 +08:00
exit_expr:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.ast = NULL; }
| '(' ')' { $$.ast = NULL; }
| parenthesis_expr { $$.ast = $1.ast; }
1999-04-08 02:10:10 +08:00
;
backticks_expr:
2014-06-19 19:57:29 +08:00
/* empty */
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_zval_from_str(STR_EMPTY_ALLOC()); }
| T_ENCAPSED_AND_WHITESPACE { $$.ast = $1.ast; }
| encaps_list { $$.ast = $1.ast; }
;
1999-04-08 02:10:10 +08:00
ctor_arguments:
/* empty */ { $$.list = zend_ast_create_list(0, ZEND_AST_ARG_LIST); }
2014-07-27 18:45:38 +08:00
| argument_list { $$.ast = $1.ast; }
1999-04-08 02:10:10 +08:00
;
dereferencable_scalar:
2014-07-27 18:45:38 +08:00
T_ARRAY '(' array_pair_list ')' { $$.ast = $3.ast; }
| '[' array_pair_list ']' { $$.ast = $2.ast; }
| T_CONSTANT_ENCAPSED_STRING { $$.ast = $1.ast; }
;
2014-06-27 04:04:09 +08:00
scalar:
2014-07-27 18:45:38 +08:00
T_LNUMBER { $$.ast = $1.ast; }
| T_DNUMBER { $$.ast = $1.ast; }
| T_LINE { $$.ast = $1.ast; }
| T_FILE { $$.ast = $1.ast; }
| T_DIR { $$.ast = $1.ast; }
| T_TRAIT_C { $$.ast = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_TRAIT_C); }
| T_METHOD_C { $$.ast = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_METHOD_C); }
| T_FUNC_C { $$.ast = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_FUNC_C); }
| T_NS_C { $$.ast = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_NS_C); }
| T_CLASS_C { $$.ast = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_CLASS_C); }
2014-07-27 18:45:38 +08:00
| T_START_HEREDOC T_ENCAPSED_AND_WHITESPACE T_END_HEREDOC { $$.ast = $2.ast; }
2014-06-27 04:04:09 +08:00
| T_START_HEREDOC T_END_HEREDOC
2014-07-27 18:45:38 +08:00
{ $$.ast = zend_ast_create_zval_from_str(STR_EMPTY_ALLOC()); }
| '"' encaps_list '"' { $$.ast = $2.ast; }
| T_START_HEREDOC encaps_list T_END_HEREDOC { $$.ast = $2.ast; }
| dereferencable_scalar { $$.ast = $1.ast; }
| class_name_scalar { $$.ast = $1.ast; }
| class_constant { $$.ast = $1.ast; }
| name { $$.ast = zend_ast_create(ZEND_AST_CONST, $1.ast); }
1999-04-08 02:10:10 +08:00
;
possible_comma:
/* empty */
| ','
;
1999-04-08 02:10:10 +08:00
expr:
2014-07-27 18:45:38 +08:00
variable { $$.ast = $1.ast; }
| expr_without_variable { $$.ast = $1.ast; }
1999-04-08 02:10:10 +08:00
;
parenthesis_expr:
2014-07-27 18:45:38 +08:00
'(' expr ')' { $$.ast = $2.ast; }
1999-04-08 02:10:10 +08:00
;
variable_class_name:
2014-07-27 18:45:38 +08:00
dereferencable { $$.ast = $1.ast; }
;
dereferencable:
2014-07-27 18:45:38 +08:00
variable { $$.ast = $1.ast; }
| '(' expr ')' { $$.ast = $2.ast; }
| dereferencable_scalar { $$.ast = $1.ast; }
;
2014-05-31 23:18:37 +08:00
callable_expr:
2014-07-27 18:45:38 +08:00
callable_variable { $$.ast = $1.ast; }
| '(' expr ')' { $$.ast = $2.ast; }
| dereferencable_scalar { $$.ast = $1.ast; }
2014-05-31 23:18:37 +08:00
;
callable_variable:
2014-05-31 06:02:51 +08:00
simple_variable
{ $$.ast = zend_ast_create(ZEND_AST_VAR, $1.ast); }
2014-05-31 06:02:51 +08:00
| dereferencable '[' dim_offset ']'
{ $$.ast = zend_ast_create(ZEND_AST_DIM, $1.ast, $3.ast); }
2014-05-31 06:02:51 +08:00
| dereferencable '{' expr '}'
{ $$.ast = zend_ast_create(ZEND_AST_DIM, $1.ast, $3.ast); }
2014-07-13 19:11:55 +08:00
| dereferencable T_OBJECT_OPERATOR member_name argument_list
{ $$.ast = zend_ast_create(ZEND_AST_METHOD_CALL, $1.ast, $3.ast, $4.ast); }
2014-07-27 18:45:38 +08:00
| function_call { $$.ast = $1.ast; }
1999-04-08 02:10:10 +08:00
;
2014-05-31 05:36:30 +08:00
variable:
2014-06-07 19:06:53 +08:00
callable_variable
2014-07-27 18:45:38 +08:00
{ $$.ast = $1.ast; }
2014-06-07 19:06:53 +08:00
| static_member
2014-07-27 18:45:38 +08:00
{ $$.ast = $1.ast; }
2014-06-01 03:00:11 +08:00
| dereferencable T_OBJECT_OPERATOR member_name
{ $$.ast = zend_ast_create(ZEND_AST_PROP, $1.ast, $3.ast); }
2014-05-31 04:33:03 +08:00
;
simple_variable:
2014-06-07 19:06:53 +08:00
T_VARIABLE
2014-07-27 18:45:38 +08:00
{ $$.ast = $1.ast; }
2014-06-07 19:06:53 +08:00
| '$' '{' expr '}'
2014-07-27 18:45:38 +08:00
{ $$.ast = $3.ast; }
2014-06-07 19:06:53 +08:00
| '$' simple_variable
{ $$.ast = zend_ast_create(ZEND_AST_VAR, $2.ast); }
1999-04-08 02:10:10 +08:00
;
static_member:
2014-06-07 19:06:53 +08:00
class_name T_PAAMAYIM_NEKUDOTAYIM simple_variable
{ $$.ast = zend_ast_create(ZEND_AST_STATIC_PROP, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| variable_class_name T_PAAMAYIM_NEKUDOTAYIM simple_variable
{ $$.ast = zend_ast_create(ZEND_AST_STATIC_PROP, $1.ast, $3.ast); }
;
new_variable:
simple_variable
{ $$.ast = zend_ast_create(ZEND_AST_VAR, $1.ast); }
2014-06-07 19:06:53 +08:00
| new_variable '[' dim_offset ']'
{ $$.ast = zend_ast_create(ZEND_AST_DIM, $1.ast, $3.ast); }
2014-06-07 19:06:53 +08:00
| new_variable '{' expr '}'
{ $$.ast = zend_ast_create(ZEND_AST_DIM, $1.ast, $3.ast); }
2014-06-01 03:00:11 +08:00
| new_variable T_OBJECT_OPERATOR member_name
{ $$.ast = zend_ast_create(ZEND_AST_PROP, $1.ast, $3.ast); }
| class_name T_PAAMAYIM_NEKUDOTAYIM simple_variable
{ $$.ast = zend_ast_create(ZEND_AST_STATIC_PROP, $1.ast, $3.ast); }
| new_variable T_PAAMAYIM_NEKUDOTAYIM simple_variable
{ $$.ast = zend_ast_create(ZEND_AST_STATIC_PROP, $1.ast, $3.ast); }
;
1999-04-08 02:10:10 +08:00
dim_offset:
2014-07-27 18:45:38 +08:00
/* empty */ { $$.ast = NULL; }
| expr { $$.ast = $1.ast; }
1999-04-08 02:10:10 +08:00
;
2014-06-01 02:58:44 +08:00
member_name:
2014-07-27 18:45:38 +08:00
T_STRING { $$.ast = $1.ast; }
| '{' expr '}' { $$.ast = $2.ast; }
| simple_variable { $$.ast = zend_ast_create(ZEND_AST_VAR, $1.ast); }
1999-04-08 02:10:10 +08:00
;
assignment_list:
assignment_list ',' assignment_list_element
{ $$.list = zend_ast_list_add($1.list, $3.ast); }
1999-04-08 02:10:10 +08:00
| assignment_list_element
{ $$.list = zend_ast_create_list(1, ZEND_AST_LIST, $1.ast); }
1999-04-08 02:10:10 +08:00
;
assignment_list_element:
2014-07-27 18:45:38 +08:00
variable { $$.ast = $1.ast; }
| T_LIST '(' assignment_list ')' { $$.ast = $3.ast; }
| /* empty */ { $$.ast = NULL; }
1999-04-08 02:10:10 +08:00
;
array_pair_list:
/* empty */ { $$.list = zend_ast_create_list(0, ZEND_AST_ARRAY); }
2014-07-27 18:45:38 +08:00
| non_empty_array_pair_list possible_comma { $$.ast = $1.ast; }
1999-04-08 02:10:10 +08:00
;
non_empty_array_pair_list:
2014-06-19 19:57:29 +08:00
non_empty_array_pair_list ',' array_pair
{ $$.list = zend_ast_list_add($1.list, $3.ast); }
2014-06-19 19:57:29 +08:00
| array_pair
{ $$.list = zend_ast_create_list(1, ZEND_AST_ARRAY, $1.ast); }
2014-06-19 19:57:29 +08:00
;
array_pair:
expr T_DOUBLE_ARROW expr
{ $$.ast = zend_ast_create(ZEND_AST_ARRAY_ELEM, $3.ast, $1.ast); }
| expr { $$.ast = zend_ast_create(ZEND_AST_ARRAY_ELEM, $1.ast, NULL); }
2014-06-19 19:57:29 +08:00
| expr T_DOUBLE_ARROW '&' variable
{ $$.ast = zend_ast_create_ex(ZEND_AST_ARRAY_ELEM, 1, $4.ast, $1.ast); }
2014-06-19 19:57:29 +08:00
| '&' variable
{ $$.ast = zend_ast_create_ex(ZEND_AST_ARRAY_ELEM, 1, $2.ast, NULL); }
1999-04-08 02:10:10 +08:00
;
encaps_list:
2014-06-07 19:06:53 +08:00
encaps_list encaps_var
{ $$.list = zend_ast_list_add($1.list, $2.ast); }
2014-06-22 02:03:29 +08:00
| encaps_list T_ENCAPSED_AND_WHITESPACE
{ $$.list = zend_ast_list_add($1.list, $2.ast); }
2014-06-22 02:03:29 +08:00
| encaps_var
{ $$.list = zend_ast_create_list(1, ZEND_AST_ENCAPS_LIST, $1.ast); }
2014-06-07 19:06:53 +08:00
| T_ENCAPSED_AND_WHITESPACE encaps_var
{ $$.list = zend_ast_create_list(2, ZEND_AST_ENCAPS_LIST, $1.ast, $2.ast); }
1999-04-08 02:10:10 +08:00
;
encaps_var:
2014-06-07 19:06:53 +08:00
T_VARIABLE
{ $$.ast = zend_ast_create(ZEND_AST_VAR, $1.ast); }
2014-06-07 19:06:53 +08:00
| T_VARIABLE '[' encaps_var_offset ']'
{ $$.ast = zend_ast_create(ZEND_AST_DIM,
zend_ast_create(ZEND_AST_VAR, $1.ast), $3.ast); }
2014-06-07 19:06:53 +08:00
| T_VARIABLE T_OBJECT_OPERATOR T_STRING
{ $$.ast = zend_ast_create(ZEND_AST_PROP,
zend_ast_create(ZEND_AST_VAR, $1.ast), $3.ast); }
2014-06-07 19:06:53 +08:00
| T_DOLLAR_OPEN_CURLY_BRACES expr '}'
{ $$.ast = zend_ast_create(ZEND_AST_VAR, $2.ast); }
2014-06-22 02:11:31 +08:00
| T_DOLLAR_OPEN_CURLY_BRACES T_STRING_VARNAME '}'
{ $$.ast = zend_ast_create(ZEND_AST_VAR, $2.ast); }
2014-06-07 19:06:53 +08:00
| T_DOLLAR_OPEN_CURLY_BRACES T_STRING_VARNAME '[' expr ']' '}'
{ $$.ast = zend_ast_create(ZEND_AST_DIM,
zend_ast_create(ZEND_AST_VAR, $2.ast), $4.ast); }
2014-07-27 18:45:38 +08:00
| T_CURLY_OPEN variable '}' { $$.ast = $2.ast; }
1999-04-08 02:10:10 +08:00
;
encaps_var_offset:
2014-07-27 18:45:38 +08:00
T_STRING { $$.ast = $1.ast; }
| T_NUM_STRING { $$.ast = $1.ast; }
| T_VARIABLE { $$.ast = zend_ast_create(ZEND_AST_VAR, $1.ast); }
1999-04-08 02:10:10 +08:00
;
internal_functions_in_yacc:
2014-07-27 18:45:38 +08:00
T_ISSET '(' isset_variables ')' { $$.ast = $3.ast; }
| T_EMPTY '(' expr ')' { $$.ast = zend_ast_create(ZEND_AST_EMPTY, $3.ast); }
2014-06-19 19:57:29 +08:00
| T_INCLUDE expr
{ $$.ast = zend_ast_create_ex(ZEND_AST_INCLUDE_OR_EVAL, ZEND_INCLUDE, $2.ast); }
2014-06-19 19:57:29 +08:00
| T_INCLUDE_ONCE expr
{ $$.ast = zend_ast_create_ex(ZEND_AST_INCLUDE_OR_EVAL, ZEND_INCLUDE_ONCE, $2.ast); }
2014-06-19 19:57:29 +08:00
| T_EVAL '(' expr ')'
{ $$.ast = zend_ast_create_ex(ZEND_AST_INCLUDE_OR_EVAL, ZEND_EVAL, $3.ast); }
2014-06-19 19:57:29 +08:00
| T_REQUIRE expr
{ $$.ast = zend_ast_create_ex(ZEND_AST_INCLUDE_OR_EVAL, ZEND_REQUIRE, $2.ast); }
2014-06-19 19:57:29 +08:00
| T_REQUIRE_ONCE expr
{ $$.ast = zend_ast_create_ex(ZEND_AST_INCLUDE_OR_EVAL, ZEND_REQUIRE_ONCE, $2.ast); }
1999-04-08 02:10:10 +08:00
;
isset_variables:
2014-07-27 18:45:38 +08:00
isset_variable { $$.ast = $1.ast; }
2014-06-19 19:57:29 +08:00
| isset_variables ',' isset_variable
{ $$.ast = zend_ast_create(ZEND_AST_AND, $1.ast, $3.ast); }
;
isset_variable:
expr { $$.ast = zend_ast_create(ZEND_AST_ISSET, $1.ast); }
;
1999-04-08 02:10:10 +08:00
2003-06-02 20:13:11 +08:00
class_constant:
2014-06-19 19:57:29 +08:00
class_name T_PAAMAYIM_NEKUDOTAYIM T_STRING
{ $$.ast = zend_ast_create(ZEND_AST_CLASS_CONST, $1.ast, $3.ast); }
2014-06-19 19:57:29 +08:00
| variable_class_name T_PAAMAYIM_NEKUDOTAYIM T_STRING
{ $$.ast = zend_ast_create(ZEND_AST_CLASS_CONST, $1.ast, $3.ast); }
;
class_name_scalar:
2014-06-19 19:57:29 +08:00
class_name T_PAAMAYIM_NEKUDOTAYIM T_CLASS
{ $$.ast = zend_ast_create(ZEND_AST_RESOLVE_CLASS_NAME, $1.ast); }
;
1999-04-08 02:10:10 +08:00
%%
2011-06-24 07:00:53 +08:00
/* Copy to YYRES the contents of YYSTR after stripping away unnecessary
quotes and backslashes, so that it's suitable for yyerror. The
heuristic is that double-quoting is unnecessary unless the string
contains an apostrophe, a comma, or backslash (other than
backslash-backslash). YYSTR is taken from yytname. If YYRES is
null, do not copy; instead, return the length of what the result
would have been. */
static YYSIZE_T zend_yytnamerr(char *yyres, const char *yystr)
{
if (!yyres) {
return yystrlen(yystr);
}
{
TSRMLS_FETCH();
if (CG(parse_error) == 0) {
2011-06-24 08:38:53 +08:00
char buffer[120];
const unsigned char *end, *str, *tok1 = NULL, *tok2 = NULL;
2011-06-24 07:00:53 +08:00
unsigned int len = 0, toklen = 0, yystr_len;
CG(parse_error) = 1;
if (LANG_SCNG(yy_text)[0] == 0 &&
LANG_SCNG(yy_leng) == 1 &&
memcmp(yystr, "\"end of file\"", sizeof("\"end of file\"") - 1) == 0) {
2011-06-24 08:38:53 +08:00
yystpcpy(yyres, "end of file");
return sizeof("end of file")-1;
2011-06-24 07:00:53 +08:00
}
str = LANG_SCNG(yy_text);
end = memchr(str, '\n', LANG_SCNG(yy_leng));
yystr_len = yystrlen(yystr);
if ((tok1 = memchr(yystr, '(', yystr_len)) != NULL
&& (tok2 = zend_memrchr(yystr, ')', yystr_len)) != NULL) {
toklen = (tok2 - tok1) + 1;
} else {
tok1 = tok2 = NULL;
toklen = 0;
}
if (end == NULL) {
len = LANG_SCNG(yy_leng) > 30 ? 30 : LANG_SCNG(yy_leng);
} else {
len = (end - str) > 30 ? 30 : (end - str);
}
if (toklen) {
snprintf(buffer, sizeof(buffer), "'%.*s' %.*s", len, str, toklen, tok1);
} else {
snprintf(buffer, sizeof(buffer), "'%.*s'", len, str);
}
2011-06-24 08:38:53 +08:00
yystpcpy(yyres, buffer);
return len + (toklen ? toklen + 1 : 0) + 2;
2011-06-24 07:00:53 +08:00
}
}
if (*yystr == '"') {
YYSIZE_T yyn = 0;
const char *yyp = yystr;
for (; *++yyp != '"'; ++yyn) {
yyres[yyn] = *yyp;
}
yyres[yyn] = '\0';
return yyn;
}
2011-06-24 08:38:53 +08:00
yystpcpy(yyres, yystr);
return strlen(yystr);
2011-06-24 07:00:53 +08:00
}
/*
* Local variables:
* tab-width: 4
* c-basic-offset: 4
* indent-tabs-mode: t
* End:
*/