Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:69620
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain m-s-d.eu from 209.85.223.170 cause and error)
MIME-Version: 1.0
In-Reply-To: <CALJZF3jHcbRdVmrM2kHeSxKjdtj5-=XtdhebYVGLzERjWKfGew@mail.gmail.com>
References: <D7.A0.22512.AE09F525@pb1.pair.com>
	<CAMUwpuSG9GF8kC6BkULmcG+KYvdm6gubQN36B2D2NFi5235qmg@mail.gmail.com>
	<525FC834.4060501@php.net>
	<CALtuQzAU1Rz-u83t_sL3K-++f9zPueSgy5N=3cK_p97PQoe_6A@mail.gmail.com>
	<CALJZF3g_jWpZErq=UsGODQTeS1jaiiFa+Y-paQ+chD0nR0wiKQ@mail.gmail.com>
	<CAMauByWv6x=iX=Sy0KZPu1=FcQv1J3rpMjY5QtatHu74tHY36g@mail.gmail.com>
	<CALJZF3jHcbRdVmrM2kHeSxKjdtj5-=XtdhebYVGLzERjWKfGew@mail.gmail.com>
Date: Thu, 17 Oct 2013 15:49:57 +0200
Message-ID: <CAMauByUr__BhjYf3ioVK8GU8dxPoya0CVzjKd=donMg1QBC6Pw@mail.gmail.com>
To: Michael Wallner <mike@php.net>, internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Assertions
From: marco@m-s-d.eu (Marco Schuster)

(Stupid GMail, didn't reply automatically to the list)

On Thu, Oct 17, 2013 at 3:41 PM, Michael Wallner <mike@php.net> wrote:
> On 17 October 2013 15:34, Marco Schuster <marco@m-s-d.eu> wrote:
>
>> I'd really like to do a simple try-assert-catch instead of writing e.g.
>> if(isset($_GET["foo"]) {
>>  throw new InvalidArgumentException('$_GET[foo] not set');
>> }
>>
>> which would become
>> assert(isset($_GET["foo"]));
>>
>> If you're doing a lot of isset-checks, then the assert-way is a bit of
>> an abuse of assert, but it results in far less boilerplate crap. Maybe
>> there's a way that e.g. one can write assertTerminate(cond) or
>> assertException(cond) to differ between the behaviors.
>
> I'm not sure I can follow...
>
> <?php
> function except($assertion, $description=null) {
>     if (!$assertion)
>         throw new Exception($description);
> }
>
> except(isset($_GET["foo"]))
This forces me to write a description and essentially duplicate the
assertion code, while an AssertionException already contains a
meaningful message ("Assertion in foo.php:1337 failed:
isset($_GET["bar"])!=TRUE").

Marco