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-instrumentation-1.1.1.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
io.hotmoka.instrumentation.internal
├─ io.hotmoka.instrumentation.internal.HeightAtBytecode.class - [JAR]
├─ io.hotmoka.instrumentation.internal.InstrumentedClassImpl.class - [JAR]
├─ io.hotmoka.instrumentation.internal.InstrumentedJarImpl.class - [JAR]
io.hotmoka.instrumentation.internal.instrumentationsOfClass
├─ io.hotmoka.instrumentation.internal.instrumentationsOfClass.AddAccessorMethods.class - [JAR]
├─ io.hotmoka.instrumentation.internal.instrumentationsOfClass.AddConstructorForDeserializationFromStore.class - [JAR]
├─ io.hotmoka.instrumentation.internal.instrumentationsOfClass.AddEnsureLoadedMethods.class - [JAR]
├─ io.hotmoka.instrumentation.internal.instrumentationsOfClass.AddOldAndIfAlreadyLoadedFields.class - [JAR]
├─ io.hotmoka.instrumentation.internal.instrumentationsOfClass.DesugarBootstrapsInvokingEntries.class - [JAR]
io.hotmoka.instrumentation
├─ io.hotmoka.instrumentation.GasCostModel.class - [JAR]
├─ io.hotmoka.instrumentation.InstrumentationConstants.class - [JAR]
├─ io.hotmoka.instrumentation.InstrumentedClass.class - [JAR]
├─ io.hotmoka.instrumentation.InstrumentedJar.class - [JAR]
├─ io.hotmoka.instrumentation.StandardGasCostModel.class - [JAR]
io.hotmoka.instrumentation.internal.instrumentationsOfMethod
├─ io.hotmoka.instrumentation.internal.instrumentationsOfMethod.AddExtraArgsToCallsToFromContract.class - [JAR]
├─ io.hotmoka.instrumentation.internal.instrumentationsOfMethod.AddGasUpdates.class - [JAR]
├─ io.hotmoka.instrumentation.internal.instrumentationsOfMethod.AddRuntimeChecksForWhiteListingProofObligations.class - [JAR]
├─ io.hotmoka.instrumentation.internal.instrumentationsOfMethod.InstrumentMethodsOfSupportClasses.class - [JAR]
├─ io.hotmoka.instrumentation.internal.instrumentationsOfMethod.ReplaceFieldAccessesWithAccessors.class - [JAR]
├─ io.hotmoka.instrumentation.internal.instrumentationsOfMethod.SetCallerAndBalanceAtTheBeginningOfFromContracts.class - [JAR]
