Select a package to view its members
This package contains utility classes for performing Design By Contract (DBC) assertions.
Validators check the user's input on a transition for validity (different from Conditions, which prevent actions from displaying altogether).