Changeset [844ab0f65d191e9679791ee09e9b097990e18064] by Andre Steingress
2011-03-31 09:21:44 UTC
find better way instead of @Contracted [#8]
https://github.com/andresteingress/gcontracts/commit/844ab0f65d191e...
Committed by Andre Steingress
- 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
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