Uses of Interface
io.hotmoka.verification.VerifiedJar

Packages that use VerifiedJar

Package	Description
io.hotmoka.verification

Uses of VerifiedJar in io.hotmoka.verification

Methods in io.hotmoka.verification that return VerifiedJar

Modifier and Type	Method	Description
VerifiedJar	VerifiedClass.getJar()	Yields the jar this class belongs to.
static VerifiedJar	VerifiedJar.of(byte[] jar, TakamakaClassLoader classLoader, boolean duringInitialization, boolean allowSelfCharged, boolean skipsVerification)	Creates a verified jar from the given file.