PHP5.3.6文法

此文法剥夺自PHP5.3.6源代码

-------------------------------
start:
top_statement_list
;

top_statement_list:
top_statement_list   top_statement
| /* empty */
;

namespace_name:
T_STRING
| namespace_name T_NS_SEPARATOR T_STRING
;

top_statement:
statement
| function_declaration_statement
| class_declaration_statement
| T_HALT_COMPILER '(' ')' ';'
| T_NAMESPACE namespace_name ';'
| T_NAMESPACE namespace_name '
top_statement_list '}'    
| T_NAMESPACE '
top_statement_list '}'
| T_USE use_declarations ';'     
| constant_declaration ';'
;

use_declarations:
use_declarations ',' use_declaration
| use_declaration
;

use_declaration:
namespace_name
| namespace_name T_AS T_STRING
| T_NS_SEPARATOR namespace_name
| T_NS_SEPARATOR namespace_name T_AS T_STRING
;

constant_declaration:
constant_declaration ',' T_STRING '=' static_scalar
| T_CONST T_STRING '=' static_scalar
;

inner_statement_list:
inner_statement_list   inner_statement
| /* empty */
;


inner_statement:
statement
| function_declaration_statement
| class_declaration_statement
| T_HALT_COMPILER '(' ')' ';'  
;


statement:
unticked_statement
| T_STRING ':'
;

unticked_statement:
''
| T_IF '(' expr ')'  statement  elseif_list else_single
| T_IF '(' expr ')' ':'  inner_statement_list  new_elseif_list new_else_single T_ENDIF ';'
| T_WHILE '('  expr  ')'  while_statement
| T_DO  statement T_WHILE '('  expr ')' ';'
| T_FOR
'('
for_expr
';'
for_expr
';'
for_expr
')'
for_statement
| T_SWITCH '(' expr ')' switch_case_list
| T_BREAK ';'
| T_BREAK expr ';'
| T_CONTINUE ';'
| T_CONTINUE expr ';'
| T_RETURN ';'
| T_RETURN expr_without_variable ';'
| T_RETURN variable ';'
| T_GLOBAL global_var_list ';'
| T_STATIC static_var_list ';'
| T_ECHO echo_expr_list ';'
| T_INLINE_HTML
| expr ';'
| T_UNSET '(' unset_variables ')' ';'
| T_FOREACH '(' variable T_AS

foreach_variable foreach_optional_arg ')'
foreach_statement
| T_FOREACH '(' expr_without_variable T_AS

variable foreach_optional_arg ')'
foreach_statement
| T_DECLARE  '(' declare_list ')' declare_statement
| ';' /* empty statement */
| T_TRY  ''
T_CATCH '('
fully_qualified_class_name
T_VARIABLE ')'
''
additional_catches
| T_THROW expr ';'
| T_GOTO T_STRING ';'
;


additional_catches:
non_empty_additional_catches
| /* empty */
;

non_empty_additional_catches:
additional_catch
| non_empty_additional_catches additional_catch
;


additional_catch:
T_CATCH '(' fully_qualified_class_name  T_VARIABLE ')'  ''
;


unset_variables:
unset_variable
| unset_variables ',' unset_variable
;

unset_variable:
variable
;

function_declaration_statement:
unticked_function_declaration_statement
;

class_declaration_statement:
unticked_class_declaration_statement
;


is_reference:
/* empty */
| '&'
;


unticked_function_declaration_statement:
function is_reference T_STRING
'(' parameter_list ')' ''
;

unticked_class_declaration_statement:
class_entry_type T_STRING extends_from

implements_list
''
| interface_entry T_STRING

interface_extends_list
''
;


class_entry_type:
T_CLASS
| T_ABSTRACT T_CLASS
| T_FINAL T_CLASS
;

extends_from:
/* empty */
| T_EXTENDS fully_qualified_class_name
;

interface_entry:
T_INTERFACE
;

interface_extends_list:
/* empty */
| T_EXTENDS interface_list
;

implements_list:
/* empty */
| T_IMPLEMENTS interface_list
;

interface_list:
fully_qualified_class_name
| interface_list ',' fully_qualified_class_name
;

foreach_optional_arg:
/* empty */
| T_DOUBLE_ARROW foreach_variable
;


foreach_variable:
variable
| '&' variable
;

for_statement:
statement
| ':' inner_statement_list T_ENDFOR ';'
;


foreach_statement:
statement
| ':' inner_statement_list T_ENDFOREACH ';'
;


declare_statement:
statement
| ':' inner_statement_list T_ENDDECLARE ';'
;


declare_list:
T_STRING '=' static_scalar
| declare_list ',' T_STRING '=' static_scalar
;


switch_case_list:
''
| ''
| ':' case_list T_ENDSWITCH ';'
| ':' ';' case_list T_ENDSWITCH ';'
;


case_list:
/* empty */
| case_list T_CASE expr case_separator  inner_statement_list
| case_list T_DEFAULT case_separator  inner_statement_list
;


case_separator:
':'
| ';'
;


while_statement:
statement
| ':' inner_statement_list T_ENDWHILE ';'
;



elseif_list:
/* empty */
| elseif_list T_ELSEIF '(' expr ')'  statement
;


new_elseif_list:
/* empty */
| new_elseif_list T_ELSEIF '(' expr ')' ':'  inner_statement_list
;


else_single:
/* empty */
| T_ELSE statement
;


new_else_single:
/* empty */
| T_ELSE ':' inner_statement_list
;


parameter_list:
non_empty_parameter_list
| /* empty */
;


non_empty_parameter_list:
optional_class_type T_VARIABLE
| optional_class_type '&' T_VARIABLE
| optional_class_type '&' T_VARIABLE '=' static_scalar
| optional_class_type T_VARIABLE '=' static_scalar
| non_empty_parameter_list ',' optional_class_type T_VARIABLE
| non_empty_parameter_list ',' optional_class_type '&' T_VARIABLE
| non_empty_parameter_list ',' optional_class_type '&' T_VARIABLE '=' static_scalar
| non_empty_parameter_list ',' optional_class_type T_VARIABLE '=' static_scalar
;


optional_class_type:
/* empty */
| fully_qualified_class_name
| T_ARRAY
;


function_call_parameter_list:
non_empty_function_call_parameter_list
| /* empty */
;


non_empty_function_call_parameter_list:
expr_without_variable
| variable
| '&' w_variable
| non_empty_function_call_parameter_list ',' expr_without_variable
| non_empty_function_call_parameter_list ',' variable
| non_empty_function_call_parameter_list ',' '&' w_variable
;

global_var_list:
global_var_list ',' global_var
| global_var
;


global_var:
T_VARIABLE
| '$' r_variable
| '$' ''
;


static_var_list:
static_var_list ',' T_VARIABLE
| static_var_list ',' T_VARIABLE '=' static_scalar
| T_VARIABLE 
| T_VARIABLE '=' static_scalar

;


class_statement_list:
class_statement_list class_statement
| /* empty */
;


class_statement:
variable_modifiers  class_variable_declaration ';'
| class_constant_declaration ';'
| method_modifiers function is_reference T_STRING  '('
parameter_list ')' method_body
;


method_body:
';' /* abstract method */
| ''
;

variable_modifiers:
non_empty_member_modifiers
| T_VAR
;

method_modifiers:
/* empty */
| non_empty_member_modifiers }
;

non_empty_member_modifiers:
member_modifier
| non_empty_member_modifiers member_modifier
;

member_modifier:
T_PUBLIC
| T_PROTECTED
| T_PRIVATE
| T_STATIC
| T_ABSTRACT
| T_FINAL
;

class_variable_declaration:
class_variable_declaration ',' T_VARIABLE
| class_variable_declaration ',' T_VARIABLE '=' static_scalar
| T_VARIABLE
| T_VARIABLE '=' static_scalar
;

class_constant_declaration:
class_constant_declaration ',' T_STRING '=' static_scalar
| T_CONST T_STRING '=' static_scalar
;

echo_expr_list:
echo_expr_list ',' expr
| expr
;


for_expr:
/* empty */
| non_empty_for_expr
;

non_empty_for_expr:
non_empty_for_expr ',' expr
| expr
;

expr_without_variable:
T_LIST '('  assignment_list ')' '=' expr
| variable '=' expr
| variable '=' '&' variable
| variable '=' '&' T_NEW class_name_reference  ctor_arguments
| T_NEW class_name_reference  ctor_arguments
| T_CLONE expr
| variable T_PLUS_EQUAL expr
| variable T_MINUS_EQUAL expr
| variable T_MUL_EQUAL expr
| variable T_DIV_EQUAL expr
| variable T_CONCAT_EQUAL expr
| variable T_MOD_EQUAL expr
| variable T_AND_EQUAL expr
| variable T_OR_EQUAL expr
| variable T_XOR_EQUAL expr
| variable T_SL_EQUAL expr
| variable T_SR_EQUAL expr
| rw_variable T_INC
| T_INC rw_variable
| rw_variable T_DEC
| T_DEC rw_variable
| expr T_BOOLEAN_OR  expr
| expr T_BOOLEAN_AND  expr
| expr T_LOGICAL_OR  expr
| expr T_LOGICAL_AND  expr
| expr T_LOGICAL_XOR expr
| expr '|' expr
| expr '&' expr
| expr '^' expr
| expr '.' expr
| expr '+' expr
| expr '-' expr
| expr '*' expr
| expr '/' expr
| expr '%' expr
| expr T_SL expr
| expr T_SR expr
| '+' expr %prec T_INC  else  }
| '-' expr %prec T_INC  else  }
| '!' expr
| '~' expr
| expr T_IS_IDENTICAL expr
| expr T_IS_NOT_IDENTICAL expr
| expr T_IS_EQUAL expr
| expr T_IS_NOT_EQUAL expr
| expr '<' expr
| expr T_IS_SMALLER_OR_EQUAL expr
| expr '>' expr
| expr T_IS_GREATER_OR_EQUAL expr
| expr T_INSTANCEOF class_name_reference
| '(' expr ')'
| expr '?'
expr ':'
expr
| expr '?' ':'
expr    
| internal_functions_in_yacc
| T_INT_CAST expr
| T_DOUBLE_CAST expr
| T_STRING_CAST expr
| T_ARRAY_CAST expr
| T_OBJECT_CAST expr
| T_BOOL_CAST expr
| T_UNSET_CAST expr
| T_EXIT exit_expr
| '@'  expr
| scalar
| T_ARRAY '(' array_pair_list ')'
| '`' backticks_expr '`'
| T_PRINT expr 
| function is_reference '('
parameter_list ')' lexical_vars ''
;

function:
T_FUNCTION
;

lexical_vars:
/* empty */
| T_USE '(' lexical_var_list ')'
;

lexical_var_list:
lexical_var_list ',' T_VARIABLE
| lexical_var_list ',' '&' T_VARIABLE
| T_VARIABLE
| '&' T_VARIABLE
;

function_call:
namespace_name '('
function_call_parameter_list
')'
| T_NAMESPACE T_NS_SEPARATOR namespace_name '('
function_call_parameter_list
')'
| T_NS_SEPARATOR namespace_name '('
function_call_parameter_list
')'
| class_name T_PAAMAYIM_NEKUDOTAYIM T_STRING '('
function_call_parameter_list
')'
| class_name T_PAAMAYIM_NEKUDOTAYIM variable_without_objects '('
function_call_parameter_list
')'
| variable_class_name T_PAAMAYIM_NEKUDOTAYIM T_STRING '('
function_call_parameter_list
')'
| variable_class_name T_PAAMAYIM_NEKUDOTAYIM variable_without_objects '('
function_call_parameter_list
')'
| variable_without_objects  '('
function_call_parameter_list ')'

;

class_name:
T_STATIC
| namespace_name
| T_NAMESPACE T_NS_SEPARATOR namespace_name
| T_NS_SEPARATOR namespace_name
;

fully_qualified_class_name:
namespace_name
| T_NAMESPACE T_NS_SEPARATOR namespace_name
| T_NS_SEPARATOR namespace_name
;



class_name_reference:
class_name
| dynamic_class_name_reference
;


dynamic_class_name_reference:
base_variable T_OBJECT_OPERATOR
object_property  dynamic_class_name_variable_properties

| base_variable
;


dynamic_class_name_variable_properties:
dynamic_class_name_variable_properties dynamic_class_name_variable_property
| /* empty */
;


dynamic_class_name_variable_property:
T_OBJECT_OPERATOR object_property
;

exit_expr:
/* empty */
| '(' ')'
| '(' expr ')'
;

backticks_expr:
/* empty */
| T_ENCAPSED_AND_WHITESPACE
| encaps_list
;


ctor_arguments:
/* empty */
| '(' function_call_parameter_list ')'
;


common_scalar:
T_LNUMBER
| T_DNUMBER
| T_CONSTANT_ENCAPSED_STRING
| T_LINE
| T_FILE
| T_DIR  
| T_CLASS_C
| T_METHOD_C
| T_FUNC_C
| T_NS_C
| T_START_HEREDOC T_ENCAPSED_AND_WHITESPACE T_END_HEREDOC
| T_START_HEREDOC T_END_HEREDOC
;


static_scalar: /* compile-time evaluated scalars */
common_scalar
| namespace_name
| T_NAMESPACE T_NS_SEPARATOR namespace_name
| T_NS_SEPARATOR namespace_name
| '+' static_scalar
| '-' static_scalar
| T_ARRAY '(' static_array_pair_list ')'
| static_class_constant
;

static_class_constant:
class_name T_PAAMAYIM_NEKUDOTAYIM T_STRING
;

scalar:
T_STRING_VARNAME
| class_constant
| namespace_name
| T_NAMESPACE T_NS_SEPARATOR namespace_name
| T_NS_SEPARATOR namespace_name
| common_scalar
| '"' encaps_list '"'
| T_START_HEREDOC encaps_list T_END_HEREDOC
;


static_array_pair_list:
/* empty */
| non_empty_static_array_pair_list possible_comma
;

possible_comma:
/* empty */
| ','
;

non_empty_static_array_pair_list:
non_empty_static_array_pair_list ',' static_scalar T_DOUBLE_ARROW static_scalar
| non_empty_static_array_pair_list ',' static_scalar
| static_scalar T_DOUBLE_ARROW static_scalar
| static_scalar
;

expr:
r_variable
| expr_without_variable
;


r_variable:
variable
;


w_variable:
variable
;

rw_variable:
variable
;

variable:
base_variable_with_function_calls T_OBJECT_OPERATOR
object_property  method_or_not variable_properties

| base_variable_with_function_calls
;

variable_properties:
variable_properties variable_property
| /* empty */
;


variable_property:
T_OBJECT_OPERATOR object_property  method_or_not
;

method_or_not:
'('
function_call_parameter_list ')'

| /* empty */
;

variable_without_objects:
reference_variable
| simple_indirect_reference reference_variable
;

static_member:
class_name T_PAAMAYIM_NEKUDOTAYIM variable_without_objects
| variable_class_name T_PAAMAYIM_NEKUDOTAYIM variable_without_objects

;

variable_class_name:
reference_variable
;

base_variable_with_function_calls:
base_variable
| function_call
;


base_variable:
reference_variable
| simple_indirect_reference reference_variable
| static_member
;

reference_variable:
reference_variable '[' dim_offset ']'
| reference_variable ''
| compound_variable
;


compound_variable:
T_VARIABLE
| '$' ''
;

dim_offset:
/* empty */
| expr
;


object_property:
object_dim_list
| variable_without_objects 
;

object_dim_list:
object_dim_list '[' dim_offset ']'
| object_dim_list ''
| variable_name
;

variable_name:
T_STRING
| ''
;

simple_indirect_reference:
'$'
| simple_indirect_reference '$'
;

assignment_list:
assignment_list ',' assignment_list_element
| assignment_list_element
;


assignment_list_element:
variable
| T_LIST '('  assignment_list ')'
| /* empty */
;


array_pair_list:
/* empty */
| non_empty_array_pair_list possible_comma
;

non_empty_array_pair_list:
non_empty_array_pair_list ',' expr T_DOUBLE_ARROW expr
| non_empty_array_pair_list ',' expr
| expr T_DOUBLE_ARROW expr
| expr
| non_empty_array_pair_list ',' expr T_DOUBLE_ARROW '&' w_variable
| non_empty_array_pair_list ',' '&' w_variable
| expr T_DOUBLE_ARROW '&' w_variable
| '&' w_variable
;

encaps_list:
encaps_list encaps_var
| encaps_list T_ENCAPSED_AND_WHITESPACE
| encaps_var
| T_ENCAPSED_AND_WHITESPACE encaps_var
;



encaps_var:
T_VARIABLE
| T_VARIABLE '['  encaps_var_offset ']'
| T_VARIABLE T_OBJECT_OPERATOR T_STRING
| T_DOLLAR_OPEN_CURLY_BRACES expr '}'
| T_DOLLAR_OPEN_CURLY_BRACES T_STRING_VARNAME '[' expr ']' '}'
| T_CURLY_OPEN variable '}'
;


encaps_var_offset:
T_STRING
| T_NUM_STRING
| T_VARIABLE
;


internal_functions_in_yacc:
T_ISSET '(' isset_variables ')'
| T_EMPTY '(' variable ')'
| T_INCLUDE expr
| T_INCLUDE_ONCE expr
| T_EVAL '(' expr ')'
| T_REQUIRE expr
| T_REQUIRE_ONCE expr
;

isset_variables:
variable
| isset_variables ','  variable
;

class_constant:
class_name T_PAAMAYIM_NEKUDOTAYIM T_STRING
| variable_class_name T_PAAMAYIM_NEKUDOTAYIM T_STRING
;