1.2.3
∞ days late
Progress
% Complete
100%
Tickets Left
0
Expected May 18th, 2011
No open tickets in this milestone.
Closed tickets 3
-
23A circular call is detected when there isn't.resolved -
26doc template not in classpathresolved -
27avoid class invariant on read-only propertiesresolved
Wednesday, May 18 2011
-
me (at andresteingress) created the ticket at 11:18 AM
-
me (at andresteingress) created the ticket at 11:18 AM
-
- State changed from new to resolved
- Milestone set to 1.2.3
- Assigned user set to me (at andresteingress)
- Milestone order changed from 1 to 0
there will be improvements to the class invariants injection in 1.2.3, but i am aware there are issues here.
25
Precondition (@Requires) should be checked before the method, closure is invoked
was updated
in gcontracts-core
-
- Milestone set to 1.2.3
- Assigned user set to me (at andresteingress)
- Milestone order changed from 3 to 0
a duplicate of #10
Thursday, May 12 2011
10
Support for static methods
was updated
in gcontracts-core
-
- Milestone changed from 1.2.2 to 1.2.3
- Milestone order changed from 2 to 0
1
provide better javadoc for SPI classes
was updated
in gcontracts-core
-
- Milestone changed from 1.2.2 to 1.2.3
- Milestone order changed from 5 to 0
5
consistent naming through the core classes
was updated
in gcontracts-core
-
- Milestone changed from 1.2.2 to 1.2.3
- Milestone order changed from 6 to 0
17
old variable generation on inherited instance variables
was updated
in gcontracts-core
-
- Milestone changed from 1.2.2 to 1.2.3
- Milestone order changed from 10 to 0
18
call to super method causes precondition violation
was updated
in gcontracts-core
-
- Milestone changed from 1.2.2 to 1.2.3
- Milestone order changed from 11 to 0
3
accessing private variables from @Invariant
was updated
in gcontracts-core
-
- Milestone changed from 1.2.2 to 1.2.3
- Milestone order changed from 4 to 0
No messages in this milestone.