Changeset [e63fa53f04f6599178eeeb8389479ef30c259a72] by Andre Steingress
Revision e63fa53f04f6599178eeeb8389479ef30c259a72,
committed by Andre Steingress
· February 28th, 2011 @ 09:34 AM
fixed some headers
https://github.com/andresteingress/gcontracts/commit/e63fa53f04f659...
6 changed files
-
M
gcontracts-core/src/main/java/org/gcontracts/domain/Assertion.java -
M
gcontracts-core/src/main/java/org/gcontracts/domain/ClassInvariant.java -
M
gcontracts-core/src/main/java/org/gcontracts/domain/Contract.java -
M
gcontracts-core/src/main/java/org/gcontracts/domain/Postcondition.java -
M
gcontracts-core/src/main/java/org/gcontracts/domain/Precondition.java -
M
gcontracts-core/src/main/java/org/gcontracts/util/ExpressionUtil.java