andresteingress gcontracts issues

andresteingress / gcontracts

GContracts: Programming by Contract for Groovy

http://gcontracts.org

114 stars 11 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

use EmptyStatment singleton

#54 paulk-asert closed 4 years ago
0
update gradle and target compatibility and some whitespace formatting

#53 paulk-asert closed 4 years ago
0
"Type mismatch" when using in Java

#52 WolfgangWo closed 5 years ago
2
Can't compile groovy trait with gcontracts

#51 Gary-Shurgin opened 8 years ago
2
Where's @AnnotationContract?

#50 alexsanzdev opened 9 years ago
0
@Contracted not processed correctly

#49 barneyb opened 10 years ago
0
NoSuchFieldError when debugging in IntelliJ

#48 barneyb opened 10 years ago
0
null check extracting boolean exprs from closure

#47 barneyb opened 10 years ago
0
Nested closures

#46 barneyb opened 10 years ago
0
ASM dependency

#45 aalmiray opened 10 years ago
0
NPE with Grails and IntelliJ EAP 12.1 and 13

#44 mgryszko closed 10 years ago
1
Improved compilation error messages

#43 andresteingress closed 11 years ago
0
JSR303: support for javax.validation.constraints annotations

#42 andresteingress opened 11 years ago
0
Fix copyright text

#41 andresteingress closed 11 years ago
0
Provide GDSL and DSLD files for improved IDE support

#40 andresteingress closed 11 years ago
0
@Grab with GContracts fails in groovyConsole and @CompileStatic

#39 andresteingress closed 11 years ago
0
ContractClosureWriter should generate final classes

#38 andresteingress closed 11 years ago
0
@Grab and static compilation

#37 andresteingress closed 11 years ago
0
Generic parameter type leads to NP when running on Oracle Java 1.7_10

#36 andresteingress closed 11 years ago
0
Introduce an inline mode for performance boost

#35 andresteingress closed 11 years ago
0
ClassNotFoundError when using Groovy 1.8.8

#34 andresteingress closed 11 years ago
0
Error when constructor parameter and instance variables have the same identifier

#33 andresteingress closed 11 years ago
0
Ensures GContracts works with standard Groovy AST transformations

#32 andresteingress closed 11 years ago
0
Spock 0.7 compability

#31 andresteingress opened 11 years ago
0
Class invariants should allow private instance field access

#30 andresteingress closed 11 years ago
0
Ensure Groovy 2.0 @CompileStatic compability

#29 andresteingress closed 11 years ago
1
Evaluate annotation closure expressions

#28 andresteingress closed 11 years ago
0
add a stack trace checking mechanism, to avoid cycling pre/postcondition calls

#27 andresteingress closed 13 years ago
1
add common annotation expressions to requires/ensures closure expressions

#26 andresteingress closed 13 years ago
1
better support for Spring components classes with class invariants

#25 andresteingress closed 13 years ago
1
wrong class invariant placement with inherited invariant

#24 andresteingress closed 13 years ago
1
@Requires on constructor with super statement causes compilation error

#23 andresteingress closed 13 years ago
1
Separate Exception Types for Pre-, Postconditions and Class Invariant Violations

#22 andresteingress closed 13 years ago
1
Grails Integration: Invariant checks when executing findById

#21 andresteingress closed 13 years ago
3
Specialized annotations for frequent cases

#20 andresteingress closed 13 years ago
1
Pre- and postconditions for properties (somehow attributed to getter/setter)

#19 andresteingress closed 13 years ago
1
Per-parameter pre- and postconditions

#18 andresteingress closed 13 years ago
1
remove direct reference to PowerAssertionError

#17 andresteingress closed 13 years ago
1
old variables gets cleared on inherited postcondition

#16 andresteingress closed 14 years ago
1
support for requires and ensures at object creation

#15 andresteingress closed 14 years ago
1
fix class invariant inheritance with default class invariant

#14 andresteingress closed 14 years ago
1
Cleanup the generated AST

#13 andresteingress closed 14 years ago
1
Interface should not get a default class invariant

#12 andresteingress closed 14 years ago
1
regression in latest version: ClassCastException in transformation

#11 HamletDRC closed 14 years ago
9
remove calls to getTypeClass() to avoid problems in groovy-eclipse-plugin

#10 andresteingress closed 14 years ago
1
support for interface contracts

#9 andresteingress closed 13 years ago
1
contracts in GroovyDoc

#8 HamletDRC closed 13 years ago
2
use Groovy power asserts as an alternative to AssertionStatement

#7 andresteingress closed 14 years ago
5
AssertionErrors should have line numbers

#6 HamletDRC closed 14 years ago
1
Assertion Errors need better messages

#5 HamletDRC closed 14 years ago
6