All changesets

Changeset [8cde4addc4dbfba3ab6d08c5f3aa4b966919a5c2] by Andre Steingress

Revision 8cde4addc4dbfba3ab6d08c5f3aa4b966919a5c2, committed by Andre Steingress · March 4th, 2011 @ 12:06 AM

36 changed files

• 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