This wiki has undergone a migration to Confluence found Here
Difference between revisions of "Datatypes R2 Issue 109"
Jump to navigation
Jump to search
Line 22: | Line 22: | ||
Vote: Approve the addition of these invariants to the abstract spec (and ITS's as appropriate) | Vote: Approve the addition of these invariants to the abstract spec (and ITS's as appropriate) | ||
− | For: Grahame | + | For: Grahame, Lee |
Against: | Against: | ||
Abstain: | Abstain: |
Latest revision as of 19:45, 3 October 2007
Contents
Data Types Issue 109: Invariants for MO and PQR
Introduction
PQR and MO don't have any particular invariants. We should say that non-Null PQ translations must have a value, and that non-null MO's must have a value and a currency.
Discussion
We should define these invariants
invariant(PQR x) where x.nonNull { x.value.nonNull; }
invariant(MO x) where x.nonNull { x.value.nonNull; x.currency.nonNull; }
Disposition
Vote: Approve the addition of these invariants to the abstract spec (and ITS's as appropriate) For: Grahame, Lee Against: Abstain:
Links
Back to Data Types R2 issues