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

Revision 795caf882346e999efa0ce7eedf37e86b00ef124, committed by Andre Steingress · April 25th, 2012 @ 11:12 AM

4 changed files

  • M gcontracts-core/src/main/java/org/gcontracts/ViolationTracker.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/base/BaseLifecycle.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/BaseGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/ContractExecutionTracker.java