Uses of Interface
io.hotmoka.verification.Pushers
-
Packages that use Pushers Package Description io.hotmoka.verification -
-
Uses of Pushers in io.hotmoka.verification
Methods in io.hotmoka.verification that return Pushers Modifier and Type Method Description PushersVerifiedClass. getPushers()Yields the utility that allows one to compute the pushers of values on the stack for the code in this class.
-