Stream: conformance
Topic: Missing slicename on extension value
Michel Rutten (Jul 20 2018 at 14:14):
Consider a simple extension definition such as birthplace: http://hl7.org/fhir/extension-birthplace.html
The value element is constrained to a single datatype (Address). Therefore, the value[x] element is renamed to valueAddress. According to FHIR spec, the associated element id would then be Extension.value[x]:valueAddress. The valueAddress part _should_ be equal to the element sliceName, however in this case the birthplace extension definition does NOT explicitly specify a sliceName valueAddress for the value element; apparently, the value is implied.
Q: Should the snapshot generator, when expanding the differential of an extension definition such as birthplace, include the _implied_ sliceName (such as valueAddress) in the snapshot component? Or should the validator consider such an extension definition as invalid, i.e. require sliceName on choice type elements constrained to a single type? However this would not solve the issue for all existing published STU3 extensions.
Currently, I think the .NET snapshot generator does not do this. However this would solve some issues downstream. For example, when generating element ids from path and sliceName. Or when further constraining the value element in a derived/referencing profile.
Grahame Grieve (Jul 20 2018 at 20:17):
I think it should be consistent. Does the java snapshot generator make it so?
Michel Rutten (Jul 23 2018 at 11:08):
Not sure, but I'll check
Last updated: Apr 12 2022 at 19:14 UTC
