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: 11 December 2011
License: GNU Lesser General Public License v3
Google AppEngine: Full Support
Depends on:(View as diagram)
  • JDK / jdk / openjdk
Used by:
MD5 Signatures:
  • 0e037bfcf91c444633cf157210e533da
  • 97b9b7a3c1491efcaa23452e4073c6a8
New to GrepCode? Check out our FAQ X