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 [c99f3ecd39e3a8d1586f6fa14767c2bae8e70acc] by Andre Steingress

Revision c99f3ecd39e3a8d1586f6fa14767c2bae8e70acc, committed by Andre Steingress · March 1st, 2011 @ 01:19 PM

16 changed files

  • A gcontracts-core/src/main/java/org/gcontracts/classgen/asm/ClosureWriter.java
  • A gcontracts-core/src/test/groovy/org/gcontracts/tests/basic/DummyInterface.groovy
  • M gcontracts-core/src/main/java/org/gcontracts/annotations/meta/AnnotationProcessorImplementation.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/DomainModelInjectionVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/InterfaceVisitor.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/spi/AnnotationProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/domain/Contract.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/util/AnnotationUtils.java
  • M gcontracts-core/src/test/groovy/org/gcontracts/domain/ContractTests.groovy