Support for private contructor
Reported by Thomas Han | May 6th, 2011 @ 03:54 PM | in 1.2.2
This should really be a duplicate of
http://gcontracts.lighthouseapp.com/projects/71511/tickets/11-suppo...
but just to make sure it is covered off. :)
Comments and changes to this ticket
-
me (at andresteingress) May 9th, 2011 @ 09:39 AM
- Milestone set to “1.2.2”
- Assigned user set to “me (at andresteingress)”
- Milestone order changed from “1” to “0”
-
-
me (at andresteingress) May 9th, 2011 @ 11:47 AM
- State changed from “new” to “resolved”
got resolved as being a duplicate of #11
normally, constracts only make sense on public interfaces and not on private helper methods. Anyway, the candidate check mechanism has been weakened to allow @Requires even on private methods and constructors.
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)
Referenced by
-
22
Support for private contructor
(from [18c82949d01f706051664a4c6e1e526b22cab920])
fixed [...
-
11
support for private methods
(from [18c82949d01f706051664a4c6e1e526b22cab920])
fixed [...