oshippy-dev team mailing list archive

Thread
Date

[Bug 628205] Re: some invariants not enforced in class Ehr.

To: oshippy-dev@xxxxxxxxxxxxxxxxxxx
From: Eduardo César <628205@xxxxxxxxxxxxxxxxxx>
Date: Sun, 06 Feb 2011 12:01:44 -0000
Reply-to: Bug 628205 <628205@xxxxxxxxxxxxxxxxxx>
Sender: bounces@xxxxxxxxxxxxx

** Branch linked: lp:oshippy/1.0

-- 
You received this bug notification because you are a member of OSHIPpy
Developers, which is subscribed to OSHIPpy.
https://bugs.launchpad.net/bugs/628205

Title:
  some invariants not enforced in class Ehr.

Status in Open Source Health Information Platform - Python:
  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”)