Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add an extensible .dsl file checker #161

Closed
dvojtise opened this issue Jun 13, 2019 · 1 comment
Closed

Add an extensible .dsl file checker #161

dvojtise opened this issue Jun 13, 2019 · 1 comment

Comments

@dvojtise
Copy link
Contributor

The current .dsl file doesn't provide any help while writting it.
the difficult point is that the value of each key is most of the time engine dependent (Ale, K3, etc)

The best solution would be to open an API and an extension point that engines could contribute.
Thus a first basic extension (generic) would be to check that the ecore value points to an existing ecore file.

Engines such as K3 and ALE would contribute checks about existence of their file or aspects.

This checker would reduce the risk of issues such as eclipse-gemoc/gemoc-studio-execution-ale#13 and improve user experience.

(this was discussed some time ago with @ebousse )

dvojtise pushed a commit to eclipse-gemoc/gemoc-studio-modeldebugging that referenced this issue Apr 15, 2020
* add new extension point in GEMOC allowing providing validation rules for dsl file

* Modification for the DSLValidator, usage of RuleProvider
* Ecore Rule and Ecore RuleProvider in metaprog plug-in

contributes to #49 eclipse-gemoc/gemoc-studio#161 eclipse-gemoc/gemoc-studio#91 eclipse-gemoc/gemoc-studio#37

Signed-off-by: Ronan Guéguen <gueguen.ronan1@gmail.com>
@dvojtise
Copy link
Contributor Author

A DSl checker is now part of GEMOC Studio 3.2.0 since eclipse-gemoc/gemoc-studio-modeldebugging#164 (and several following PRs)

dvojtise pushed a commit to eclipse-gemoc/gemoc-studio-commons that referenced this issue Aug 5, 2022
* add new extension point in GEMOC allowing providing validation rules for dsl file

* Modification for the DSLValidator, usage of RuleProvider
* Ecore Rule and Ecore RuleProvider in metaprog plug-in

contributes to eclipse-gemoc/gemoc-studio-modeldebugging#49 eclipse-gemoc/gemoc-studio#161 eclipse-gemoc/gemoc-studio#91 eclipse-gemoc/gemoc-studio#37

Signed-off-by: Ronan Guéguen <gueguen.ronan1@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant