View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window io-hotmoka-verification-1.1.1.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
io.hotmoka.verification
├─ io.hotmoka.verification.Dummy.class - [JAR]
├─ io.hotmoka.verification.TakamakaClassLoaders.class - [JAR]
├─ io.hotmoka.verification.UnsupportedVerificationVersionException.class - [JAR]
├─ io.hotmoka.verification.VerificationException.class - [JAR]
├─ io.hotmoka.verification.VerifiedJars.class - [JAR]
io.hotmoka.verification.errors
├─ io.hotmoka.verification.errors.CallerNotOnThisError.class - [JAR]
├─ io.hotmoka.verification.errors.CallerOutsideFromContractError.class - [JAR]
├─ io.hotmoka.verification.errors.FromContractNotInStorageError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalAccessToNonWhiteListedFieldError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalBootstrapMethodError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalCallToFromContractError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalCallToFromContractOnThisError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalCallToNonWhiteListedConstructorError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalCallToNonWhiteListedMethodError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalCallToPayableConstructorOnThis.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalCallToRedPayableConstructorOnThis.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalFieldNameError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalFinalizerError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalFromContractArgumentError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalJsrInstructionError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalMethodNameError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalModificationOfAmountInConstructorChaining.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalNativeMethodError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalPackageNameError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalPutstaticInstructionError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalRetInstructionError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalStaticInitializationError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalSynchronizationError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalTypeForStorageFieldError.class - [JAR]
├─ io.hotmoka.verification.errors.IllegalUpdateOfLocal0Error.class - [JAR]
├─ io.hotmoka.verification.errors.InconsistentFromContractError.class - [JAR]
├─ io.hotmoka.verification.errors.InconsistentPayableError.class - [JAR]
├─ io.hotmoka.verification.errors.InconsistentRedPayableError.class - [JAR]
├─ io.hotmoka.verification.errors.InconsistentSelfChargedError.class - [JAR]
├─ io.hotmoka.verification.errors.InconsistentThrowsExceptionsError.class - [JAR]
├─ io.hotmoka.verification.errors.PayableNotInContractError.class - [JAR]
├─ io.hotmoka.verification.errors.PayableWithRedPayableError.class - [JAR]
├─ io.hotmoka.verification.errors.PayableWithoutAmountError.class - [JAR]
├─ io.hotmoka.verification.errors.PayableWithoutFromContractError.class - [JAR]
├─ io.hotmoka.verification.errors.RedPayableNotInContractError.class - [JAR]
├─ io.hotmoka.verification.errors.RedPayableWithoutAmountError.class - [JAR]
├─ io.hotmoka.verification.errors.RedPayableWithoutFromContractError.class - [JAR]
├─ io.hotmoka.verification.errors.SelfChargedNotAllowedError.class - [JAR]
├─ io.hotmoka.verification.errors.ThrowsExceptionsOnNonPublicError.class - [JAR]
├─ io.hotmoka.verification.errors.UncheckedExceptionHandlerError.class - [JAR]
io.hotmoka.verification.internal
├─ io.hotmoka.verification.internal.AbstractErrorImpl.class - [JAR]
├─ io.hotmoka.verification.internal.AnnotationsImpl.class - [JAR]
├─ io.hotmoka.verification.internal.BcelToClassImpl.class - [JAR]
├─ io.hotmoka.verification.internal.BootstrapsImpl.class - [JAR]
├─ io.hotmoka.verification.internal.CheckOnClasses.class - [JAR]
├─ io.hotmoka.verification.internal.CheckOnMethods.class - [JAR]
├─ io.hotmoka.verification.internal.HeightAtBytecode.class - [JAR]
├─ io.hotmoka.verification.internal.PushersImpl.class - [JAR]
├─ io.hotmoka.verification.internal.Resolver.class - [JAR]
├─ io.hotmoka.verification.internal.TakamakaClassLoaderImpl.class - [JAR]
├─ io.hotmoka.verification.internal.VerifiedClassImpl.class - [JAR]
├─ io.hotmoka.verification.internal.VerifiedJarImpl.class - [JAR]
├─ io.hotmoka.verification.internal.VersionsManager.class - [JAR]
io.hotmoka.verification.internal.checksOnClass
├─ io.hotmoka.verification.internal.checksOnClass.BootstrapsAreLegalCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnClass.FromContractCodeIsCalledInCorrectContextCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnClass.NamesDontStartWithForbiddenPrefix.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnClass.PackagesAreLegalCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnClass.StorageClassesHaveFieldsOfStorageTypeCheck.class - [JAR]
io.hotmoka.verification.internal.checksOnMethods
├─ io.hotmoka.verification.internal.checksOnMethods.AmountIsNotModifiedInConstructorChaining.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.BytecodesAreLegalCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.CallerIsUsedOnThisAndInFromContractCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.ExceptionHandlersAreForCheckedExceptionsCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.FromContractCodeIsConsistentWithClassHierarchyCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.FromContractCodeIsInstanceAndInStorageClassCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.IsNotFinalizerCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.IsNotNativeCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.IsNotStaticInitializerCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.IsNotSynchronizedCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.PayableCodeIsConsistentWithClassHierarchyCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.PayableCodeIsFromContractCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.PayableCodeIsNotRedPayableCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.PayableCodeReceivesAmountCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.RedPayableCodeIsConsistentWithClassHierarchyCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.RedPayableCodeIsFromContractOfRedGreenContractCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.RedPayableCodeReceivesAmountCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.SelfChargedCodeIsInstancePublicMethodOfContractCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.ThrowsExceptionsCodeIsPublicCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.ThrowsExceptionsIsConsistentWithClassHierarchyCheck.class - [JAR]
├─ io.hotmoka.verification.internal.checksOnMethods.UsedCodeIsWhiteListedCheck.class - [JAR]
