Changeset [142c4ef87e54a457fa22dde398a8fc04123d20ba] by Andre Steingress
Revision 142c4ef87e54a457fa22dde398a8fc04123d20ba,
committed by Andre Steingress
· May 20th, 2011 @ 11:53 PM
ContractExecutionTracker for recursive calls to contracts
https://github.com/andresteingress/gcontracts/commit/142c4ef87e54a4...
9 changed files
-
A
gcontracts-core/src/main/java/org/gcontracts/generation/ContractExecutionTracker.java -
A
gcontracts-core/src/test/groovy/org/gcontracts/generation/ContractExecutionTrackerTests.groovy -
R
gcontracts-core/src/main/java/org/gcontracts/generation/CircularAssertionCallInterceptor.java -
R
gcontracts-core/src/main/java/org/gcontracts/generation/CircularMethodCallAwareMetaClass.java -
R
gcontracts-core/src/test/groovy/org/gcontracts/generation/CircularMethodCallAwareMetaClassTests.groovy -
M
gcontracts-core/src/main/java/org/gcontracts/generation/BaseGenerator.java -
M
gcontracts-core/src/main/java/org/gcontracts/generation/CandidateChecks.java -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/SimpleClassInvariantTests.groovy -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/SimplePreconditionTests.groovy