Thanks Marcus! 2013/5/16 Marcus Denker <marcus.denker@inria.fr>
On May 15, 2013, at 9:43 PM, Sebastian Tleye <stleye@gmail.com> wrote:
Thanks Igor, i think you are right. I am not sure what "isObsolete" does, but for Ring classes, which are created dinamically, it doesn't seem that "isObsolete" is useful. (at least is my intuition)
Obsolete classes happen if you delete a class, yet there are still instances. This is needed as classes do not model history. But a) Ring classes are not directly instantiated (they are not referenced from the header of the instances) b) They even are able to model history very nicely
So the obsolete concept makes no sense⦠an obsolete class might even have a (Historical) Ring class associated with it and Ring would have no problem at all.
Marcus