find better way instead of @Contracted
Reported by me (at andresteingress) | March 15th, 2011 @ 12:04 PM | in 1.2.1
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 separate annotation.
Comments and changes to this ticket
-
me (at andresteingress) March 31st, 2011 @ 08: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 method has a pre- or postcondition
- check if any descendant class has a class-invariant
- check if any descendant class has method with a pre- or
post-conditon
- check if any implemented interface has a method with a pre- or
post-condition
- check if any interface descendant has a method with a pre- or post-condition
automatically annotate classes with @Contracted if a contract element was found.
- check if class-invariant is available on the current
class
-
me (at andresteingress) March 31st, 2011 @ 09:21 AM
(from [844ab0f65d191e9679791ee09e9b097990e18064]) find better way instead of @Contracted [#8] https://github.com/andresteingress/gcontracts/commit/844ab0f65d191e...
-
me (at andresteingress) March 31st, 2011 @ 09:22 AM
- State changed from “new” to “resolved”
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
-
8
find better way instead of @Contracted
(from [844ab0f65d191e9679791ee09e9b097990e18064])
find be...