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

Revision 19e1b28b70b6f1a8b07fab870b906df30a8bc71b, committed by Andre Steingress · September 20th, 2012 @ 10:16 PM

4 changed files

  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationProcessorVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/AnnotationContractProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/BaseGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java