oshippy-dev team mailing list archive

Thread
Date

[Bug 610155] Re: some issues in class DvEncapsulated

To: oshippy-dev@xxxxxxxxxxxxxxxxxxx
From: Eduardo César <610155@xxxxxxxxxxxxxxxxxx>
Date: Sun, 06 Feb 2011 12:02:25 -0000
Reply-to: Bug 610155 <610155@xxxxxxxxxxxxxxxxxx>
Sender: bounces@xxxxxxxxxxxxx

** Branch linked: lp:oshippy/1.0

-- 
You received this bug notification because you are a member of OSHIPpy
Developers, which is subscribed to OSHIPpy.
https://bugs.launchpad.net/bugs/610155

Title:
  some issues in class DvEncapsulated

Status in Open Source Health Information Platform - Python:
  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)