Changeset [3e7c76d581363d71577a3b8d59ceb702967ffcb1] by Andre Steingress

October 10th, 2012 @ 12:26 PM

added the block statement with the original assertion code in to the AST meta-data
https://github.com/andresteingress/gcontracts/commit/3e7c76d581363d...

Committed by Andre Steingress

  • M gcontracts-core/src/main/java/org/gcontracts/ast/visitor/AnnotationProcessorVisitor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/ClassInvariantAnnotationProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/EnsuresAnnotationProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/impl/RequiresAnnotationProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/common/spi/AnnotationProcessor.java
  • M gcontracts-core/src/main/java/org/gcontracts/domain/Assertion.java
  • M gcontracts-core/src/main/java/org/gcontracts/domain/ClassInvariant.java
  • M gcontracts-core/src/main/java/org/gcontracts/domain/Postcondition.java
  • M gcontracts-core/src/main/java/org/gcontracts/domain/Precondition.java
  • M gcontracts-core/src/test/groovy/org/gcontracts/domain/ContractTests.groovy
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