We're updating the issue view to help you get more done. 

Add dedicated constraint type to remove RM types, and clarify occurrences matches 0 rules.


It is not clear how to specify that no instance of a type e.g. COMPANY in the ADL2 example here (https://specifications.openehr.org/releases/AM/latest/ADL2.html#_remove_specified_subtypes) is specified, since the structure
COMPANY[id5] occurrences ∈ {0}
relates only to [id5], which is a particular kind of COMPANY.

To remove COMPANY (and instances of subtypes) we need a construct that does this. Potentially:

prohibit COMPANY
which would be parsed into a new kind of constraint e.g. C_TYPE_PROHIBITION or similar.



Thomas Beale

Raised By

Diego Bosca


Affects versions

ADL 2.0