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