define "Is Infant Patient":
  Patient.birthDate is not null
  and difference in years between Patient.birthDate and start of "Measurement Period" < 1

/* End of Age of infant */

/*
@dataElement: HIV.E.DE112 - HIV-exposed infant or child
@activity: HIV.F6 Check whether infant/child had HIV exposure
@description: Whether the infant or child was determined to have had HIV exposure
*/
define "HIV-exposed infant or child E.DE112":

  [Observation: Concepts."HIV-exposed infant or child - HIV.E.DE112"] O
    where O.status in { 'final', 'amended', 'corrected' }

/* End of Age of infant */

/*
@dataElement: HIV.E.DE112 - HIV-exposed infant or child
@activity: HIV.F6 Check whether infant/child had HIV exposure
@description: Whether the infant or child was determined to have had HIV exposure
*/
define "is HIV-exposed infant or child E.DE112":
  "Is Infant Patient" and 
  exists(Elements."HIV-exposed infant or child E.DE112" O
    where O.effective.toInterval() during "Measurement Period")

/* On ART - includes "On ART - HIV.B.DE47" and "On ART - HIV.B.DE48" */
define "ART Medication Statement":
  [MedicationStatement: Concepts."ART regimen Choices"] MS
  sort by start of effective.toInterval()

define "ART start date":
  "ART Medication Statement" MS
  return start of MS.effective.toInterval()

/**
 * Numerator
 * 
 * Definition: Number of HIV-exposed infants born within the past 12 months who were started on ARV prophylaxis at birth
 * Calculation: COUNT of infants who are an "HIV-exposed infant or child" AND "Infant date of birth" within reporting period AND "Infant ART start date" is on"Infant date of birth"
 */

define "Numerator":
  HIE."is HIV-exposed infant or child E.DE112" and 
    exists(HE."ART start date" d where date from d same day as Patient.birthDate)

define "HIV Status Positive Condition":
  [Condition: Concepts."HIV-positive - HIV.B.DE116"] C
    where C.clinicalStatus ~ ConceptsCustom."active"
      and exists(C.category CC where CC ~ ConceptsCustom."encounter-diagnosis")
    sort by start of onset.toInterval()

define "HIV Status Positive Condition":
  Elements."HIV Status Positive Condition" C
  where C.onset before end of "Measurement Period"

/* End of HIV-inconclusive */

/*
@dataElement: HIV.B.DE115 - HIV status
@activity: HIV.B7 Test for HIV using testing algorithm
@description: HIV status reported after applying the national HIV testing algorithm. No single HIV test can provide an HIV-positive diagnosis.
*/
define "HIV Status Observation":
  [Observation: Concepts."HIV status"] O
    where O.status in { 'final', 'amended', 'corrected' }

define "HIV Status Positive Observation":
"HIV Status Observation" O
    where O.value ~ Concepts."HIV-positive - HIV.B.DE116"
      sort by start of effective.toInterval()

define "HIV Status Positive Observation":
  Elements."HIV Status Positive Observation" O
  where O.issued before end of "Measurement Period"
  or O.effective.toInterval() starts before end of "Measurement Period"

define "Has HIV-positive Status":
  exists "HIV Status Positive Condition"
  or exists "HIV Status Positive Observation"

/* End of Newly on ART during labour and delivery */

/*
@dataElement: HIV.E.DE46 - Delivery date
@activity: HIV.E1 Capture or update mother's history
@description: Date on which the woman delivered
*/
define "Live Birth Delivery":
  [Observation: Concepts."Live birth"] O
    where O.status in { 'final', 'amended', 'corrected' }

/* End of Newly on ART during labour and delivery */

/*
@dataElement: HIV.E.DE46 - Delivery date
@activity: HIV.E1 Capture or update mother's history
@description: Date on which the woman delivered
*/
define "Live Birth Delivery":
  Elements."Live Birth Delivery" O
    where O.effective.toInterval() during "Measurement Period"

define "Has Delivery in Health Facility":
  exists (
    "Live Birth Delivery" O
      where O.value is CodeableConcept
        and O.value as CodeableConcept = Concepts."Health facility"
  )

/**
 * Denominator
 *
 * Definition: a) Programme-based/service delivery denominator: Number of HIV-positive women who delivered in a facility within the past 12 months. |  | B) Population-based denominator: Number of HIV-positive women who delivered within the past 12 months.
 * Calculation: Programme-based/service delivery denominator: | COUNT of women with "HIV status"='HIV-positive' AND "Place of delivery" is a 'Health facility' AND "Delivery date" within reporting period |  | Population-based denominator: | *Estimated number of HIV-positive women who delivered during the past 12 months
 */

define "Denominator":
  HIE."Has HIV-positive Status" and
    HIE."Has Delivery in Health Facility"

/* Populations */

/*
 *Initial Population
 */

define "Initial Population":
  true

define function ToDate(value date): value.value

define function ToString(value ObservationStatus): value.value

define function ToString(value string): value.value

define function ToConcept(concept FHIR.CodeableConcept):
    if concept is null then
        null
    else
        System.Concept {
            codes: concept.coding C return ToCode(C),
            display: concept.text.value
        }

define function ToCode(coding FHIR.Coding):
    if coding is null then
        null
    else
        System.Code {
          code: coding.code.value,
          system: coding.system.value,
          version: coding.version.value,
          display: coding.display.value
        }

define function ToDateTime(value dateTime): value.value

define function ToDateTime(value instant): value.value