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: Registration token

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

Registration token from a push notification service (e.g. FCM/APNs) for the patient's mobile device. Used by telemedicine solutions when sending push notifications.

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 Registration token from the push notification service.
... extension 0..0 Extension
... url 1..1 uri "http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-device-registrationToken"
... value[x] 0..1 string Value of extension

doco Documentation for this format
NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Extension 0..* Extension Registration token from the push notification service.
... 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-registrationToken"

doco Documentation for this format

This structure is derived from Extension

Summary

Simple Extension with the type string: Registration token from a push notification service (e.g. FCM/APNs) for the patient's mobile device. Used by telemedicine solutions when sending push notifications.

Differential View

This structure is derived from Extension

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Extension 0..* Extension Registration token from the push notification service.
... extension 0..0 Extension
... url 1..1 uri "http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-device-registrationToken"
... value[x] 0..1 string Value of extension

doco Documentation for this format

Snapshot View

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Extension 0..* Extension Registration token from the push notification service.
... 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-registrationToken"

doco Documentation for this format

This structure is derived from Extension

Summary

Simple Extension with the type string: Registration token from a push notification service (e.g. FCM/APNs) for the patient's mobile device. Used by telemedicine solutions when sending push notifications.

 

Other representations of profile: CSV, Excel, Schematron

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()