[boost] Re: better assertion technique

From: Pavel Vozenilek (pavel_vozenilek_at_[hidden])
Date: 2003-04-23 12:39:14

"John Torjo" <john_at_[hidden]> wrote in message
news:005001c30a68$346c5fa0$01211bac_at_PEOPLEFIRST...
>
> assert( (i < j) || (i == 0) || (j == 1) ); would change into
> SMART_ASSERT( (v_(i) < v_(j)) || (i == 0) || (j == 1) );
>
> The output of the above (in case the assertion fails) can look like:
>
> Assertion failed:
> '(v_(i) < v_(j)) || (i < 0) || (v_(k) == -1)'
> i= '3'
> j= '2'
> k= '1'
>
This feature looks handy. Short macro like "v_" is IMHO acceptable, it won't
clash with definition like:
  int v_;

I wounder if it could be somehow merged with
http://www.cuj.com/experts/2104/alexandr.htm?topic=experts ?

/Pavel