Hi Ken and Matt,
Thanks Ken for your fast reply but based on Matt answer is a missig feature :S.
Mat,
I understand the implementation issues of this feature, although I´d
recommend putting this void in the checking in some kind of release
information note for future users. However, I am glad to have obtained a
fast answer to the problem.
However, I have another question regarding this subtyping population issue that I don´t know it if fails because of this not implemented feature or because of a modelling issue.
In my hierarchy (see image),
I want that my main statement has to be at
most one instance between its children and the children of its father. I
explain through the 3 possible scenarios:
- First, If I have an
instance of Statement called ´St1´, and that St1 is also an instance of
Main Statement. That St1 should also be able to be an instance of
Logger.
- Second, I can also have the situation that another
instance of Statement called ´St2´is an instance of Logger but not of
Main Statement
- Third, I can have an instance of Statement called
´St3´ and for being an instance of Assignment, it also has to be an
instance of Main Statement and not any other type of Statement.
Thanks in advance,
Nieves