eHealth Infrastructure
9.0.1 - release DK

eHealth Infrastructure, published by Den telemedicinske infrastruktur (eHealth Infrastructure). This guide is not an authorized publication; it is the continuous build for version 9.0.1 built by the FHIR (HL7® FHIR® Standard) CI Build. This version is based on the current content of https://github.com/fut-infrastructure/implementation-guide/ and changes regularly. See the Directory of published versions

Extension: Device platform

Official URL: http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-device-platform Version: 9.0.1
Active as of 2026-05-08 Computable Name: ehealth-device-platform

Platform identifier for the patient's mobile device (e.g. iOS, Android). Used together with the registration token to route push notifications via FCM/APNs.

Context of Use

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

Usage info

Usages:

You can also check for usages in the FHIR IG Statistics

Formal Views of Extension Content

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

This structure is derived from Extension

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Extension 0..* Extension Device platform (iOS/Android).
... extension 0..0 Extension
... url 1..1 uri "http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-device-platform"
... value[x] 0..1 code Value of extension
Binding: Device Platform (required)

doco Documentation for this format
NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Extension 0..* Extension Device platform (iOS/Android).
... id 0..1 string Unique id for inter-element referencing
... extension 0..0 Extension
Slice: Unordered, Open by value:url
... url 1..1 uri "http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-device-platform"

doco Documentation for this format

This structure is derived from Extension

Summary

Simple Extension with the type code: Platform identifier for the patient's mobile device (e.g. iOS, Android). Used together with the registration token to route push notifications via FCM/APNs.

Differential View

This structure is derived from Extension

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Extension 0..* Extension Device platform (iOS/Android).
... extension 0..0 Extension
... url 1..1 uri "http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-device-platform"
... value[x] 0..1 code Value of extension
Binding: Device Platform (required)

doco Documentation for this format

Snapshot View

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Extension 0..* Extension Device platform (iOS/Android).
... id 0..1 string Unique id for inter-element referencing
... extension 0..0 Extension
Slice: Unordered, Open by value:url
... url 1..1 uri "http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-device-platform"

doco Documentation for this format

This structure is derived from Extension

Summary

Simple Extension with the type code: Platform identifier for the patient's mobile device (e.g. iOS, Android). Used together with the registration token to route push notifications via FCM/APNs.

 

Other representations of profile: CSV, Excel, Schematron

Terminology Bindings

Path Status Usage ValueSet Version Source
Extension.value[x] Base required Device Platform 📦9.0.1 This IG

Constraints

Id Grade Path(s) Description Expression
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()