{
  "resourceType": "StructureDefinition",
  "id": "profile-Parameters-coverage-update",
  "url": "https://bpcs.exchange/fhir/StructureDefinition/profile-Parameters-coverage-update",
  "name": "ParametersCoverageUpdate",
  "title": "Coverage Update Operation Parameters",
  "status": "active",
  "experimental": false,
  "description": "The parameters passed into a $coverageUpdate operation.",
  "fhirVersion": "5.0.0",
  "mapping": [
    {
      "identity": "BPCS",
      "name": "Internal BPCS API"
    }
  ],
  "kind": "resource",
  "abstract": false,
  "type": "Parameters",
  "baseDefinition": "http://hl7.org/fhir/StructureDefinition/Parameters",
  "derivation": "constraint",
  "differential": {
    "element": [
      {
        "id": "Parameters.parameter",
        "path": "Parameters.parameter",
        "slicing": {
          "discriminator": [
            {
              "type": "value",
              "path": "name"
            }
          ],
          "rules": "closed"
        }
      },
      {
        "id": "Parameters.parameter:endDate",
        "path": "Parameters.parameter",
        "sliceName": "endDate",
        "short": "New end date for the coverage",
        "definition": "The day on which the coverage will last be effective",
        "min": 1,
        "max": "1",
        "mustSupport": true
      },
      {
        "id": "Parameters.parameter:endDate.name",
        "path": "Parameters.parameter.name",
        "patternString": "endDate"
      },
      {
        "id": "Parameters.parameter:endDate.value[x]",
        "path": "Parameters.parameter.value[x]",
        "min": 1,
        "type": [
          {
            "code": "date",
            "profile": [
              "https://bpcs.exchange/fhir/StructureDefinition/profile-date-full"
            ]
          }
        ],
        "mustSupport": true,
        "mapping": [
          {
            "identity": "BPCS",
            "map": "RecipientPlanDTO.endDate"
          }
        ]
      },
      {
        "id": "Parameters.parameter:endDate.resource",
        "path": "Parameters.parameter.resource",
        "max": "0"
      },
      {
        "id": "Parameters.parameter:endDate.part",
        "path": "Parameters.parameter.part",
        "max": "0"
      }
    ]
  }
}