Changeset [8ce0df9545d8731fd31184a70a26bf5c81b13100] by Andre Steingress
Revision 8ce0df9545d8731fd31184a70a26bf5c81b13100,
committed by Andre Steingress
· March 3rd, 2011 @ 01:34 PM
cleanup, fixed source position of renewed boolean expression
https://github.com/andresteingress/gcontracts/commit/8ce0df9545d873...
8 changed files
-
M
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationProcessorVisitor.java -
M
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/InterfaceContractVisitor.java -
M
gcontracts-core/src/main/java/org/gcontracts/domain/Assertion.java -
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/main/java/org/gcontracts/generation/PreconditionGenerator.java -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/interfaces/SimpleInterfaceInheritanceTests.groovy