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.

Description

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.

Impact Analysis

None

Change Description

None

Status

Assignee

Thomas Beale

Reporter

Thomas Beale

Raised By

Diego Bosca

Components

Fix versions

Affects versions

ADL 2.0

Priority

Major