Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Changeset [fc6782091fcdac7f436e74988a1c34edfa08c430] by Andre Steingress

Revision fc6782091fcdac7f436e74988a1c34edfa08c430, committed by Andre Steingress · February 25th, 2011 @ 01:26 PM

19 changed files

  • 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/visitor/ConfiguratorSetupVisitor.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/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/Lifecycle.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/spi/ProcessingContextInformation.java
  • M gcontracts-spring/build.gradle
  • M gcontracts-spring/src/main/java/org/gcontracts/spring/SpringContractsLifecycle.java