oship-dev team mailing list archive
-
oship-dev team
-
Mailing list archive
-
Message #01223
[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