Class Assertion<T extends Throwable>

  • All Implemented Interfaces:
    Serializable

    public class Assertion<T extends Throwable>
    extends Object
    implements Serializable
    General purpose assertion handler. Assertion can be generalized to check a boolean expression and to raise an exception in correspondence to a failure happening during checking.
     Example:
    
         Assertion<TheExceptionType> assertion = new Assertion<ParamException> ();
         assertion.validate (param != null, new TheExceptionType("invalid parameter null"));
    
     or, in a more compact form:
        // The exception to throw in case of failure
        // during the evaluation of the expected condition
        new Assertion<TheExceptionType>().validate(
            i>5,                                                     // The expected boolean condition
            new TheExceptionType("Parameter must be greater than 5")); //The error message
    
     
    Author:
    Daniele Strollo (ISTI-CNR)
    See Also:
    Serialized Form
    • Constructor Detail

      • Assertion

        public Assertion()
    • Method Detail

      • validate

        public final void validate​(boolean assertion,
                                   T exc)
                            throws T extends Throwable
        Makes an assertion and if the expression evaluation fails, throws an exception of type T.
         Example:
                new Assertion<MyException>().validate(whatExpected, new MyException("guard failed"));
         
        Parameters:
        assertion - the boolean expression to evaluate
        exc - the exception to throw if the condition does not hold
        Throws:
        T - the exception extending Throwable
        T extends Throwable