Module io.hotmoka.exceptions
Package io.hotmoka.exceptions.functions
Interface PredicateWithExceptions7<T,E1 extends Throwable,E2 extends Throwable,E3 extends Throwable,E4 extends Throwable,E5 extends Throwable,E6 extends Throwable,E7 extends Throwable>
- Type Parameters:
T- the type of the tested valueE1- the first type of exceptionsE2- the second type of exceptionsE3- the third type of exceptionsE4- the fourth type of exceptionsE5- the fifth type of exceptionsE6- the sixth type of exceptionsE7- the seventh type of exceptions
public interface PredicateWithExceptions7<T,E1 extends Throwable,E2 extends Throwable,E3 extends Throwable,E4 extends Throwable,E5 extends Throwable,E6 extends Throwable,E7 extends Throwable>
A predicate that might throw exceptions.
-
Method Summary
-
Method Details
-
test
Applies the test.- Parameters:
t- the argument to the test- Returns:
- true if and only if the test is true for
t - Throws:
E1- a first type of exceptions thrown by the testE2- a second type of exceptions thrown by the testE3- a third type of exceptions thrown by the testE4- a fourth type of exceptions thrown by the testE5- a fifth type of exceptions thrown by the testE6- a sixth type of exceptions thrown by the testE7- a seventh type of exceptions thrown by the test
-