Library of annotations that express restrictions, that can be used to indicate preconditions, postconditions and invariants over objects and messages, focused on documentation reuse.
Release date: 18 August 2011
License: GNU Lesser General Public License v3
Files: 25,
Classes: 22,
Lines of code: 1097
Google AppEngine: Full Support
Depends on:(View as diagram)
  • JDK / jdk / openjdk
Used by:
  • Maven-Central / net.sf.staccatocommons / commons-control
MD5 Signatures:
  • 22196aae8a63b1096e34c8ceb5435187
  • f08f7aef5173ec1ab4131eaa6079b1a9
New to GrepCode? Check out our FAQ X