Changeset [142c4ef87e54a457fa22dde398a8fc04123d20ba] by Andre Steingress

May 20th, 2011 @ 11:53 PM

ContractExecutionTracker for recursive calls to contracts
https://github.com/andresteingress/gcontracts/commit/142c4ef87e54a4...

Committed by Andre Steingress

  • 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
New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป

core module

Shared Ticket Bins