Changeset [7b071ad8722e7b4272c1203dabb869c2f1a267f3] by Andre Steingress
Revision 7b071ad8722e7b4272c1203dabb869c2f1a267f3,
committed by Andre Steingress
· October 10th, 2012 @ 08:05 PM
handling assertion statements directly over to generator
classes
https://github.com/andresteingress/gcontracts/commit/7b071ad8722e7b...
4 changed files
-
M
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/DomainModelInjectionVisitor.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