oship-dev team mailing list archive
-
oship-dev team
-
Mailing list archive
-
Message #01473
[Bug 610518] Re: some issues in DvOrdered
** Changed in: oship
Status: In Progress => Fix Released
--
some issues in DvOrdered
https://bugs.launchpad.net/bugs/610518
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): Fix Released
Bug description:
The invariants below are not enforced:
Other_reference_ranges_validity: other_reference_ranges /= Void implies not other_reference_ranges.is_empty
Is_simple_validity: (normal_range = Void and other_reference_ranges = Void) implies is_simple
Normal_status_validity: normal_status /= Void implies code_set(Code_set_id_normal_statuses).has_code(normal_status)
Normal_range_and_status_consistency: (normal_range /= Void and normal_status /= Void) implies (normal_status.code_string.is_equal(“N”) xor not normal_range.has(Current))
The third invariant above should use the internal terminology service.
Method isSimple should return true if (normalRange is None) and (otherReferenceRanges is None).
References