oship-dev team mailing list archive
-
oship-dev team
-
Mailing list archive
-
Message #01390
[Bug 622949] [NEW] issues in class Role from the demographic package
Public bug reported:
The initializer lacks the argument parent and so does the superclass
initializer.
Wouldn't be interesting to define a representation function for this
class?
The following invariant is not enforced:
Capabilities_valid: capabilities /= Void implies not capabilities.empty
** Affects: oship
Importance: High
Status: New
** Changed in: oship
Importance: Undecided => High
--
issues in class Role from the demographic package
https://bugs.launchpad.net/bugs/622949
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 initializer lacks the argument parent and so does the superclass initializer.
Wouldn't be interesting to define a representation function for this class?
The following invariant is not enforced:
Capabilities_valid: capabilities /= Void implies not capabilities.empty
Follow ups
References