Changeset [a2a938adaee42eded0d8089b32b70d373f016be2] by Andre Steingress
Revision a2a938adaee42eded0d8089b32b70d373f016be2,
committed by Andre Steingress
· February 28th, 2011 @ 07:53 PM
first part for interface contracts
https://github.com/andresteingress/gcontracts/commit/a2a938adaee42e...
8 changed files
-
A
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/InterfaceVisitor.java -
M
gcontracts-core/src/main/java/org/gcontracts/ast/GContractsASTTransformation.java -
M
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationProcessorVisitor.java -
M
gcontracts-core/src/main/java/org/gcontracts/common/impl/ClassInvariantAnnotationProcessor.java -
M
gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/ClassInvariantLifecycle.java -
M
gcontracts-core/src/main/java/org/gcontracts/domain/Contract.java -
M
gcontracts-core/src/main/java/org/gcontracts/generation/CandidateChecks.java -
M
gcontracts-core/src/test/groovy/org/gcontracts/domain/ContractTests.groovy