WHO Digital Documentation of COVID-19 Certificates (DDCC)
1.0.0 - CI Build International flag

This is the continuous build for version 1.0.0. This version is based on the current content of https://github.com/WorldHealthOrganization/ddcc and changes regularly.

Library: AnyDosePass (Experimental)

Official URL: http://localhost/Library/AnyDosePass|1.0.0 Version: 1.0.0
Active as of 2023-11-14 Computable Name: Any Dose Pass

DDCC-compliant rule to evaluate if patients have a completed immunization schedule or just a single dose



// Declare the name and version of the Library of functions
library AnyDosePass version '1.0.0'

// The version of FHIR we are using
using FHIR version '4.0.1'

// Execute all business rules relative to a specific Patient content
context Patient

// Define boolean valued business rule to check if there is an immunization that was completed
define "Completed Immunization": exists ("Completed Immunizations") or exists("Get Single Dose")

// Define a list of completed immunizations for which the dose number is the same as the series dose
// Immunization resources are queried from those that reference the Patient we are executing against
define "Completed Immunizations":
  [Immunization] I
    where ( I.protocolApplied.doseNumber.value = I.protocolApplied.seriesDoses.value )

// Define a list of immunizations that were provided once and do not have a predefined dose number
// Assumes a single vaccination to be enough for full immunization.
define "Get Single Dose":
  [Immunization] I
    where exists(I.protocolApplied)
      and exists(I.protocolApplied.doseNumber.value)
      and not exists(I.protocolApplied.seriesDoses.value)

Content not shown - (application/elm+json, size = 95Kb)

Content not shown - (application/elm+xml, size = 132Kb)