oship-dev team mailing list archive
-
oship-dev team
-
Mailing list archive
-
Message #01655
[Bug 625980] Re: some issues in VersionedObject and IVersionedObject
** Changed in: oship
Status: New => In Progress
--
You received this bug notification because you are a member of OSHIP
Development Team, which is subscribed to Open Source Health Information
Platform.
https://bugs.launchpad.net/bugs/625980
Title:
some issues in VersionedObject and IVersionedObject
Status in Open Source Health Information Platform (OSHIP):
In Progress
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.
References