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

Revision 43cb33defcc2d58e2b43da8cf2aa91e088b3f743, committed by Andre Steingress · October 10th, 2012 @ 09:26 PM

#35 changed base generator inline block statement factory method signature https://github.com/andresteingress/gcontracts/commit/43cb33defcc2d5...

3 changed files

  • M gcontracts-core/src/main/java/org/gcontracts/generation/BaseGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java
  • M gcontracts-core/src/main/java/org/gcontracts/generation/PreconditionGenerator.java