Re: Design by Contract
| From: | Tony Marston | Date: | Wed, 11 Feb 2015 09:44:56 +0000 |
| Subject: | Re: Design by Contract | ||
| References: | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-82463@lists.php.net to get a copy of this message | ||
"Stanislav Malyshev" wrote in message news:54DAFD32.3000005@gmail.com...
Hi!How about "pre_assert" and "post_assert"? As Dbc is supposed to be about defining preconditions and postconditions the use of the word "pre" and "post" would seem appropriate. -- Tony MarstonPlease steer clear of using the assert API, and in so doing avoid BC concerns with the current assert API.The operator can be called something other than "assert", I'm sure the thesaurus has a lot of possibilities.