description: 'DEPRECATED: Use the `targetConstraint` extension instead. Specifies an invariant that is enforced on instantiated resources. This extension can be applied to any element of a definitional resource (such as ActivityDefinition or Measure) and indicates that the invariant should be enforced on resources that are instantiated from the definition. For example, this extension can be used to define a constraint such as `numerator count must be less than or equal to denominator count`.'
package_name: hl7.fhir.uv.extensions
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.3.0-ballot-tc
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.3.0-ballot-tc
required: [extension]