@haste-health/fhir-validation 0.14.3

package/lib/structural/index.js

@@ -0,0 +1,296 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { descend, get, pointer, toJSONPointer, } from "@haste-health/fhir-pointer";
+import { getMeta, getStartingMeta, resolveMeta, } from "@haste-health/meta-value/meta";
+import { isObject } 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 { isElementRequired, isResourceType } from "../utilities.js";
+function isReferenceConformantToStructureDefinition(sd, value) {
+    switch (true) {
+        case sd?.type === "Resource" || sd?.type === "DomainResource": {
+            return true;
+        }
+        case value.reference !== undefined: {
+            const resourceType = value.reference.split("/")[0];
+            switch (true) {
+                // Could be ref in bundle so skip for now.
+                case !isResourceType(resourceType): {
+                    return true;
+                }
+                case resourceType === sd?.type: {
+                    // If Reference also has type need to validate that as well
+                    if (value.type)
+                        return resourceType === value.type;
+                    return true;
+                }
+                default: {
+                    return false;
+                }
+            }
+        }
+        case value.type && value === sd?.type: {
+            return true;
+        }
+        case value.type === undefined && value.reference === undefined: {
+            return true;
+        }
+        default: {
+            return false;
+        }
+    }
+}
+/**
+ * Validate the Reference is conformant to the profile (only confirms the type)
+ * @param ctx ValidationCTX
+ * @param element ElementDefinition to confirm Reference types
+ * @param root
+ * @param path
+ * @returns
+ */
+async function validateReferenceTypeConstraint(ctx, element, root, path) {
+    // [Note] because element should already be validated as reference this can be considered safe?
+    const value = get(path, root);
+    if (!value)
+        return [];
+    const referenceProfiles = element.type?.find((t) => t.code === "Reference")?.targetProfile;
+    if (referenceProfiles === undefined || referenceProfiles?.length === 0)
+        return [];
+    for (const profileURI of referenceProfiles ?? []) {
+        const sd = await ctx.resolveCanonical(ctx.fhirVersion, "StructureDefinition", profileURI);
+        if (!sd) {
+            throw new OperationError(outcomeFatal("not-found", `Could not find profile: '${profileURI}' to validate reference`));
+        }
+        if (isReferenceConformantToStructureDefinition(sd, value)) {
+            return [];
+        }
+    }
+    return [
+        issueError("structure", `Expected reference to be constrained by one of the following profiles '${referenceProfiles?.join(", ")}' at path '${toJSONPointer(path)}' found reference of type '${value.type ? value.type : value.reference?.split("/")[0]}' instead.`, [toJSONPointer(path)]),
+    ];
+}
+function checkResourceType(type, root, path) {
+    const resource = root;
+    // Verify the resourceType aligns.
+    if (get(descend(path, "resourceType"), resource) !== type) {
+        return [
+            issueError("invalid", `ResourceType '${get(descend(path, "resourceType"), resource)}' does not match expected type '${type}'`, [toJSONPointer(path)]),
+        ];
+    }
+    return [];
+}
+function findFields(ctx, meta, value, field) {
+    switch (meta._type_) {
+        case "fp-primitive":
+        case "resource":
+        case "complex-type": {
+            if (!("definition" in meta))
+                throw new Error("Definition not found in meta");
+            if (field in value) {
+                return [{ field, meta }];
+            }
+            return [];
+        }
+        case "type": {
+            return findFields(ctx, {
+                ...getStartingMeta(ctx.fhirVersion, meta.type),
+                definition: meta.definition,
+            }, value, field);
+        }
+        case "primitive-type": {
+            const foundFields = [];
+            if (field in value) {
+                foundFields.push({ field, meta });
+            }
+            // Because Primitives have Element data under seperate key we must check multiple fields.
+            if (`_${field}` in value) {
+                const elementMeta = getStartingMeta(ctx.fhirVersion, "Element");
+                foundFields.push({
+                    field: `_${field}`,
+                    meta: {
+                        ...elementMeta,
+                        // Reet the min max cardinaltiy to the field definition.
+                        definition: {
+                            ...elementMeta.definition,
+                            // Set both path and max,min,base to field definition to avoid issues with cardinality validation.
+                            path: meta.definition.path,
+                            max: meta.definition.max,
+                            min: meta.definition.min,
+                            base: meta.definition.base,
+                        },
+                    },
+                });
+            }
+            return foundFields;
+        }
+        case "typechoice": {
+            for (const fieldToType of Object.keys(meta.fieldsToType)) {
+                const foundFields = findFields(ctx, {
+                    ...getStartingMeta(ctx.fhirVersion, meta.fieldsToType[fieldToType]),
+                    definition: meta.definition,
+                }, value, fieldToType);
+                if (foundFields.length > 0)
+                    return foundFields;
+            }
+            return [];
+        }
+        case "content-reference": {
+            const nextMeta = resolveMeta(ctx.fhirVersion, meta, value, field);
+            if (!nextMeta)
+                throw new OperationError(outcomeFatal("not-found", `Could not derive meta from content-reference '${meta.definition.path}'`));
+            return findFields(ctx, {
+                ...nextMeta.meta,
+                cardinality: meta.cardinality,
+                definition: {
+                    ...nextMeta.meta.definition,
+                    min: meta.definition.min,
+                    max: meta.definition.max,
+                },
+            }, value, field);
+        }
+        default: {
+            // @ts-ignore
+            throw new Error(`Unknown meta type: ${meta._type_}`);
+        }
+    }
+}
+/**
+ * Validates singular complex item.
+ * @param ctx
+ * @param meta
+ * @param root
+ * @param path
+ */
+async function validateComplex(ctx, meta, root, path) {
+    const value = get(path, root);
+    if (!isObject(value)) {
+        return [
+            issueError("structure", `Value must be an object when validating '${meta.type}'. Instead found type of '${typeof value}'`, [toJSONPointer(path)]),
+        ];
+    }
+    switch (meta._type_) {
+        case "resource":
+        case "complex-type": {
+            const foundFields = meta._type_ === "resource" ? new Set(["resourceType"]) : new Set([]);
+            const issues = (await Promise.all(Object.keys(meta.properties).map(async (property) => {
+                const childMeta = getMeta(ctx.fhirVersion, meta, property);
+                if (!childMeta) {
+                    throw new OperationError(outcomeFatal("not-found", `Could not find meta for property '${property}' on type '${meta.type}'`));
+                }
+                // Because Primitives can be extended under seperate key we must check multiple fields.
+                const fields = findFields(ctx, childMeta, value, property);
+                fields.forEach((f) => foundFields.add(f.field));
+                if (isElementRequired(childMeta.definition) &&
+                    fields.length === 0) {
+                    return [
+                        issueError("structure", `Missing required field at path '${toJSONPointer(descend(path, property))}'`, [toJSONPointer(path)]),
+                    ];
+                }
+                return (await Promise.all(fields.map((child) => validateElement(ctx, child.meta, root, descend(path, child.field))))).flat();
+            }))).flat();
+            // Check for additional fields
+            const additionalFields = new Set(Object.keys(value)).difference(foundFields);
+            if (additionalFields.size > 0) {
+                issues.push(issueError("structure", `Additional fields found at path '${toJSONPointer(path)}': '${Array.from(additionalFields).join(", ")}'`, [toJSONPointer(path)]));
+            }
+            return issues;
+        }
+        default: {
+            throw new OperationError(outcomeFatal("invalid", "Invalid Meta type."));
+        }
+    }
+}
+/**
+ * Validate cardinality for the element.
+ * @param ctx Validation context.
+ * @param meta Meta of the element to be validated.
+ * @param root
+ * @param path
+ * @returns
+ */
+async function validateElement(ctx, meta, root, path) {
+    const value = get(path, root);
+    const issues = validateCardinality(meta.definition, root, path);
+    if (issues.length > 0)
+        return issues;
+    switch (true) {
+        // If min is zero than allow undefined.
+        case value === undefined: {
+            return [];
+        }
+        case Array.isArray(value): {
+            return (await Promise.all((value || []).map((_v, i) => {
+                return validateElementSingular(ctx, meta, root, descend(path, i));
+            }))).flat();
+        }
+        // Means single item.
+        default: {
+            return validateElementSingular(ctx, meta, root, path);
+        }
+    }
+}
+/**
+ * Validates a singular item.
+ * @param ctx Validation ctx which includes the version.
+ * @param meta
+ * @param root
+ * @param path_
+ * @returns
+ */
+async function validateElementSingular(ctx, meta, root, path) {
+    const patternIssues = await validatePattern(meta.definition, root, path);
+    if (patternIssues.length > 0) {
+        return patternIssues;
+    }
+    const fixedValueIssues = await validateFixedValue(meta.definition, root, path);
+    if (fixedValueIssues.length > 0) {
+        return fixedValueIssues;
+    }
+    switch (meta._type_) {
+        case "resource": {
+            let type = meta.type;
+            if (!isObject(root))
+                return [
+                    issueError("structure", `Value must be an object when validating '${meta.type}'. Instead found type of '${typeof root}'`, [toJSONPointer(path)]),
+                ];
+            if (meta.type === "Resource" || meta.type === "DomainResource") {
+                type = get(descend(path, "resourceType"), root);
+            }
+            const typeIssues = checkResourceType(type, root, path);
+            if (typeIssues.length > 0)
+                return typeIssues;
+            const resourceMeta = getStartingMeta(ctx.fhirVersion, type);
+            if (!resourceMeta || resourceMeta._type_ !== "resource")
+                throw new OperationError(outcomeFatal("not-found", `Could not find meta for type '${type}'`));
+            return validateComplex(ctx, resourceMeta, root, path);
+        }
+        case "complex-type": {
+            if (!isObject(root))
+                return [
+                    issueError("structure", `Value must be an object when validating '${meta.type}'. Instead found type of '${typeof root}'`, [toJSONPointer(path)]),
+                ];
+            if (meta.type === "Reference") {
+                const issuesReferenceConstraint = await validateReferenceTypeConstraint(ctx, meta.definition, root, path);
+                if (issuesReferenceConstraint.length > 0)
+                    return issuesReferenceConstraint;
+            }
+            return validateComplex(ctx, meta, root, path);
+        }
+        case "fp-primitive":
+        case "primitive-type": {
+            return validatePrimitive(ctx, meta.definition, root, path, meta.type);
+        }
+    }
+}
+export default async function validate(ctx, type, root, path_) {
+    const path = path_ ?? pointer(ctx.fhirVersion, type, "id");
+    const meta = getStartingMeta(ctx.fhirVersion, type);
+    if (!meta)
+        throw new OperationError(outcomeFatal("not-found", `Could not find meta for type '${type}'`));
+    if (meta._type_ === "fp-primitive")
+        throw new Error();
+    return validateElementSingular(ctx, meta, root, path) ?? [];
+}
+//# sourceMappingURL=index.js.map

package/lib/structural/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/structural/index.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAQvD,OAAO,EAEL,OAAO,EACP,GAAG,EACH,OAAO,EACP,aAAa,GACd,MAAM,4BAA4B,CAAC;AAepC,OAAO,EAEL,OAAO,EACP,eAAe,EACf,WAAW,GACZ,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAC9D,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,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEpE,SAAS,0CAA0C,CACjD,EAAiD,EACjD,KAAgB;IAEhB,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,EAAE,EAAE,IAAI,KAAK,UAAU,IAAI,EAAE,EAAE,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC;YAC9D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC;YACnC,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAEnD,QAAQ,IAAI,EAAE,CAAC;gBACb,0CAA0C;gBAC1C,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBACnC,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,KAAK,YAAY,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;oBAC/B,2DAA2D;oBAC3D,IAAI,KAAK,CAAC,IAAI;wBAAE,OAAO,YAAY,KAAK,KAAK,CAAC,IAAI,CAAC;oBACnD,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,CAAC,CAAC,CAAC;oBACR,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC;YAC/D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,KAAK,UAAU,+BAA+B,CAC5C,GAAkB,EAClB,OAA0B,EAC1B,IAAY,EACZ,IAA2B;IAE3B,+FAA+F;IAC/F,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAA0B,CAAC;IACvD,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IAEtB,MAAM,iBAAiB,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAC1C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAC9B,EAAE,aAAa,CAAC;IACjB,IAAI,iBAAiB,KAAK,SAAS,IAAI,iBAAiB,EAAE,MAAM,KAAK,CAAC;QACpE,OAAO,EAAE,CAAC;IACZ,KAAK,MAAM,UAAU,IAAI,iBAAiB,IAAI,EAAE,EAAE,CAAC;QACjD,MAAM,EAAE,GAAG,MAAM,GAAG,CAAC,gBAAgB,CACnC,GAAG,CAAC,WAAW,EACf,qBAAqB,EACrB,UAAU,CACX,CAAC;QACF,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,WAAW,EACX,4BAA4B,UAAU,yBAAyB,CAChE,CACF,CAAC;QACJ,CAAC;QACD,IAAI,0CAA0C,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1D,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED,OAAO;QACL,UAAU,CACR,WAAW,EACX,0EAA0E,iBAAiB,EAAE,IAAI,CAC/F,IAAI,CACL,cAAc,aAAa,CAAC,IAAI,CAAC,8BAChC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CACzD,YAAY,EACZ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAS,EACT,IAA6B,EAC7B,IAAwB;IAExB,MAAM,QAAQ,GAAG,IAA2D,CAAC;IAC7E,kCAAkC;IAClC,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;QAC1D,OAAO;YACL,UAAU,CACR,SAAS,EACT,iBAAiB,GAAG,CAClB,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,EAC7B,QAAQ,CACT,mCAAmC,IAAI,GAAG,EAC3C,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAOD,SAAS,UAAU,CACjB,GAAkB,EAClB,IAKwB,EACxB,KAAa,EACb,KAAa;IAEb,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,UAAU,CAAC;QAChB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,CAAC,YAAY,IAAI,IAAI,CAAC;gBACzB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;YAElD,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;gBACnB,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3B,CAAC;YAED,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,OAAO,UAAU,CACf,GAAG,EACH;gBACE,GAAG,eAAe,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC;gBAC9C,UAAU,EAAE,IAAI,CAAC,UAAU;aACb,EAChB,KAAK,EACL,KAAK,CACN,CAAC;QACJ,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,WAAW,GAAgB,EAAE,CAAC;YACpC,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;gBACnB,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACpC,CAAC;YACD,yFAAyF;YACzF,IAAI,IAAI,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,WAAW,GAAG,eAAe,CACjC,GAAG,CAAC,WAAW,EACf,SAAgB,CACF,CAAC;gBACjB,WAAW,CAAC,IAAI,CAAC;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE;oBAClB,IAAI,EAAE;wBACJ,GAAG,WAAW;wBACd,wDAAwD;wBACxD,UAAU,EAAE;4BACV,GAAG,WAAW,CAAC,UAAU;4BACzB,kGAAkG;4BAClG,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI;4BAC1B,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG;4BACxB,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG;4BACxB,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI;yBAC3B;qBACF;iBACF,CAAC,CAAC;YACL,CAAC;YAED,OAAO,WAAW,CAAC;QACrB,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;gBACzD,MAAM,WAAW,GAAG,UAAU,CAC5B,GAAG,EACH;oBACE,GAAG,eAAe,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;oBACnE,UAAU,EAAE,IAAI,CAAC,UAAU;iBACb,EAChB,KAAK,EACL,WAAW,CACZ,CAAC;gBACF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,WAAW,CAAC;YACjD,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAClE,IAAI,CAAC,QAAQ;gBACX,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,WAAW,EACX,iDAAiD,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CACzE,CACF,CAAC;YAEJ,OAAO,UAAU,CACf,GAAG,EACH;gBACE,GAAG,QAAQ,CAAC,IAAI;gBAChB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,UAAU,EAAE;oBACV,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU;oBAC3B,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG;oBACxB,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG;iBACzB;aACF,EACD,KAAK,EACL,KAAK,CACN,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,CAAC,CAAC;YACR,aAAa;YACb,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,eAAe,CAC5B,GAAkB,EAClB,IAAiB,EACjB,IAAY,EACZ,IAAwB;IAExB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,UAAU,CACR,WAAW,EACX,4CACE,IAAI,CAAC,IACP,6BAA6B,OAAO,KAAK,GAAG,EAC5C,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;SACF,CAAC;IACJ,CAAC;IACD,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,UAAU,CAAC;QAChB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,WAAW,GACf,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;YAEvE,MAAM,MAAM,GAAG,CACb,MAAM,OAAO,CAAC,GAAG,CACf,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;gBAClD,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC3D,IAAI,CAAC,SAAS,EAAE,CAAC;oBACf,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,WAAW,EACX,qCAAqC,QAAQ,cAAc,IAAI,CAAC,IAAI,GAAG,CACxE,CACF,CAAC;gBACJ,CAAC;gBAED,uFAAuF;gBACvF,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;gBAC3D,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBAEhD,IACE,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC;oBACvC,MAAM,CAAC,MAAM,KAAK,CAAC,EACnB,CAAC;oBACD,OAAO;wBACL,UAAU,CACR,WAAW,EACX,mCAAmC,aAAa,CAC9C,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CACxB,GAAG,EACJ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;qBACF,CAAC;gBACJ,CAAC;gBAED,OAAO,CACL,MAAM,OAAO,CAAC,GAAG,CACf,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnB,eAAe,CACb,GAAG,EACH,KAAK,CAAC,IAAI,EACV,IAAI,EACJ,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAC3B,CACF,CACF,CACF,CAAC,IAAI,EAAE,CAAC;YACX,CAAC,CAAC,CACH,CACF,CAAC,IAAI,EAAE,CAAC;YAET,8BAA8B;YAC9B,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAC7D,WAAW,CACZ,CAAC;YAEF,IAAI,gBAAgB,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CACT,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,CACF,CAAC;YACJ,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,IAAI,cAAc,CAAC,YAAY,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,KAAK,UAAU,eAAe,CAC5B,GAAkB,EAClB,IAAyE,EACzE,IAAY,EACZ,IAAwB;IAExB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IAErC,QAAQ,IAAI,EAAE,CAAC;QACb,uCAAuC;QACvC,KAAK,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC;YACzB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,KAAK,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1B,OAAO,CACL,MAAM,OAAO,CAAC,GAAG,CACf,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAO,EAAE,CAAS,EAAE,EAAE;gBACvC,OAAO,uBAAuB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACpE,CAAC,CAAC,CACH,CACF,CAAC,IAAI,EAAE,CAAC;QACX,CAAC;QACD,qBAAqB;QACrB,OAAO,CAAC,CAAC,CAAC;YACR,OAAO,uBAAuB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,KAAK,UAAU,uBAAuB,CACpC,GAAkB,EAClB,IAAyE,EACzE,IAAa,EACb,IAAwB;IAExB,MAAM,aAAa,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACzE,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,gBAAgB,GAAG,MAAM,kBAAkB,CAC/C,IAAI,CAAC,UAAU,EACf,IAAI,EACJ,IAAI,CACL,CAAC;IACF,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACjB,OAAO;oBACL,UAAU,CACR,WAAW,EACX,4CACE,IAAI,CAAC,IACP,6BAA6B,OAAO,IAAI,GAAG,EAC3C,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;iBACF,CAAC;YAEJ,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBAC/D,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC;YAClD,CAAC;YAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YACvD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,UAAU,CAAC;YAE7C,MAAM,YAAY,GAAG,eAAe,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAC5D,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,UAAU;gBACrD,MAAM,IAAI,cAAc,CACtB,YAAY,CAAC,WAAW,EAAE,iCAAiC,IAAI,GAAG,CAAC,CACpE,CAAC;YAEJ,OAAO,eAAe,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACxD,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACjB,OAAO;oBACL,UAAU,CACR,WAAW,EACX,4CACE,IAAI,CAAC,IACP,6BAA6B,OAAO,IAAI,GAAG,EAC3C,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;iBACF,CAAC;YAEJ,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC9B,MAAM,yBAAyB,GAAG,MAAM,+BAA+B,CACrE,GAAG,EACH,IAAI,CAAC,UAAU,EACf,IAAI,EACJ,IAAI,CACL,CAAC;gBACF,IAAI,yBAAyB,CAAC,MAAM,GAAG,CAAC;oBACtC,OAAO,yBAAyB,CAAC;YACrC,CAAC;YAED,OAAO,eAAe,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,OAAO,iBAAiB,CACtB,GAAG,EACH,IAAI,CAAC,UAAU,EACf,IAAI,EACJ,IAA0B,EAC1B,IAAI,CAAC,IAAI,CACV,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,CAAC,OAAO,CAAC,KAAK,UAAU,QAAQ,CACpC,GAAkB,EAClB,IAAS,EACT,IAAa,EACb,KAA0B;IAE1B,MAAM,IAAI,GACR,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,IAAoB,EAAE,IAAU,CAAC,CAAC;IAEtE,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,IAAI;QACP,MAAM,IAAI,cAAc,CACtB,YAAY,CAAC,WAAW,EAAE,iCAAiC,IAAI,GAAG,CAAC,CACpE,CAAC;IAEJ,IAAI,IAAI,CAAC,MAAM,KAAK,cAAc;QAAE,MAAM,IAAI,KAAK,EAAE,CAAC;IAEtD,OAAO,uBAAuB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;AAC9D,CAAC"}

package/lib/structural/validate-primitive.d.ts

@@ -0,0 +1,11 @@
+import * as fpointer from "@oxidized-health/fhir-pointer";
+import { ElementDefinition } from "@oxidized-health/fhir-types/r4/types";
+import { FHIR_VERSION, Resource } from "@oxidized-health/fhir-types/versions";
+import { ValidationCTX } from "../types.js";
+export declare function validatePrimitive(
+  ctx: ValidationCTX,
+  element: ElementDefinition | undefined,
+  rootValue: unknown,
+  path: fpointer.Loc<object, any, any>,
+  type: string
+): Promise<Resource<FHIR_VERSION, "OperationOutcome">["issue"]>;

package/lib/structural/validate-primitive.js

@@ -0,0 +1,102 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import * as fpointer from "@iguhealth/fhir-pointer";
+import { OperationError, issueError, outcomeError, } from "@iguhealth/operation-outcomes";
+import { isObject } from "@iguhealth/meta-value/utilities";
+const REGEX = {
+    // base64Binary: /^(\s*([0-9a-zA-Z+=]){4}\s*)+$/,
+    uuid: /^[0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{12}$/,
+    time: /^([01][0-9]|2[0-3]):[0-5][0-9]:([0-5][0-9]|60)(\.[0-9]+)?$/,
+    oid: /^urn:oid:[0-2](\.(0|[1-9][0-9]*))+$/,
+    unsignedInt: /^([0]|([1-9][0-9]*))$/,
+    positiveInt: /^(\+?[1-9][0-9]*)$/,
+    instant: /^([0-9]([0-9]([0-9][1-9]|[1-9]0)|[1-9]00)|[1-9]000)-(0[1-9]|1[0-2])-(0[1-9]|[1-2][0-9]|3[0-1])T([01][0-9]|2[0-3]):[0-5][0-9]:([0-5][0-9]|60)(\.[0-9]+)?(Z|(\+|-)((0[0-9]|1[0-3]):[0-5][0-9]|14:00))$/,
+    id: /^[A-Za-z0-9\-.]{1,64}$/,
+    date: /^([0-9]([0-9]([0-9][1-9]|[1-9]0)|[1-9]00)|[1-9]000)(-(0[1-9]|1[0-2])(-(0[1-9]|[1-2][0-9]|3[0-1]))?)?$/,
+    dateTime: /^([0-9]([0-9]([0-9][1-9]|[1-9]0)|[1-9]00)|[1-9]000)(-(0[1-9]|1[0-2])(-(0[1-9]|[1-2][0-9]|3[0-1])(T([01][0-9]|2[0-3]):[0-5][0-9]:([0-5][0-9]|60)(\.[0-9]+)?(Z|(\+|-)((0[0-9]|1[0-3]):[0-5][0-9]|14:00)))?)?)?$/,
+};
+export async function validatePrimitive(ctx, element, rootValue, path, type) {
+    let value;
+    if (isObject(rootValue))
+        value = fpointer.get(path, rootValue);
+    else if (path === fpointer.root(path))
+        value = rootValue;
+    else {
+        return [
+            issueError("structure", `Expected primitive type '${type}' at path '${fpointer.toJSONPointer(path)}'`, [fpointer.toJSONPointer(path)]),
+        ];
+    }
+    switch (type) {
+        case "http://hl7.org/fhirpath/System.String":
+        case "date":
+        case "dateTime":
+        case "time":
+        case "instant":
+        case "id":
+        case "string":
+        case "xhtml":
+        case "markdown":
+        case "base64Binary":
+        case "uri":
+        case "uuid":
+        case "canonical":
+        case "oid":
+        case "url": {
+            if (typeof value !== "string") {
+                return [
+                    issueError("structure", `Expected primitive type '${type}' at path '${fpointer.toJSONPointer(path)}'`, [fpointer.toJSONPointer(path)]),
+                ];
+            }
+            if (REGEX[type] && !REGEX[type].test(value)) {
+                return [
+                    issueError("value", `Invalid value '${value}' at path '${fpointer.toJSONPointer(path)}'. Value must conform to regex '${REGEX[type]}'`, [fpointer.toJSONPointer(path)]),
+                ];
+            }
+            return [];
+        }
+        case "boolean": {
+            if (typeof value !== "boolean") {
+                return [
+                    issueError("structure", `Expected primitive type '${type}' at path '${fpointer.toJSONPointer(path)}'`, [fpointer.toJSONPointer(path)]),
+                ];
+            }
+            return [];
+        }
+        case "code": {
+            const strength = element?.binding?.strength;
+            const valueSet = element?.binding?.valueSet;
+            if (typeof value !== "string") {
+                return [
+                    issueError("structure", `Expected primitive type '${type}' at path '${fpointer.toJSONPointer(path)}'`, [fpointer.toJSONPointer(path)]),
+                ];
+            }
+            if (strength === "required" && valueSet && ctx.validateCode) {
+                const isValid = await ctx.validateCode(valueSet, value);
+                if (!isValid) {
+                    return [
+                        issueError("structure", `Code '${value}' is not in value set '${valueSet}' at path '${fpointer.toJSONPointer(path)}'`, [fpointer.toJSONPointer(path)]),
+                    ];
+                }
+            }
+            return [];
+        }
+        case "integer":
+        case "positiveInt":
+        case "unsignedInt":
+        case "decimal": {
+            if (typeof value !== "number") {
+                return [
+                    issueError("structure", `Expected primitive type '${type}' at path '${fpointer.toJSONPointer(path)}'`, [fpointer.toJSONPointer(path)]),
+                ];
+            }
+            if (REGEX[type] && !REGEX[type].test(value.toString())) {
+                return [
+                    issueError("value", `Invalid value '${value}' at path '${fpointer.toJSONPointer(path)}'. Value must conform to regex '${REGEX[type]}'`, [fpointer.toJSONPointer(path)]),
+                ];
+            }
+            return [];
+        }
+        default:
+            throw new OperationError(outcomeError("structure", `Unknown primitive type '${type}' at path '${fpointer.toJSONPointer(path)}'`, [fpointer.toJSONPointer(path)]));
+    }
+}
+//# sourceMappingURL=validate-primitive.js.map

package/lib/structural/validate-primitive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-primitive.js","sourceRoot":"","sources":["../../src/structural/validate-primitive.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,KAAK,QAAQ,MAAM,yBAAyB,CAAC;AAGpD,OAAO,EACL,cAAc,EACd,UAAU,EACV,YAAY,GACb,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAE3D,MAAM,KAAK,GAA2B;IACpC,iDAAiD;IACjD,IAAI,EAAE,+EAA+E;IACrF,IAAI,EAAE,4DAA4D;IAClE,GAAG,EAAE,qCAAqC;IAC1C,WAAW,EAAE,uBAAuB;IACpC,WAAW,EAAE,oBAAoB;IACjC,OAAO,EACL,sMAAsM;IACxM,EAAE,EAAE,wBAAwB;IAC5B,IAAI,EAAE,uGAAuG;IAC7G,QAAQ,EACN,+MAA+M;CAClN,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,GAAkB,EAClB,OAAsC,EACtC,SAAkB,EAClB,IAAoC,EACpC,IAAY;IAEZ,IAAI,KAAK,CAAC;IACV,IAAI,QAAQ,CAAC,SAAS,CAAC;QAAE,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;SAC1D,IAAI,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,KAAK,GAAG,SAAS,CAAC;SACpD,CAAC;QACJ,OAAO;YACL,UAAU,CACR,WAAW,EACX,4BAA4B,IAAI,cAAc,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,EAC7E,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAC/B;SACF,CAAC;IACJ,CAAC;IAED,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,uCAAuC,CAAC;QAC7C,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS,CAAC;QACf,KAAK,IAAI,CAAC;QACV,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,UAAU,CAAC;QAChB,KAAK,cAAc,CAAC;QACpB,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO;oBACL,UAAU,CACR,WAAW,EACX,4BAA4B,IAAI,cAAc,QAAQ,CAAC,aAAa,CAClE,IAAI,CACL,GAAG,EACJ,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAC/B;iBACF,CAAC;YACJ,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,OAAO;oBACL,UAAU,CACR,OAAO,EACP,kBAAkB,KAAK,cAAc,QAAQ,CAAC,aAAa,CACzD,IAAI,CACL,mCAAmC,KAAK,CAAC,IAAI,CAAC,GAAG,EAClD,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAC/B;iBACF,CAAC;YACJ,CAAC;YAED,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC/B,OAAO;oBACL,UAAU,CACR,WAAW,EACX,4BAA4B,IAAI,cAAc,QAAQ,CAAC,aAAa,CAClE,IAAI,CACL,GAAG,EACJ,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAC/B;iBACF,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,QAAQ,GAAG,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC;YAC5C,MAAM,QAAQ,GAAG,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC;YAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO;oBACL,UAAU,CACR,WAAW,EACX,4BAA4B,IAAI,cAAc,QAAQ,CAAC,aAAa,CAClE,IAAI,CACL,GAAG,EACJ,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAC/B;iBACF,CAAC;YACJ,CAAC;YAED,IAAI,QAAQ,KAAK,UAAU,IAAI,QAAQ,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;gBAC5D,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBACxD,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,OAAO;wBACL,UAAU,CACR,WAAW,EACX,SAAS,KAAK,0BAA0B,QAAQ,cAAc,QAAQ,CAAC,aAAa,CAClF,IAAI,CACL,GAAG,EACJ,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAC/B;qBACF,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO;oBACL,UAAU,CACR,WAAW,EACX,4BAA4B,IAAI,cAAc,QAAQ,CAAC,aAAa,CAClE,IAAI,CACL,GAAG,EACJ,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAC/B;iBACF,CAAC;YACJ,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;gBACvD,OAAO;oBACL,UAAU,CACR,OAAO,EACP,kBAAkB,KAAK,cAAc,QAAQ,CAAC,aAAa,CACzD,IAAI,CACL,mCAAmC,KAAK,CAAC,IAAI,CAAC,GAAG,EAClD,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAC/B;iBACF,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC;QACD;YACE,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,WAAW,EACX,2BAA2B,IAAI,cAAc,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,EAC5E,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAC/B,CACF,CAAC;IACN,CAAC;AACH,CAAC"}

package/lib/types.d.ts

@@ -0,0 +1,10 @@
+import { Loc } from "@haste-health/fhir-pointer";
+import { ElementDefinition, StructureDefinition, canonical } from "@haste-health/fhir-types/r4/types";
+import * as r4b from "@haste-health/fhir-types/r4b/types";
+import { FHIR_VERSION, Resource, ResourceType } from "@haste-health/fhir-types/versions";
+export type ElementLoc = Loc<StructureDefinition | r4b.StructureDefinition, ElementDefinition | r4b.ElementDefinition | undefined, Loc<StructureDefinition | r4b.StructureDefinition, r4b.ElementDefinition[] | ElementDefinition[]>>;
+export interface ValidationCTX {
+    fhirVersion: FHIR_VERSION;
+    resolveCanonical: <FHIRVersion extends FHIR_VERSION, Type extends ResourceType<FHIRVersion>>(fhirVersion: FHIRVersion, type: Type, url: canonical) => Promise<Resource<FHIRVersion, Type> | undefined>;
+    validateCode?(system: string, code: string): Promise<boolean>;
+}

package/lib/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/lib/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}

package/lib/utilities.d.ts

@@ -0,0 +1,34 @@
+import { Loc } from "@haste-health/fhir-pointer";
+import { ElementDefinition, StructureDefinition, uri } from "@haste-health/fhir-types/r4/types";
+import { FHIR_VERSION, Resource } from "@haste-health/fhir-types/versions";
+import { ElementLoc, ValidationCTX } from "./types.js";
+export declare function notNullable<T, Z extends T | undefined>(value: Z): value is NonNullable<Z>;
+/**
+ * Per spec the ID can be used to determine if typechoice
+ * See https://hl7.org/fhir/R4/elementdefinition.html#id
+ * For type choice elements, the id reflects the type slice. e.g. For path = Patient.deceasedBoolean, the id is Patient.deceased[x]:deceasedBoolean
+ * @param element
+ * @returns
+ */
+export declare function isTypeChoice(element: ElementDefinition): boolean | undefined;
+export declare function isResourceType(type: string): boolean;
+export declare function fieldName(elementDefinition: ElementDefinition, type?: string): string;
+export declare function resolveTypeToStructureDefinition(ctx: ValidationCTX, type: uri): Promise<Resource<FHIR_VERSION, "StructureDefinition">>;
+export declare function ascendElementLoc(loc: ElementLoc): {
+    parent: Loc<StructureDefinition, ElementDefinition[]>;
+    field: NonNullable<keyof ElementDefinition[]>;
+};
+export type PropertyAndType = {
+    field: string;
+    type: uri;
+};
+export declare function isElementRequired(element: ElementDefinition): boolean;
+/**
+ * Returns fields associated to an element. Because it could be a primitive it may result in multiple fields.
+ * IE _field for Element values for field primitive value.
+ *
+ * @param element The ElementDefinition to find fields for
+ * @param value Value to check for fields.
+ * @returns
+ */
+export declare function getFoundFieldsForElement(ctx: ValidationCTX, element: ElementDefinition, value: unknown): PropertyAndType[];

package/lib/utilities.js

@@ -0,0 +1,114 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { ascend } from "@haste-health/fhir-pointer";
+import { resourceTypes } from "@haste-health/fhir-types/r4/sets";
+import { resolveTypeToCanonical } from "@haste-health/meta-value";
+import { isObject, isPrimitiveType } from "@haste-health/meta-value/utilities";
+import { OperationError, outcomeFatal } from "@haste-health/operation-outcomes";
+function capitalize(str) {
+    return str.charAt(0).toUpperCase() + str.slice(1);
+}
+export function notNullable(value) {
+    if (value === undefined || value === null)
+        return false;
+    return true;
+}
+/**
+ * Per spec the ID can be used to determine if typechoice
+ * See https://hl7.org/fhir/R4/elementdefinition.html#id
+ * For type choice elements, the id reflects the type slice. e.g. For path = Patient.deceasedBoolean, the id is Patient.deceased[x]:deceasedBoolean
+ * @param element
+ * @returns
+ */
+export function isTypeChoice(element) {
+    return element.id?.endsWith("[x]");
+}
+export function isResourceType(type) {
+    return resourceTypes.has(type);
+}
+export function fieldName(elementDefinition, type) {
+    const field = elementDefinition.path.split(".").pop();
+    if (isTypeChoice(elementDefinition)) {
+        if (!type)
+            throw new Error("deriving field from typechoice requires a type");
+        return field.replace("[x]", capitalize(type));
+    }
+    return field;
+}
+export async function resolveTypeToStructureDefinition(ctx, type) {
+    const canonical = resolveTypeToCanonical(ctx.fhirVersion, type);
+    if (!canonical) {
+        throw new OperationError(outcomeFatal("structure", `Unable to resolve canonical for type '${type}'`, []));
+    }
+    const sd = await ctx.resolveCanonical(ctx.fhirVersion, "StructureDefinition", canonical);
+    if (!sd)
+        throw new OperationError(outcomeFatal("structure", `Unable to resolve canonical for type '${type}'`));
+    return sd;
+}
+export function ascendElementLoc(loc) {
+    const parent = ascend(loc);
+    if (!parent) {
+        throw new OperationError(outcomeFatal("invalid", `Invalid element path ${loc}`));
+    }
+    return parent;
+}
+function _findBaseFieldAndType(element, value) {
+    if (element.contentReference) {
+        const baseField = fieldName(element);
+        if (baseField in value) {
+            return {
+                field: fieldName(element),
+                type: (element.type?.[0].code ?? ""),
+            };
+        }
+    }
+    for (const type of element.type?.map((t) => t.code) ?? []) {
+        const field = fieldName(element, type);
+        if (field in value) {
+            return { field, type };
+        }
+    }
+}
+export function isElementRequired(element) {
+    return (element.min ?? 0) > 0;
+}
+/**
+ * Returns fields associated to an element. Because it could be a primitive it may result in multiple fields.
+ * IE _field for Element values for field primitive value.
+ *
+ * @param element The ElementDefinition to find fields for
+ * @param value Value to check for fields.
+ * @returns
+ */
+export function getFoundFieldsForElement(ctx, element, value) {
+    if (!isObject(value))
+        return [];
+    const properties = [];
+    const base = _findBaseFieldAndType(element, value);
+    if (base) {
+        properties.push(base);
+        const { field, type } = base;
+        if (isPrimitiveType(ctx.fhirVersion, type)) {
+            const primitiveElementField = {
+                field: `_${field}`,
+                type: "Element",
+            };
+            if (`_${field}` in value)
+                properties.push(primitiveElementField);
+        }
+    }
+    else {
+        // Check for primitive extensions when non existent values
+        const primitives = element.type?.filter((type) => isPrimitiveType(ctx.fhirVersion, type.code)) ?? [];
+        for (const primType of primitives) {
+            if (`_${fieldName(element, primType.code)}` in value) {
+                const primitiveElementField = {
+                    field: `_${fieldName(element, primType.code)}`,
+                    type: "Element",
+                };
+                properties.push(primitiveElementField);
+            }
+        }
+    }
+    return properties;
+}
+//# sourceMappingURL=utilities.js.map

package/lib/utilities.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utilities.js","sourceRoot":"","sources":["../src/utilities.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAO,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AAOjE,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAIhF,SAAS,UAAU,CAAC,GAAW;IAC7B,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,KAAQ;IAER,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACxD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,OAA0B;IACrD,OAAO,OAAO,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,iBAAoC,EAAE,IAAa;IAC3E,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAY,CAAC;IAChE,IAAI,YAAY,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI;YACP,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACpE,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,GAAkB,EAClB,IAAS;IAET,MAAM,SAAS,GAAG,sBAAsB,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAEhE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,WAAW,EACX,yCAAyC,IAAI,GAAG,EAChD,EAAE,CACH,CACF,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,GAAG,MAAM,GAAG,CAAC,gBAAgB,CACnC,GAAG,CAAC,WAAW,EACf,qBAAqB,EACrB,SAAS,CACV,CAAC;IAEF,IAAI,CAAC,EAAE;QACL,MAAM,IAAI,cAAc,CACtB,YAAY,CACV,WAAW,EACX,yCAAyC,IAAI,GAAG,CACjD,CACF,CAAC;IAEJ,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAe;IAI9C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAE3B,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,cAAc,CACtB,YAAY,CAAC,SAAS,EAAE,wBAAwB,GAAG,EAAE,CAAC,CACvD,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAID,SAAS,qBAAqB,CAC5B,OAA0B,EAC1B,KAAa;IAEb,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,SAAS,IAAI,KAAK,EAAE,CAAC;YACvB,OAAO;gBACL,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC;gBACzB,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAQ;aAC5C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1D,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;YACnB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACzB,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAA0B;IAC1D,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CACtC,GAAkB,EAClB,OAA0B,EAC1B,KAAc;IAEd,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,UAAU,GAAsB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAEnD,IAAI,IAAI,EAAE,CAAC;QACT,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;QAC7B,IAAI,eAAe,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,qBAAqB,GAAG;gBAC5B,KAAK,EAAE,IAAI,KAAK,EAAE;gBAClB,IAAI,EAAE,SAAgB;aACvB,CAAC;YACF,IAAI,IAAI,KAAK,EAAE,IAAI,KAAK;gBAAE,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;SAAM,CAAC;QACN,0DAA0D;QAC1D,MAAM,UAAU,GACd,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5B,eAAe,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAC5C,IAAI,EAAE,CAAC;QACV,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;YAClC,IAAI,IAAI,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC;gBACrD,MAAM,qBAAqB,GAAG;oBAC5B,KAAK,EAAE,IAAI,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE;oBAC9C,IAAI,EAAE,SAAgB;iBACvB,CAAC;gBACF,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}