Changeset [f8bdbafd044c284dd78fb125855a065bf5743d73] by Andre Steingress
Revision f8bdbafd044c284dd78fb125855a065bf5743d73,
committed by Andre Steingress
· February 25th, 2011 @ 12:05 PM
adding handling of class invariants to cilc
https://github.com/andresteingress/gcontracts/commit/f8bdbafd044c28...
1 changed file
-
M
gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/ClassInvariantLifecycle.java