oship-dev team mailing list archive
-
oship-dev team
-
Mailing list archive
-
Message #01218
[Bug 610155] [NEW] some issues in class DvEncapsulated
Public bug reported:
The attribute size in IDvEncapsulated must be required.
The invariant for size should be declared in the interface, shouldn't?
Size_positive: size >= 0
The invariants for language and charset should be declared and checked using the internal terminology service:
Language_valid: language /= Void implies code_set(Code_set_id_languages).has_code(language)
Charset_valid: charset /= Void implies code_set(Code_set_id_character_sets).has_code(charset)
** Affects: oship
Importance: Undecided
Status: New
--
some issues in class DvEncapsulated
https://bugs.launchpad.net/bugs/610155
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 attribute size in IDvEncapsulated must be required.
The invariant for size should be declared in the interface, shouldn't?
Size_positive: size >= 0
The invariants for language and charset should be declared and checked using the internal terminology service:
Language_valid: language /= Void implies code_set(Code_set_id_languages).has_code(language)
Charset_valid: charset /= Void implies code_set(Code_set_id_character_sets).has_code(charset)
Follow ups
References