About Staccatissimo-Restrictions-Instrument

Staccatissimo-Restrictions-Instrument is an instrumentation tool build on top of Staccatissimo-Restrictions, Staccatissimo-Check and Staccatissimo-Instrument. It is capable of inserting preconditions and postconditions checks for most of check restrictions annotations, and of ensuring that Constant methods effectively are.

Check-Annotations Supported

Currently, the following check-annotations are supported by the tool:

Processing directives Supported

Other Restrictions Supported