oship-dev team mailing list archive
-
oship-dev team
-
Mailing list archive
-
Message #01440
[Bug 628205] [NEW] some invariants not enforced in class Ehr.
Public bug reported:
The invariants below are not enforced in Ehr:
Contributions_valid: contributions /= Void and then contributions.for_all(type.is_equal(“CONTRIBUTION”))
Ehr_access_valid: ehr_access /= Void and then ehr_access.type.is_equal(“VERSIONED_EHR_ACCESS”)
Ehr_status_valid: ehr_status /= Void and then ehr_status.type.is_equal(“VERSIONED_EHR_STATUS”)
Compositions_valid: compositions /= Void and then compositions.for_all(type.is_equal(“VERSIONED_COMPOSITION”))
Directory_valid: directory /= Void implies directory.type.is_equal(“VERSIONED_FOLDER”)
** Affects: oship
Importance: High
Status: New
** Changed in: oship
Importance: Undecided => High
--
some invariants not enforced in class Ehr.
https://bugs.launchpad.net/bugs/628205
You received this bug notification because you are a member of OSHIP
Development Team, which is subscribed to Open Source Health Information
Platform.
Status in Open Source Health Information Platform (OSHIP): New
Bug description:
The invariants below are not enforced in Ehr:
Contributions_valid: contributions /= Void and then contributions.for_all(type.is_equal(“CONTRIBUTION”))
Ehr_access_valid: ehr_access /= Void and then ehr_access.type.is_equal(“VERSIONED_EHR_ACCESS”)
Ehr_status_valid: ehr_status /= Void and then ehr_status.type.is_equal(“VERSIONED_EHR_STATUS”)
Compositions_valid: compositions /= Void and then compositions.for_all(type.is_equal(“VERSIONED_COMPOSITION”))
Directory_valid: directory /= Void implies directory.type.is_equal(“VERSIONED_FOLDER”)
Follow ups
References