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

Revision aaa017e5d8afa35031c8e25047e078cae9fc304a, committed by Andre Steingress · February 26th, 2012 @ 08:41 PM

fixed [#3] - accessing private variables from @Invariant
https://github.com/andresteingress/gcontracts/commit/aaa017e5d8afa3...

5 changed files

  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationClosureVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/util/FieldValues.java
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/SimpleClassInvariantTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/other/ClosureExpressionValidationTests.groovy
  • M gcontracts-core/src/test/groovy/org/gcontracts/util/FieldValuesTests.groovy