Description Christian Damus 2021-07-29 11:13:03 EDT

Created attachment 286855 [details]
Proposed validation annotation schema

Palette model validation is currently covered by the GenericEMFModelBuilder as the constraints defined in the model are all that needs to be validated. The most interesting thing to validate is the element types referenced by tool configurations, but unlike some other tooling models, these are referenced by HREF and not by ID. So, the intrinsic proxy constraint is sufficient here.

The only thing that needs additional validation for palette models will be

- registration of palette configuration on the extension point
- required bundle dependencies not implied by the model in a way that the
  GenericEMFBuilder can detect (which I think currently is only the bundles
  hosting Ecore packages used by the model)

So, I propose to enhance the GenericEMFModelBuilder to handle these additional requirements of the Palette Configuration model validation that can be addressed in a generic way.. Specifically,

- validation of registration on an extension point described by Ecore annotations
- (if not done already) validation of bundle dependencies implied by resources
  cross-referenced by the resource being validated that are hosted in other
  bundles than the resource being validated

See the attachment for details of the proposal.