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

Revision 940e482620f88aa344e8731f222288f3d7896b84, committed by Andre Steingress · March 1st, 2011 @ 04:37 PM

dummy marker to find parent pre/postconditions of interface contracts
https://github.com/andresteingress/gcontracts/commit/940e482620f88a...

2 changed files

  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationProcessorVisitor.java
  • M gcontracts-core/src/test/groovy/org/gcontracts/tests/interfaces/SimpleInterfaceInheritanceTests.groovy