Changeset [18c82949d01f706051664a4c6e1e526b22cab920] by Andre Steingress
Revision 18c82949d01f706051664a4c6e1e526b22cab920,
committed by Andre Steingress
· May 9th, 2011 @ 11:44 AM
7 changed files
-
M
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationClosureVisitor.java -
M
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationProcessorVisitor.java -
M
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractElementVisitor.java -
M
gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/ClassInvariantLifecycle.java -
M
gcontracts-core/src/main/java/org/gcontracts/generation/CandidateChecks.java -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/other/CandidateChecksTests.groovy -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/SimplePreconditionTests.groovy