Changeset [3a5962765b6baf077e0395beffeac5fabdba51fb] by Andre Steingress
Revision 3a5962765b6baf077e0395beffeac5fabdba51fb,
committed by Andre Steingress
· April 14th, 2011 @ 11:07 AM
multiple return statements cause missing postcondition
validation [#19]
https://github.com/andresteingress/gcontracts/commit/3a5962765b6baf...
5 changed files
-
M
gcontracts-core/src/main/java/org/gcontracts/generation/AssertStatementCreationUtility.java -
M
gcontracts-core/src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java -
M
gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/inv/SimpleClassInvariantTests.groovy -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/post/SimplePostconditionTests.groovy