Stream: committers
Topic: R4 core invariant validations
Brian Postlethwaite (Apr 05 2018 at 05:00):
http://hl7.org/fhir/2018May/operation-structuredefinition-snapshot.xml.html
This operation definition appears to violate the invariant rule opd-2
<OperationOutcome xmlns="http://hl7.org/fhir"> <issue> <severity value="error" /> <code value="invariant" /> <details> <coding> <code value="opd-2" /> </coding> <text value="A search type can only be specified for parameters of type string" /> </details> <diagnostics value="parameter.all(searchType.exists() implies type = 'string')" /> </issue> </OperationOutcome>
Brian Postlethwaite (Apr 05 2018 at 05:10):
Also, in the base Resource StructureDefinition it violates sdf-12: element.base cannot appear if there is no base on the structure definition
http://hl7.org/fhir/2018May/resource.profile.xml.html
This is due to the existence of the base components being in there, where it is the actual base.
snapshot.exists() implies (snapshot.element.base.exists() = baseDefinition.exists())
The same issue also exists for element
http://hl7.org/fhir/2018May/element.profile.xml.html
Last updated: Apr 12 2022 at 19:14 UTC