← Back to team overview

oship-dev team mailing list archive

[Bug 610170] Re: Invariants not implemented in class DvMultimedia

 

** Project changed: oship => oshippy

** Changed in: oshippy
    Milestone: 1.5 => None

-- 
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/610170

Title:
  Invariants not implemented in class DvMultimedia

Status in Open Source Health Information Platform - Python:
  New

Bug description:
  The following invariants should be declared in the interface and implemented in DvMultimedia using the internal terminology service:
  Not_empty: is_inline or is_external

  Media_type_validity: media_type /= Void and then
  code_set(Code_set_id_media_types).has_code(media_type)

  Compression_algorithm_validity: compression_algorithm /= Void implies code_set(Code_set_id_compression_algorithms).
  has_code(compression_algorithm)

  Integrity_check_validity: integrity_check /= Void implies
  integrity_check_algorithm /= Void

  Integrity_check_algorithm_validity: integrity_check_algorithm /= Void implies code_set(Code_set_id_integrity_check_algorithms).
  has_code(integrity_check_algorithm)





References