Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83024
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.213.53 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAEbg-4aoz9fXVLjE6b7+UvBKmO7iNcN4j-K5pxQr7g2LcejkJQ@mail.gmail.com>
References: <CA+9eiLsxSpbdaa7Bpci2PRXQMRkTUiwZphjQYv2iDyXLUhrMow@mail.gmail.com>
	<CAEPJdukU+oWaH6jm=vk8chXbwUePsa3KPEXbgfx2BVxWBDbtig@mail.gmail.com>
	<CA+9eiLtJ+8UB8XhM8PFGtWtcUz015pnHJPVewVWy2xzdjk2Lxg@mail.gmail.com>
	<CAF+90c_h_rCDtaqOYgknc8kgF8ha487RNgQjFY-q6kUgJ8ijYA@mail.gmail.com>
	<CA+9eiLtEDdA=c=Ntc9UaBf5AgftxqcbOgVNgiKJiDb69Y1cyhA@mail.gmail.com>
	<CAF+90c-96WZbVJyU6XiOMvy6=A2QkRmTBCQ7-6Ds__96pHpozw@mail.gmail.com>
	<CA+9eiLtXWk=xFf1u1to1RKNHJf2tWSxYPuJJF70LBVmx9xGCpg@mail.gmail.com>
	<CAEbg-4aoz9fXVLjE6b7+UvBKmO7iNcN4j-K5pxQr7g2LcejkJQ@mail.gmail.com>
Date: Wed, 18 Feb 2015 10:38:50 +0400
Message-ID: <CA+9eiLtS-CfSu3SzyeG=G-ju=a_oM5P7CTw7CMajttmC=6QWzw@mail.gmail.com>
To: Alexander Lisachenko <lisachenko.it@gmail.com>
Cc: Nikita Popov <nikita.ppv@gmail.com>, Benjamin Eberlei <kontakt@beberlei.de>, 
	PHP Internals <internals@lists.php.net>, Guilherme Blanco <guilhermeblanco@gmail.com>, 
	Pierrick CHARRON <pierrick@webstart.fr>, Pierre Joye <pierre.php@gmail.com>, 
	Zeev Suraski <zeev@zend.com>, Andi Gutmans <andi@zend.com>, Joe Watkins <pthreads@pthreads.org>, 
	Yasuo Ohgaki <yohgaki@ohgaki.net>, Sebastian Bergmann <sebastian@php.net>, 
	Stanislav Malyshev <smalyshev@gmail.com>, Rasmus Lerdorf <rasmus@lerdorf.com>
Content-Type: multipart/alternative; boundary=001a11c3ea3c7f21e1050f5712b4
Subject: Re: [PHP-DEV] Annotations in PHP7
From: dmitry@zend.com (Dmitry Stogov)

--001a11c3ea3c7f21e1050f5712b4
Content-Type: text/plain; charset=UTF-8

On Tue, Feb 17, 2015 at 10:13 PM, Alexander Lisachenko <
lisachenko.it@gmail.com> wrote:

>
> 2015-02-17 19:25 GMT+03:00 Dmitry Stogov <dmitry@zend.com>:
>
>> I think yes,
>> However, Alexander thinks differently
>> https://wiki.php.net/rfc/parser-extension-api
>> Of course this is not for 7.0
>>
>
> This RFC consists of two parts: parsing API and parser extension API. Last
> one can be rejected, however it can be perfectly connected with annotation
> RFC (if AST will be used as values)
>

firs part may be accepted.
The second can't be accepted for 7.0 just because of time limit. (we have
feature freeze in a month)


> As for annotations, general use-case is appreciated. This can be extended
> later in future versions of PHP. Therefore, annotation syntax should allow
> to define key and values. Value can be valid expression (AST? concrete
> node? compiled value?) or can recursively contain nested annotations.
>

Annotaion syntax: <key(php-expression-value)>

"php-expression-value" is parsed by standard PHP parser into AST. This AST
is stored in annotations table at slot "key".
Constant expressions are evaluated at compile-time and we store only the
resulting constant value.

Then it's possible to retrieve this AST (or value) using Reflection API.

ReflectionMethod->getAnnotations();
ReflectionMethod->hasAnnotation(string $key);
ReflectionMethod->getAnnotation(string $key);

Then it's possible to traverse AST using some API like
https://github.com/nikic/php-ast

It also should be possible to evaluate retrieved "php-expression-value" in
some context and reconstruct PHP source for any AST node.

Thanks. Dmitry.

--001a11c3ea3c7f21e1050f5712b4--