|
23 |
✓resolved |
A circular call is detected when there isn't. |
1.2.3 |
me (at andresteingress) |
over 13 years old |
|
3 |
✓resolved |
accessing private variables from @Invariant |
1.2.6 |
me (at andresteingress) |
over 12 years old |
|
14 |
✓resolved |
Allow Labels in Annotation Closures |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
15 |
✓resolved |
Allow multiple labels in contracts |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
6 |
✓invalid |
Annotation contract support for Target.METHOD |
1.2.1 |
me (at andresteingress) |
over 13 years old |
|
4 |
✓resolved |
apply gradle changes to sonatype build steps |
1.2-rc1 |
me (at andresteingress) |
over 13 years old |
|
13 |
✓resolved |
Automtically infer @Retention and @Target into Annotation Contracts |
1.2.1 |
me (at andresteingress) |
over 13 years old |
|
27 |
✓resolved |
avoid class invariant on read-only properties |
1.2.3 |
me (at andresteingress) |
over 13 years old |
|
18 |
new |
call to super method causes precondition violation |
1.2.6 |
me (at andresteingress) |
almost 13 years old |
|
32 |
new |
Check for support of @Requires and @Ensures on Groovy properties |
1.2.6 |
me (at andresteingress) |
over 4 years old |
|
37 |
✓resolved |
ClassCastException: o.c.g.a.e.ClosureExpression cannot be cast to o.c.g.a.e.ClassExpression |
1.2.6 |
me (at andresteingress) |
over 12 years old |
|
36 |
✓resolved |
ClassInvariantViolation is not thrown anymore |
1.2.6 |
me (at andresteingress) |
over 12 years old |
|
5 |
new |
consistent naming through the core classes |
1.2.6 |
me (at andresteingress) |
almost 13 years old |
|
31 |
✓hold |
cyclic class in preconditions |
1.2.5 |
me (at andresteingress) |
over 13 years old |
|
21 |
✓hold |
cyclic method calls when querying property in class invariant |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
26 |
✓resolved |
doc template not in classpath |
1.2.3 |
me (at andresteingress) |
over 13 years old |
|
7 |
✓resolved |
Documentation on Annotation Contracts |
1.2.1 |
me (at andresteingress) |
over 13 years old |
|
8 |
✓resolved |
find better way instead of @Contracted |
1.2.1 |
me (at andresteingress) |
over 13 years old |
|
24 |
✓hold |
Invariant not obeyed for private constructor |
none |
me (at andresteingress) |
over 13 years old |
|
16 |
✓resolved |
missing return causes wrong method behavior |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
19 |
✓resolved |
multiple return statements cause missing postcondition validation |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
29 |
✓resolved |
no explicit return returns null |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
17 |
✓resolved |
old variable generation on inherited instance variables |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
12 |
✓resolved |
Optimize CandidateChecks and exclude java.lang and groovy.lang |
1.2.1 |
me (at andresteingress) |
over 13 years old |
|
25 |
✓resolved |
Precondition (@Requires) should be checked before the method, closure is invoked |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
20 |
✓resolved |
precondition specification on constructor with default value fails |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
1 |
new |
provide better javadoc for SPI classes |
1.2.6 |
me (at andresteingress) |
almost 13 years old |
|
35 |
✓resolved |
remove legacy back ported ClosureWriter and restrict support to 1.8 |
1.2.6 |
me (at andresteingress) |
about 12 years old |
|
30 |
✓resolved |
ReturnStatementVisitor does not ignore closure expressions |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
9 |
new |
support for annotation contracts in interfaces |
1.2.6 |
me (at andresteingress) |
almost 13 years old |
Create new ticket