Index

A C E F G I O P R S T U 
All Classes and Interfaces|All Packages|Serialized Form

A

accept(T) - Method in interface io.hotmoka.exceptions.functions.ConsumerWithExceptions
Consumes the given argument.
accept(T) - Method in interface io.hotmoka.exceptions.functions.ConsumerWithExceptions1
Consumes the given argument.
accept(T) - Method in interface io.hotmoka.exceptions.functions.ConsumerWithExceptions2
Consumes the given argument.
accept(T) - Method in interface io.hotmoka.exceptions.functions.ConsumerWithExceptions3
Consumes the given argument.
accept(T) - Method in interface io.hotmoka.exceptions.functions.ConsumerWithExceptions4
Consumes the given argument.
accept(T) - Method in interface io.hotmoka.exceptions.functions.ConsumerWithExceptions5
Consumes the given argument.
accept(T) - Method in interface io.hotmoka.exceptions.functions.ConsumerWithExceptions6
Consumes the given argument.
accept(T) - Method in interface io.hotmoka.exceptions.functions.ConsumerWithExceptions7
Consumes the given argument.
apply(T) - Method in interface io.hotmoka.exceptions.functions.FunctionWithExceptions
Applies the function.
apply(T) - Method in interface io.hotmoka.exceptions.functions.FunctionWithExceptions1
Applies the function.
apply(T) - Method in interface io.hotmoka.exceptions.functions.FunctionWithExceptions2
Applies the function.
apply(T) - Method in interface io.hotmoka.exceptions.functions.FunctionWithExceptions3
Applies the function.
apply(T) - Method in interface io.hotmoka.exceptions.functions.FunctionWithExceptions4
Applies the function.
apply(T) - Method in interface io.hotmoka.exceptions.functions.FunctionWithExceptions5
Applies the function.
apply(T) - Method in interface io.hotmoka.exceptions.functions.FunctionWithExceptions6
Applies the function.
apply(T) - Method in interface io.hotmoka.exceptions.functions.FunctionWithExceptions7
Applies the function.

C

check(Class<? extends T>, Runnable) - Static method in class io.hotmoka.exceptions.CheckRunnable
Runs a runnable and makes an unchecked exception type into checked.
check(Class<? extends T>, Supplier<? extends R>) - Static method in class io.hotmoka.exceptions.CheckSupplier
Runs a supplier and makes an unchecked exception into checked.
check(Class<? extends T1>, Class<? extends T2>, Class<? extends T3>, Class<? extends T4>, Class<? extends T5>, Class<? extends T6>, Class<? extends T7>, Runnable) - Static method in class io.hotmoka.exceptions.CheckRunnable
Runs a runnable and makes seven unchecked exception types into checked.
check(Class<? extends T1>, Class<? extends T2>, Class<? extends T3>, Class<? extends T4>, Class<? extends T5>, Class<? extends T6>, Class<? extends T7>, Supplier<? extends R>) - Static method in class io.hotmoka.exceptions.CheckSupplier
Runs a supplier and makes seven unchecked exceptions into checked.
check(Class<? extends T1>, Class<? extends T2>, Class<? extends T3>, Class<? extends T4>, Class<? extends T5>, Class<? extends T6>, Runnable) - Static method in class io.hotmoka.exceptions.CheckRunnable
Runs a runnable and makes six unchecked exception types into checked.
check(Class<? extends T1>, Class<? extends T2>, Class<? extends T3>, Class<? extends T4>, Class<? extends T5>, Class<? extends T6>, Supplier<? extends R>) - Static method in class io.hotmoka.exceptions.CheckSupplier
Runs a supplier and makes six unchecked exceptions into checked.
check(Class<? extends T1>, Class<? extends T2>, Class<? extends T3>, Class<? extends T4>, Class<? extends T5>, Runnable) - Static method in class io.hotmoka.exceptions.CheckRunnable
Runs a runnable and makes five unchecked exception types into checked.
check(Class<? extends T1>, Class<? extends T2>, Class<? extends T3>, Class<? extends T4>, Class<? extends T5>, Supplier<? extends R>) - Static method in class io.hotmoka.exceptions.CheckSupplier
Runs a supplier and makes five unchecked exceptions into checked.
check(Class<? extends T1>, Class<? extends T2>, Class<? extends T3>, Class<? extends T4>, Runnable) - Static method in class io.hotmoka.exceptions.CheckRunnable
Runs a runnable and makes four unchecked exception types into checked.
check(Class<? extends T1>, Class<? extends T2>, Class<? extends T3>, Class<? extends T4>, Supplier<? extends R>) - Static method in class io.hotmoka.exceptions.CheckSupplier
Runs a supplier and makes four unchecked exceptions into checked.
check(Class<? extends T1>, Class<? extends T2>, Class<? extends T3>, Runnable) - Static method in class io.hotmoka.exceptions.CheckRunnable
Runs a runnable and makes three unchecked exception types into checked.
check(Class<? extends T1>, Class<? extends T2>, Class<? extends T3>, Supplier<? extends R>) - Static method in class io.hotmoka.exceptions.CheckSupplier
Runs a supplier and makes three unchecked exceptions into checked.
check(Class<? extends T1>, Class<? extends T2>, Runnable) - Static method in class io.hotmoka.exceptions.CheckRunnable
Runs a runnable and makes two unchecked exception types into checked.
check(Class<? extends T1>, Class<? extends T2>, Supplier<? extends R>) - Static method in class io.hotmoka.exceptions.CheckSupplier
Runs a supplier and makes two unchecked exceptions into checked.
CheckRunnable - Class in io.hotmoka.exceptions
Methods that check an unchecked exception thrown by a runnable.
CheckSupplier - Class in io.hotmoka.exceptions
Methods that check an unchecked exception thrown by a supplier.
ConsumerWithExceptions<T> - Interface in io.hotmoka.exceptions.functions
A consumer that might throw exceptions.
ConsumerWithExceptions1<T,E> - Interface in io.hotmoka.exceptions.functions
A consumer that might throw exceptions.
ConsumerWithExceptions2<T,E1,E2> - Interface in io.hotmoka.exceptions.functions
A consumer that might throw exceptions.
ConsumerWithExceptions3<T,E1,E2,E3> - Interface in io.hotmoka.exceptions.functions
A consumer that might throw exceptions.
ConsumerWithExceptions4<T,E1,E2,E3,E4> - Interface in io.hotmoka.exceptions.functions
A consumer that might throw exceptions.
ConsumerWithExceptions5<T,E1,E2,E3,E4,E5> - Interface in io.hotmoka.exceptions.functions
A consumer that might throw exceptions.
ConsumerWithExceptions6<T,E1,E2,E3,E4,E5,E6> - Interface in io.hotmoka.exceptions.functions
A consumer that might throw exceptions.
ConsumerWithExceptions7<T,E1,E2,E3,E4,E5,E6,E7> - Interface in io.hotmoka.exceptions.functions
A consumer that might throw exceptions.

E

ExceptionSupplier<E> - Interface in io.hotmoka.exceptions
A supplier of an exception.

F

FunctionWithExceptions<T,R> - Interface in io.hotmoka.exceptions.functions
A function that might throw exceptions.
FunctionWithExceptions1<T,R,E> - Interface in io.hotmoka.exceptions.functions
A function that might throw exceptions.
FunctionWithExceptions2<T,R,E1,E2> - Interface in io.hotmoka.exceptions.functions
A function that might throw exceptions.
FunctionWithExceptions3<T,R,E1,E2,E3> - Interface in io.hotmoka.exceptions.functions
A function that might throw exceptions.
FunctionWithExceptions4<T,R,E1,E2,E3,E4> - Interface in io.hotmoka.exceptions.functions
A function that might throw exceptions.
FunctionWithExceptions5<T,R,E1,E2,E3,E4,E5> - Interface in io.hotmoka.exceptions.functions
A function that might throw exceptions.
FunctionWithExceptions6<T,R,E1,E2,E3,E4,E5,E6> - Interface in io.hotmoka.exceptions.functions
A function that might throw exceptions.
FunctionWithExceptions7<T,R,E1,E2,E3,E4,E5,E6,E7> - Interface in io.hotmoka.exceptions.functions
A function that might throw exceptions.

G

get() - Method in interface io.hotmoka.exceptions.functions.SupplierWithExceptions
Supplies a value.
get() - Method in interface io.hotmoka.exceptions.functions.SupplierWithExceptions1
Supplies a value.
get() - Method in interface io.hotmoka.exceptions.functions.SupplierWithExceptions2
Supplies a value.
get() - Method in interface io.hotmoka.exceptions.functions.SupplierWithExceptions3
Supplies a value.
get() - Method in interface io.hotmoka.exceptions.functions.SupplierWithExceptions4
Supplies a value.
get() - Method in interface io.hotmoka.exceptions.functions.SupplierWithExceptions5
Supplies a value.
get() - Method in interface io.hotmoka.exceptions.functions.SupplierWithExceptions6
Supplies a value.
get() - Method in interface io.hotmoka.exceptions.functions.SupplierWithExceptions7
Supplies a value.

I

io.hotmoka.exceptions - module io.hotmoka.exceptions
This module defines methods for dealing with functional interfaces that might throw exceptions.
io.hotmoka.exceptions - package io.hotmoka.exceptions
 
io.hotmoka.exceptions.functions - package io.hotmoka.exceptions.functions
 

O

Objects - Class in io.hotmoka.exceptions
A collection of run-time checks on objects, with parametric exception type.
Objects() - Constructor for class io.hotmoka.exceptions.Objects
 

P

PredicateWithExceptions<T> - Interface in io.hotmoka.exceptions.functions
A predicate that might throw exceptions.
PredicateWithExceptions1<T,E> - Interface in io.hotmoka.exceptions.functions
A predicate that might throw exceptions.
PredicateWithExceptions2<T,E1,E2> - Interface in io.hotmoka.exceptions.functions
A predicate that might throw exceptions.
PredicateWithExceptions3<T,E1,E2,E3> - Interface in io.hotmoka.exceptions.functions
A predicate that might throw exceptions.
PredicateWithExceptions4<T,E1,E2,E3,E4> - Interface in io.hotmoka.exceptions.functions
A predicate that might throw exceptions.
PredicateWithExceptions5<T,E1,E2,E3,E4,E5> - Interface in io.hotmoka.exceptions.functions
A predicate that might throw exceptions.
PredicateWithExceptions6<T,E1,E2,E3,E4,E5,E6> - Interface in io.hotmoka.exceptions.functions
A predicate that might throw exceptions.
PredicateWithExceptions7<T,E1,E2,E3,E4,E5,E6,E7> - Interface in io.hotmoka.exceptions.functions
A predicate that might throw exceptions.

R

requireNonNull(T, ExceptionSupplier<? extends E>) - Static method in class io.hotmoka.exceptions.Objects
Checks that the specified object reference is not null.
requireNonNull(T, String, ExceptionSupplier<? extends E>) - Static method in class io.hotmoka.exceptions.Objects
Checks that the specified object reference is not null.

S

SupplierWithExceptions<T> - Interface in io.hotmoka.exceptions.functions
A supplier that might throw exceptions.
SupplierWithExceptions1<T,E> - Interface in io.hotmoka.exceptions.functions
A supplier that might throw exceptions.
SupplierWithExceptions2<T,E1,E2> - Interface in io.hotmoka.exceptions.functions
A supplier that might throw exceptions.
SupplierWithExceptions3<T,E1,E2,E3> - Interface in io.hotmoka.exceptions.functions
A supplier that might throw exceptions.
SupplierWithExceptions4<T,E1,E2,E3,E4> - Interface in io.hotmoka.exceptions.functions
A supplier that might throw exceptions.
SupplierWithExceptions5<T,E1,E2,E3,E4,E5> - Interface in io.hotmoka.exceptions.functions
A supplier that might throw exceptions.
SupplierWithExceptions6<T,E1,E2,E3,E4,E5,E6> - Interface in io.hotmoka.exceptions.functions
A supplier that might throw exceptions.
SupplierWithExceptions7<T,E1,E2,E3,E4,E5,E6,E7> - Interface in io.hotmoka.exceptions.functions
A supplier that might throw exceptions.

T

test(T) - Method in interface io.hotmoka.exceptions.functions.PredicateWithExceptions
Applies the test.
test(T) - Method in interface io.hotmoka.exceptions.functions.PredicateWithExceptions1
Applies the test.
test(T) - Method in interface io.hotmoka.exceptions.functions.PredicateWithExceptions2
Applies the test.
test(T) - Method in interface io.hotmoka.exceptions.functions.PredicateWithExceptions3
Applies the test.
test(T) - Method in interface io.hotmoka.exceptions.functions.PredicateWithExceptions4
Applies the test.
test(T) - Method in interface io.hotmoka.exceptions.functions.PredicateWithExceptions5
Applies the test.
test(T) - Method in interface io.hotmoka.exceptions.functions.PredicateWithExceptions6
Applies the test.
test(T) - Method in interface io.hotmoka.exceptions.functions.PredicateWithExceptions7
Applies the test.

U

uncheck(ConsumerWithExceptions<? super T>) - Static method in class io.hotmoka.exceptions.UncheckConsumer
Transforms a consumer with exceptions into a consumer without checked exceptions.
uncheck(FunctionWithExceptions<? super T, ? extends R>) - Static method in class io.hotmoka.exceptions.UncheckFunction
Transforms a function with exceptions into a function without checked exceptions.
uncheck(PredicateWithExceptions<? super T>) - Static method in class io.hotmoka.exceptions.UncheckPredicate
Transforms a predicate with exceptions into a predicate without checked exceptions.
uncheck(SupplierWithExceptions<? extends T>) - Static method in class io.hotmoka.exceptions.UncheckSupplier
Transforms a supplier with exceptions into a supplier without checked exceptions.
uncheck(Class<E>, ConsumerWithExceptions1<? super T, E>) - Static method in class io.hotmoka.exceptions.UncheckConsumer
Transforms a consumer with exceptions into a consumer without checked exceptions.
uncheck(Class<E>, FunctionWithExceptions1<? super T, ? extends R, E>) - Static method in class io.hotmoka.exceptions.UncheckFunction
Transforms a function with exceptions into a function without checked exceptions.
uncheck(Class<E>, PredicateWithExceptions1<? super T, E>) - Static method in class io.hotmoka.exceptions.UncheckPredicate
Transforms a predicate with exceptions into a predicate without checked exceptions.
uncheck(Class<E>, SupplierWithExceptions1<? extends T, E>) - Static method in class io.hotmoka.exceptions.UncheckSupplier
Transforms a supplier with exceptions into a supplier without checked exceptions.
uncheck(Class<E1>, Class<E2>, ConsumerWithExceptions2<? super T, E1, E2>) - Static method in class io.hotmoka.exceptions.UncheckConsumer
Transforms a consumer with exceptions into a consumer without checked exceptions.
uncheck(Class<E1>, Class<E2>, FunctionWithExceptions2<? super T, ? extends R, E1, E2>) - Static method in class io.hotmoka.exceptions.UncheckFunction
Transforms a function with exceptions into a function without checked exceptions.
uncheck(Class<E1>, Class<E2>, PredicateWithExceptions2<? super T, E1, E2>) - Static method in class io.hotmoka.exceptions.UncheckPredicate
Transforms a predicate with exceptions into a predicate without checked exceptions.
uncheck(Class<E1>, Class<E2>, SupplierWithExceptions2<? extends T, E1, E2>) - Static method in class io.hotmoka.exceptions.UncheckSupplier
Transforms a supplier with exceptions into a supplier without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, ConsumerWithExceptions3<? super T, E1, E2, E3>) - Static method in class io.hotmoka.exceptions.UncheckConsumer
Transforms a consumer with exceptions into a consumer without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, FunctionWithExceptions3<? super T, ? extends R, E1, E2, E3>) - Static method in class io.hotmoka.exceptions.UncheckFunction
Transforms a function with exceptions into a function without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, PredicateWithExceptions3<? super T, E1, E2, E3>) - Static method in class io.hotmoka.exceptions.UncheckPredicate
Transforms a predicate with exceptions into a predicate without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, SupplierWithExceptions3<? extends T, E1, E2, E3>) - Static method in class io.hotmoka.exceptions.UncheckSupplier
Transforms a supplier with exceptions into a supplier without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, ConsumerWithExceptions4<? super T, E1, E2, E3, E4>) - Static method in class io.hotmoka.exceptions.UncheckConsumer
Transforms a consumer with exceptions into a consumer without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, FunctionWithExceptions4<? super T, ? extends R, E1, E2, E3, E4>) - Static method in class io.hotmoka.exceptions.UncheckFunction
Transforms a function with exceptions into a function without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, PredicateWithExceptions4<? super T, E1, E2, E3, E4>) - Static method in class io.hotmoka.exceptions.UncheckPredicate
Transforms a predicate with exceptions into a predicate without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, SupplierWithExceptions4<? extends T, E1, E2, E3, E4>) - Static method in class io.hotmoka.exceptions.UncheckSupplier
Transforms a supplier with exceptions into a supplier without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, ConsumerWithExceptions5<? super T, E1, E2, E3, E4, E5>) - Static method in class io.hotmoka.exceptions.UncheckConsumer
Transforms a consumer with exceptions into a consumer without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, FunctionWithExceptions5<? super T, ? extends R, E1, E2, E3, E4, E5>) - Static method in class io.hotmoka.exceptions.UncheckFunction
Transforms a function with exceptions into a function without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, PredicateWithExceptions5<? super T, E1, E2, E3, E4, E5>) - Static method in class io.hotmoka.exceptions.UncheckPredicate
Transforms a predicate with exceptions into a predicate without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, SupplierWithExceptions5<? extends T, E1, E2, E3, E4, E5>) - Static method in class io.hotmoka.exceptions.UncheckSupplier
Transforms a supplier with exceptions into a supplier without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, Class<E6>, ConsumerWithExceptions6<? super T, E1, E2, E3, E4, E5, E6>) - Static method in class io.hotmoka.exceptions.UncheckConsumer
Transforms a consumer with exceptions into a consumer without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, Class<E6>, FunctionWithExceptions6<? super T, ? extends R, E1, E2, E3, E4, E5, E6>) - Static method in class io.hotmoka.exceptions.UncheckFunction
Transforms a function with exceptions into a function without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, Class<E6>, PredicateWithExceptions6<? super T, E1, E2, E3, E4, E5, E6>) - Static method in class io.hotmoka.exceptions.UncheckPredicate
Transforms a predicate with exceptions into a predicate without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, Class<E6>, SupplierWithExceptions6<? extends T, E1, E2, E3, E4, E5, E6>) - Static method in class io.hotmoka.exceptions.UncheckSupplier
Transforms a supplier with exceptions into a supplier without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, Class<E6>, Class<E7>, ConsumerWithExceptions7<? super T, E1, E2, E3, E4, E5, E6, E7>) - Static method in class io.hotmoka.exceptions.UncheckConsumer
Transforms a consumer with exceptions into a consumer without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, Class<E6>, Class<E7>, FunctionWithExceptions7<? super T, ? extends R, E1, E2, E3, E4, E5, E6, E7>) - Static method in class io.hotmoka.exceptions.UncheckFunction
Transforms a function with exceptions into a function without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, Class<E6>, Class<E7>, PredicateWithExceptions7<? super T, E1, E2, E3, E4, E5, E6, E7>) - Static method in class io.hotmoka.exceptions.UncheckPredicate
Transforms a predicate with exceptions into a predicate without checked exceptions.
uncheck(Class<E1>, Class<E2>, Class<E3>, Class<E4>, Class<E5>, Class<E6>, Class<E7>, SupplierWithExceptions7<? extends T, E1, E2, E3, E4, E5, E6, E7>) - Static method in class io.hotmoka.exceptions.UncheckSupplier
Transforms a supplier with exceptions into a supplier without checked exceptions.
UncheckConsumer - Class in io.hotmoka.exceptions
This class provides a method to transform a consumer with exceptions into a consumer, by unchecking its exceptions.
UncheckedException - Exception Class in io.hotmoka.exceptions
A wrapper for an exception that has been made into unchecked.
UncheckedException(Throwable) - Constructor for exception class io.hotmoka.exceptions.UncheckedException
Creates the exception.
UncheckFunction - Class in io.hotmoka.exceptions
This class provides a method to transform a function with exceptions into a function, by unchecking its exceptions.
UncheckPredicate - Class in io.hotmoka.exceptions
This class provides a method to transform a predicate with exceptions into a predicate, by unchecking its exceptions.
UncheckSupplier - Class in io.hotmoka.exceptions
This class provides a method to transform a supplier with exceptions into a supplier, by unchecking its exceptions.
A C E F G I O P R S T U 
All Classes and Interfaces|All Packages|Serialized Form