Add invariants to DV_COUNT and DV_QUANTITY
Raise
Analysis
Raise
Analysis
Description
Activity
Show:
Thomas Beale April 25, 2018 at 4:42 PM
I think this PR should be related to the XSD ITS.
Thomas Beale June 23, 2016 at 3:38 PM
The RM spec doesn't tend to include invariants for the existence of primitive type fields that are non-reference types, i.e. Boolean, Integer, Real, Character etc, because in programming languages, these fields can't be Void/ null, they always have a value. String fields and all other types pretty much are reference fields.
It's only in XML and serialised formats that these non-reference fields could possibly be absent.
Currently we don't have a clear policy on how to indicate that within the RM, or even if we should.
Won't Do
Created June 23, 2016 at 2:58 AM
Updated September 30, 2019 at 3:22 PM
Resolved September 30, 2019 at 3:22 PM
Just realized we are not setting any invariants for these two classes.
IMO we should add:
DV_COUNT.magnitude != null
DV_QUANTITY.units != null
DV_QUANTITY.magnitude != null