|
1 |
new |
provide better javadoc for SPI classes |
1.2.6 |
me (at andresteingress) |
almost 13 years old |
|
2 |
✓resolved |
update github wiki with new 1.2 features |
1.2.1 |
me (at andresteingress) |
almost 14 years old |
|
3 |
✓resolved |
accessing private variables from @Invariant |
1.2.6 |
me (at andresteingress) |
almost 13 years old |
|
4 |
✓resolved |
apply gradle changes to sonatype build steps |
1.2-rc1 |
me (at andresteingress) |
almost 14 years old |
|
5 |
new |
consistent naming through the core classes |
1.2.6 |
me (at andresteingress) |
almost 13 years old |
|
6 |
✓invalid |
Annotation contract support for Target.METHOD |
1.2.1 |
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 |
|
9 |
new |
support for annotation contracts in interfaces |
1.2.6 |
me (at andresteingress) |
almost 13 years old |
|
10 |
✓resolved |
Support for static methods |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
11 |
✓resolved |
support for private methods |
1.2.2 |
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 |
|
13 |
✓resolved |
Automtically infer @Retention and @Target into Annotation Contracts |
1.2.1 |
me (at andresteingress) |
over 13 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 |
|
16 |
✓resolved |
missing return causes wrong method behavior |
1.2.2 |
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 |
|
18 |
new |
call to super method causes precondition violation |
1.2.6 |
me (at andresteingress) |
almost 13 years old |
|
19 |
✓resolved |
multiple return statements cause missing postcondition validation |
1.2.2 |
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 |
|
21 |
✓hold |
cyclic method calls when querying property in class invariant |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
22 |
✓resolved |
Support for private contructor |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
23 |
✓resolved |
A circular call is detected when there isn't. |
1.2.3 |
me (at andresteingress) |
over 13 years old |
|
24 |
✓hold |
Invariant not obeyed for private constructor |
none |
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 |
|
26 |
✓resolved |
doc template not in classpath |
1.2.3 |
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 |
|
28 |
✓resolved |
use locks to avoid concurrency issues when checking contracts |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
29 |
✓resolved |
no explicit return returns null |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
30 |
✓resolved |
ReturnStatementVisitor does not ignore closure expressions |
1.2.4 |
me (at andresteingress) |
over 13 years old |