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

Revision 10fc9c8536320cdb9e712a0bb95eff8e6df91534, committed by Andre Steingress · February 24th, 2011 @ 02:48 PM

8 changed files

  • A gcontracts.ipr
  • A gcontracts.iws
  • R src/test/groovy/org/gcontracts/tests/basic/ASTTransformationTestsGroovyClassLoader.groovy
  • M build.gradle
  • M src/main/java/org/gcontracts/ast/GContractsASTTransformation.java
  • M src/main/java/org/gcontracts/ast/visitor/ContractsVisitor.java
  • M src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java
  • M src/test/groovy/org/gcontracts/tests/basic/BaseTestClass.groovy