
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

</head>

<body bgcolor="#ffffff" text="#000000">

Hi,<br>

<br>

Would clam be interested in the ENFORCE idiom? Basically

these are asserts, but they are kept in release mode and throw(). The

rationale you can find here: <a class="moz-txt-link-freetext" href="http://www.ddj.com/cpp/184403864">http://www.ddj.com/cpp/184403864</a><br>

<br>

I have found they lead to much smaller and safer code as for instance

preconditions/invariants are 'enforced'. <br>

<br>

For example, before:<br>

<img alt="" src="cid:part1.06070707.01090706@barcelonamedia.org"

 height="214" width="576"><br>

<br>

and after (please note the example is not too good: destuctors should

not throw ...)<br>

<br>

<img alt="" src="cid:part2.00080207.05010409@barcelonamedia.org"

 height="128" width="703"><br>

<br>

It generates errors like this:<br>

<br>

<img alt="" src="cid:part3.02000403.01050405@barcelonamedia.org"

 height="99" width="624"><br>

<br>

But this might be too much what CLAM_ASSERT already does ...<br>

<br>

Dirk<br>

<br>

PS - attached the header<br>

<br>

<br>

</body>

</html>