Changeset [d0490890c23bbfb51caa82996b300f8e2a059e89] 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...

Committed by Andre Steingress

  • M gcontracts-core/src/main/java/org/gcontracts/ast/GContractsASTTransformation.java
  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/DomainModelInjectionVisitor.java
New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป

core module

Shared Ticket Bins