Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82463 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 93985 invoked from network); 11 Feb 2015 09:45:08 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 11 Feb 2015 09:45:08 -0000 X-Host-Fingerprint: 80.177.120.119 marston-home.demon.co.uk Received: from [80.177.120.119] ([80.177.120.119:26684] helo=localhost.localdomain) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 45/01-22055-2A42BD45 for ; Wed, 11 Feb 2015 04:45:07 -0500 Message-ID: <45.01.22055.2A42BD45@pb1.pair.com> To: internals@lists.php.net References: <54D7ED22.3080001@gmail.com> <54DAFD32.3000005@gmail.com> In-Reply-To: <54DAFD32.3000005@gmail.com> Date: Wed, 11 Feb 2015 09:44:56 -0000 Lines: 1 MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset="UTF-8"; reply-type=original Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal Importance: Normal X-Newsreader: Microsoft Windows Live Mail 16.4.3528.331 X-MimeOLE: Produced By Microsoft MimeOLE V16.4.3528.331 X-Posted-By: 80.177.120.119 Subject: Re: [PHP-DEV] Design by Contract From: TonyMarston@hotmail.com ("Tony Marston") "Stanislav Malyshev" wrote in message news:54DAFD32.3000005@gmail.com... > >Hi! > >> Please 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. 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 Marston