@haste-health/fhir-validation 0.14.3

package/lib/profile/slicing.js

@@ -0,0 +1,195 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { eleIndexToChildIndices } from "@iguhealth/codegen/traversal/structure-definition";
+import * as fp from "@iguhealth/fhirpath";
+import { convertPathToElementPointer, removeTypeOnPath, } from "./utilities.js";
+import { issueError, OperationError, outcomeError, outcomeFatal, } from "@iguhealth/operation-outcomes";
+import { fieldName } from "../utilities.js";
+import { conformsToPattern } from "../elements/validators.js";
+import { descend, get, pointer } from "@iguhealth/fhir-pointer";
+import { metaValue } from "@iguhealth/meta-value/v2";
+import { R4 } from "@iguhealth/fhir-types/versions";
+import { validateSingular } from "../structural/index.js";
+function isSliced(element) {
+    return element.slicing !== undefined;
+}
+/**
+ * Filter elements for discriminator slice + slicing elements.
+ * @param elements
+ */
+export function getSliceIndices(elements, index) {
+    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.
+ */
+function findElementDefinitionForSliceDiscriminator(discriminatorElementPath, elements, currentIndex) {
+    const element = elements[currentIndex];
+    const typelessPath = removeTypeOnPath(element.path);
+    if (discriminatorElementPath === typelessPath) {
+        return currentIndex;
+    }
+    if (discriminatorElementPath.startsWith(typelessPath)) {
+        const childIndexes = eleIndexToChildIndices(elements, currentIndex);
+        for (const childIndex of childIndexes) {
+            const foundIndex = findElementDefinitionForSliceDiscriminator(discriminatorElementPath, elements, childIndex);
+            if (foundIndex) {
+                return foundIndex;
+            }
+        }
+    }
+    return undefined;
+}
+async function isConformantToSlicesDiscriminator(discriminator, sliceValueElementDefinition, root, locs) {
+    switch (discriminator.type) {
+        case "value": {
+            const expectedValue = (await fp.evaluate("$this.fixed", sliceValueElementDefinition))[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) => JSON.stringify(v) === JSON.stringify(expectedValue)) !== 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":
+        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]);
+            }
+        }
+    }
+}
+export async function splitSlicing(elements, sliceDescriptor, root, loc) {
+    const sliceSplit = sliceDescriptor.slices.reduce((acc, sliceIndex) => {
+        acc[sliceIndex] = [];
+        return acc;
+    }, {});
+    const values = get(loc, root);
+    if (!Array.isArray(values)) {
+        throw new OperationError(outcomeFatal("not-supported", "Cannot slice non array."));
+    }
+    let locsToCheck = values.map((_v, i) => descend(loc, i));
+    // A couple of notes we will determine per discriminator the element path that should be expected.
+    // Using that we will loop over the slices and determine if value conforms to slice element using discriminator.
+    // [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 sliceElementIndex = findElementDefinitionForSliceDiscriminator(discriminatorElementPaths[d], elements, sliceIndex);
+            if (!sliceElementIndex)
+                throw new OperationError(outcomeError("invalid", "could not find element definition for slice"));
+            const sliceElement = elements[sliceElementIndex];
+            sliceValueLocs = await isConformantToSlicesDiscriminator(discriminator, sliceElement, root, locsToCheck);
+        }
+        locsToCheck = locsToCheck.filter((l) => !sliceValueLocs.includes(l));
+        sliceSplit[sliceIndex] = sliceValueLocs;
+    }
+    return sliceSplit;
+}
+function validateSliceCardinality(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.`));
+    }
+    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.`));
+        }
+    }
+    return issues;
+}
+export async function validateSliceDescriptor(ctx, profile, sliceDescriptor, root, loc) {
+    const differential = profile.differential?.element ?? [];
+    const discriminatorElement = differential[sliceDescriptor.discriminator];
+    const sliceLoc = descend(loc, fieldName(discriminatorElement));
+    const slices = await splitSlicing(differential, sliceDescriptor, root, sliceLoc);
+    let issues = [];
+    const profileLoc = pointer("StructureDefinition", profile.id);
+    for (const slice of sliceDescriptor.slices) {
+        const sliceLoc = descend(descend(descend(profileLoc, "differential"), "element"), 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(sliceElement, slices[slice]));
+        for (const path of slices[slice]) {
+            if (type.length !== 1) {
+                throw new OperationError(outcomeError("not-supported", "typechoices not supported for slicing."));
+            }
+            issues = issues.concat(await validateSingular(ctx, profile, sliceLoc, root, path, type[0].code));
+        }
+    }
+    return issues;
+}
+export default async function validateAllSlicesAtLocation(ctx, profile, elementIndex, root, loc) {
+    const sliceIndices = getSliceIndices(profile.differential?.element ?? [], elementIndex);
+    return (await Promise.all(sliceIndices.map((sliceIndex) => validateSliceDescriptor(ctx, profile, sliceIndex, root, loc)))).flat();
+}
+//# sourceMappingURL=slicing.js.map

package/lib/profile/slicing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"slicing.js","sourceRoot":"","sources":["../../src/profile/slicing.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,mDAAmD,CAAC;AAQ3F,OAAO,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EACL,2BAA2B,EAE3B,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,UAAU,EACV,cAAc,EACd,YAAY,EACZ,YAAY,GACb,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,GAAG,EAAO,OAAO,EAAE,MAAM,yBAAyB,CAAC;AACrE,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAgB,EAAE,EAAY,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG1D,SAAS,QAAQ,CAAC,OAA0B;IAC1C,OAAO,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC;AACvC,CAAC;AAOD;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,QAA6B,EAC7B,KAAa;IAEb,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAEzD,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;YACD,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,SAAS,0CAA0C,CACjD,wBAAgC,EAChC,QAA6B,EAC7B,YAAoB;IAEpB,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;IACvC,MAAM,YAAY,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpD,IAAI,wBAAwB,KAAK,YAAY,EAAE,CAAC;QAC9C,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,wBAAwB,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACtD,MAAM,YAAY,GAAG,sBAAsB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QACpE,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;YACtC,MAAM,UAAU,GAAG,0CAA0C,CAC3D,wBAAwB,EACxB,QAAQ,EACR,UAAU,CACX,CAAC;YACF,IAAI,UAAU,EAAE,CAAC;gBACf,OAAO,UAAU,CAAC;YACpB,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,CAAC,CAC9D,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,CACb,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAC3D,KAAK,SAAS,EACf,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;QACZ,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,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,QAA6B,EAC7B,eAAkC,EAClC,IAAY,EACZ,GAAuB;IAEvB,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,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAE9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,cAAc,CACtB,YAAY,CAAC,eAAe,EAAE,yBAAyB,CAAC,CACzD,CAAC;IACJ,CAAC;IAED,IAAI,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,EAAW,EAAE,CAAS,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE1E,kGAAkG;IAClG,gHAAgH;IAEhH,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,iBAAiB,GAAG,0CAA0C,CAClE,yBAAyB,CAAC,CAAC,CAAC,EAC5B,QAAQ,EACR,UAAU,CACX,CAAC;YAEF,IAAI,CAAC,iBAAiB;gBACpB,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,SAAS,EACT,6CAA6C,CAC9C,CACF,CAAC;YAEJ,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;YAEjD,cAAc,GAAG,MAAM,iCAAiC,CACtD,aAAa,EACb,YAAY,EACZ,IAAI,EACJ,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAErE,UAAU,CAAC,UAAU,CAAC,GAAG,cAAc,CAAC;IAC1C,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,wBAAwB,CAC/B,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,CAChF,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,CAChF,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,GAAkB,EAClB,OAAsD,EACtD,eAAkC,EAClC,IAAY,EACZ,GAAuB;IAEvB,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,EAAE,OAAO,IAAI,EAAE,CAAC;IACzD,MAAM,oBAAoB,GAAG,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAE/D,MAAM,MAAM,GAAG,MAAM,YAAY,CAC/B,YAAY,EACZ,eAAe,EACf,IAAI,EACJ,QAAQ,CACT,CAAC;IAEF,IAAI,MAAM,GAA8B,EAAE,CAAC;IAC3C,MAAM,UAAU,GAAG,OAAO,CAAC,qBAAqB,EAAE,OAAO,CAAC,EAAQ,CAAC,CAAC;IAEpE,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,OAAO,CACtB,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE,SAAS,CAAC,EACvD,KAAK,CACmB,CAAC;QAC3B,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5C,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,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CACtD,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,eAAe,EACf,wCAAwC,CACzC,CACF,CAAC;YACJ,CAAC;YAED,MAAM,GAAG,MAAM,CAAC,MAAM,CACpB,MAAM,gBAAgB,CACpB,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;AAED,MAAM,CAAC,OAAO,CAAC,KAAK,UAAU,2BAA2B,CACvD,GAAkB,EAClB,OAAsD,EACtD,YAAoB,EACpB,IAAY,EACZ,GAAuB;IAEvB,MAAM,YAAY,GAAG,eAAe,CAClC,OAAO,CAAC,YAAY,EAAE,OAAO,IAAI,EAAE,EACnC,YAAY,CACb,CAAC;IAEF,OAAO,CACL,MAAM,OAAO,CAAC,GAAG,CACf,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAC9B,uBAAuB,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,CAC7D,CACF,CACF,CAAC,IAAI,EAAE,CAAC;AACX,CAAC"}

package/lib/profile/utilities.d.ts

@@ -0,0 +1,14 @@
+import { ElementDefinition } from "@haste-health/fhir-types/lib/generated/r4/types";
+/**
+ * Removes the type from the path.
+ * @param path The ElementDefinition path to remove the type from.
+ */
+export declare function removeTypeOnPath(path: string): string;
+export declare function joinPaths(...paths: string[]): string;
+export type Discriminator = NonNullable<NonNullable<ElementDefinition["slicing"]>["discriminator"]>[number];
+/**
+ *
+ * @param discriminator the discrimator to convert to an ElementDefinition path.
+ * @returns the path of the discriminator as an ElementDefinition path.
+ */
+export declare function convertPathToElementPointer(discriminatorElement: ElementDefinition, discriminator: Discriminator): string;

package/lib/profile/utilities.js

@@ -0,0 +1,32 @@
+import { OperationError, outcomeFatal } from "@haste-health/operation-outcomes";
+/**
+ * Removes the type from the path.
+ * @param path The ElementDefinition path to remove the type from.
+ */
+export function removeTypeOnPath(path) {
+    const firstDot = path.indexOf(".");
+    // If first element this would be the entire path as no subfield.
+    return path.substring(firstDot !== -1 ? path.indexOf(".") + 1 : path.length);
+}
+export function joinPaths(...paths) {
+    return paths.filter((p) => p !== "").join(".");
+}
+/**
+ *
+ * @param discriminator the discrimator to convert to an ElementDefinition path.
+ * @returns the path of the discriminator as an ElementDefinition path.
+ */
+export function convertPathToElementPointer(discriminatorElement, discriminator) {
+    if (discriminator.path.includes("ofType(") ||
+        discriminator.path.includes("resolve()") ||
+        discriminator.path.includes("extension(")) {
+        throw new OperationError(outcomeFatal("not-supported", `Discriminator path '${discriminator.path}' is not supported`));
+    }
+    const parentPath = removeTypeOnPath(discriminatorElement.path);
+    const path = discriminator.path.replace("$this", "");
+    if (path === "") {
+        return parentPath;
+    }
+    return `${parentPath}.${path}`;
+}
+//# sourceMappingURL=utilities.js.map

package/lib/profile/utilities.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utilities.js","sourceRoot":"","sources":["../../src/profile/utilities.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhF;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACnC,iEAAiE;IACjE,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAG,KAAe;IAC1C,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACjD,CAAC;AAMD;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACzC,oBAAuC,EACvC,aAA4B;IAE5B,IACE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;QACtC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QACxC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EACzC,CAAC;QACD,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,eAAe,EACf,uBAAuB,aAAa,CAAC,IAAI,oBAAoB,CAC9D,CACF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAErD,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,UAAU,IAAI,IAAI,EAAE,CAAC;AACjC,CAAC"}

package/lib/profile/validators.d.ts

@@ -0,0 +1,8 @@
+/**
+ * If primitive: it must match exactly the pattern value
+ * If a complex object: it must match (recursively) the pattern value
+ * If an array: it must match (recursively) the pattern value.
+ * @param pattern
+ * @param value
+ */
+export declare function conformsToPattern(pattern: unknown, value: unknown): boolean;

package/lib/profile/validators.js

@@ -0,0 +1,37 @@
+import { isObject } from "@iguhealth/meta-value/utilities";
+/**
+ * If primitive: it must match exactly the pattern value
+ * If a complex object: it must match (recursively) the pattern value
+ * If an array: it must match (recursively) the pattern value.
+ * @param pattern
+ * @param value
+ */
+export function conformsToPattern(pattern, value) {
+    if (isObject(pattern)) {
+        if (!isObject(value))
+            return false;
+        if (Array.isArray(pattern)) {
+            if (!Array.isArray(value))
+                return false;
+            for (let i = 0; i < pattern.length; i++) {
+                const valueExists = value.filter((v) => conformsToPattern(pattern[i], v));
+                // Per spec as long as a single value matches in the pattern then it's truthy
+                if (valueExists.length === 0)
+                    return false;
+            }
+            return true;
+        }
+        else {
+            const patternKeys = Object.keys(pattern);
+            for (const key of patternKeys) {
+                if (!conformsToPattern(pattern[key], value[key]))
+                    return false;
+            }
+            return true;
+        }
+    }
+    else {
+        return pattern === value;
+    }
+}
+//# sourceMappingURL=validators.js.map

package/lib/profile/validators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validators.js","sourceRoot":"","sources":["../../src/profile/validators.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAE3D;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,KAAc;IAChE,IAAI,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACrC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACjC,CAAC;gBACF,6EAA6E;gBAC7E,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;YAC7C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;aAAM,CAAC;YACN,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzC,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;gBAC9B,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;YACjE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,OAAO,KAAK,KAAK,CAAC;IAC3B,CAAC;AACH,CAAC"}

package/lib/slicing/index.d.ts

@@ -0,0 +1,47 @@
+import { Loc } from "@oxidized-health/fhir-pointer";
+import {
+  ElementDefinition,
+  OperationOutcome,
+  OperationOutcomeIssue,
+} from "@oxidized-health/fhir-types/r4/types";
+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 {};

package/lib/slicing/index.js

@@ -0,0 +1,197 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { eleIndexToChildIndices } from "@iguhealth/codegen/traversal/structure-definition";
+import { descend, get, pointer } from "@iguhealth/fhir-pointer";
+import { R4 } from "@iguhealth/fhir-types/versions";
+import * as fp from "@iguhealth/fhirpath";
+import { metaValue } from "@iguhealth/meta-value/v2";
+import { OperationError, issueError, outcomeError, outcomeFatal, } from "@iguhealth/operation-outcomes";
+import { conformsToPattern, conformsToValue } from "../elements/conformance.js";
+import { convertPathToElementPointer, removeTypeOnPath, } from "../profile/utilities.js";
+import { validateElementSingular } from "../structural/index.js";
+import { fieldName } from "../utilities.js";
+function isSliced(element) {
+    return element.slicing !== undefined;
+}
+/**
+ * Filter elements for discriminator slice + slicing elements.
+ * @param elements
+ */
+export function getSliceIndices(elements, index) {
+    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.
+ */
+function findElementDefinitionForSliceDiscriminator(discriminatorElementPath, elements, currentIndex) {
+    const element = elements[currentIndex];
+    const typelessPath = removeTypeOnPath(element.path);
+    if (discriminatorElementPath === typelessPath) {
+        return currentIndex;
+    }
+    if (discriminatorElementPath.startsWith(typelessPath)) {
+        const childIndexes = eleIndexToChildIndices(elements, currentIndex);
+        for (const childIndex of childIndexes) {
+            const foundIndex = findElementDefinitionForSliceDiscriminator(discriminatorElementPath, elements, childIndex);
+            if (foundIndex) {
+                return foundIndex;
+            }
+        }
+    }
+    return undefined;
+}
+async function isConformantToSlicesDiscriminator(discriminator, sliceValueElementDefinition, root, locs) {
+    switch (discriminator.type) {
+        case "value": {
+            const expectedValue = (await fp.evaluate("$this.fixed", sliceValueElementDefinition))[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":
+        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]);
+            }
+        }
+    }
+}
+export async function splitSlicing(elements, sliceDescriptor, root, loc) {
+    const sliceSplit = sliceDescriptor.slices.reduce((acc, sliceIndex) => {
+        acc[sliceIndex] = [];
+        return acc;
+    }, {});
+    const values = get(loc, root);
+    if (!Array.isArray(values)) {
+        throw new OperationError(outcomeFatal("not-supported", "Cannot slice non array."));
+    }
+    let locsToCheck = values.map((_v, i) => descend(loc, i));
+    // A couple of notes we will determine per discriminator the element path that should be expected.
+    // Using that we will loop over the slices and determine if value conforms to slice element using discriminator.
+    // [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 sliceElementIndex = findElementDefinitionForSliceDiscriminator(discriminatorElementPaths[d], elements, sliceIndex);
+            if (!sliceElementIndex)
+                throw new OperationError(outcomeError("invalid", "could not find element definition for slice"));
+            const sliceElement = elements[sliceElementIndex];
+            sliceValueLocs = await isConformantToSlicesDiscriminator(discriminator, sliceElement, root, locsToCheck);
+        }
+        locsToCheck = locsToCheck.filter((l) => !sliceValueLocs.includes(l));
+        sliceSplit[sliceIndex] = sliceValueLocs;
+    }
+    return sliceSplit;
+}
+function validateSliceCardinality(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.`));
+    }
+    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.`));
+        }
+    }
+    return issues;
+}
+export async function validateSliceDescriptor(ctx, profile, sliceDescriptor, root, loc) {
+    const differential = profile.differential?.element ?? [];
+    const discriminatorElement = differential[sliceDescriptor.discriminator];
+    const sliceLoc = descend(loc, fieldName(discriminatorElement));
+    const slices = await splitSlicing(differential, sliceDescriptor, root, sliceLoc);
+    let issues = [];
+    const snapshotLoc = descend(descend(pointer("StructureDefinition", profile.id), "snapshot"), "element");
+    for (const slice of sliceDescriptor.slices) {
+        const idx = (profile?.snapshot?.element ?? []).findIndex((e) => e.id === differential[slice].id);
+        const sliceLoc = descend(snapshotLoc, idx);
+        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(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 validateElementSingular(ctx, profile, sliceLoc, root, path, type[0].code));
+        }
+    }
+    return issues;
+}
+export default async function validateAllSlicesAtLocation(ctx, profile, elementIndex, root, loc) {
+    const sliceIndices = getSliceIndices(profile.differential?.element ?? [], elementIndex);
+    return (await Promise.all(sliceIndices.map((sliceIndex) => validateSliceDescriptor(ctx, profile, sliceIndex, root, loc)))).flat();
+}
+//# sourceMappingURL=index.js.map

package/lib/slicing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/slicing/index.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,mDAAmD,CAAC;AAC3F,OAAO,EAAO,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAQrE,OAAO,EAAgB,EAAE,EAAY,MAAM,gCAAgC,CAAC;AAC5E,OAAO,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EACL,cAAc,EACd,UAAU,EACV,YAAY,EACZ,YAAY,GACb,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAChF,OAAO,EAEL,2BAA2B,EAC3B,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,SAAS,QAAQ,CAAC,OAA0B;IAC1C,OAAO,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC;AACvC,CAAC;AAOD;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,QAA6B,EAC7B,KAAa;IAEb,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAEzD,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;YACD,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,SAAS,0CAA0C,CACjD,wBAAgC,EAChC,QAA6B,EAC7B,YAAoB;IAEpB,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;IACvC,MAAM,YAAY,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpD,IAAI,wBAAwB,KAAK,YAAY,EAAE,CAAC;QAC9C,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,wBAAwB,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACtD,MAAM,YAAY,GAAG,sBAAsB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QACpE,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;YACtC,MAAM,UAAU,GAAG,0CAA0C,CAC3D,wBAAwB,EACxB,QAAQ,EACR,UAAU,CACX,CAAC;YACF,IAAI,UAAU,EAAE,CAAC;gBACf,OAAO,UAAU,CAAC;YACpB,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,CAAC,CAC9D,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;QACZ,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,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,QAA6B,EAC7B,eAAkC,EAClC,IAAY,EACZ,GAAuB;IAEvB,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,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAE9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,cAAc,CACtB,YAAY,CAAC,eAAe,EAAE,yBAAyB,CAAC,CACzD,CAAC;IACJ,CAAC;IAED,IAAI,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,EAAW,EAAE,CAAS,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE1E,kGAAkG;IAClG,gHAAgH;IAEhH,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,iBAAiB,GAAG,0CAA0C,CAClE,yBAAyB,CAAC,CAAC,CAAC,EAC5B,QAAQ,EACR,UAAU,CACX,CAAC;YAEF,IAAI,CAAC,iBAAiB;gBACpB,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,SAAS,EACT,6CAA6C,CAC9C,CACF,CAAC;YAEJ,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;YAEjD,cAAc,GAAG,MAAM,iCAAiC,CACtD,aAAa,EACb,YAAY,EACZ,IAAI,EACJ,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAErE,UAAU,CAAC,UAAU,CAAC,GAAG,cAAc,CAAC;IAC1C,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,wBAAwB,CAC/B,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,CAChF,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,CAChF,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,GAAkB,EAClB,OAAsD,EACtD,eAAkC,EAClC,IAAY,EACZ,GAAuB;IAEvB,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,EAAE,OAAO,IAAI,EAAE,CAAC;IACzD,MAAM,oBAAoB,GAAG,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAE/D,MAAM,MAAM,GAAG,MAAM,YAAY,CAC/B,YAAY,EACZ,eAAe,EACf,IAAI,EACJ,QAAQ,CACT,CAAC;IAEF,IAAI,MAAM,GAA8B,EAAE,CAAC;IAC3C,MAAM,WAAW,GAAG,OAAO,CACzB,OAAO,CAAC,OAAO,CAAC,qBAAqB,EAAE,OAAO,CAAC,EAAQ,CAAC,EAAE,UAAU,CAAC,EACrE,SAAS,CACV,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,GAAG,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,SAAS,CACtD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CACvC,CAAC;QACF,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,GAAG,CAA0B,CAAC;QACpE,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5C,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,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CACtD,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,uBAAuB,CAC3B,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;AAED,MAAM,CAAC,OAAO,CAAC,KAAK,UAAU,2BAA2B,CACvD,GAAkB,EAClB,OAAsD,EACtD,YAAoB,EACpB,IAAY,EACZ,GAAuB;IAEvB,MAAM,YAAY,GAAG,eAAe,CAClC,OAAO,CAAC,YAAY,EAAE,OAAO,IAAI,EAAE,EACnC,YAAY,CACb,CAAC;IAEF,OAAO,CACL,MAAM,OAAO,CAAC,GAAG,CACf,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAC9B,uBAAuB,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,CAC7D,CACF,CACF,CAAC,IAAI,EAAE,CAAC;AACX,CAAC"}

package/lib/structural/index.d.ts

@@ -0,0 +1,4 @@
+import { Loc } from "@haste-health/fhir-pointer";
+import { OperationOutcome, uri } from "@haste-health/fhir-types/r4/types";
+import { ValidationCTX } from "../types.js";
+export default function validate(ctx: ValidationCTX, type: uri, root: unknown, path_?: Loc<any, any, any>): Promise<OperationOutcome["issue"]>;