Changeset [23448420e0ad986a778da63062d7c68e3d7f6d3b] by Andre Steingress

February 25th, 2011 @ 01:28 PM

Committed by Andre Steingress

  • M gcontracts-core/build.gradle
  • 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/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/common/NotNull.java
  • M gcontracts-core/src/main/java/org/gcontracts/annotations/meta/AnnotationProcessingASTTransformation.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/AnnotationProcessingASTTransformationsVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/BaseVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ConfiguratorSetupVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractsErasingVisitor.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/common/base/BaseAnnotationProcessingASTTransformation.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/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/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/AnnotationProcessingASTTransformation.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/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/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/generation/VariableGenerationUtility.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/main/java/org/gcontracts/util/Validate.java
  • M gcontracts-spring/src/main/java/org/gcontracts/spring/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