oship-dev team mailing list archive

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

** Project changed: oship => oshippy

-- 
You received this bug notification because you are a member of OSHIP
Development Team, which is subscribed to Open Source Health Information
Platform.
https://bugs.launchpad.net/bugs/610518

Title:
  some issues in DvOrdered

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