Datatypes R2 Issue 109

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