Changeset [89289ec51b6c21230048eed5756c0b129c3dea3c] by Andre Steingress

March 15th, 2013 @ 11:57 AM

Committed by Andre Steingress

  • 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
New-ticket 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

Shared Ticket Bins