andresteingress/gcontracts

Issues

• "Type mismatch" when using in Java

  #52 opened 7 years ago by WolfgangWo
  2

• Can't compile groovy trait with gcontracts

  #51 opened 9 years ago by Gary-Shurgin
  2

• Where's @AnnotationContract?

  #50 opened 11 years ago by alexsanzdev
  0

• NoSuchFieldError when debugging in IntelliJ

  #48 opened 11 years ago by barneyb
  0

• @Contracted not processed correctly

  #49 opened 11 years ago by barneyb
  0

• Nested closures

  #46 opened 11 years ago by barneyb
  0

• ASM dependency

  #45 opened 11 years ago by aalmiray
  0

• NPE with Grails and IntelliJ EAP 12.1 and 13

  #44 opened 12 years ago by mgryszko
  1

• Spock 0.7 compability

  #31 opened 13 years ago by andresteingress
  0

• JSR303: support for javax.validation.constraints annotations

  #42 opened 12 years ago by andresteingress
  0

• Improved compilation error messages

  #43 opened 12 years ago by andresteingress
  0

• Fix copyright text

  #41 opened 12 years ago by andresteingress
  0

• @Grab with GContracts fails in groovyConsole and @CompileStatic

  #39 opened 12 years ago by andresteingress
  0

• Provide GDSL and DSLD files for improved IDE support

  #40 opened 12 years ago by andresteingress
  0

• Ensure Groovy 2.0 @CompileStatic compability

  #29 opened 13 years ago by andresteingress
  1

• Introduce an inline mode for performance boost

  #35 opened 12 years ago by andresteingress
  0

• Generic parameter type leads to NP when running on Oracle Java 1.7_10

  #36 opened 12 years ago by andresteingress
  0

• @Grab and static compilation

  #37 opened 12 years ago by andresteingress
  0

• ContractClosureWriter should generate final classes

  #38 opened 12 years ago by andresteingress
  0

• ClassNotFoundError when using Groovy 1.8.8

  #34 opened 12 years ago by andresteingress
  0

• Error when constructor parameter and instance variables have the same identifier

  #33 opened 12 years ago by andresteingress
  0

• Class invariants should allow private instance field access

  #30 opened 13 years ago by andresteingress
  0

• Evaluate annotation closure expressions

  #28 opened 13 years ago by andresteingress
  0

• Ensures GContracts works with standard Groovy AST transformations

  #32 opened 13 years ago by andresteingress
  0

• contracts in GroovyDoc

  #8 opened 14 years ago by HamletDRC
  2

• add common annotation expressions to requires/ensures closure expressions

  #26 opened 14 years ago by andresteingress
  1

• add a stack trace checking mechanism, to avoid cycling pre/postcondition calls

  #27 opened 14 years ago by andresteingress
  1

• Pre- and postconditions for properties (somehow attributed to getter/setter)

  #19 opened 14 years ago by andresteingress
  1

• support for interface contracts

  #9 opened 14 years ago by andresteingress
  1

• Specialized annotations for frequent cases

  #20 opened 14 years ago by andresteingress
  1

• Per-parameter pre- and postconditions

  #18 opened 14 years ago by andresteingress
  1

• Grails Integration: Invariant checks when executing findById

  #21 opened 14 years ago by andresteingress
  3

• better support for Spring components classes with class invariants

  #25 opened 14 years ago by andresteingress
  1

• wrong class invariant placement with inherited invariant

  #24 opened 14 years ago by andresteingress
  1

• @Requires on constructor with super statement causes compilation error

  #23 opened 14 years ago by andresteingress
  1

• Separate Exception Types for Pre-, Postconditions and Class Invariant Violations

  #22 opened 14 years ago by andresteingress
  1

• remove direct reference to PowerAssertionError

  #17 opened 15 years ago by andresteingress
  1

• old variables gets cleared on inherited postcondition

  #16 opened 15 years ago by andresteingress
  1

• use Groovy power asserts as an alternative to AssertionStatement

  #7 opened 15 years ago by andresteingress
  5

• support for requires and ensures at object creation

  #15 opened 15 years ago by andresteingress
  1

• fix class invariant inheritance with default class invariant

  #14 opened 15 years ago by andresteingress
  1

• Cleanup the generated AST

  #13 opened 15 years ago by andresteingress
  1

• regression in latest version: ClassCastException in transformation

  #11 opened 15 years ago by HamletDRC
  9

• Interface should not get a default class invariant

  #12 opened 15 years ago by andresteingress
  1

• remove calls to getTypeClass() to avoid problems in groovy-eclipse-plugin

  #10 opened 15 years ago by andresteingress
  1

• AssertionErrors should have line numbers

  #6 opened 15 years ago by HamletDRC
  1

• Assertion Errors need better messages

  #5 opened 15 years ago by HamletDRC
  6

• refactor assertion message

  #2 opened 15 years ago by andresteingress
  1

• support for Groovy generated properties

  #4 opened 15 years ago by andresteingress
  1

• Introduce "old" variable to @Ensures closure annotation

  #3 opened 15 years ago by andresteingress
  1