oshippy-dev team mailing list archive

Thread
Date

[Bug 610518] [NEW] some issues in DvOrdered

To: oshippy-dev@xxxxxxxxxxxxxxxxxxx
From: Launchpad Bug Tracker <610518@xxxxxxxxxxxxxxxxxx>
Date: Mon, 14 Feb 2011 23:02:08 -0000
Reply-to: Bug 610518 <610518@xxxxxxxxxxxxxxxxxx>
Sender: bounces@xxxxxxxxxxxxx

You have been subscribed to a public bug:

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

** Affects: oshippy
     Importance: High
     Assignee: Diego Manhães Pinheiro (dmpinheiro)
         Status: Fix Released

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