oshippy-dev team mailing list archive

Thread
Date

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

To: oshippy-dev@xxxxxxxxxxxxxxxxxxx
From: Launchpad Bug Tracker <610170@xxxxxxxxxxxxxxxxxx>
Date: Sun, 06 Feb 2011 11:38:07 -0000
Reply-to: Bug 610170 <610170@xxxxxxxxxxxxxxxxxx>
Sender: bounces@xxxxxxxxxxxxx

You have been subscribed to a public bug:

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: oshippy
     Importance: High
         Status: New

-- 
Invariants not implemented in class DvMultimedia
https://bugs.launchpad.net/bugs/610170
You received this bug notification because you are a member of OSHIPpy Developers, which is subscribed to OSHIPpy.