Stream: committers
Topic: invarients for [x] elements
Eric Haas (Jun 21 2016 at 18:48):
When applying an invariant to a particular type for an element[x] is slicing needed? e.g. for Condition.onset[x] Condition.onsetAge requires units in DAF. So can the invariant be applied to .onset[x]?
Brett Marquard (Jun 22 2016 at 20:53):
DAF is trying to restrict onset[x] to either onsetDateTime or onsetAge. Is that possible with a silce? Or does it need to be an invariant?
Brian Postlethwaite (Jun 22 2016 at 21:10):
(Maybe move to the conformance stream?)
Think this is just a constraint on the property
Grahame Grieve (Jun 22 2016 at 22:37):
yes it's possible
Grahame Grieve (Jun 22 2016 at 22:38):
but you don't even need a slice. just repeat it with a narrow set of choices
Last updated: Apr 12 2022 at 19:14 UTC
