Point-of-Care Device Implementation Guide
current - CI Build

Point-of-Care Device Implementation Guide, published by HL7 International - Health Care Devices Work Group. This is not an authorized publication; it is the continuous build for version current). This version is based on the current content of https://github.com/HL7/uv-pocd/ and changes regularly. See the Directory of published versions

Extension: DeviceInstance

StructureDefinition that adds an instance number to Device.

The official URL for this extension is:

http://hl7.org/fhir/uv/pocd/StructureDefinition/device-instance

Status: draft
Extension maintained by: HL7 International - Health Care Devices Work Group

Context of Use

This extension may be used on the following element(s):

  • {"type"=>"Device"}

Usage info

Usage:

Formal Views of Extension Content

Description of Profiles, Differentials, Snapshots, and how the XML and JSON presentations work.

This structure is derived from Extension

Summary

Fixed Value: 1 element

This structure is derived from Extension

NameFlagsCard.TypeDescription & Constraintsdoco
.. Extension 0..*ExtensionExtension
... url 1..1uri"http://hl7.org/fhir/uv/pocd/StructureDefinition/device-instance"
... valueUnsignedInt:valueUnsignedInt 0..1unsignedIntInstance number

doco Documentation for this format
NameFlagsCard.TypeDescription & Constraintsdoco
.. Extension I0..*ExtensionExtension
... id 0..1stringUnique id for inter-element referencing
... extension I0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
... url 1..1uri"http://hl7.org/fhir/uv/pocd/StructureDefinition/device-instance"
.... value[x]:valueUnsignedInt I0..1unsignedIntInstance number

doco Documentation for this format

This structure is derived from Extension

Summary

Fixed Value: 1 element

Differential View

This structure is derived from Extension

NameFlagsCard.TypeDescription & Constraintsdoco
.. Extension 0..*ExtensionExtension
... url 1..1uri"http://hl7.org/fhir/uv/pocd/StructureDefinition/device-instance"
... valueUnsignedInt:valueUnsignedInt 0..1unsignedIntInstance number

doco Documentation for this format

Snapshot View

NameFlagsCard.TypeDescription & Constraintsdoco
.. Extension I0..*ExtensionExtension
... id 0..1stringUnique id for inter-element referencing
... extension I0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
... url 1..1uri"http://hl7.org/fhir/uv/pocd/StructureDefinition/device-instance"
.... value[x]:valueUnsignedInt I0..1unsignedIntInstance number

doco Documentation for this format

 

Other representations of extension: Schematron

Terminology Bindings

Constraints

Constraints

IdPathDetailsRequirements
ele-1ExtensionAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1ExtensionMust have either extensions or value[x], not both
: extension.exists() != value.exists()
ele-1Extension.extensionAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1Extension.extensionMust have either extensions or value[x], not both
: extension.exists() != value.exists()
ele-1Extension.value[x]All FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Extension.value[x]:valueUnsignedIntAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())