Separate Exception Types for Pre-, Postconditions and Class Invariant Violations

[andresteingress]

I need to throw and catch a exception instead of throw a assertion error.

For example RequiresException, EnsureException and InvariantException.

I need to generate pretty error messages for my users if some object don’t exists in the db.

With your currently implementation I can only catch the org.codehaus.groovy.transform.powerassert.PowerAssertionError

[andresteingress]

fixed in current trunk