edu.hm.hafner.util

Class Ensure.ExceptionCondition

java.lang.Object

edu.hm.hafner.util.Ensure.ExceptionCondition

Enclosing class:

Ensure

public static class Ensure.ExceptionCondition
extends Object

Assertions for exceptions.

Constructor Summary

Constructors

Constructor and Description
ExceptionCondition(Throwable value) Creates a new instance of Ensure.BooleanCondition.

Method Summary

Modifier and Type	Method and Description
void	isNeverThrown(String explanation, Object... args) Ensures that the exception is never thrown.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExceptionCondition

public ExceptionCondition(@CheckForNull
                          Throwable value)

Creates a new instance of Ensure.BooleanCondition.

Parameters:

value - value of the condition

Method Detail

isNeverThrown

@FormatMethod
public void isNeverThrown(String explanation,
                                        Object... args)

Ensures that the exception is never thrown. I.e., this method will always throw an AssertionError.

Parameters:

explanation - a formatted message explaining the assertion

args - Arguments referenced by the format specifiers in the formatted explanation. If there are more arguments than format specifiers, the extra arguments are ignored. The number of arguments is variable and may be zero.

Throws:

AssertionError - always thrown