oship-dev team mailing list archive

[Sergio Miranda Freire <sergio@xxxxxxxxxxxxxxx>]

Public bug reported:


All methods ending in Valid in IVersionedObject are not methods but invariants.


Almost all its methods are not implemented.


The invariants below are not enforced:

version_count_valid: version_count >= 0

all_version_ids_valid: all_version_ids /= Void and then
all_version_ids.count = version_count

all_versions_valid: all_versions /= Void and then all_versions.count =
version_count

latest_version_valid: version_count > 0 implies latest_version /= Void


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 VersionedObject and IVersionedObject
https://bugs.launchpad.net/bugs/625980
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:

All methods ending in Valid in IVersionedObject are not methods but invariants.



Almost all its methods are not implemented.



The invariants below are not enforced:

version_count_valid: version_count >= 0

all_version_ids_valid: all_version_ids /= Void and then all_version_ids.count = version_count

all_versions_valid: all_versions /= Void and then all_versions.count = version_count

latest_version_valid: version_count > 0 implies latest_version /= Void



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