Changeset [c9e7f8c36840cc4ff1cf55e14febce7e55ea30d4] by Andre Steingress
Revision c9e7f8c36840cc4ff1cf55e14febce7e55ea30d4,
committed by Andre Steingress
· February 25th, 2011 @ 01:55 PM
3 changed files
-
R
gcontracts-core/src/main/java/org/gcontracts/annotations/meta/ClassInvariant.java -
R
gcontracts-core/src/main/java/org/gcontracts/annotations/meta/Postcondition.java -
R
gcontracts-core/src/main/java/org/gcontracts/annotations/meta/Precondition.java