FHIR Chat · R4 core invariant validations · committers

Stream: committers

Topic: R4 core invariant validations


view this post on Zulip 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>

view this post on Zulip 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