accessing private variables from @Invariant
Reported by me (at andresteingress) | March 8th, 2011 @ 01:07 PM | in 1.2.6
currently it is not possible to accesss private instance variables from class invariants
Comments and changes to this ticket
-
me (at andresteingress) March 8th, 2011 @ 11:41 PM
- Milestone set to 1.2.1
- Milestone order changed from 1 to 0
-
me (at andresteingress) March 31st, 2011 @ 09:58 AM
- Milestone changed from 1.2.1 to 1.2.2
- Milestone order changed from 3 to 0
-
me (at andresteingress) May 12th, 2011 @ 08:08 PM
- Milestone changed from 1.2.2 to 1.2.3
- Milestone order changed from 4 to 0
-
me (at andresteingress) May 18th, 2011 @ 11:18 AM
- 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
-
me (at andresteingress) May 19th, 2011 @ 04:40 PM
- Milestone order changed from 1 to 0
the general strategy is to generate protected synthetic getter methods for accessing the private instance variables values.
-
me (at andresteingress) June 12th, 2011 @ 10:03 PM
- Milestone changed from 1.2.4 to 1.2.5
- Milestone order changed from 2 to 0
-
me (at andresteingress) January 15th, 2012 @ 09:26 PM
- Milestone changed from 1.2.5 to 1.2.6
- Milestone order changed from 1 to 0
-
me (at andresteingress) February 26th, 2012 @ 08:41 PM
(from [aaa017e5d8afa35031c8e25047e078cae9fc304a]) fixed [#3] - accessing private variables from @Invariant https://github.com/andresteingress/gcontracts/commit/aaa017e5d8afa3...
-
me (at andresteingress) February 26th, 2012 @ 08:45 PM
- State changed from new to resolved
fixed with 1.2.6 - resolved via reflection calls.
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 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
Tags
Referenced by
- 3 accessing private variables from @Invariant (from [6370eff908b60883d98d65df754d181444ccc5ec]) added t...