All changesets

Changeset [89289ec51b6c21230048eed5756c0b129c3dea3c] by Andre Steingress

Revision 89289ec51b6c21230048eed5756c0b129c3dea3c, committed by Andre Steingress · March 15th, 2013 @ 11:57 AM

58 changed files

• M gcontracts-core/src/main/java/org/gcontracts/AssertionViolation.java
• M gcontracts-core/src/main/java/org/gcontracts/CircularAssertionCallException.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/ViolationTracker.java
• M gcontracts-core/src/main/java/org/gcontracts/annotations/Contracted.java
• M gcontracts-core/src/main/java/org/gcontracts/annotations/Ensures.java
• M gcontracts-core/src/main/java/org/gcontracts/annotations/Invariant.java
• M gcontracts-core/src/main/java/org/gcontracts/annotations/Requires.java
• M gcontracts-core/src/main/java/org/gcontracts/annotations/meta/AnnotationProcessorImplementation.java
• M gcontracts-core/src/main/java/org/gcontracts/annotations/meta/ClassInvariant.java
• M gcontracts-core/src/main/java/org/gcontracts/annotations/meta/ContractElement.java
• M gcontracts-core/src/main/java/org/gcontracts/annotations/meta/Postcondition.java
• M gcontracts-core/src/main/java/org/gcontracts/annotations/meta/Precondition.java
• M gcontracts-core/src/main/java/org/gcontracts/ast/BaseASTTransformation.java
• M gcontracts-core/src/main/java/org/gcontracts/ast/GContractsASTTransformation.java
• 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/BaseVisitor.java
• M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ConfigurationSetup.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/ast/visitor/LifecycleAfterTransformationVisitor.java
• M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/LifecycleBeforeTransformationVisitor.java
• M gcontracts-core/src/main/java/org/gcontracts/classgen/asm/ContractClosureWriter.java
• M gcontracts-core/src/main/java/org/gcontracts/common/base/BaseLifecycle.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/RequiresAnnotationProcessor.java
• M gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/ClassInvariantLifecycle.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/common/spi/Lifecycle.java
• M gcontracts-core/src/main/java/org/gcontracts/common/spi/ProcessingContextInformation.java
• M gcontracts-core/src/main/java/org/gcontracts/domain/Assertion.java
• M gcontracts-core/src/main/java/org/gcontracts/domain/AssertionMap.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/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/Configurator.java
• M gcontracts-core/src/main/java/org/gcontracts/generation/ContractExecutionTracker.java
• M gcontracts-core/src/main/java/org/gcontracts/generation/OldVariableGenerationUtility.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/ExpressionUtils.java
• M gcontracts-core/src/main/java/org/gcontracts/util/LifecycleImplementationLoader.java
• M gcontracts-core/src/main/java/org/gcontracts/util/Validate.java
• M gcontracts-doc/src/main/java/org/gcontracts/doc/ContractGroovyDoc.java
• M gcontracts-grails/src/main/java/org/gcontracts/grails/SpringContractsLifecycle.java