Module io.hotmoka.exceptions
Package io.hotmoka.exceptions.functions
Interface PredicateWithExceptions4<T,E1 extends Throwable,E2 extends Throwable,E3 extends Throwable,E4 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 exceptions
public interface PredicateWithExceptions4<T,E1 extends Throwable,E2 extends Throwable,E3 extends Throwable,E4 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 test
-