eHealth Infrastructure (v1.0.0)

StructureDefinition: ehealth-municipalityCode

Formal Views of Profile Content

The official URL for this profile is:

http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-municipality-code

Danish municipality code (DK: "kommunekode")

This profile builds on Extension.

This profile was published on Wed Mar 06 14:43:56 UTC 2019 as a draft by ehealth.sundhed.dk.

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

This structure is derived from Extension

Summary

Mandatory: 0 element (1 nested mandatory element)
Fixed Value: 1 element

This structure is derived from Extension

NameFlagsCard.TypeDescription & Constraintsdoco
.. url 1..1uri"http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-municipality-code"

doco Documentation for this format

This structure is derived from Extension

NameFlagsCard.TypeDescription & Constraintsdoco
.. Extension I0..*Optional Extensions Element
ext-1: Must have either extensions or value[x], not both
... id 0..1stringxml:id (or equivalent in JSON)
... extension 0..*ExtensionAdditional Content defined by implementations
Slice: Unordered, Open by value:url
... url 1..1uri"http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-municipality-code"
... valueCoding 0..1CodingValue of extension
Binding: MunicipalityCodes (extensible)
.... id 0..1stringxml:id (or equivalent in JSON)
.... extension 0..*ExtensionAdditional Content defined by implementations
Slice: Unordered, Open by value:url
.... system Σ0..1uriIdentity of the terminology system
.... version Σ0..1stringVersion of the system - if relevant
.... code Σ1..1codeSymbol in syntax defined by the system
Binding: MunicipalityCodes (required)
.... display Σ0..1stringRepresentation defined by the system
.... userSelected Σ0..1booleanIf this coding was chosen directly by the user

doco Documentation for this format

This structure is derived from Extension

Summary

Mandatory: 0 element (1 nested mandatory element)
Fixed Value: 1 element

Differential View

This structure is derived from Extension

NameFlagsCard.TypeDescription & Constraintsdoco
.. url 1..1uri"http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-municipality-code"

doco Documentation for this format

Snapshot View

NameFlagsCard.TypeDescription & Constraintsdoco
.. Extension I0..*Optional Extensions Element
ext-1: Must have either extensions or value[x], not both
... id 0..1stringxml:id (or equivalent in JSON)
... extension 0..*ExtensionAdditional Content defined by implementations
Slice: Unordered, Open by value:url
... url 1..1uri"http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-municipality-code"
... valueCoding 0..1CodingValue of extension
Binding: MunicipalityCodes (extensible)
.... id 0..1stringxml:id (or equivalent in JSON)
.... extension 0..*ExtensionAdditional Content defined by implementations
Slice: Unordered, Open by value:url
.... system Σ0..1uriIdentity of the terminology system
.... version Σ0..1stringVersion of the system - if relevant
.... code Σ1..1codeSymbol in syntax defined by the system
Binding: MunicipalityCodes (required)
.... display Σ0..1stringRepresentation defined by the system
.... userSelected Σ0..1booleanIf this coding was chosen directly by the user

doco Documentation for this format

 

Terminology Bindings

PathNameConformanceValueSet
Extension.valueCodingMunicipalityCodesextensibleMunicipalityCodes
Extension.valueCoding.codeMunicipalityCodesrequiredMunicipalityCodes

Constraints

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