throws or the like

[Sean Kelly]

== Quote from bearophile (bearophileHUGS at lycos.com)'s article
> I don't feel (yet) the need for fancy unittest systems, but in my unittests I need to assert that something
works as specified, for that I use assert(). I also need to assert that something throws the specified
exceptions

I think an argument could be made for adding some functionality related to this to
contracts.  Either extend the functionality of the "out" clause, or add a "throw" clause
as well.  Your template example is pretty cool, however.


Sean