andresteingress / gcontracts

GContracts: Programming by Contract for Groovy

http://gcontracts.org

andresteingress/gcontracts Issues

"Type mismatch" when using in Java
Closed 6 years ago2
Can't compile groovy trait with gcontracts
Updated 7 years ago2
Where's @AnnotationContract?
Updated 10 years ago
NoSuchFieldError when debugging in IntelliJ
Updated 10 years ago
@Contracted not processed correctly
Updated 10 years ago
Nested closures
Updated 10 years ago
ASM dependency
Updated 10 years ago
NPE with Grails and IntelliJ EAP 12.1 and 13
Closed 11 years ago1
Spock 0.7 compability
Updated 11 years ago
JSR303: support for javax.validation.constraints annotations
Updated 11 years ago
Improved compilation error messages
Closed 11 years ago
Fix copyright text
Closed 11 years ago
@Grab with GContracts fails in groovyConsole and @CompileStatic
Closed 11 years ago
Provide GDSL and DSLD files for improved IDE support
Closed 11 years ago
Ensure Groovy 2.0 @CompileStatic compability
Closed 12 years ago1
Introduce an inline mode for performance boost
Closed 12 years ago
Generic parameter type leads to NP when running on Oracle Java 1.7_10
Closed 12 years ago
@Grab and static compilation
Closed 12 years ago
ContractClosureWriter should generate final classes
Closed 12 years ago
ClassNotFoundError when using Groovy 1.8.8
Closed 12 years ago
Error when constructor parameter and instance variables have the same identifier
Closed 12 years ago
Class invariants should allow private instance field access
Closed 12 years ago
Evaluate annotation closure expressions
Closed 12 years ago
Ensures GContracts works with standard Groovy AST transformations
Closed 12 years ago
contracts in GroovyDoc
Closed 13 years ago2
add common annotation expressions to requires/ensures closure expressions
Closed 13 years ago1
add a stack trace checking mechanism, to avoid cycling pre/postcondition calls
Closed 13 years ago1
Pre- and postconditions for properties (somehow attributed to getter/setter)
Closed 13 years ago1
support for interface contracts
Closed 13 years ago1
Specialized annotations for frequent cases
Closed 13 years ago1
Per-parameter pre- and postconditions
Closed 13 years ago1
Grails Integration: Invariant checks when executing findById
Closed 14 years ago3
better support for Spring components classes with class invariants
Closed 14 years ago1
wrong class invariant placement with inherited invariant
Closed 14 years ago1
@Requires on constructor with super statement causes compilation error
Closed 14 years ago1
Separate Exception Types for Pre-, Postconditions and Class Invariant Violations
Closed 14 years ago1
remove direct reference to PowerAssertionError
Closed 14 years ago1
old variables gets cleared on inherited postcondition
Closed 14 years ago1
use Groovy power asserts as an alternative to AssertionStatement
Closed 14 years ago5
support for requires and ensures at object creation
Closed 14 years ago1
fix class invariant inheritance with default class invariant
Closed 14 years ago1
Cleanup the generated AST
Closed 14 years ago1
regression in latest version: ClassCastException in transformation
Closed 14 years ago9
Interface should not get a default class invariant
Closed 14 years ago1
remove calls to getTypeClass() to avoid problems in groovy-eclipse-plugin
Closed 14 years ago1
AssertionErrors should have line numbers
Closed 14 years ago1
Assertion Errors need better messages
Closed 14 years ago6
refactor assertion message
Closed 14 years ago1
support for Groovy generated properties
Closed 14 years ago1
Introduce "old" variable to @Ensures closure annotation
Closed 14 years ago1