Module io.hotmoka.exceptions

Package io.hotmoka.exceptions

Class UncheckPredicate

java.lang.Object

io.hotmoka.exceptions.UncheckPredicate

public abstract class UncheckPredicate
extends Object

This class provides a method to transform a predicate with exceptions into a predicate, by unchecking its exceptions.

Method Summary

Modifier and Type	Method	Description
static <T> Predicate<T>	uncheck(PredicateWithExceptions<? super T> wrapped)	Transforms a predicate with exceptions into a predicate without checked exceptions.
static <T, E extends Throwable> Predicate<T>	uncheck(Class<E> exception, PredicateWithExceptions1<? super T,E> wrapped)	Transforms a predicate with exceptions into a predicate without checked exceptions.
static <T, E1 extends Throwable, E2 extends Throwable> Predicate<T>	uncheck(Class<E1> exception1, Class<E2> exception2, PredicateWithExceptions2<? super T,E1,E2> wrapped)	Transforms a predicate with exceptions into a predicate without checked exceptions.
static <T, E1 extends Throwable, E2 extends Throwable, E3 extends Throwable> Predicate<T>	uncheck(Class<E1> exception1, Class<E2> exception2, Class<E3> exception3, PredicateWithExceptions3<? super T,E1,E2,E3> wrapped)	Transforms a predicate with exceptions into a predicate without checked exceptions.
static <T, E1 extends Throwable, E2 extends Throwable, E3 extends Throwable, E4 extends Throwable> Predicate<T>	uncheck(Class<E1> exception1, Class<E2> exception2, Class<E3> exception3, Class<E4> exception4, PredicateWithExceptions4<? super T,E1,E2,E3,E4> wrapped)	Transforms a predicate with exceptions into a predicate without checked exceptions.
static <T, E1 extends Throwable, E2 extends Throwable, E3 extends Throwable, E4 extends Throwable, E5 extends Throwable> Predicate<T>	uncheck(Class<E1> exception1, Class<E2> exception2, Class<E3> exception3, Class<E4> exception4, Class<E5> exception5, PredicateWithExceptions5<? super T,E1,E2,E3,E4,E5> wrapped)	Transforms a predicate with exceptions into a predicate without checked exceptions.
static <T, E1 extends Throwable, E2 extends Throwable, E3 extends Throwable, E4 extends Throwable, E5 extends Throwable, E6 extends Throwable> Predicate<T>	uncheck(Class<E1> exception1, Class<E2> exception2, Class<E3> exception3, Class<E4> exception4, Class<E5> exception5, Class<E6> exception6, PredicateWithExceptions6<? super T,E1,E2,E3,E4,E5,E6> wrapped)	Transforms a predicate with exceptions into a predicate without checked exceptions.
static <T, E1 extends Throwable, E2 extends Throwable, E3 extends Throwable, E4 extends Throwable, E5 extends Throwable, E6 extends Throwable, E7 extends Throwable> Predicate<T>	uncheck(Class<E1> exception1, Class<E2> exception2, Class<E3> exception3, Class<E4> exception4, Class<E5> exception5, Class<E6> exception6, Class<E7> exception7, PredicateWithExceptions7<? super T,E1,E2,E3,E4,E5,E6,E7> wrapped)	Transforms a predicate with exceptions into a predicate without checked exceptions.

Methods inherited from class java.lang.Object

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

Method Details

uncheck

public static <T> Predicate<T> uncheck(PredicateWithExceptions<? super T> wrapped)

Transforms a predicate with exceptions into a predicate without checked exceptions. This means that all checked exceptions get wrapped into a UncheckedException. They can later be recovered through a method from CheckRunnable or CheckSupplier.

Type Parameters:

T - the type of the tested value

Parameters:

wrapped - the predicate with exceptions

Returns:

the predicate without exceptions

uncheck

public static <T,
E extends Throwable> Predicate<T> uncheck(Class<E> exception,
 PredicateWithExceptions1<? super T,E> wrapped)

Transforms a predicate with exceptions into a predicate without checked exceptions. This means that all checked exceptions get wrapped into a UncheckedException. They can later be recovered through a method from CheckRunnable or CheckSupplier.

Type Parameters:

T - the type of the tested value

E - the type of exceptions that get unchecked

Parameters:

exception - the exception tag of E

wrapped - the predicate with exceptions

Returns:

the predicate without exceptions

uncheck

public static <T,
E1 extends Throwable,
E2 extends Throwable>
Predicate<T> uncheck(Class<E1> exception1,
 Class<E2> exception2,
 PredicateWithExceptions2<? super T,E1,E2> wrapped)

Transforms a predicate with exceptions into a predicate without checked exceptions. This means that all checked exceptions get wrapped into a UncheckedException. They can later be recovered through a method from CheckRunnable or CheckSupplier.

Type Parameters:

T - the type of the tested value

E1 - the first type of exceptions that get unchecked

E2 - the second type of exceptions that get unchecked

Parameters:

exception1 - the exception tag of E1

exception2 - the exception tag of E2

wrapped - the predicate with exceptions

Returns:

the predicate without exceptions

uncheck

public static <T,
E1 extends Throwable,
E2 extends Throwable,
E3 extends Throwable>
Predicate<T> uncheck(Class<E1> exception1,
 Class<E2> exception2,
 Class<E3> exception3,
 PredicateWithExceptions3<? super T,E1,E2,E3> wrapped)

Transforms a predicate with exceptions into a predicate without checked exceptions. This means that all checked exceptions get wrapped into a UncheckedException. They can later be recovered through a method from CheckRunnable or CheckSupplier.

Type Parameters:

T - the type of the tested value

E1 - the first type of exceptions that get unchecked

E2 - the second type of exceptions that get unchecked

E3 - the third type of exceptions that get unchecked

Parameters:

exception1 - the exception tag of E1

exception2 - the exception tag of E2

exception3 - the exception tag of E3

wrapped - the predicate with exceptions

Returns:

the predicate without exceptions

uncheck

public static <T,
E1 extends Throwable,
E2 extends Throwable,
E3 extends Throwable,
E4 extends Throwable>
Predicate<T> uncheck(Class<E1> exception1,
 Class<E2> exception2,
 Class<E3> exception3,
 Class<E4> exception4,
 PredicateWithExceptions4<? super T,E1,E2,E3,E4> wrapped)

Transforms a predicate with exceptions into a predicate without checked exceptions. This means that all checked exceptions get wrapped into a UncheckedException. They can later be recovered through a method from CheckRunnable or CheckSupplier.

Type Parameters:

T - the type of the tested value

E1 - the first type of exceptions that get unchecked

E2 - the second type of exceptions that get unchecked

E3 - the third type of exceptions that get unchecked

E4 - the fourth type of exceptions that get unchecked

Parameters:

exception1 - the exception tag of E1

exception2 - the exception tag of E2

exception3 - the exception tag of E3

exception4 - the exception tag of E4

wrapped - the predicate with exceptions

Returns:

the predicate without exceptions

uncheck

public static <T,
E1 extends Throwable,
E2 extends Throwable,
E3 extends Throwable,
E4 extends Throwable,
E5 extends Throwable>
Predicate<T> uncheck(Class<E1> exception1,
 Class<E2> exception2,
 Class<E3> exception3,
 Class<E4> exception4,
 Class<E5> exception5,
 PredicateWithExceptions5<? super T,E1,E2,E3,E4,E5> wrapped)

Transforms a predicate with exceptions into a predicate without checked exceptions. This means that all checked exceptions get wrapped into a UncheckedException. They can later be recovered through a method from CheckRunnable or CheckSupplier.

Type Parameters:

T - the type of the tested value

E1 - the first type of exceptions that get unchecked

E2 - the second type of exceptions that get unchecked

E3 - the third type of exceptions that get unchecked

E4 - the fourth type of exceptions that get unchecked

E5 - the fifth type of exceptions that get unchecked

Parameters:

exception1 - the exception tag of E1

exception2 - the exception tag of E2

exception3 - the exception tag of E3

exception4 - the exception tag of E4

exception5 - the exception tag of E5

wrapped - the predicate with exceptions

Returns:

the predicate without exceptions

uncheck

public static <T,
E1 extends Throwable,
E2 extends Throwable,
E3 extends Throwable,
E4 extends Throwable,
E5 extends Throwable,
E6 extends Throwable>
Predicate<T> uncheck(Class<E1> exception1,
 Class<E2> exception2,
 Class<E3> exception3,
 Class<E4> exception4,
 Class<E5> exception5,
 Class<E6> exception6,
 PredicateWithExceptions6<? super T,E1,E2,E3,E4,E5,E6> wrapped)

Transforms a predicate with exceptions into a predicate without checked exceptions. This means that all checked exceptions get wrapped into a UncheckedException. They can later be recovered through a method from CheckRunnable or CheckSupplier.

Type Parameters:

T - the type of the tested value

E1 - the first type of exceptions that get unchecked

E2 - the second type of exceptions that get unchecked

E3 - the third type of exceptions that get unchecked

E4 - the fourth type of exceptions that get unchecked

E5 - the fifth type of exceptions that get unchecked

E6 - the sixth type of exceptions that get unchecked

Parameters:

exception1 - the exception tag of E1

exception2 - the exception tag of E2

exception3 - the exception tag of E3

exception4 - the exception tag of E4

exception5 - the exception tag of E5

exception6 - the exception tag of E6

wrapped - the predicate with exceptions

Returns:

the predicate without exceptions

uncheck

public static <T,
E1 extends Throwable,
E2 extends Throwable,
E3 extends Throwable,
E4 extends Throwable,
E5 extends Throwable,
E6 extends Throwable,
E7 extends Throwable>
Predicate<T> uncheck(Class<E1> exception1,
 Class<E2> exception2,
 Class<E3> exception3,
 Class<E4> exception4,
 Class<E5> exception5,
 Class<E6> exception6,
 Class<E7> exception7,
 PredicateWithExceptions7<? super T,E1,E2,E3,E4,E5,E6,E7> wrapped)

Transforms a predicate with exceptions into a predicate without checked exceptions. This means that all checked exceptions get wrapped into a UncheckedException. They can later be recovered through a method from CheckRunnable or CheckSupplier.

Type Parameters:

T - the type of the tested value

E1 - the first type of exceptions that get unchecked

E2 - the second type of exceptions that get unchecked

E3 - the third type of exceptions that get unchecked

E4 - the fourth type of exceptions that get unchecked

E5 - the fifth type of exceptions that get unchecked

E6 - the sixth type of exceptions that get unchecked

E7 - the seventh type of exceptions that get unchecked

Parameters:

exception1 - the exception tag of E1

exception2 - the exception tag of E2

exception3 - the exception tag of E3

exception4 - the exception tag of E4

exception5 - the exception tag of E5

exception6 - the exception tag of E6

exception7 - the exception tag of E7

wrapped - the predicate with exceptions

Returns:

the predicate without exceptions