description: Specifies an invariant that is enforced in the context of an instantiated resource.
package_name: hl7.fhir.r5.examples
derivation: constraint
name: targetInvariant
type: Extension
elements:
  extension:
    short: Unique identifier
    type: Extension
    index: 0
    slicing:
      slices:
        key:
          match: {}
          schema:
            short: Unique identifier
            type: Extension
            _required: true
            index: 0
            extensions: {}
            elements:
              extension: {index: 1}
              url:
                type: uri
                pattern: {type: Uri, value: key}
                index: 2
              value:
                choices: [valueId]
                index: 4
              valueId: {type: id, choiceOf: value, index: 5}
            required: [value, valueId]
        requirements:
          match: {}
          schema:
            type: Extension
            short: Why the invariant is defined
            index: 6
            extensions: {}
            elements:
              extension: {index: 7}
              url:
                type: uri
                pattern: {type: Uri, value: requirements}
                index: 8
              value:
                choices: [valueString]
                index: 10
              valueString: {type: string, choiceOf: value, index: 11}
            required: [valueString, value]
        severity:
          match: {}
          schema:
            type: Extension
            short: error | warning
            _required: true
            index: 12
            extensions: {}
            elements:
              extension: {index: 13}
              url:
                type: uri
                pattern: {type: Uri, value: severity}
                index: 14
              value:
                choices: [valueCode]
                index: 16
              valueCode: {type: code, choiceOf: value, index: 17}
            required: [valueCode, value]
        expression:
          match: {}
          schema:
            short: The invariant expression
            type: Extension
            _required: true
            index: 18
            extensions: {}
            elements:
              extension: {index: 19}
              url:
                type: uri
                pattern: {type: Uri, value: expression}
                index: 20
              value:
                choices: [valueExpression]
                index: 22
              valueExpression: {type: Expression, choiceOf: value, index: 23}
            required: [valueExpression, value]
  url:
    pattern: {type: Uri, value: 'http://hl7.org/fhir/StructureDefinition/cqf-targetInvariant'}
    index: 24
  value:
    choices: []
    index: 26
package_version: 5.0.0-snapshot3
extensions:
  key:
    url: null
    short: Unique identifier
    type: Extension
    _required: true
    index: 0
    extensions: {}
    elements:
      extension: {index: 1}
      url:
        type: uri
        pattern: {type: Uri, value: key}
        index: 2
      value:
        choices: [valueId]
        index: 4
      valueId: {type: id, choiceOf: value, index: 5}
    required: [value, valueId]
  requirements:
    url: null
    type: Extension
    short: Why the invariant is defined
    index: 6
    extensions: {}
    elements:
      extension: {index: 7}
      url:
        type: uri
        pattern: {type: Uri, value: requirements}
        index: 8
      value:
        choices: [valueString]
        index: 10
      valueString: {type: string, choiceOf: value, index: 11}
    required: [valueString, value]
  severity:
    url: null
    type: Extension
    short: error | warning
    _required: true
    index: 12
    extensions: {}
    elements:
      extension: {index: 13}
      url:
        type: uri
        pattern: {type: Uri, value: severity}
        index: 14
      value:
        choices: [valueCode]
        index: 16
      valueCode: {type: code, choiceOf: value, index: 17}
    required: [valueCode, value]
  expression:
    url: null
    short: The invariant expression
    type: Extension
    _required: true
    index: 18
    extensions: {}
    elements:
      extension: {index: 19}
      url:
        type: uri
        pattern: {type: Uri, value: expression}
        index: 20
      value:
        choices: [valueExpression]
        index: 22
      valueExpression: {type: Expression, choiceOf: value, index: 23}
    required: [valueExpression, value]
class: extension
kind: complex-type
url: http://hl7.org/fhir/StructureDefinition/cqf-targetInvariant
base: http://hl7.org/fhir/StructureDefinition/Extension
version: 5.0.0-snapshot3
required: [extension]