Changeset [7b071ad8722e7b4272c1203dabb869c2f1a267f3] by Andre Steingress

October 10th, 2012 @ 08:05 PM

handling assertion statements directly over to generator classes
https://github.com/andresteingress/gcontracts/commit/7b071ad8722e7b...

Committed by Andre Steingress

  • 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
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