Uses of Interface
io.hotmoka.verification.Annotations
-
Packages that use Annotations Package Description io.hotmoka.verification -
-
Uses of Annotations in io.hotmoka.verification
Methods in io.hotmoka.verification that return Annotations Modifier and Type Method Description AnnotationsVerifiedJar. getAnnotations()Yields the utility object that can be used to check the annotations in the methods in this jar.
-