1.2.4
Progress
% Complete
Tickets Left
Expected May 25th, 2011
No open tickets in this milestone.
Closed tickets 6
-
17old variable generation on inherited instance variablesresolved -
10Support for static methodsresolved -
25Precondition (@Requires) should be checked before the method, closure is invokedresolved -
28use locks to avoid concurrency issues when checking contractsresolved -
29no explicit return returns nullresolved -
30ReturnStatementVisitor does not ignore closure expressionsresolved
Sunday, June 12 2011
-
-
me (at andresteingress) commented at 9:57 PM
(from [ad5003bca92a1e43298bd5a36113532071400913]) fixed [#30] - ReturnStatementVisitor does not ignore closure expressions https://github.com/andresteingress/g...
-
me (at andresteingress) created the ticket at 9:57 PM
{mkd-extraction-7d7b994b464cb79f083d76286305d795}
class A {the ReturnStatementVisitor does not ignore the closure expression given to the sort method which le...
-
-
me (at andresteingress) commented at 9:36 PM
(from [fbd6982cb69fd4541e4eea56bc87103cca3c8f7b]) new test-cases, fixed [#29] https://github.com/andresteingress/gcontracts/commit/fbd6982cb69fd4...
-
me (at andresteingress) created the ticket at 8:40 PM
bug report from a client:
@Requires({ urgency && ( sendToGroups != null ) && ( sendToUsers != null ) }) @Ensures({ result.id > 0 }) Message messageWithId ( Urge...
Monday, May 30 2011
-
-
- Milestone order changed from 1 to 0
(from [4b7cc2161b9ff744c368aaea0a476a0d07475cd7]) fixed [#10] Support for static methods, fixed [#25] Precondition (@Requires) should be checked before the meth...
-
-
- Milestone order changed from 1 to 0
(from [4b7cc2161b9ff744c368aaea0a476a0d07475cd7]) fixed [#10] Support for static methods, fixed [#25] Precondition (@Requires) should be checked before the meth...
Monday, May 23 2011
-
-
- Milestone order changed from 1 to 0
(from [ae3ced841930f2e1a20bfc9b62bc97292d02ea3e]) fixed [#17] old variable generation on inherited instance variables https://github.com/andresteingress/gcontr...
Thursday, May 19 2011
-
- Milestone order changed from 1 to 0
the general strategy is to generate protected synthetic getter methods for accessing the private instance variables values.
-
- State changed from new to resolved
fixed with usage of reentrant lock
-
me (at andresteingress) commented at 4:36 PM
(from [37bab03d8fa8d89918c271973ea7dbf0ca7499be]) fixed [#28] - added try/catch with unlock in finally block https://github.com/andresteingress/gcontracts/comm...
-
me (at andresteingress) created the ticket at 4:22 PM
Wednesday, May 18 2011
-
- Milestone changed from 1.2.3 to 1.2.4
- Milestone order changed from 2 to 0
there have been some improvements on this topic - solution is mainly to inject generated protected methods
-
- Milestone changed from 1.2.3 to 1.2.4
- Milestone order changed from 3 to 0
-
- Milestone changed from 1.2.3 to 1.2.4
- Milestone order changed from 4 to 0
-
- Milestone changed from 1.2.3 to 1.2.4
- Milestone order changed from 5 to 0
-
- Milestone changed from 1.2.3 to 1.2.4
- Milestone order changed from 6 to 0
-
- Milestone changed from 1.2.3 to 1.2.4
- Milestone order changed from 7 to 0
-
- Milestone changed from 1.2.3 to 1.2.4
- Milestone order changed from 8 to 0
No messages in this milestone.