Merge pull request #131 from gematik/feature/126-date-invariant

Invariante für vollständige Datumsangaben ergänzt

Author: AlexanderGrossgematik

src/fhir/fsh-generated/data/fsh-index.json

@@ -397,7 +397,7 @@
     "fshType": "Profile",
     "fshFile": "profiles/VSDMCoverageGKV.fsh",
     "startLine": 1,
-    "endLine": 184
+    "endLine": 191
   },
   {
     "outputFile": "StructureDefinition-VSDMCoveragePKV.json",

src/fhir/fsh-generated/fsh-index.txt

@@ -48,7 +48,7 @@ StructureDefinition-VSDDatensatzPKV.json                                VSDDaten
 StructureDefinition-VSDMBeihilfe.json                                   VSDMBeihilfe                                      Extension   extensions/VSDMBeihilfe.fsh                                    1 - 41
 StructureDefinition-VSDMBundle.json                                     VSDMBundle                                        Profile     profiles/VSDMBundle.fsh                                        1 - 54
 StructureDefinition-VSDMContactPointTIM.json                            VSDMContactPointTIM                               Profile     profiles/VSDMContactPointTIM.fsh                               1 - 18
-StructureDefinition-VSDMCoverageGKV.json                                VSDMCoverageGKV                                   Profile     profiles/VSDMCoverageGKV.fsh                                   1 - 184
+StructureDefinition-VSDMCoverageGKV.json                                VSDMCoverageGKV                                   Profile     profiles/VSDMCoverageGKV.fsh                                   1 - 191
 StructureDefinition-VSDMCoveragePKV.json                                VSDMCoveragePKV                                   Profile     profiles/VSDMCoveragePKV.fsh                                   1 - 89
 StructureDefinition-VSDMDMPTeilnahme.json                               VSDMDMPTeilnahme                                  Extension   extensions/VSDMDMPTeilnahme.fsh                                1 - 54
 StructureDefinition-VSDMHinweisPKV.json                                 VSDMHinweisPKV                                    Extension   extensions/VSDMHinweisPKV.fsh                                  1 - 39

src/fhir/fsh-generated/resources/StructureDefinition-VSDMCoverageGKV.json

@@ -307,6 +307,32 @@
         "path": "Coverage.extension.extension.value[x]",
         "min": 1
       },
+      {
+        "id": "Coverage.extension:ruhenderLeistungsanspruch.extension:dauer.value[x].start",
+        "path": "Coverage.extension.extension.value[x].start",
+        "constraint": [
+          {
+            "key": "date-precision-1",
+            "severity": "error",
+            "human": "An dieser Stelle muss ein vollständiges Datum bestehend aus Jahr, Monat und Tag angegeben werden.",
+            "expression": "toString().matches('^[0-9]{4}-[0-9]{2}-[0-9]{2}$')",
+            "source": "https://gematik.de/fhir/vsdm2/StructureDefinition/VSDMCoverageGKV"
+          }
+        ]
+      },
+      {
+        "id": "Coverage.extension:ruhenderLeistungsanspruch.extension:dauer.value[x].end",
+        "path": "Coverage.extension.extension.value[x].end",
+        "constraint": [
+          {
+            "key": "date-precision-1",
+            "severity": "error",
+            "human": "An dieser Stelle muss ein vollständiges Datum bestehend aus Jahr, Monat und Tag angegeben werden.",
+            "expression": "toString().matches('^[0-9]{4}-[0-9]{2}-[0-9]{2}$')",
+            "source": "https://gematik.de/fhir/vsdm2/StructureDefinition/VSDMCoverageGKV"
+          }
+        ]
+      },
       {
         "id": "Coverage.extension:versichertenart",
         "path": "Coverage.extension",
@@ -368,6 +394,15 @@
         "short": "Beginn des Versicherungsschutzes",
         "definition": "Gibt den Beginn des Versicherungsschutzes (Leistungsanspruchs) des Versicherten bei dem Kostenträger an. ",
         "min": 1,
+        "constraint": [
+          {
+            "key": "date-precision-1",
+            "severity": "error",
+            "human": "An dieser Stelle muss ein vollständiges Datum bestehend aus Jahr, Monat und Tag angegeben werden.",
+            "expression": "toString().matches('^[0-9]{4}-[0-9]{2}-[0-9]{2}$')",
+            "source": "https://gematik.de/fhir/vsdm2/StructureDefinition/VSDMCoverageGKV"
+          }
+        ],
         "mustSupport": true
       },
       {
@@ -376,6 +411,15 @@
         "short": "Ende des Versicherungsschutzes",
         "definition": "Gibt das Ende des Versicherungsschutzes (Leistungsanspruchs) des Versicherten bei dem Kostenträger an, wenn ein Endedatum festgelegt ist. ",
         "comment": "Hier kann nicht das Ende der Gültigkeit einer konkreten eGK angegeben werden, weil der VSDM 2.0 Resource Server keine Kenntnis davon erlangt, welche konkrete eGK verwendet wurde.\nFür den Fall der Authentifikation mit einer elektronischen Identität liegt ohnehin kein eGK-Gültigkeitsdatum vor.",
+        "constraint": [
+          {
+            "key": "date-precision-1",
+            "severity": "error",
+            "human": "An dieser Stelle muss ein vollständiges Datum bestehend aus Jahr, Monat und Tag angegeben werden.",
+            "expression": "toString().matches('^[0-9]{4}-[0-9]{2}-[0-9]{2}$')",
+            "source": "https://gematik.de/fhir/vsdm2/StructureDefinition/VSDMCoverageGKV"
+          }
+        ],
         "mustSupport": true
       },
       {

src/fhir/input/fsh/profiles/VSDMCoverageGKV.fsh

@@ -121,7 +121,12 @@ Description: "Angaben zum GKV-Versicherungsverhältnis im Versichertenstammdaten
     * value[x] 1..1
     * valueCoding from VSDMRuhenderLeistungsanspruchArtVS
       * system = Canonical(VSDMRuhenderLeistungsanspruchArtCS) (exactly)
-  * extension[dauer].value[x] 1..1
+  * extension[dauer]
+    * valuePeriod 1..1
+      * start 1..1
+        * obeys date-precision-1
+      * end 0..1
+        * obeys date-precision-1
 
 // Zuordnung aus Versicherungsdaten -> Versichertenart
 * extension contains $extVersichertenart named versichertenart 1..1 MS
@@ -153,6 +158,7 @@ Description: "Angaben zum GKV-Versicherungsverhältnis im Versichertenstammdaten
     * ^definition = """
         Gibt den Beginn des Versicherungsschutzes (Leistungsanspruchs) des Versicherten bei dem Kostenträger an. 
       """
+    * obeys date-precision-1
   * end MS
     * ^short = "Ende des Versicherungsschutzes"
     * ^definition = """
@@ -162,6 +168,7 @@ Description: "Angaben zum GKV-Versicherungsverhältnis im Versichertenstammdaten
         Hier kann nicht das Ende der Gültigkeit einer konkreten eGK angegeben werden, weil der VSDM 2.0 Resource Server keine Kenntnis davon erlangt, welche konkrete eGK verwendet wurde.
         Für den Fall der Authentifikation mit einer elektronischen Identität liegt ohnehin kein eGK-Gültigkeitsdatum vor.
       """
+    * obeys date-precision-1
 
 // Zuordnung aus Versicherungsdaten -> Kostentraeger und AbrechnenderKostentraeger
 * payor only Reference(VSDMPayorOrganization)