oship-dev team mailing list archive

[Diego Manhães Pinheiro <610518@xxxxxxxxxxxxxxxxxx>]

** 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).