Annotation contract support for Target.METHOD
Reported by me (at andresteingress) | 2011-03-15 12:02:41 UTC | in 1.2.1
currently, only Target.PARAMETER is supported.
Target.METHOD should be supported in order to specify full fledged reusable pre- and postconditions.
Comments and changes to this ticket
-
me (at andresteingress) 2011-03-15 12:37:41 UTC
- Tag set to “feature”
-
me (at andresteingress) 2011-03-15 23:42:41 UTC
(from [b14334607171b2367a5de4e0e9b60f2a487c372f]) added test case for ElementType.METHOD support [#6] https://github.com/andresteingress/gcontracts/commit/b14334607171b2...
-
me (at andresteingress) 2011-03-16 10:33:28 UTC
- State changed from “new” to “invalid”
annotation contracts on methods do not make any sense.
Please Sign in or create a free account to add a new ticket.
With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
core module
People watching this ticket
me (at andresteingress)
Tags
Referenced by
-
6
Annotation contract support for Target.METHOD
(from [b14334607171b2367a5de4e0e9b60f2a487c372f])
added t...