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