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

Revision 97c1d0cde8539f35bd5bfaa7de00a052da95988a, committed by Andre Steingress · October 4th, 2012 @ 08:15 AM

3 changed files

  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationProcessorVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java
  • M gcontracts-core/src/test/groovy/org/gcontracts/compability/CompileStaticTests.groovy