[ library(test_util) | Reference Manual | Alphabetic Index ]

# +Goal should_throw +Exception

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

    	throw(ball) should_throw ball.
    	throw(error(type,atom)) should_throw error(type,_).

## See Also

should_give / 2, should_fail / 1, should_raise / 2, should_throw / 3, should_give / 3, should_fail / 2, should_raise / 3, instance / 2