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.

All changesets

Changeset [b410689db98dde3e77d11c77b48e9b8a7f3185c5] by Andre Steingress

Revision b410689db98dde3e77d11c77b48e9b8a7f3185c5, committed by Andre Steingress · February 28th, 2011 @ 08:32 AM

26 changed files

  • A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractFinalizerVisitor.java
  • A gcontracts-core/src/main/java/org/gcontracts/domain/Assertion.java
  • A gcontracts-core/src/main/java/org/gcontracts/domain/ClassInvariant.java
  • A gcontracts-core/src/main/java/org/gcontracts/domain/Contract.java
  • A gcontracts-core/src/main/java/org/gcontracts/domain/Postcondition.java
  • A gcontracts-core/src/main/java/org/gcontracts/domain/Precondition.java
  • A gcontracts-core/src/main/java/org/gcontracts/util/ExpressionUtil.java
  • A gcontracts-core/src/test/groovy/org/gcontracts/domain/ContractTests.groovy
  • M gcontracts-core/src/main/java/org/gcontracts/annotations/common/NotNull.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/LifecycleAfterTransformationVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/LifecycleBeforeTransformationVisitor.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/AnnotationProcessor.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/ClassInvariantGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/PreconditionGenerator.java