Skip to content

Commit e515a50

Browse files
beberleibeberlei
committed
Implemented grouped attribute syntax RFC.
1 parent 1e55e5d commit e515a50

File tree

4 files changed

+63
-39
lines changed

4 files changed

+63
-39
lines changed

‎Zend/zend_ast.c

Lines changed: 15 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1349,19 +1349,20 @@ static ZEND_COLD void zend_ast_export_class_no_header(smart_str *str, zend_ast_d
13491349
smart_str_appends(str, "}");
13501350
}
13511351

1352-
static ZEND_COLD void zend_ast_export_attributes(smart_str *str, zend_ast *ast, int indent, zend_bool newlines) {
1352+
static ZEND_COLD void zend_ast_export_attribute_group(smart_str *str, zend_ast *ast, int indent) {
13531353
zend_ast_list *list = zend_ast_get_list(ast);
1354-
uint32_t i;
1354+
uint32_t i, j;
13551355

13561356
for (i = 0; i < list->children; i++) {
13571357
zend_ast *attr = list->child[i];
13581358

1359-
smart_str_appends(str, "@[");
1359+
if (i) {
1360+
smart_str_appends(str, ", ");
1361+
}
13601362
zend_ast_export_ns_name(str, attr->child[0], 0, indent);
13611363

13621364
if (attr->child[1]) {
13631365
zend_ast_list *args = zend_ast_get_list(attr->child[1]);
1364-
uint32_t j;
13651366

13661367
smart_str_appendc(str, '(');
13671368
for (j = 0; j < args->children; j++) {
@@ -1372,8 +1373,17 @@ static ZEND_COLD void zend_ast_export_attributes(smart_str *str, zend_ast *ast,
13721373
}
13731374
smart_str_appendc(str, ')');
13741375
}
1376+
}
1377+
}
13751378

1376-
smart_str_appendc(str, ']');
1379+
static ZEND_COLD void zend_ast_export_attributes(smart_str *str, zend_ast *ast, int indent, zend_bool newlines) {
1380+
zend_ast_list *list = zend_ast_get_list(ast);
1381+
uint32_t i;
1382+
1383+
for (i = 0; i < list->children; i++) {
1384+
smart_str_appends(str, "@[");
1385+
zend_ast_export_attribute_group(str, list->child[i], indent);
1386+
smart_str_appends(str, "]");
13771387

13781388
if (newlines) {
13791389
smart_str_appendc(str, '\n');

‎Zend/zend_ast.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -63,6 +63,7 @@ enum _zend_ast_kind {
6363
ZEND_AST_USE,
6464
ZEND_AST_TYPE_UNION,
6565
ZEND_AST_ATTRIBUTE_LIST,
66+
ZEND_AST_ATTRIBUTE_GROUP,
6667
ZEND_AST_MATCH_ARM_LIST,
6768

6869
/* 0 child nodes */

‎Zend/zend_compile.c

Lines changed: 38 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -6197,51 +6197,57 @@ static void zend_compile_attributes(HashTable **attributes, zend_ast *ast, uint3
61976197
zend_internal_attribute *config;
61986198

61996199
zend_ast_list *list = zend_ast_get_list(ast);
6200-
uint32_t i, j;
6200+
uint32_t g, i, j;
62016201

62026202
ZEND_ASSERT(ast->kind == ZEND_AST_ATTRIBUTE_LIST);
62036203

6204-
for (i = 0; i < list->children; i++) {
6205-
ZEND_ASSERT(list->child[i]->kind == ZEND_AST_ATTRIBUTE);
6204+
for (g = 0; g < list->children; g++) {
6205+
zend_ast_list *group = zend_ast_get_list(list->child[g]);
62066206

6207-
zend_ast *el = list->child[i];
6208-
zend_string *name = zend_resolve_class_name_ast(el->child[0]);
6209-
zend_ast_list *args = el->child[1] ? zend_ast_get_list(el->child[1]) : NULL;
6207+
ZEND_ASSERT(group->kind == ZEND_AST_ATTRIBUTE_GROUP);
62106208

6211-
attr = zend_add_attribute(attributes, 0, offset, name, args ? args->children : 0);
6212-
zend_string_release(name);
6209+
for (i = 0; i < group->children; i++) {
6210+
ZEND_ASSERT(group->child[i]->kind == ZEND_AST_ATTRIBUTE);
62136211

6214-
/* Populate arguments */
6215-
if (args) {
6216-
ZEND_ASSERT(args->kind == ZEND_AST_ARG_LIST);
6212+
zend_ast *el = group->child[i];
6213+
zend_string *name = zend_resolve_class_name_ast(el->child[0]);
6214+
zend_ast_list *args = el->child[1] ? zend_ast_get_list(el->child[1]) : NULL;
62176215

6218-
zend_bool uses_named_args = 0;
6219-
for (j = 0; j < args->children; j++) {
6220-
zend_ast *arg_ast = args->child[j];
6216+
attr = zend_add_attribute(attributes, 0, offset, name, args ? args->children : 0);
6217+
zend_string_release(name);
62216218

6222-
if (arg_ast->kind == ZEND_AST_UNPACK) {
6223-
zend_error_noreturn(E_COMPILE_ERROR,
6224-
"Cannot use unpacking in attribute argument list");
6225-
}
6219+
/* Populate arguments */
6220+
if (args) {
6221+
ZEND_ASSERT(args->kind == ZEND_AST_ARG_LIST);
62266222

6227-
if (arg_ast->kind == ZEND_AST_NAMED_ARG) {
6228-
attr->args[j].name = zend_string_copy(zend_ast_get_str(arg_ast->child[0]));
6229-
arg_ast = arg_ast->child[1];
6230-
uses_named_args = 1;
6223+
zend_bool uses_named_args = 0;
6224+
for (j = 0; j < args->children; j++) {
6225+
zend_ast *arg_ast = args->child[j];
62316226

6232-
for (uint32_t k = 0; k < j; k++) {
6233-
if (attr->args[k].name &&
6234-
zend_string_equals(attr->args[k].name, attr->args[j].name)) {
6235-
zend_error_noreturn(E_COMPILE_ERROR, "Duplicate named parameter $%s",
6236-
ZSTR_VAL(attr->args[j].name));
6227+
if (arg_ast->kind == ZEND_AST_UNPACK) {
6228+
zend_error_noreturn(E_COMPILE_ERROR,
6229+
"Cannot use unpacking in attribute argument list");
6230+
}
6231+
6232+
if (arg_ast->kind == ZEND_AST_NAMED_ARG) {
6233+
attr->args[j].name = zend_string_copy(zend_ast_get_str(arg_ast->child[0]));
6234+
arg_ast = arg_ast->child[1];
6235+
uses_named_args = 1;
6236+
6237+
for (uint32_t k = 0; k < j; k++) {
6238+
if (attr->args[k].name &&
6239+
zend_string_equals(attr->args[k].name, attr->args[j].name)) {
6240+
zend_error_noreturn(E_COMPILE_ERROR, "Duplicate named parameter $%s",
6241+
ZSTR_VAL(attr->args[j].name));
6242+
}
62376243
}
6244+
} else if (uses_named_args) {
6245+
zend_error_noreturn(E_COMPILE_ERROR,
6246+
"Cannot use positional argument after named argument");
62386247
}
6239-
} else if (uses_named_args) {
6240-
zend_error_noreturn(E_COMPILE_ERROR,
6241-
"Cannot use positional argument after named argument");
6242-
}
62436248

6244-
zend_const_expr_to_zval(&attr->args[j].value, arg_ast);
6249+
zend_const_expr_to_zval(&attr->args[j].value, arg_ast);
6250+
}
62456251
}
62466252
}
62476253
}

‎Zend/zend_language_parser.y

Lines changed: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -266,7 +266,7 @@ static YYSIZE_T zend_yytnamerr(char*, const char*);
266266
%type <ast> identifier type_expr_without_static union_type_without_static
267267
%type <ast> inline_function union_type
268268
%type <ast> attributed_statement attributed_class_statement attributed_parameter
269-
%type <ast> attribute_decl attribute attributes namespace_declaration_name
269+
%type <ast> attribute_decl attribute attributes attribute_group namespace_declaration_name
270270
%type <ast> match match_arm_list non_empty_match_arm_list match_arm match_arm_cond_list
271271

272272
%type <num> returns_ref function fn is_reference is_variadic variable_modifiers
@@ -345,8 +345,15 @@ attribute_decl:
345345
{ $$ = zend_ast_create(ZEND_AST_ATTRIBUTE, $1, $2); }
346346
;
347347

348+
attribute_group:
349+
attribute_decl
350+
{ $$ = zend_ast_create_list(1, ZEND_AST_ATTRIBUTE_GROUP, $1); }
351+
| attribute_group ',' attribute_decl
352+
{ $$ = zend_ast_list_add($1, $3); }
353+
;
354+
348355
attribute:
349-
T_ATTRIBUTE attribute_decl ']' { $$ = $2; }
356+
T_ATTRIBUTE attribute_group possible_comma ']' { $$ = $2; }
350357
;
351358

352359
attributes:

0 commit comments

Comments
 (0)