Changeset: Changeset [4b7cc2161b9ff744c368aaea0a476a0d07475cd7] by Andre Steingress - gcontracts-core

Type	To find
responsible:me	tickets assigned to you
tagged:"@high"	tickets tagged @high
milestone:next	tickets in the upcoming milestone
state:invalid	tickets with the state invalid
created:"last week"	tickets created last week
sort:number, importance, updated	tickets sorted by #, importance or updated
Combine keywords for powerful searching.
Use advanced searching »

Changeset [4b7cc2161b9ff744c368aaea0a476a0d07475cd7] by Andre Steingress

May 30th, 2011 @ 12:38 PM

fixed [#10] Support for static methods, fixed [#25] Precondition (@Requires) should be checked before the method, closure is invoked
https://github.com/andresteingress/gcontracts/commit/4b7cc2161b9ff7...

Committed by Andre Steingress

M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/DomainModelInjectionVisitor.java
M gcontracts-core/src/main/java/org/gcontracts/common/base/BaseLifecycle.java
M gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/PostconditionLifecycle.java
M gcontracts-core/src/main/java/org/gcontracts/common/impl/lc/PreconditionLifecycle.java
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/main/java/org/gcontracts/generation/ClassInvariantGenerator.java
M gcontracts-core/src/main/java/org/gcontracts/generation/ContractExecutionTracker.java
M gcontracts-core/src/test/groovy/org/gcontracts/generation/ContractExecutionTrackerTests.groovy
M gcontracts-core/src/test/groovy/org/gcontracts/tests/post/SimplePostconditionTests.groovy
M gcontracts-core/src/test/groovy/org/gcontracts/tests/pre/SimplePreconditionTests.groovy

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

core module