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
大版本 版本 最近更新
2.3 2.3 2012-07-22 06:25:31
2.2 2.2 2012-03-12 08:05:30
2.1 2.1 2012-02-22 05:07:56
2.0 2.0.1 2012-01-28 08:20:28
2.0 2012-01-23 11:30:46
共5条记录