Changeset [a8b103de6f8355db4601fa81769d0a5e298c61e4] by Andre Steingress
Revision a8b103de6f8355db4601fa81769d0a5e298c61e4,
committed by Andre Steingress
· March 1st, 2011 @ 03:27 PM
fixed checks for @Postcondition meta annotation
https://github.com/andresteingress/gcontracts/commit/a8b103de6f8355...
3 changed files
-
M
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationProcessorVisitor.java -
M
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/InterfaceVisitor.java -
M
gcontracts-core/src/test/groovy/org/gcontracts/tests/interfaces/StackExampleTests.groovy