1.2.1
Progress
% Complete
Tickets Left
Expected Mar 31st, 2011
No open tickets in this milestone.
Closed tickets 6
-
2update github wiki with new 1.2 featuresresolved -
6Annotation contract support for Target.METHODinvalid -
7Documentation on Annotation Contractsresolved -
8find better way instead of @Contractedresolved -
12Optimize CandidateChecks and exclude java.lang and groovy.langresolved -
13Automtically infer @Retention and @Target into Annotation Contractsresolved
Thursday, March 31 2011
-
- Tag set to
- State changed from new to resolved
(from [51a6f45b2432306c45160854039476f17cdfecd0]) Automtically infer @Retention and @Target into Annotation Contracts [#13] https://github.com/andresteingress/...
-
me (at andresteingress) created the ticket at 10:52 AM
-
me (at andresteingress) commented at 9:54 AM
Parameters annotations are not re-read by Groovy's vmplugin
http://groovy.329449.n5.nabble.com/java5-vmplugin-and-annotated-met...
-
me (at andresteingress) commented at 9:53 AM
(from [9be99f654e382e9954de5f4d3c4728fa7c434943]) small refactorings while working on [#10] https://github.com/andresteingress/gcontracts/commit/9be99f654e382e...
-
-
me (at andresteingress) commented at 9:37 AM
(from [c583766f26ba81dccc0df54d219ad6be7092d22e]) Optimize CandidateChecks and exclude java.lang and groovy.lang [#12] https://github.com/andresteingress/gcont...
-
me (at andresteingress) created the ticket at 9:23 AM
In order to exclude more packages from ContractElement checking, we should take groovy.lang and java.lang out in CandidateChecks.
-
-
me (at andresteingress) commented at 9:21 AM
(from [844ab0f65d191e9679791ee09e9b097990e18064]) find better way instead of @Contracted [#8] https://github.com/andresteingress/gcontracts/commit/844ab0f65d19...
-
me (at andresteingress) commented at 8:35 AM
there needs to be a visitor implementation which takes a look for contract annotations:
- check if class-invariant is available on the current
class
- check if any...
- check if class-invariant is available on the current
class
Wednesday, March 23 2011
-
me (at andresteingress) created the ticket at 9:24 AM
1.1.x had support for @Requires in static methods. 1.2.x does not.
Wednesday, March 16 2011
-
me (at andresteingress) created the ticket at 10:34 AM
it is not supported to specify annotation contracts in interfaces.
-
- State changed from new to invalid
annotation contracts on methods do not make any sense.
Tuesday, March 15 2011
-
me (at andresteingress) commented at 11:42 PM
(from [b14334607171b2367a5de4e0e9b60f2a487c372f]) added test case for ElementType.METHOD support [#6] https://github.com/andresteingress/gcontracts/commit/b143...
-
-
me (at andresteingress) created the ticket at 12:02 PM
currently, only Target.PARAMETER is supported.
Target.METHOD should be supported in order to specify full fledged reusable pre- and postconditions.
-
me (at andresteingress) created the ticket at 12:04 PM
currently it is necessary to specify @Contracted to enable GContracts for the package or class.
maybe auto-resolving should be used instead of specifying a sepa...
-
me (at andresteingress) created the ticket at 12:03 PM
currently this feature is not documented @ github.
Tuesday, March 08 2011
-
- Tag changed from wiki, documentation to documentation, wiki
- State changed from new to resolved
- Milestone changed from 1.2-rc1 to 1.2.1
- Milestone order changed from 1 to 0
No messages in this milestone.