On May 15, 2013, at 9:43 PM, Sebastian Tleye <[email protected]> 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