> De : yohg...@gmail.com [mailto:yohg...@gmail.com] De la part de Yasuo Ohgaki > >Open discussion is needed, of course. >What I meant is discussion for writing up draft RFC is close to finish.
That's fine. > > For method calls, overridden method should not evaluate parents contract on > > entry. > > It should be evaluated when parent method is called. > > I already told you : the logic you are using for pre-conditions is NOT > compatible with Eiffel and D logic, although this is what >you're supposed to mimic. It is actually the opposite. Is it a wanted behavior >? because you should be aware that it does not >respect the LS principle. > > I'll check how your RFC is handling this later. My RFC does not mimic the D logic but that's a choice. I just want to ensure it is the same for you. And it is not clearly explained in your RFC. > > - Consider introduction of static require() as class invariant for static > > methods > > I probably don't understand the idea correctly. Could you give some > > explanations? > > He's probably talking about a new set of conditions that couldn't use > '$this'. Unlike 'dynamic' invariants, these can also be > checked before and after static methods. > OK. So it's for invariant. Yes, it's a way to check static properties more often. > My RFC is not supposed to be implemented in the core. Derick is OK to help me > adding the feature to Xdebug. This way, it will be available for every PHP > versions supported by Xdebug. > > Actually, I keep the RFC to get people's opinion and to refine what I have in > mind after scalar type hints are voted upon but, technically, I don't need it > anymore. >I see. Xdebug or other annotation would work. Yes, using doc comments should allow to implement it without changing anything in the core. Another 'pluggable' annotation system could be a solution but 1. It cannot be available before a long time, and 2. It won't be available on PHP 5. >Did gmail something wrong? What kind of problem was it? >I've removed text formatting, so this time it shouldn't have issues. Well, prefixes are OK but your messages are in HTML. Replying to raw text would be much easier for us (I don't know how it can be done in gmail). Regards, François -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
