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

Revision ac18aefab1e965989c5fbd13ec5a91a6f7cf2d16, committed by Andre Steingress · October 3rd, 2012 @ 08:05 AM

fixed class loader bug occuring in Gradle builds
https://github.com/andresteingress/gcontracts/commit/ac18aefab1e965...

6 changed files

  • A gcontracts-core/src/main/java/org/gcontracts/util/ClosureInstanceHelper.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/generation/BaseGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/Configurator.java