Library of annotations that express restrictions, that can be used to indicate preconditions, postconditions and invariants over objects and messages, focused on documentation reuse.

Artifacts using Staccato Commons Restrictions (1)
Sort by:Popular

Minimal definitions library that provides very abstract interfaces with well defined but generic semantics, focused on code reuse.
Last Release on Jan 2, 2012
  • Prev
  • 1
  • Next