← Back to team overview

oship-dev team mailing list archive

[Bug 622961] Re: issues in class Party from the demographic package

 

** Project changed: oship => oshippy

-- 
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/622961

Title:
  issues in class Party from the demographic package

Status in Open Source Health Information Platform - Python:
  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 invariants should be enforced:
  Identities_valid: identities /= Void and then not identities.is_empty
  Contacts_valid: contacts /= Void implies not contacts.is_empty

  Reverse_relationships_validity: reverse_relationships /= Void implies (not
  reverse_relationships.empty and then reverse_relationships.for_all(item | repository(“demographics”).all_party_relationships.has_object(item) and then repository(“demographics”).all_party_relationships.object(item).target = Current))
  This invariant requires a demographic service.

  Is_archetype_root: is_archetype_root





References