issues in class Party from the demographic package
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
OSHIPpy |
New
|
High
|
Unassigned |
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_
reverse_
This invariant requires a demographic service.
Is_archetype_root: is_archetype_root
Related branches
Changed in oship: | |
importance: | Undecided → High |
affects: | oship → oshippy |