Changeset [4b7cc2161b9ff744c368aaea0a476a0d07475cd7] by Andre Steingress
Revision 4b7cc2161b9ff744c368aaea0a476a0d07475cd7,
committed 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...
11 changed files
-
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