The trait minimal requirements are not properly checked.

forsyde / forsyde-io

ForSyDe's System-Level intermediate representation and supporting libraries.

https://forsyde.github.io/forsyde-io/

MIT License

2 stars 2 forks source link

The trait minimal requirements are not properly checked. #18

Closed Rojods closed 1 year ago

Rojods commented 2 years ago

The supporting library for java does not enforce the traits requirements given to the input trait hierarchy. Currently this means the std_trait_hierarchy. The validation should be fixed and added so that the basic expected syntax works across tools. For the moment, the fix regards the java supporting library.

Rojods commented 1 year ago

This has been fixed to a good extent with release 0.7.3 onwards. This functionality is given by the BasicTraitValidation validator, that is always part of ModelHandler by construction.