Uploaded image for project: 'FHIR Specification Feedback'
  1. FHIR Specification Feedback
  2. FHIR-33052

us-core-1 Invariant cannot fail

    XMLWordPrintableJSON

Details

    • Technical Correction
    • Status: Published (View Workflow)
    • Medium
    • Resolution: Persuasive

    Description

      us-core-1 Observation.effective[x] Datetime must be at least to day.
      : Observation.effectiveDateTime.exists() implies Observation.effectiveDateTime.toString().length() >= 8

      This invariant will never fail as Observation.effectiveDateTime is not FHIRPath and will always evaluate to false, thus the implies will make the entire expression true no matter what the resource has for values.

      from my testing, an invariant on Observation.effective[x] of "$this is DateTime implies $this.toString().length() >= 8" will actually function as intended.

      Attachments

        Activity

          People

            ehaas Eric Haas
            ryan_moehrke Ryan Moehrke
            Watchers:
            2 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: