oshippy-dev team mailing list archive

Thread
Date

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

To: oshippy-dev@xxxxxxxxxxxxxxxxxxx
From: Launchpad Bug Tracker <622961@xxxxxxxxxxxxxxxxxx>
Date: Sun, 06 Feb 2011 11:40:21 -0000
Reply-to: Bug 622961 <622961@xxxxxxxxxxxxxxxxxx>
Sender: bounces@xxxxxxxxxxxxx

You have been subscribed to a public bug:

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

** Affects: oshippy
     Importance: High
         Status: New

-- 
issues in class Party from the demographic package
https://bugs.launchpad.net/bugs/622961
You received this bug notification because you are a member of OSHIPpy Developers, which is subscribed to OSHIPpy.