Uses of Interface io.hotmoka.instrumentation.api.InstrumentedClass (io-hotmoka-instrumentation-api 1.11.1 API)

Uses of InstrumentedClass in io.hotmoka.instrumentation.api

Methods in io.hotmoka.instrumentation.api that return types with arguments of type InstrumentedClass

Modifier and Type

Method

Description

Stream<InstrumentedClass>

InstrumentedJar.classes()

Yields the classes in this jar file.