← Back to team overview

oship-dev team mailing list archive

[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