[ library(test_util) | Reference Manual | Alphabetic Index ]
should_throw(+Goal,+Exception,+TestName)
Run the goal Goal and print a message if it doesn't throw Exception
Description
The exception term thrown must be an instance (see instance/2) of Exception
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
Examples
should_throw(throw(ball),ball,test_throw).
should_throw(throw(error(type,atom)),error(type,_),test_type_error).
See Also
should_give / 2, should_fail / 1, should_raise / 2, should_throw / 2, should_give / 3, should_fail / 2, should_raise / 3, instance / 2