Changeset [844ab0f65d191e9679791ee09e9b097990e18064] by Andre Steingress
Revision 844ab0f65d191e9679791ee09e9b097990e18064,
committed by Andre Steingress
· March 31st, 2011 @ 09:21 AM
find better way instead of @Contracted [#8]
https://github.com/andresteingress/gcontracts/commit/844ab0f65d191e...
4 changed files
-
A
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/ContractElementVisitor.java -
A
gcontracts-core/src/test/groovy/org/gcontracts/tests/other/NotContractedTests.groovy -
M
gcontracts-core/src/main/java/org/gcontracts/ast/GContractsASTTransformation.java -
M
gcontracts-core/src/main/java/org/gcontracts/generation/CandidateChecks.java