Uses of Interface
io.hotmoka.verification.TakamakaClassLoader

Packages that use TakamakaClassLoader

Package	Description
io.hotmoka.verification

Uses of TakamakaClassLoader in io.hotmoka.verification

Methods in io.hotmoka.verification that return TakamakaClassLoader

Modifier and Type	Method	Description
TakamakaClassLoader	VerifiedJar.getClassLoader()	Yields the class loader used to load this jar.
static TakamakaClassLoader	TakamakaClassLoader.of(Stream<byte[]> jars, int verificationVersion)	Builds a class loader with the given jars, given as byte arrays.

Methods in io.hotmoka.verification with parameters of type TakamakaClassLoader

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