← Back to team overview

oship-dev team mailing list archive

[Bug 610170] [NEW] Invariants not implemented in class DvMultimedia

 

Public bug reported:

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)

** Affects: oship
     Importance: High
         Status: New

** Changed in: oship
   Importance: Undecided => High

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

-- 
Invariants not implemented in class DvMultimedia
https://bugs.launchpad.net/bugs/610170
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): 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)





Follow ups

References