When synchronizing Adele and AADL models, the synchronization tool may call setRefined on AADL subcomponents. It would be helpful if the method could take care of setting the current name of the subcomponent to null whenever a non null refined element is set, in order to avoid the validation error saying that both refined element and name cannot be non null at the same time.
This should also be taken care of for the refinable element class so that no non null name is set when the element has a non null refinement.
When synchronizing Adele and AADL models, the synchronization tool may call setRefined on AADL subcomponents. It would be helpful if the method could take care of setting the current name of the subcomponent to null whenever a non null refined element is set, in order to avoid the validation error saying that both refined element and name cannot be non null at the same time.
This should also be taken care of for the refinable element class so that no non null name is set when the element has a non null refinement.
I can provide a patch that fixes this problem.