Hi Lester, > De : Lester Caine [mailto:les...@lsces.co.uk] > > Reworking 15+ years of code to create 'dbc' versions of the existing > annotations is another drain on available time. I can see someone > writing a 'converter' program to populate some parts of this, but I'm > not sure just how helpful that would be.
*Please* read the document I reference before giving opinion. The mechanism described here is based on code block information. It uses existing information and extends the syntax to check for more complex types. That's why I said it should fit your needs. Not reading the document and replying negatively just you because I talked about DbC is poor, imo. DbC is just a concept, not an implementation. While alternate proposals may religiously copy syntax from D or Eiffel, I chose to adapt it the PHP way. For different reasons, including the ones you give (compatibility with pre-existing info), I chose to implement that by an extension of doc block syntax. So, if you want to give an opinion, please read https://wiki.php.net/rfc/dbc first. > Just as going through libraries > to see where someone has stripped the docblock This can be checked too, on a limited extent, as well as compatibility with possible PHP type hints. Ideally, it shouldn't be in comments, but is was done this way. And I am not convinced by the ' automatic conversion' way. The only issue is that several list members are absolutely opposed to base anything on doc comments, despite the fact it has proved useful for years. Although I asked several times, none took the time to explain me why. It must be ovious, but not to me. So, an RFC proposing to extend doc block syntax has no chance to pass. It was already beginning in pre-discussions about DbC with constructive posts like : "No doc block. Period.". However, I think this can be fully implemented in an extension, with no change to the core. So, no need to approve an RFC ! Hope to get your thoughts soon. Regards François -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
