Uses of Interface
com.tnsai.invariants.InvariantCheckerHandle
Packages that use InvariantCheckerHandle
Package
Description
Invariant checking framework for runtime state verification.
-
Uses of InvariantCheckerHandle in com.tnsai.invariants
Methods in com.tnsai.invariants that return InvariantCheckerHandleModifier and TypeMethodDescriptionCreates a new invariant checker handle for the given target.