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

Revision fb1947bc168e4e28741bebba3dc78030ce62bdb2, committed by Andre Steingress · March 1st, 2012 @ 09:02 AM

5 changed files

  • A gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ASTNodeMetaData.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/GContractsASTTransformation.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationClosureVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractElementVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/CandidateChecks.java