Incorrect validation error when reusing

[Céline Bensoussan]

When reusing Association, ArrayList for example, the return type of the getMyBs operation is ArrayList<|Associated> and it shows the following validation error when it should not:

The return type of the getMyBs() operation is missing or undefined.

[Matthias Schoettle]

Not sure what the correct way is. The constraint in the validator purposefully only checks for extended aspects. Maybe ArrayList<B> needs to be added to the structural view and referenced...

[Matthias Schoettle]

So what we discussed is that it is not an error, if the operation is not public, because it won't be visible to a reusing concern. However, it should display as ArrayList<B>.

If the operation is public, the class needs to be re-exposed, i.e., the user has to create the class in the model specifically (could also be done through a quickfix).

[Matthias Schoettle]

Naming of implementation classes with mapped generic types moved to #374. The constraint still needs to be addressed in this issue.