oship-dev team mailing list archive

[Sergio Miranda Freire <sergio@xxxxxxxxxxxxxxx>]

Public bug reported:

uid and precedingVersionUid are inherited from Version. So they do not
need to be defined in IOriginalVersion.


isMerged is not implemented.


The invariants below are not enforced:

Attestations_valid: attestations /= Void implies not
attestations.is_empty

Is_merged_validity: other_input_version_ids = Void xor is_merged

Other_input_version_uids_valid: other_input_version_uids /= Void implies
not other_input_version_uids.is_empty


Maybe it would be interesting to have a representation function for this
class.

** Affects: oship
     Importance: High
         Status: New

** Changed in: oship
   Importance: Undecided => High

-- 
some issues in OriginalVersion and IOriginalVersion
https://bugs.launchpad.net/bugs/625976
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:
uid and precedingVersionUid are inherited from Version. So they do not need to be defined in IOriginalVersion.



isMerged is not implemented.



The invariants below are not enforced:

Attestations_valid: attestations /= Void implies not attestations.is_empty

Is_merged_validity: other_input_version_ids = Void xor is_merged

Other_input_version_uids_valid: other_input_version_uids /= Void implies not other_input_version_uids.is_empty



Maybe it would be interesting to have a representation function for this class.