This wiki has undergone a migration to Confluence found Here
<meta name="googlebot" content="noindex">

Difference between revisions of "Datatypes R2 Issue 109"

From HL7Wiki
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

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