OSHIPpy

some invariants not enforced in class Ehr.

Bug #628205 reported by Sergio Miranda Freire on 2010-09-01

This bug affects 1 person

Affects		Status	Importance	Assigned to	Milestone
	OSHIPpy	New	High	Unassigned

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”)