Changeset [8cde4addc4dbfba3ab6d08c5f3aa4b966919a5c2] by Andre Steingress
March 4th, 2011 @ 12:06 AM
complete switch to annotation closures
https://github.com/andresteingress/gcontracts/commit/8cde4addc4dbfb...
Committed by Andre Steingress
- A gcontracts-core/src/main/java/org/gcontracts/AssertionViolation.java
- A gcontracts-core/src/main/java/org/gcontracts/ViolationTracker.java
- A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationClosureVisitor.java
- R gcontracts-core/src/main/java/org/gcontracts/ast/visitor/InterfaceContractVisitor.java
- R gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractElementErasingVisitor.java
- M gcontracts-core/src/main/java/org/gcontracts/ClassInvariantViolation.java
- M gcontracts-core/src/main/java/org/gcontracts/PostconditionViolation.java
- M gcontracts-core/src/main/java/org/gcontracts/PreconditionViolation.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/ast/visitor/BaseVisitor.java
- M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/DomainModelInjectionVisitor.java
- M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/DynamicSetterInjectionVisitor.java
- M gcontracts-core/src/main/java/org/gcontracts/classgen/asm/ClosureWriter.java
- M gcontracts-core/src/main/java/org/gcontracts/common/impl/ClassInvariantAnnotationProcessor.java
- M gcontracts-core/src/main/java/org/gcontracts/common/impl/EnsuresAnnotationProcessor.java
- M gcontracts-core/src/main/java/org/gcontracts/common/impl/NotNullAnnotationProcessor.java
- M gcontracts-core/src/main/java/org/gcontracts/common/impl/RequiresAnnotationProcessor.java
- M gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/PostconditionLifecycle.java
- M gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/PreconditionLifecycle.java
- M gcontracts-core/src/main/java/org/gcontracts/common/spi/AnnotationProcessor.java
- M gcontracts-core/src/main/java/org/gcontracts/domain/Postcondition.java
- M gcontracts-core/src/main/java/org/gcontracts/generation/AssertStatementCreationUtility.java
- M gcontracts-core/src/main/java/org/gcontracts/generation/BaseGenerator.java
- M gcontracts-core/src/main/java/org/gcontracts/generation/CandidateChecks.java
- M gcontracts-core/src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java
- M gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java
- M gcontracts-core/src/main/java/org/gcontracts/generation/PreconditionGenerator.java
- M gcontracts-core/src/main/java/org/gcontracts/generation/TryCatchBlockGenerator.java
- M gcontracts-core/src/main/java/org/gcontracts/util/AnnotationUtils.java
- M gcontracts-core/src/main/java/org/gcontracts/util/LifecycleImplementationLoader.java
- M gcontracts-core/src/test/groovy/org/gcontracts/domain/ContractTests.groovy
- M gcontracts-core/src/test/groovy/org/gcontracts/tests/interfaces/AbstractClassTests.groovy
- M gcontracts-core/src/test/groovy/org/gcontracts/tests/interfaces/SimpleInterfaceInheritanceTests.groovy
- M gcontracts-core/src/test/groovy/org/gcontracts/tests/interfaces/StackExampleTests.groovy
- M gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/InheritanceTests.groovy
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
core module