s

staccatissimo-restrictions

Library of annotations that express restrictions, that can be used to indicate preconditions, postconditions and invariants over objects and messages, focused on documentation reuse.
reuse restrictions indicate express used messages that over documentation focused library postconditions invariants annotations preconditions objects
Aggregated version Version Update time
2.3 2.3 Jul 22, 2012
2.2 2.2 Mar 12, 2012
2.1 2.1 Feb 22, 2012
2.0 2.0.1 Jan 28, 2012
2.0 Jan 23, 2012
5 Records