@haste-health/fhir-validation 0.14.3

package/lib/profile/element.js

@@ -0,0 +1,180 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { eleIndexToChildIndices } from "@haste-health/codegen/traversal/structure-definition";
+import { descend, get, toJSONPointer } from "@haste-health/fhir-pointer";
+import { isPrimitiveType } from "@haste-health/meta-value/utilities";
+import { OperationError, issueError, outcomeFatal, } from "@haste-health/operation-outcomes";
+import { validatePrimitive } from "../elements/primitive.js";
+import { validateCardinality } from "../elements/validators/cardinality.js";
+import { validateFixedValue } from "../elements/validators/fixedValue.js";
+import { validatePattern } from "../elements/validators/pattern.js";
+import { ascendElementLoc, getFoundFieldsForElement, isElementRequired, } from "../utilities.js";
+import { validateProfileCanonical } from "./index.js";
+import { getSliceIndices, validateSliceDescriptor } from "./slicing/index.js";
+/**
+ * For descendants we want to ignore those slices which are validated seperately.
+ * This is done by filtering off sliceName and slicing property.
+ *
+ * @param elements list of ElementDefinitions to filter
+ * @param indices The indices to filter out of the list if they are a part of a lice.
+ * @returns Indices that are not a part of a slice.
+ */
+function ignoreSliceElements(elements, indices) {
+    return indices.filter((index) => {
+        const element = elements[index];
+        return element.sliceName === undefined && element.slicing === undefined;
+    });
+}
+/**
+ * Check if the element is constrained to profiles type.
+ * @param element ElementDefinition to check
+ * @param type The type found on the element.
+ * @returns true|false as to whether the element is constrained to the type.
+ */
+function validateTypeIfMultipleTypesConstrained(ctx, element, type) {
+    if (element.type) {
+        if (element.type.find((t) => t.code === type) !== undefined) {
+            return true;
+        }
+        else if (type === "Element" &&
+            element.type.find((t) => isPrimitiveType(ctx.fhirVersion, t.code))) {
+            return true;
+        }
+        return false;
+    }
+    return true;
+}
+export async function validateSingularProfileElement(ctx, profile, elementLoc, root, path, type) {
+    const { parent: elementsLoc, field: elementIndex } = ascendElementLoc(elementLoc);
+    const elements = get(elementsLoc, profile);
+    const element = get(elementLoc, profile);
+    if (!element) {
+        throw new OperationError(outcomeFatal("not-found", `Unable to resolve element at location '${toJSONPointer(elementLoc)}'`, [toJSONPointer(path)]));
+    }
+    const value = get(path, root);
+    const foundFields = profile.kind === "resource" && elementIndex === 0
+        ? new Set(["resourceType"])
+        : new Set([]);
+    // Slice Validation
+    const sliceIndices = getSliceIndices(profile, elementLoc);
+    const sliceIssues = (await Promise.all(sliceIndices.map((sliceIndex) => validateSliceDescriptor(ctx, profile, sliceIndex, root, path)))).flat();
+    sliceIndices.forEach((sliceIndex) => {
+        const discriminatorElement = elements[sliceIndex.discriminator];
+        const fields = getFoundFieldsForElement(ctx, discriminatorElement, value);
+        fields.forEach((f) => foundFields.add(f.field));
+    });
+    if (sliceIssues.length > 0) {
+        return sliceIssues;
+    }
+    // [END] Slice Validation
+    const children = ignoreSliceElements(elements, eleIndexToChildIndices(elements, elementIndex));
+    const profileUrlsToValidate = element.type?.find((t) => t.code === type)?.profile ?? [];
+    for (let i = 0; i < profileUrlsToValidate.length; i++) {
+        const profileIssues = await validateProfileCanonical(ctx, profileUrlsToValidate[i], root, path);
+        // Only need one profile to be conformant so continue if invalid and break if valid.
+        if (profileIssues.length === 0)
+            break;
+        else if (i === profileUrlsToValidate.length - 1) {
+            return profileIssues;
+        }
+    }
+    // Profile can further constrain typechoices check that here.
+    if (!validateTypeIfMultipleTypesConstrained(ctx, element, type)) {
+        throw new OperationError(outcomeFatal("invalid", `Valid types: '${element.type
+            ?.map((t) => t.code)
+            .join(",")}' is not constrained to type '${type}'`, [toJSONPointer(path)]));
+    }
+    const patternIssues = await validatePattern(element, root, path);
+    if (patternIssues.length > 0) {
+        return patternIssues;
+    }
+    const fixedValueIssues = await validateFixedValue(element, root, path);
+    if (fixedValueIssues.length > 0) {
+        return fixedValueIssues;
+    }
+    let issues = [];
+    if (children.length > 0) {
+        for (const childIndex of children) {
+            const childElement = elements[childIndex];
+            const childElementLoc = descend(elementsLoc, childIndex);
+            const fields = getFoundFieldsForElement(ctx, childElement, value);
+            fields.forEach((f) => foundFields.add(f.field));
+            // Confirm if no fields are found and the element is required then issue an error.
+            if (isElementRequired(childElement) && fields.length === 0) {
+                issues = issues.concat([
+                    issueError("structure", `Missing required field '${childElement.path}' at path '${toJSONPointer(path)}'`, [toJSONPointer(path)]),
+                ]);
+            }
+            for (const field of fields) {
+                const childValueLoc = descend(path, field.field);
+                issues = issues.concat(await validateProfileElement(ctx, profile, childElementLoc, root, childValueLoc, field.type));
+            }
+        }
+        const additionalFields = new Set(Object.keys(value)).difference(foundFields);
+        if (additionalFields.size > 0) {
+            issues = issues.concat([
+                issueError("structure", `Additional fields found at path '${toJSONPointer(path)}': '${Array.from(additionalFields).join(", ")}'`, [toJSONPointer(path)]),
+            ]);
+        }
+    }
+    else if (type === "code") {
+        issues = issues.concat(await validatePrimitive(ctx, element, root, path, type));
+    }
+    return issues;
+}
+/**
+ * Because profile is merely a constraint on the base we only need to validate select pieces.
+ *
+ * [ALLOWED]:
+ * --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
+ * Restricting the cardinality of the element; e.g. the base might allow 0..*, and a particular application might support 1..2
+ * Ruling out use of an element by setting its maximum cardinality to 0
+ * Restricting the contents of an element to a single fixed value
+ * Making additional constraints on the content of nested elements within the resource (expressed as FHIRPath statements)
+ * Restricting the types for an element that allows multiple types
+ * Requiring a typed element or the target of a resource reference to conform to another structure profile (declared in the same profile, or elsewhere)
+ * Specifying a binding to a different terminology value set (see below)
+ * Providing refined definitions, comments/usage notes and examples for the elements defined in a Resource to reflect the usage of the element within the context of the Profile
+ * Providing more specific or additional mappings (e.g. to HL7 V2 icon or HL7 v3 icon) for the resource when used in a particular context
+ * Declaring that one or more elements in the structure must be 'supported' (see below)
+ * Restricting / clarifying a mapping by providing a new mapping with the same identity, which means that the new mapping replaces a mapping with the same identity in the element being profiled
+ * --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
+ *
+ * [DISSALLOWED]:
+ * --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
+ * Profiles cannot break the rules established in the base specification (e.g. cardinality as described above)
+ * Profiles cannot specify default values or meanings for elements defined in the base specification (note that datatypes and resources do not
+ *   define default values at all, but default values may be defined for logical models
+ * Profiles cannot change the name of elements defined in the base specification, or add new elements
+ * It must be safe to process a resource without knowing the profile
+ * --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
+ * @param ctx Validation CTX
+ * @param profile Profile SD
+ * @param elementLoc Current ElementDefinition validating
+ * @param root Root value to be validated
+ * @param path Path inside of value to validate
+ * @param type
+ * @returns
+ */
+export async function validateProfileElement(ctx, profile, elementLoc, root, path, type) {
+    const value = get(path, root);
+    const element = get(elementLoc, profile);
+    if (!element) {
+        throw new OperationError(outcomeFatal("not-found", `Unable to resolve element at location '${toJSONPointer(elementLoc)}'`, [toJSONPointer(path)]));
+    }
+    // [Slicing Validation]
+    let issues = [];
+    // [Cardinality validation]
+    issues = issues.concat(validateCardinality(element, root, path));
+    switch (true) {
+        case Array.isArray(value): {
+            issues = issues.concat((await Promise.all(value.map((_v, index) => validateSingularProfileElement(ctx, profile, elementLoc, root, descend(path, index), type)))).flat());
+            break;
+        }
+        default: {
+            issues = issues.concat(await validateSingularProfileElement(ctx, profile, elementLoc, root, path, type));
+            break;
+        }
+    }
+    return issues;
+}
+//# sourceMappingURL=element.js.map

package/lib/profile/element.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"element.js","sourceRoot":"","sources":["../../src/profile/element.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAEvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sDAAsD,CAAC;AAC9F,OAAO,EAAO,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAQ9E,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EACL,cAAc,EACd,UAAU,EACV,YAAY,GACb,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AAEpE,OAAO,EACL,gBAAgB,EAChB,wBAAwB,EACxB,iBAAiB,GAClB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAE9E;;;;;;;GAOG;AACH,SAAS,mBAAmB,CAC1B,QAA6B,EAC7B,OAAiB;IAEjB,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,OAAO,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAS,sCAAsC,CAC7C,GAAkB,EAClB,OAA0B,EAC1B,IAAS;IAET,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAC5D,OAAO,IAAI,CAAC;QACd,CAAC;aAAM,IACL,IAAI,KAAK,SAAS;YAClB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAClE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,GAAkB,EAClB,OAAsD,EACtD,UAAsB,EACtB,IAAY,EACZ,IAAwB,EACxB,IAAS;IAET,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,GAChD,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,EAAE,OAA8B,CAAC,CAAC;IAElE,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,EAAE,OAA8B,CAAC,CAAC;IAChE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,WAAW,EACX,0CAA0C,aAAa,CAAC,UAAU,CAAC,GAAG,EACtE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB,CACF,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAE9B,MAAM,WAAW,GACf,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,YAAY,KAAK,CAAC;QAC/C,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC;QAC3B,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;IAElB,mBAAmB;IACnB,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,CAClB,MAAM,OAAO,CAAC,GAAG,CACf,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAC9B,uBAAuB,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAC9D,CACF,CACF,CAAC,IAAI,EAAE,CAAC;IACT,YAAY,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;QAClC,MAAM,oBAAoB,GAAG,QAAQ,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,EAAE,oBAAoB,EAAE,KAAK,CAAC,CAAC;QAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,yBAAyB;IAEzB,MAAM,QAAQ,GAAG,mBAAmB,CAClC,QAAQ,EACR,sBAAsB,CAAC,QAAQ,EAAE,YAAsB,CAAC,CACzD,CAAC;IAEF,MAAM,qBAAqB,GACzB,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;IAE5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,qBAAqB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtD,MAAM,aAAa,GAAG,MAAM,wBAAwB,CAClD,GAAG,EACH,qBAAqB,CAAC,CAAC,CAAC,EACxB,IAAI,EACJ,IAAI,CACL,CAAC;QACF,oFAAoF;QACpF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM;aACjC,IAAI,CAAC,KAAK,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChD,OAAO,aAAa,CAAC;QACvB,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,IAAI,CAAC,sCAAsC,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,SAAS,EACT,iBAAiB,OAAO,CAAC,IAAI;YAC3B,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;aACnB,IAAI,CAAC,GAAG,CAAC,iCAAiC,IAAI,GAAG,EACpD,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB,CACF,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,MAAM,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjE,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,gBAAgB,GAAG,MAAM,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvE,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,IAAI,MAAM,GAA4B,EAAE,CAAC;IAEzC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,UAAU,IAAI,QAAQ,EAAE,CAAC;YAClC,MAAM,YAAY,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC1C,MAAM,eAAe,GAAG,OAAO,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;YACzD,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;YAClE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAEhD,kFAAkF;YAClF,IAAI,iBAAiB,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;oBACrB,UAAU,CACR,WAAW,EACX,2BACE,YAAY,CAAC,IACf,cAAc,aAAa,CAAC,IAAI,CAAC,GAAG,EACpC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;iBACF,CAAC,CAAC;YACL,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBACjD,MAAM,GAAG,MAAM,CAAC,MAAM,CACpB,MAAM,sBAAsB,CAC1B,GAAG,EACH,OAAO,EACP,eAAwC,EACxC,IAAI,EACJ,aAAa,EACb,KAAK,CAAC,IAAI,CACX,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAC7D,WAAW,CACZ,CAAC;QAEF,IAAI,gBAAgB,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;gBACrB,UAAU,CACR,WAAW,EACX,oCAAoC,aAAa,CAC/C,IAAI,CACL,OAAO,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAClD,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,MAAM,CAAC,MAAM,CACpB,MAAM,iBAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CACxD,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,GAAkB,EAClB,OAAsD,EACtD,UAAsB,EACtB,IAAY,EACZ,IAAwB,EACxB,IAAS;IAET,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,EAAE,OAA8B,CAAC,CAAC;IAEhE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,WAAW,EACX,0CAA0C,aAAa,CAAC,UAAU,CAAC,GAAG,EACtE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB,CACF,CAAC;IACJ,CAAC;IAED,uBAAuB;IACvB,IAAI,MAAM,GAA4B,EAAE,CAAC;IAEzC,2BAA2B;IAC3B,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAEjE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,GAAG,MAAM,CAAC,MAAM,CACpB,CACE,MAAM,OAAO,CAAC,GAAG,CACf,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CACtB,8BAA8B,CAC5B,GAAG,EACH,OAAO,EACP,UAAU,EACV,IAAI,EACJ,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,EACpB,IAAI,CACL,CACF,CACF,CACF,CAAC,IAAI,EAAE,CACT,CAAC;YACF,MAAM;QACR,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,GAAG,MAAM,CAAC,MAAM,CACpB,MAAM,8BAA8B,CAClC,GAAG,EACH,OAAO,EACP,UAAU,EACV,IAAI,EACJ,IAAI,EACJ,IAAI,CACL,CACF,CAAC;YACF,MAAM;QACR,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/lib/profile/index.d.ts

@@ -0,0 +1,20 @@
+import { Loc } from "@haste-health/fhir-pointer";
+import { OperationOutcomeIssue, canonical } from "@haste-health/fhir-types/r4/types";
+import { AllResourceTypes, FHIR_VERSION, Resource } from "@haste-health/fhir-types/versions";
+import { ValidationCTX } from "../types.js";
+export declare function validateProfile(ctx: ValidationCTX, profile: Resource<FHIR_VERSION, "StructureDefinition">, root: object, path_?: Loc<any, any, any>): Promise<OperationOutcomeIssue[]>;
+/**
+ *
+ * @param ctx_ Validation CTX
+ * @param profileURL Profile canonical to validate
+ * @param value the value to check
+ * @param path The current path of the value.
+ */
+export declare function validateProfileCanonical(ctx: ValidationCTX, profileURL: canonical, root: object, path_?: Loc<any, any, any>): Promise<OperationOutcomeIssue[]>;
+/**
+ * Validates a resources profiles found on meta.profile.
+ * @param ctx Validation Context
+ * @param resource The resource with profiles to validate
+ * @returns Any issues found during profile validation.
+ */
+export default function validateResourceProfiles(ctx: ValidationCTX, resource: Resource<FHIR_VERSION, AllResourceTypes>, path_?: Loc<any, any, any>): Promise<OperationOutcomeIssue[]>;

package/lib/profile/index.js

@@ -0,0 +1,45 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { descend, pointer, toJSONPointer, } from "@haste-health/fhir-pointer";
+import { OperationError, outcomeFatal } from "@haste-health/operation-outcomes";
+import { validateProfileElement } from "./element.js";
+export async function validateProfile(ctx, profile, root, path_) {
+    const path = path_ ??
+        pointer(ctx.fhirVersion, profile?.type, "id");
+    if (profile.derivation !== "constraint") {
+        throw new OperationError(outcomeFatal("invalid", `Profile must be a constraint profile, got ${profile.derivation}`, [toJSONPointer(path)]));
+    }
+    const startingLoc = descend(descend(descend(pointer(ctx.fhirVersion, "StructureDefinition", profile.id), "snapshot"), "element"), 0);
+    return validateProfileElement(ctx, profile, startingLoc, root, path, profile.type);
+}
+/**
+ *
+ * @param ctx_ Validation CTX
+ * @param profileURL Profile canonical to validate
+ * @param value the value to check
+ * @param path The current path of the value.
+ */
+export async function validateProfileCanonical(ctx, profileURL, root, path_) {
+    const profile = await ctx.resolveCanonical(ctx.fhirVersion, "StructureDefinition", profileURL);
+    const path = path_ ??
+        pointer(ctx.fhirVersion, profile?.type, "id");
+    // If we can't resolve profile just ignore for now.
+    if (!profile) {
+        return [];
+    }
+    const issues = await validateProfile(ctx, profile, root, path);
+    return issues;
+}
+/**
+ * Validates a resources profiles found on meta.profile.
+ * @param ctx Validation Context
+ * @param resource The resource with profiles to validate
+ * @returns Any issues found during profile validation.
+ */
+export default async function validateResourceProfiles(ctx, resource, path_) {
+    const profiles = resource.meta?.profile ?? [];
+    const path = path_ ??
+        pointer(ctx.fhirVersion, resource.resourceType, resource.id ?? "new");
+    const issues = (await Promise.all(profiles.map((profile) => validateProfileCanonical(ctx, profile, resource, path)))).flat();
+    return issues;
+}
+//# sourceMappingURL=index.js.map

package/lib/profile/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/profile/index.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAEvD,OAAO,EAEL,OAAO,EACP,OAAO,EACP,aAAa,GACd,MAAM,4BAA4B,CAAC;AAYpC,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAGhF,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAEtD,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,GAAkB,EAClB,OAAsD,EACtD,IAAY,EACZ,KAA0B;IAE1B,MAAM,IAAI,GACR,KAAK;QACL,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,OAAO,EAAE,IAAoB,EAAE,IAAU,CAAC,CAAC;IAEtE,IAAI,OAAO,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;QACxC,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,SAAS,EACT,6CAA6C,OAAO,CAAC,UAAU,EAAE,EACjE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB,CACF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CACzB,OAAO,CACL,OAAO,CACL,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,qBAAqB,EAAE,OAAO,CAAC,EAAQ,CAAC,EACjE,UAAU,CACX,EACD,SAAS,CACV,EACD,CAAC,CACF,CAAC;IAEF,OAAO,sBAAsB,CAC3B,GAAG,EACH,OAAO,EACP,WAAoC,EACpC,IAAI,EACJ,IAAI,EACJ,OAAO,CAAC,IAAI,CACb,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,GAAkB,EAClB,UAAqB,EACrB,IAAY,EACZ,KAA0B;IAE1B,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,gBAAgB,CACxC,GAAG,CAAC,WAAW,EACf,qBAAqB,EACrB,UAAU,CACX,CAAC;IAEF,MAAM,IAAI,GACR,KAAK;QACL,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,OAAO,EAAE,IAAoB,EAAE,IAAU,CAAC,CAAC;IAEtE,mDAAmD;IACnD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAE/D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,OAAO,CAAC,KAAK,UAAU,wBAAwB,CACpD,GAAkB,EAClB,QAAkD,EAClD,KAA0B;IAE1B,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC;IAC9C,MAAM,IAAI,GACR,KAAK;QACL,OAAO,CACL,GAAG,CAAC,WAAW,EACf,QAAQ,CAAC,YAAY,EACrB,QAAQ,CAAC,EAAE,IAAK,KAAY,CAC7B,CAAC;IAEJ,MAAM,MAAM,GAAG,CACb,MAAM,OAAO,CAAC,GAAG,CACf,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACvB,wBAAwB,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CACvD,CACF,CACF,CAAC,IAAI,EAAE,CAAC;IAET,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/lib/profile/slicing/index.d.ts

@@ -0,0 +1,24 @@
+import { Loc } from "@haste-health/fhir-pointer";
+import { ElementDefinition, OperationOutcome } from "@haste-health/fhir-types/r4/types";
+import { FHIR_VERSION, Resource } from "@haste-health/fhir-types/versions";
+import { ElementLoc, ValidationCTX } from "../../types.js";
+type SlicingDescriptor = {
+    discriminator: number;
+    slices: number[];
+};
+/**
+ * Filter elements for discriminator slice + slicing elements.
+ * @param elements
+ */
+export declare function getSliceIndices(profile: Resource<FHIR_VERSION, "StructureDefinition">, elementLoc: ElementLoc): SlicingDescriptor[];
+export declare function validateSlice(elements: ElementDefinition[], sliceIndex: number, root: object, sliceValueLocs: Loc<any, any, any>[]): Promise<void>;
+/**
+ * Returns the location for the value to be sliced. Note this could be an array or a singular value (in the case of slicing by type).
+ * @param discriminatorElement The element definition that is the discriminator. This defines what method is used for slicing.
+ * @param root The value of the root object
+ * @param loc Location in the root object of the slice.
+ * @returns Location of the value to be sliced against the root.
+ */
+export declare function getSliceLocs(discriminatorElement: ElementDefinition, root: object, loc: Loc<any, any, any>): Loc<any, any, any>[];
+export declare function validateSliceDescriptor(ctx: ValidationCTX, profile: Resource<FHIR_VERSION, "StructureDefinition">, sliceDescriptor: SlicingDescriptor, root: object, loc: Loc<any, any, any>): Promise<OperationOutcome["issue"]>;
+export {};

package/lib/profile/slicing/index.js

@@ -0,0 +1,247 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { eleIndexToChildIndices } from "@haste-health/codegen/traversal/structure-definition";
+import { descend, get, pathMeta, pointer, toFHIRPath, toJSONPointer, } from "@haste-health/fhir-pointer";
+import { R4 } from "@haste-health/fhir-types/versions";
+import * as fp from "@haste-health/fhirpath";
+import { metaValue } from "@haste-health/meta-value/v2";
+import { OperationError, issueError, outcomeError, } from "@haste-health/operation-outcomes";
+import { conformsToValue } from "../../elements/validators/fixedValue.js";
+import { conformsToPattern } from "../../elements/validators/pattern.js";
+import { ascendElementLoc, fieldName, isTypeChoice } from "../../utilities.js";
+import { validateSingularProfileElement } from "../element.js";
+import { convertPathToElementPointer, joinPaths, removeTypeOnPath, } from "../utilities.js";
+function isSliced(element) {
+    return element.slicing !== undefined;
+}
+/**
+ * Filter elements for discriminator slice + slicing elements.
+ * @param elements
+ */
+export function getSliceIndices(profile, elementLoc) {
+    const { parent: elementsLoc, field: index } = ascendElementLoc(elementLoc);
+    const elements = get(elementsLoc, profile);
+    const children = eleIndexToChildIndices(elements, index);
+    const slices = [];
+    let i = 0;
+    while (i < children.length) {
+        const childIndex = children[i++];
+        if (isSliced(elements[childIndex])) {
+            const discriminatorIndex = childIndex;
+            const sliceIndexes = [];
+            while (i < children.length && elements[children[i]].sliceName) {
+                sliceIndexes.push(children[i]);
+                i++;
+            }
+            slices.push({
+                discriminator: discriminatorIndex,
+                slices: sliceIndexes,
+            });
+        }
+    }
+    return slices;
+}
+/**
+ * Returns the elementDefinition associated with the given discriminator. This is used to extract the value the slice is expecting.
+ * @param discriminator The discriminator to use to distinguish slices.
+ * @param elements The elements to search for the slice value.
+ * @param currentIndex The current index to search for the slice value.
+ * @returns The index of elementdefinition to use to slice the value for the discriminator.
+ */
+async function findElementDefinitionForSliceDiscriminator(ctx, searchingForElementPath, elements, currentIndex, parentCurrentElementPath = undefined) {
+    const element = elements[currentIndex];
+    const currentElementPath = parentCurrentElementPath
+        ? joinPaths(parentCurrentElementPath, removeTypeOnPath(element.path))
+        : removeTypeOnPath(element.path);
+    if (searchingForElementPath === currentElementPath) {
+        return element;
+    }
+    // No need for further processing if the discriminator path is not a prefix of the current element path.
+    if (searchingForElementPath.startsWith(currentElementPath)) {
+        const profiles = element.type
+            ?.map((t) => t.profile)
+            .flat()
+            .filter((t) => t !== undefined);
+        if (profiles) {
+            for (const profile of profiles) {
+                const profileSD = await ctx.resolveCanonical(ctx.fhirVersion, "StructureDefinition", profile);
+                if (!profileSD) {
+                    throw new OperationError(outcomeError("not-found", `Could not resolve profile '${profile}'`));
+                }
+                const elementInProfile = await findElementDefinitionForSliceDiscriminator(ctx, searchingForElementPath, profileSD.snapshot?.element ?? [], 0, 
+                // Use current element path as parent path.
+                currentElementPath);
+                if (elementInProfile !== undefined)
+                    return elementInProfile;
+            }
+        }
+        const childIndexes = eleIndexToChildIndices(elements, currentIndex);
+        for (const childIndex of childIndexes) {
+            const elementDefinitionForSliceDiscriminator = await findElementDefinitionForSliceDiscriminator(ctx, searchingForElementPath, elements, childIndex, parentCurrentElementPath);
+            if (elementDefinitionForSliceDiscriminator !== undefined) {
+                return elementDefinitionForSliceDiscriminator;
+            }
+        }
+    }
+    return undefined;
+}
+async function isConformantToSlicesDiscriminator(discriminator, sliceValueElementDefinition, root, locs) {
+    switch (discriminator.type) {
+        case "value": {
+            const expectedValue = (await fp.evaluate("$this.fixed", sliceValueElementDefinition, {
+                type: "ElementDefinition",
+            }))[0];
+            const conformantLocs = [];
+            for (const loc of locs) {
+                const value = get(loc, root);
+                const evaluation = await fp.evaluate(discriminator.path, value);
+                if (evaluation.find((v) => conformsToValue(expectedValue, v)) !==
+                    undefined) {
+                    conformantLocs.push(loc);
+                }
+            }
+            return conformantLocs;
+        }
+        case "exists":
+        case "pattern": {
+            const pattern = (await fp.evaluate("$this.pattern", metaValue({ type: "ElementDefinition", fhirVersion: R4 }, sliceValueElementDefinition)))[0];
+            if (!pattern) {
+                throw new OperationError(outcomeError("not-found", "Could not find a pattern for slice."));
+            }
+            const conformantLocs = [];
+            for (const loc of locs) {
+                const value = get(loc, root);
+                const evaluation = await fp.evaluate(discriminator.path, value);
+                if (evaluation.find((v) => conformsToPattern(pattern, v))) {
+                    conformantLocs.push(loc);
+                }
+            }
+            return conformantLocs;
+        }
+        case "type": {
+            const expectedTypes = sliceValueElementDefinition.type?.map((t) => t.code) ?? [];
+            const conformantLocs = [];
+            for (const loc of locs) {
+                const meta = pathMeta(loc);
+                const value = await fp.evaluateWithMeta(toFHIRPath(loc), root, {
+                    fhirVersion: meta?.version,
+                    type: meta?.type,
+                });
+                // Map over to use the metavaluesingular.
+                const evaluation = (await Promise.all(value.map((v) => fp.evaluateWithMeta(discriminator.path, v)))).flat();
+                const type = evaluation?.[0]?.meta()?.type;
+                if (type && expectedTypes.includes(type)) {
+                    conformantLocs.push(loc);
+                }
+            }
+            return conformantLocs;
+        }
+        case "profile": {
+            throw new Error("Not supported");
+        }
+    }
+    throw new Error("invalid");
+}
+export async function validateSlice(elements, sliceIndex, root, sliceValueLocs) {
+    for (const sliceValueLoc of sliceValueLocs) {
+        const sliceElement = elements[sliceIndex];
+        const patternCheck = await fp.evaluate("$this.pattern", sliceElement);
+        const sliceValue = get(sliceValueLoc, root);
+        const fixedValueCheck = await fp.evaluate("$this.fixed", sliceElement);
+        if (patternCheck && !conformsToPattern(patternCheck[0], sliceValue)) {
+            throw new OperationError(outcomeError("exception", "pattern mismatch"));
+        }
+        if (fixedValueCheck) {
+            if (JSON.stringify(fixedValueCheck[0]) !== JSON.stringify(sliceValue)) {
+                throw new OperationError(outcomeError("exception", "fixed value mismatch"));
+            }
+            const childrenIndices = eleIndexToChildIndices(elements, sliceIndex);
+            for (const child of childrenIndices) {
+                const field = fieldName(elements[child]);
+                const fieldLoc = descend(sliceValueLoc, field);
+                validateSlice(elements, child, root, [fieldLoc]);
+            }
+        }
+    }
+}
+async function splitSlicing(ctx, elements, sliceDescriptor, root, locsToCheck) {
+    const sliceSplit = sliceDescriptor.slices.reduce((acc, sliceIndex) => {
+        acc[sliceIndex] = [];
+        return acc;
+    }, {});
+    // [Serialized as a group] The entries must be adjacent for a given slice.
+    const discriminatorElement = elements[sliceDescriptor.discriminator];
+    const discriminators = discriminatorElement.slicing?.discriminator ?? [];
+    const discriminatorElementPaths = discriminators.map((d) => convertPathToElementPointer(discriminatorElement, d));
+    for (const sliceIndex of sliceDescriptor.slices) {
+        let sliceValueLocs = locsToCheck;
+        for (let d = 0; d < discriminators.length; d++) {
+            const discriminator = discriminators[d];
+            const sliceDiscriminatorElementValue = await findElementDefinitionForSliceDiscriminator(ctx, discriminatorElementPaths[d], elements, sliceIndex);
+            if (!sliceDiscriminatorElementValue) {
+                throw new OperationError(outcomeError("invalid", `Could not find element definition to use for slice discriminator '${discriminatorElementPaths[d]}'.`));
+            }
+            sliceValueLocs = await isConformantToSlicesDiscriminator(discriminator, sliceDiscriminatorElementValue, root, sliceValueLocs);
+        }
+        locsToCheck = locsToCheck.filter((l) => !sliceValueLocs.includes(l));
+        sliceSplit[sliceIndex] = sliceValueLocs;
+    }
+    return sliceSplit;
+}
+function validateSliceCardinality(parentLoc, sliceElement, paths) {
+    const issues = [];
+    if (paths.length < (sliceElement.min ?? 0)) {
+        issues.push(issueError("structure", `Slice '${sliceElement.sliceName}' does not have the minimum number of values.`, [toJSONPointer(parentLoc)]));
+    }
+    if (!isNaN(parseInt(sliceElement.max ?? "1"))) {
+        const max = parseInt(sliceElement.max ?? "1");
+        if (paths.length > max) {
+            issues.push(issueError("structure", `Slice '${sliceElement.sliceName}' has more than the maximum number of values.`, [toJSONPointer(parentLoc)]));
+        }
+    }
+    return issues;
+}
+/**
+ * Returns the location for the value to be sliced. Note this could be an array or a singular value (in the case of slicing by type).
+ * @param discriminatorElement The element definition that is the discriminator. This defines what method is used for slicing.
+ * @param root The value of the root object
+ * @param loc Location in the root object of the slice.
+ * @returns Location of the value to be sliced against the root.
+ */
+export function getSliceLocs(discriminatorElement, root, loc) {
+    if (isTypeChoice(discriminatorElement)) {
+        return (discriminatorElement.type?.map((t) => descend(loc, fieldName(discriminatorElement, t.code))) ?? []);
+    }
+    const valueLoc = descend(loc, fieldName(discriminatorElement));
+    const value = get(valueLoc, root);
+    if (Array.isArray(value)) {
+        return value.map((_v, i) => descend(valueLoc, i));
+    }
+    else {
+        return [valueLoc];
+    }
+}
+export async function validateSliceDescriptor(ctx, profile, sliceDescriptor, root, loc) {
+    const snapshot = profile.snapshot?.element ?? [];
+    const discriminatorElement = snapshot[sliceDescriptor.discriminator];
+    const sliceValueLocs = getSliceLocs(discriminatorElement, root, loc);
+    const slices = await splitSlicing(ctx, snapshot, sliceDescriptor, root, sliceValueLocs);
+    let issues = [];
+    const snapshotLoc = descend(descend(pointer(ctx.fhirVersion, "StructureDefinition", profile.id), "snapshot"), "element");
+    for (const slice of sliceDescriptor.slices) {
+        const sliceLoc = descend(snapshotLoc, slice);
+        const sliceElement = get(sliceLoc, profile);
+        if (!sliceElement) {
+            throw new OperationError(outcomeError("not-found", `Slice element not found at '${sliceLoc}'`));
+        }
+        const type = sliceElement.type ?? [];
+        issues = issues.concat(validateSliceCardinality(loc, sliceElement, slices[slice]));
+        if (type.length > 1) {
+            throw new OperationError(outcomeError("not-supported", "typechoices not supported for slicing."));
+        }
+        for (const path of slices[slice]) {
+            issues = issues.concat(await validateSingularProfileElement(ctx, profile, sliceLoc, root, path, type[0].code));
+        }
+    }
+    return issues;
+}
+//# sourceMappingURL=index.js.map

package/lib/profile/slicing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/profile/slicing/index.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sDAAsD,CAAC;AAC9F,OAAO,EAEL,OAAO,EACP,GAAG,EACH,QAAQ,EACR,OAAO,EACP,UAAU,EACV,aAAa,GACd,MAAM,4BAA4B,CAAC;AAUpC,OAAO,EAAgB,EAAE,EAAY,MAAM,mCAAmC,CAAC;AAC/E,OAAO,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACxD,OAAO,EACL,cAAc,EACd,UAAU,EACV,YAAY,GACb,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAEzE,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC/E,OAAO,EAAE,8BAA8B,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,EAEL,2BAA2B,EAC3B,SAAS,EACT,gBAAgB,GACjB,MAAM,iBAAiB,CAAC;AAEzB,SAAS,QAAQ,CAAC,OAA0B;IAC1C,OAAO,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC;AACvC,CAAC;AAOD;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAsD,EACtD,UAAsB;IAEtB,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,EAAE,OAA8B,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,KAAe,CAAC,CAAC;IAEnE,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACnC,MAAM,kBAAkB,GAAG,UAAU,CAAC;YACtC,MAAM,YAAY,GAAG,EAAE,CAAC;YAExB,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;gBAC9D,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/B,CAAC,EAAE,CAAC;YACN,CAAC;YAED,MAAM,CAAC,IAAI,CAAC;gBACV,aAAa,EAAE,kBAAkB;gBACjC,MAAM,EAAE,YAAY;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,0CAA0C,CACvD,GAAkB,EAClB,uBAA+B,EAC/B,QAA6B,EAC7B,YAAoB,EACpB,2BAA+C,SAAS;IAExD,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;IACvC,MAAM,kBAAkB,GAAG,wBAAwB;QACjD,CAAC,CAAC,SAAS,CAAC,wBAAwB,EAAE,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrE,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnC,IAAI,uBAAuB,KAAK,kBAAkB,EAAE,CAAC;QACnD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,wGAAwG;IACxG,IAAI,uBAAuB,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI;YAC3B,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;aACtB,IAAI,EAAE;aACN,MAAM,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;QAElD,IAAI,QAAQ,EAAE,CAAC;YACb,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,gBAAgB,CAC1C,GAAG,CAAC,WAAW,EACf,qBAAqB,EACrB,OAAO,CACR,CAAC;gBACF,IAAI,CAAC,SAAS,EAAE,CAAC;oBACf,MAAM,IAAI,cAAc,CACtB,YAAY,CAAC,WAAW,EAAE,8BAA8B,OAAO,GAAG,CAAC,CACpE,CAAC;gBACJ,CAAC;gBAED,MAAM,gBAAgB,GACpB,MAAM,0CAA0C,CAC9C,GAAG,EACH,uBAAuB,EACvB,SAAS,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE,EACjC,CAAC;gBACD,2CAA2C;gBAC3C,kBAAkB,CACnB,CAAC;gBAEJ,IAAI,gBAAgB,KAAK,SAAS;oBAAE,OAAO,gBAAgB,CAAC;YAC9D,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAG,sBAAsB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QACpE,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;YACtC,MAAM,sCAAsC,GAC1C,MAAM,0CAA0C,CAC9C,GAAG,EACH,uBAAuB,EACvB,QAAQ,EACR,UAAU,EACV,wBAAwB,CACzB,CAAC;YACJ,IAAI,sCAAsC,KAAK,SAAS,EAAE,CAAC;gBACzD,OAAO,sCAAsC,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,iCAAiC,CAC9C,aAA4B,EAC5B,2BAA8C,EAC9C,IAAY,EACZ,IAA0B;IAE1B,QAAQ,aAAa,CAAC,IAAI,EAAE,CAAC;QAC3B,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,aAAa,GAAG,CACpB,MAAM,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,2BAA2B,EAAE;gBAC5D,IAAI,EAAE,mBAA0B;aACjC,CAAC,CACH,CAAC,CAAC,CAAC,CAAC;YACL,MAAM,cAAc,GAAyB,EAAE,CAAC;YAEhD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC7B,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAChE,IACE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;oBACzD,SAAS,EACT,CAAC;oBACD,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YACD,OAAO,cAAc,CAAC;QACxB,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,CACd,MAAM,EAAE,CAAC,QAAQ,CACf,eAAe,EACf,SAAS,CACP,EAAE,IAAI,EAAE,mBAA0B,EAAE,WAAW,EAAE,EAAE,EAAE,EACrD,2BAA2B,CAC5B,CACF,CACF,CAAC,CAAC,CAAC,CAAC;YAEL,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,MAAM,IAAI,cAAc,CACtB,YAAY,CAAC,WAAW,EAAE,qCAAqC,CAAC,CACjE,CAAC;YACJ,CAAC;YAED,MAAM,cAAc,GAAyB,EAAE,CAAC;YAEhD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC7B,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAEhE,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1D,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YAED,OAAO,cAAc,CAAC;QACxB,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,aAAa,GACjB,2BAA2B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAE7D,MAAM,cAAc,GAAyB,EAAE,CAAC;YAEhD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAC3B,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE;oBAC7D,WAAW,EAAE,IAAI,EAAE,OAAO;oBAC1B,IAAI,EAAE,IAAI,EAAE,IAAW;iBACxB,CAAC,CAAC;gBAEH,yCAAyC;gBACzC,MAAM,UAAU,GAAG,CACjB,MAAM,OAAO,CAAC,GAAG,CACf,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAC7D,CACF,CAAC,IAAI,EAAE,CAAC;gBAET,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC;gBAE3C,IAAI,IAAI,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACzC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YAED,OAAO,cAAc,CAAC;QACxB,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,QAA6B,EAC7B,UAAkB,EAClB,IAAY,EACZ,cAAoC;IAEpC,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;QAC3C,MAAM,YAAY,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,YAAY,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC;QACtE,MAAM,UAAU,GAAG,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;QAC5C,MAAM,eAAe,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;QAEvE,IAAI,YAAY,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;YACpE,MAAM,IAAI,cAAc,CAAC,YAAY,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,eAAe,EAAE,CAAC;YACpB,IAAI,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtE,MAAM,IAAI,cAAc,CACtB,YAAY,CAAC,WAAW,EAAE,sBAAsB,CAAC,CAClD,CAAC;YACJ,CAAC;YAED,MAAM,eAAe,GAAG,sBAAsB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YAErE,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;gBACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;gBAC/C,aAAa,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,KAAK,UAAU,YAAY,CACzB,GAAkB,EAClB,QAA6B,EAC7B,eAAkC,EAClC,IAAY,EACZ,WAAiC;IAEjC,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,CAC9C,CAAC,GAAyC,EAAE,UAAU,EAAE,EAAE;QACxD,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;QACrB,OAAO,GAAG,CAAC;IACb,CAAC,EACD,EAAE,CACH,CAAC;IAEF,0EAA0E;IAC1E,MAAM,oBAAoB,GAAG,QAAQ,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC;IACrE,MAAM,cAAc,GAAG,oBAAoB,CAAC,OAAO,EAAE,aAAa,IAAI,EAAE,CAAC;IACzE,MAAM,yBAAyB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACzD,2BAA2B,CAAC,oBAAoB,EAAE,CAAC,CAAC,CACrD,CAAC;IAEF,KAAK,MAAM,UAAU,IAAI,eAAe,CAAC,MAAM,EAAE,CAAC;QAChD,IAAI,cAAc,GAAG,WAAW,CAAC;QACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,MAAM,aAAa,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,8BAA8B,GAClC,MAAM,0CAA0C,CAC9C,GAAG,EACH,yBAAyB,CAAC,CAAC,CAAC,EAC5B,QAAQ,EACR,UAAU,CACX,CAAC;YAEJ,IAAI,CAAC,8BAA8B,EAAE,CAAC;gBACpC,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,SAAS,EACT,qEAAqE,yBAAyB,CAAC,CAAC,CAAC,IAAI,CACtG,CACF,CAAC;YACJ,CAAC;YAED,cAAc,GAAG,MAAM,iCAAiC,CACtD,aAAa,EACb,8BAA8B,EAC9B,IAAI,EACJ,cAAc,CACf,CAAC;QACJ,CAAC;QAED,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,UAAU,CAAC,UAAU,CAAC,GAAG,cAAc,CAAC;IAC1C,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAA6B,EAC7B,YAA+B,EAC/B,KAA2B;IAE3B,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,YAAY,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,IAAI,CACT,UAAU,CACR,WAAW,EACX,UAAU,YAAY,CAAC,SAAS,+CAA+C,EAC/E,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAC3B,CACF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;QAC9C,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CACT,UAAU,CACR,WAAW,EACX,UAAU,YAAY,CAAC,SAAS,+CAA+C,EAC/E,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAC3B,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,oBAAuC,EACvC,IAAY,EACZ,GAAuB;IAEvB,IAAI,YAAY,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACvC,OAAO,CACL,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACnC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,oBAAoB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CACtD,IAAI,EAAE,CACR,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,GAAkB,EAClB,OAAsD,EACtD,eAAkC,EAClC,IAAY,EACZ,GAAuB;IAEvB,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC;IACjD,MAAM,oBAAoB,GAAG,QAAQ,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC;IACrE,MAAM,cAAc,GAAG,YAAY,CAAC,oBAAoB,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAErE,MAAM,MAAM,GAAG,MAAM,YAAY,CAC/B,GAAG,EACH,QAAQ,EACR,eAAe,EACf,IAAI,EACJ,cAAc,CACf,CAAC;IAEF,IAAI,MAAM,GAA8B,EAAE,CAAC;IAC3C,MAAM,WAAW,GAAG,OAAO,CACzB,OAAO,CACL,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,qBAAqB,EAAE,OAAO,CAAC,EAAQ,CAAC,EACjE,UAAU,CACX,EACD,SAAS,CACV,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,KAAK,CAA0B,CAAC;QACtE,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAE5C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,MAAM,IAAI,cAAc,CACtB,YAAY,CAAC,WAAW,EAAE,+BAA+B,QAAQ,GAAG,CAAC,CACtE,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,IAAI,EAAE,CAAC;QACrC,MAAM,GAAG,MAAM,CAAC,MAAM,CACpB,wBAAwB,CAAC,GAAG,EAAE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAC3D,CAAC;QAEF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,cAAc,CACtB,YAAY,CAAC,eAAe,EAAE,wCAAwC,CAAC,CACxE,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,GAAG,MAAM,CAAC,MAAM,CACpB,MAAM,8BAA8B,CAClC,GAAG,EACH,OAAO,EACP,QAAQ,EACR,IAAI,EACJ,IAAI,EACJ,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CACb,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/lib/profile/slicing.d.ts

@@ -0,0 +1,47 @@
+import {
+  ElementDefinition,
+  OperationOutcome,
+  OperationOutcomeIssue,
+} from "@oxidized-health/fhir-types/r4/types";
+import { Loc } from "@oxidized-health/fhir-pointer";
+import { FHIR_VERSION, Resource } from "@oxidized-health/fhir-types/versions";
+import { ValidationCTX } from "../types.js";
+type SlicingDescriptor = {
+  discriminator: number;
+  slices: number[];
+};
+/**
+ * Filter elements for discriminator slice + slicing elements.
+ * @param elements
+ */
+export declare function getSliceIndices(
+  elements: ElementDefinition[],
+  index: number
+): SlicingDescriptor[];
+export declare function validateSlice(
+  elements: ElementDefinition[],
+  sliceIndex: number,
+  root: object,
+  sliceValueLocs: Loc<any, any, any>[]
+): Promise<void>;
+export declare function splitSlicing(
+  elements: ElementDefinition[],
+  sliceDescriptor: SlicingDescriptor,
+  root: object,
+  loc: Loc<any, any, any>
+): Promise<Record<number, Loc<any, any, any>[]>>;
+export declare function validateSliceDescriptor(
+  ctx: ValidationCTX,
+  profile: Resource<FHIR_VERSION, "StructureDefinition">,
+  sliceDescriptor: SlicingDescriptor,
+  root: object,
+  loc: Loc<any, any, any>
+): Promise<OperationOutcome["issue"]>;
+export default function validateAllSlicesAtLocation(
+  ctx: ValidationCTX,
+  profile: Resource<FHIR_VERSION, "StructureDefinition">,
+  elementIndex: number,
+  root: object,
+  loc: Loc<any, any, any>
+): Promise<OperationOutcomeIssue[]>;
+export {};