OSHIPpy

Invariants not implemented in class DvMultimedia

Bug #610170 reported by Sergio Miranda Freire
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
OSHIPpy
New
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

lp:oshippy/1.0
Sergio Miranda Freire (sergio-lampada)
Changed in oship:
importance: Undecided → High
milestone: none → 1.5
Eduardo Ribeiro (eduardo.cesar)
affects: oship → oshippy
Changed in oshippy:
milestone: 1.5 → none
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.