Changeset [aa50e827fa07b2332ec3b3b973dc011874bec08d] by Andre Steingress
Revision aa50e827fa07b2332ec3b3b973dc011874bec08d,
committed by Andre Steingress
· May 21st, 2011 @ 12:27 AM
fixed recursive calls from contract assertions in other
assertions
https://github.com/andresteingress/gcontracts/commit/aa50e827fa07b2...
7 changed files
-
M
gcontracts-core/src/main/java/org/gcontracts/generation/BaseGenerator.java -
M
gcontracts-core/src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java -
M
gcontracts-core/src/main/java/org/gcontracts/generation/ContractExecutionTracker.java -
M
gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java -
M
gcontracts-core/src/main/java/org/gcontracts/generation/PreconditionGenerator.java -
M
gcontracts-core/src/test/groovy/org/gcontracts/generation/ContractExecutionTrackerTests.groovy -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/SimpleClassInvariantTests.groovy