Invariants not implemented in class DvMultimedia

Bug #610170 reported by Sergio Miranda Freire on 2010-07-26
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
OSHIPpy
High
Unassigned

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)

Related branches

Changed in oship:
importance: Undecided → High
milestone: none → 1.5
affects: oship → oshippy
Changed in oshippy:
milestone: 1.5 → none
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers