Changeset [d0490890c23bbfb51caa82996b300f8e2a059e89] by Andre Steingress
Revision d0490890c23bbfb51caa82996b300f8e2a059e89,
committed by Andre Steingress
· January 15th, 2012 @ 08:33 PM
fixed error with parameters and preconditions in static
methods
https://github.com/andresteingress/gcontracts/commit/d0490890c23bbf...
2 changed files
-
M
gcontracts-core/src/main/java/org/gcontracts/ast/GContractsASTTransformation.java -
M
gcontracts-core/src/main/java/org/gcontracts/ast/visitor/DomainModelInjectionVisitor.java