Uses of Class
io.hotmoka.verification.issues.Issue

Packages that use Issue

Package	Description
io.hotmoka.verification
io.hotmoka.verification.issues

Uses of Issue in io.hotmoka.verification

Methods in io.hotmoka.verification that return types with arguments of type Issue

Modifier and Type	Method	Description
Stream<Issue>	VerifiedJar.issues()	Yields the issues generated during the verification of the classes of the jar.

Uses of Issue in io.hotmoka.verification.issues

Subclasses of Issue in io.hotmoka.verification.issues

Modifier and Type	Class	Description
class	CallerNotOnThisError
class	CallerOutsideFromContractError
class	Error	A blocking issue: if an error occurs during the processing of a Takamaka jar file, then its instrumentation cannot proceed and will be aborted.
class	FromContractNotInStorageError
class	IllegalAccessToNonWhiteListedFieldError
class	IllegalBootstrapMethodError
class	IllegalCallToFromContractError
class	IllegalCallToFromContractOnThisError
class	IllegalCallToNonWhiteListedConstructorError
class	IllegalCallToNonWhiteListedMethodError
class	IllegalCallToPayableConstructorOnThis
class	IllegalCallToRedPayableConstructorOnThis
class	IllegalFieldNameError
class	IllegalFinalizerError
class	IllegalFromContractArgumentError
class	IllegalJsrInstructionError
class	IllegalMethodNameError
class	IllegalModificationOfAmountInConstructorChaining
class	IllegalNativeMethodError
class	IllegalPackageNameError
class	IllegalPutstaticInstructionError
class	IllegalRetInstructionError
class	IllegalStaticInitializationError
class	IllegalSynchronizationError
class	IllegalTypeForStorageFieldError
class	IllegalUpdateOfLocal0Error
class	InconsistentFromContractError
class	InconsistentPayableError
class	InconsistentRedPayableError
class	InconsistentSelfChargedError
class	InconsistentThrowsExceptionsError
class	PayableNotInContractError
class	PayableWithoutAmountError
class	PayableWithoutFromContractError
class	PayableWithRedPayableError
class	RedPayableNotInContractError
class	RedPayableWithoutAmountError
class	RedPayableWithoutFromContractError
class	SelfChargedNotAllowedError
class	ThrowsExceptionsOnNonPublicError
class	UncheckedExceptionHandlerError
class	Warning	A non-blocking issue: if a warning occurs during the processing of a Takamaka jar file, then its instrumentation does proceed and will not be aborted.

Methods in io.hotmoka.verification.issues with parameters of type Issue

Modifier and Type	Method	Description
int	Issue.compareTo(Issue other)