Hi
I will implement the following and I would like to let you know so that you can give feedback
when we do not merge a class and its metaclass the instance variable of a metaclass could have an instanceScope since it is true that the instance variable is an instance one.
Now when we merge a class and its metaclass the class instance variable should have a class scope since from the base class it is clearly a class scope variable.
For shared this is simple they are shared and have a classScope.
Now from a user point of view I would like that an analysis does not depend on whether we merged or not the class and metaclass. So I will put classScope to instance variable of the metaclass even when they are not merged with the base class.
This way we always get the following situation
isntance varaible -> instanceScope class instance variable -> classScope shared -> classScope + isShared
Let me know what you think since I will implement the following and write tests.
Stef