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 ( 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.


Pieter Bos
January 29, 2019, 2:12 PM

sounds good! Would prohibit_type be even better to understand, or not necessary at all because what follows is a type anyway?

Also we probably need a new validation that says what it means or if it is allowed that you prohibit a type while there are sibling nodes with the same type. Both in the cases siblings from the same archetype and siblings from the parent archetype :


Thomas Beale

Raised By

Diego Bosca


Affects versions