eiffel-community / eiffel

The Eiffel framework vocabulary, descriptions, guides and schemas along with links to relevant implementation repositories.
Apache License 2.0
122 stars 59 forks source link

Add JSON schema validation for definition files #394

Open magnusbaeck opened 9 months ago

magnusbaeck commented 9 months ago

Summary

As an Eiffel protocol maintainer I want the event definition files to have a JSON schema against which all definition files are automatically validated So that mistakes and inconsistencies are discovered as early as possible.

Context

We validate the generated schema files against the JSON schema meta-schema, but we should have a (very similar) schema for our definition files. Perhaps we should just start with the JSON schema meta-schema and add the properties unique to the definition files?

Exemplification

No response

Drawbacks

No response

Out of Scope

No response

Further links

No response

Acceptance Criteria

No response

Implementation Ideas

No response