accessing private variables from @Invariant
-
me (at andresteingress)- Milestone set to 1.2.1
- Milestone order changed from 1 to 0
-
me (at andresteingress)
- Milestone changed from 1.2.1 to 1.2.2
- Milestone order changed from 3 to 0
-
-
me (at andresteingress)
- Milestone changed from 1.2.2 to 1.2.3
- Milestone order changed from 4 to 0
-
me (at andresteingress)
- 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)
- 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)
- Milestone changed from 1.2.4 to 1.2.5
- Milestone order changed from 2 to 0
-
me (at andresteingress)
- Milestone changed from 1.2.5 to 1.2.6
- Milestone order changed from 1 to 0
-
me (at andresteingress)
(from [aaa017e5d8afa35031c8e25047e078cae9fc304a]) fixed [#3 accessing private variables from @Invariant] - accessing private variables from @Invariant https://github.com/andresteingress/gcontracts/commit/aaa017e5d8afa3...
-
me (at andresteingress)
- 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.