Uses of Interface
io.hotmoka.verification.BcelToClass

Packages that use BcelToClass

Package	Description
io.hotmoka.verification

Uses of BcelToClass in io.hotmoka.verification

Methods in io.hotmoka.verification that return BcelToClass

Modifier and Type	Method	Description
BcelToClass	VerifiedJar.getBcelToClass()	Yields the utility object that can be used to transform BCEL types into their corresponding Java class tag, by using the class loader of this jar.