gcontracts issues

Can't compile groovy trait with gcontracts

2

When I attempt to compile a groovy trait, I get the following error: Groovy:Method '$_gc_computeOldVariables' is protected but should be public in interface '{class}' I get this message whether I...

Gary-Shurgin

Where's @AnnotationContract?

Hi Andre, I want to create reusable contracts through annotations but @AnnotationContract is not longer available in version 1.2.12. It was available in 1.2.5 but suddenly it was deleted. How...

alexsanzdev

@Contracted not processed correctly

Trying to work around #48 I removed my `@Contracted` annotation, but all the contracts were still morphed into the generated code, and even more interestingly, the emitted bytecode had `@Contracted`...

barneyb

NoSuchFieldError when debugging in IntelliJ

When debugging code that uses `@Ensures` in IntelliJ, I always receive a NoSuchFieldError from within the `$_gc_computeOldVariables` method for the `__timeStamp__NNN_neverHappenNNNNNNNNNNNNN` field that Groovy automatically adds to the underlying bytecode...

barneyb

null check extracting boolean exprs from closure

If a validation closure contains expression statements, the list of boolean expressions ends up having nulls in it, which then cause NPEs in AssertStatementCreationUtility.getAssertionStatement.

barneyb

Nested closures

Given this code (which I believe _should_ be valid): ``` @Ensures({ result.every { t -> t.target == target } }) Collection getMappings(Entity target) { // buncha code... } ``` The...

barneyb