@haste-health/fhir-validation 0.14.3

package/README.md

@@ -0,0 +1,4 @@
+# FHIR Validation
+
+Validates FHIR resources based around StructureDefinition.
+Supports R4 and R4B.

package/lib/elements/conformance.d.ts

@@ -0,0 +1,9 @@
+/**
+ * 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;
+export declare function conformsToValue(expectedValue: unknown, foundValue: unknown): boolean;

package/lib/elements/conformance.js

@@ -0,0 +1,40 @@
+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 (const singularPattern of pattern) {
+                const valueExists = value.filter((v) => conformsToPattern(singularPattern, 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;
+    }
+}
+export function conformsToValue(expectedValue, foundValue) {
+    return JSON.stringify(expectedValue) === JSON.stringify(foundValue);
+}
+//# sourceMappingURL=conformance.js.map

package/lib/elements/conformance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance.js","sourceRoot":"","sources":["../../src/elements/conformance.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,MAAM,eAAe,IAAI,OAAO,EAAE,CAAC;gBACtC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACrC,iBAAiB,CAAC,eAAe,EAAE,CAAC,CAAC,CACtC,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;AAED,MAAM,UAAU,eAAe,CAC7B,aAAsB,EACtB,UAAmB;IAEnB,OAAO,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;AACtE,CAAC"}

package/lib/elements/primitive.d.ts

@@ -0,0 +1,5 @@
+import * as fpointer from "@haste-health/fhir-pointer";
+import { ElementDefinition } from "@haste-health/fhir-types/r4/types";
+import { FHIR_VERSION, Resource } from "@haste-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/elements/primitive.js

@@ -0,0 +1,102 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import * as fpointer from "@haste-health/fhir-pointer";
+import { isObject } from "@haste-health/meta-value/utilities";
+import { OperationError, issueError, outcomeError, } from "@haste-health/operation-outcomes";
+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=primitive.js.map

package/lib/elements/primitive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitive.js","sourceRoot":"","sources":["../../src/elements/primitive.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,KAAK,QAAQ,MAAM,4BAA4B,CAAC;AAGvD,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAC9D,OAAO,EACL,cAAc,EACd,UAAU,EACV,YAAY,GACb,MAAM,kCAAkC,CAAC;AAI1C,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;IAEV,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,CAClE,IAAI,CACL,GAAG,EACJ,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,CACjE,IAAI,CACL,GAAG,EACJ,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAC/B,CACF,CAAC;IACN,CAAC;AACH,CAAC"}

package/lib/elements/validators/cardinality.d.ts

@@ -0,0 +1,3 @@
+import { Loc } from "@haste-health/fhir-pointer";
+import { ElementDefinition, OperationOutcomeIssue } from "@haste-health/fhir-types/r4/types";
+export declare function validateCardinality(element: ElementDefinition, root: object, path: Loc<any, any, any>): Array<OperationOutcomeIssue>;

package/lib/elements/validators/cardinality.js

@@ -0,0 +1,57 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { get, toJSONPointer } from "@haste-health/fhir-pointer";
+import { issueError } from "@haste-health/operation-outcomes";
+/**
+ * Returns whether the value should be respresented as an array given max cardinality
+ * @param max either a string number or *
+ * @returns
+ */
+function isArray(element) {
+    // If base is an array should check that first (because profile could restrict to singular value).
+    if (!element.path.includes("."))
+        return false;
+    const base = element.base?.max ?? "1";
+    const max = element.max ?? "1";
+    return base === "*" || max === "*" || parseInt(base) > 1 || parseInt(max) > 1;
+}
+function getMin(elementDefinition) {
+    return elementDefinition.min ?? 0;
+}
+function getMax(elementDefinition) {
+    return elementDefinition.max ?? "1";
+}
+export function validateCardinality(element, root, path) {
+    const value = get(path, root);
+    const max = getMax(element);
+    const min = getMin(element);
+    // Value could be undefined if min is allowed to be zero.
+    if (value === undefined && min === 0)
+        return [];
+    const isElementAnArray = isArray(element);
+    if (Array.isArray(value) !== isElementAnArray) {
+        return [
+            issueError("structure", `Element is expected to be ${isElementAnArray ? "an array" : "a singular value"}.`, [toJSONPointer(path)]),
+        ];
+    }
+    if (isElementAnArray) {
+        if (value.length < min) {
+            return [
+                issueError("structure", `Element is expected to have at least ${min} items.`, [toJSONPointer(path)]),
+            ];
+        }
+        if (max !== "*" && value > parseInt(max))
+            return [
+                issueError("structure", `Element is expected to have at most ${max} items.`, [toJSONPointer(path)]),
+            ];
+        return [];
+    }
+    else {
+        if (min > 0 && value === undefined) {
+            return [
+                issueError("structure", `Element is expected to have at least ${min} items.`, [toJSONPointer(path)]),
+            ];
+        }
+        return [];
+    }
+}
+//# sourceMappingURL=cardinality.js.map

package/lib/elements/validators/cardinality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cardinality.js","sourceRoot":"","sources":["../../../src/elements/validators/cardinality.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAO,GAAG,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAKrE,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAE9D;;;;GAIG;AACH,SAAS,OAAO,CAAC,OAA0B;IACzC,kGAAkG;IAClG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,IAAI,GAAG,CAAC;IACtC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC;IAE/B,OAAO,IAAI,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,MAAM,CAAC,iBAAoC;IAClD,OAAO,iBAAiB,CAAC,GAAG,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,MAAM,CAAC,iBAAoC;IAClD,OAAO,iBAAiB,CAAC,GAAG,IAAI,GAAG,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,OAA0B,EAC1B,IAAY,EACZ,IAAwB;IAExB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAE9B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAE5B,yDAAyD;IACzD,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChD,MAAM,gBAAgB,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAE1C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,gBAAgB,EAAE,CAAC;QAC9C,OAAO;YACL,UAAU,CACR,WAAW,EACX,6BACE,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,kBAClC,GAAG,EACH,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;SACF,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,EAAE,CAAC;QACrB,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;YACvB,OAAO;gBACL,UAAU,CACR,WAAW,EACX,wCAAwC,GAAG,SAAS,EACpD,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;aACF,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,KAAK,GAAG,IAAI,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC;YACtC,OAAO;gBACL,UAAU,CACR,WAAW,EACX,uCAAuC,GAAG,SAAS,EACnD,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;aACF,CAAC;QAEJ,OAAO,EAAE,CAAC;IACZ,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO;gBACL,UAAU,CACR,WAAW,EACX,wCAAwC,GAAG,SAAS,EACpD,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;aACF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC"}

package/lib/elements/validators/fixedValue.d.ts

@@ -0,0 +1,4 @@
+import { Loc } from "@haste-health/fhir-pointer";
+import { ElementDefinition, OperationOutcomeIssue } from "@haste-health/fhir-types/r4/types";
+export declare function conformsToValue(expectedValue: unknown, foundValue: unknown): boolean;
+export declare function validateFixedValue(element: ElementDefinition, root: unknown, path: Loc<any, any, any>): Promise<Array<OperationOutcomeIssue>>;

package/lib/elements/validators/fixedValue.js

@@ -0,0 +1,20 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { get, toJSONPointer } from "@haste-health/fhir-pointer";
+import * as fp from "@haste-health/fhirpath";
+import { issueError } from "@haste-health/operation-outcomes";
+export function conformsToValue(expectedValue, foundValue) {
+    return JSON.stringify(expectedValue) === JSON.stringify(foundValue);
+}
+export async function validateFixedValue(element, root, path) {
+    const expectedValue = (await fp.evaluate("value", element, { type: "ElementDefinition" }))[0];
+    const value = get(path, root);
+    if (!expectedValue)
+        return [];
+    if (!conformsToValue(expectedValue, value)) {
+        return [
+            issueError("structure", `Value does not conform to fixed value ${JSON.stringify(expectedValue)}.`, [toJSONPointer(path)]),
+        ];
+    }
+    return [];
+}
+//# sourceMappingURL=fixedValue.js.map

package/lib/elements/validators/fixedValue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixedValue.js","sourceRoot":"","sources":["../../../src/elements/validators/fixedValue.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAO,GAAG,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAMrE,OAAO,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAE9D,MAAM,UAAU,eAAe,CAC7B,aAAsB,EACtB,UAAmB;IAEnB,OAAO,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,OAA0B,EAC1B,IAAa,EACb,IAAwB;IAExB,MAAM,aAAa,GAAG,CACpB,MAAM,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,mBAA0B,EAAE,CAAC,CAC1E,CAAC,CAAC,CAAC,CAAC;IAEL,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC,aAAa;QAAE,OAAO,EAAE,CAAC;IAE9B,IAAI,CAAC,eAAe,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO;YACL,UAAU,CACR,WAAW,EACX,yCAAyC,IAAI,CAAC,SAAS,CACrD,aAAa,CACd,GAAG,EACJ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;SACF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/lib/elements/validators/pattern.d.ts

@@ -0,0 +1,11 @@
+import { Loc } from "@haste-health/fhir-pointer";
+import { ElementDefinition, OperationOutcomeIssue } from "@haste-health/fhir-types/r4/types";
+/**
+ * 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;
+export declare function validatePattern(element: ElementDefinition, root: unknown, path: Loc<any, any, any>): Promise<Array<OperationOutcomeIssue>>;

package/lib/elements/validators/pattern.js

@@ -0,0 +1,53 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { get, toJSONPointer } from "@haste-health/fhir-pointer";
+import * as fp from "@haste-health/fhirpath";
+import { isObject } from "@haste-health/meta-value/utilities";
+import { issueError } from "@haste-health/operation-outcomes";
+/**
+ * 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 (const singularPattern of pattern) {
+                const valueExists = value.filter((v) => conformsToPattern(singularPattern, 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;
+    }
+}
+export async function validatePattern(element, root, path) {
+    const pattern = (await fp.evaluate("pattern", element, { type: "ElementDefinition" }))[0];
+    const value = get(path, root);
+    if (!pattern)
+        return [];
+    if (!conformsToPattern(pattern, value)) {
+        return [
+            issueError("structure", `Value does not conform to pattern ${JSON.stringify(pattern)}.`, [toJSONPointer(path)]),
+        ];
+    }
+    return [];
+}
+//# sourceMappingURL=pattern.js.map

package/lib/elements/validators/pattern.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern.js","sourceRoot":"","sources":["../../../src/elements/validators/pattern.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAO,GAAG,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAMrE,OAAO,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAE9D;;;;;;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,MAAM,eAAe,IAAI,OAAO,EAAE,CAAC;gBACtC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACrC,iBAAiB,CAAC,eAAe,EAAE,CAAC,CAAC,CACtC,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;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,OAA0B,EAC1B,IAAa,EACb,IAAwB;IAExB,MAAM,OAAO,GAAG,CACd,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,mBAA0B,EAAE,CAAC,CAC5E,CAAC,CAAC,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAExB,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,CACR,WAAW,EACX,qCAAqC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,EAC/D,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;SACF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/lib/elements/validators/value.d.ts

@@ -0,0 +1,10 @@
+import { Loc } from "@oxidized-health/fhir-pointer";
+import {
+  ElementDefinition,
+  OperationOutcomeIssue,
+} from "@oxidized-health/fhir-types/r4/types";
+export declare function validateValue(
+  element: ElementDefinition,
+  root: object,
+  path: Loc<any, any, any>
+): Promise<Array<OperationOutcomeIssue>>;

package/lib/elements/validators/value.js

@@ -0,0 +1,18 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { get, toJSONPointer } from "@iguhealth/fhir-pointer";
+import * as fp from "@iguhealth/fhirpath";
+import { issueError } from "@iguhealth/operation-outcomes";
+import { conformsToValue } from "../conformance.js";
+export async function validateValue(element, root, path) {
+    const expectedValue = (await fp.evaluate("value", element, { type: "ElementDefinition" }))[0];
+    const value = get(path, root);
+    if (!expectedValue)
+        return [];
+    if (!conformsToValue(expectedValue, value)) {
+        return [
+            issueError("structure", `Value does not conform to fixed value ${JSON.stringify(expectedValue)}.`, [toJSONPointer(path)]),
+        ];
+    }
+    return [];
+}
+//# sourceMappingURL=value.js.map

package/lib/elements/validators/value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value.js","sourceRoot":"","sources":["../../../src/elements/validators/value.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAO,GAAG,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAMlE,OAAO,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,OAA0B,EAC1B,IAAY,EACZ,IAAwB;IAExB,MAAM,aAAa,GAAG,CACpB,MAAM,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,mBAA0B,EAAE,CAAC,CAC1E,CAAC,CAAC,CAAC,CAAC;IAEL,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC,aAAa;QAAE,OAAO,EAAE,CAAC;IAE9B,IAAI,CAAC,eAAe,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO;YACL,UAAU,CACR,WAAW,EACX,yCAAyC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,GAAG,EACzE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CACtB;SACF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/lib/elements/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/elements/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/elements/validators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validators.js","sourceRoot":"","sources":["../../src/elements/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/index.d.ts

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

package/lib/index.js

@@ -0,0 +1,13 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { isObject } from "@haste-health/meta-value/utilities";
+import validateResourceProfiles from "./profile/index.js";
+import structuralValidation from "./structural/index.js";
+export default async function validate(ctx, type, root, path_) {
+    let issues = await structuralValidation(ctx, type, root, path_);
+    if (isObject(root) && "resourceType" in root) {
+        const profileIssues = await validateResourceProfiles(ctx, root, path_);
+        issues = issues.concat(profileIssues);
+    }
+    return issues;
+}
+//# sourceMappingURL=index.js.map

package/lib/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAYvD,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAE9D,OAAO,wBAAwB,MAAM,oBAAoB,CAAC;AAC1D,OAAO,oBAAoB,MAAM,uBAAuB,CAAC;AAGzD,MAAM,CAAC,OAAO,CAAC,KAAK,UAAU,QAAQ,CACpC,GAAkB,EAClB,IAAS,EACT,IAAa,EACb,KAA0B;IAE1B,IAAI,MAAM,GAAG,MAAM,oBAAoB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAEhE,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,cAAc,IAAI,IAAI,EAAE,CAAC;QAC7C,MAAM,aAAa,GAAG,MAAM,wBAAwB,CAClD,GAAG,EACH,IAA2D,EAC3D,KAAK,CACN,CAAC;QACF,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACxC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/lib/profile/element.d.ts

@@ -0,0 +1,40 @@
+import { Loc } from "@haste-health/fhir-pointer";
+import { OperationOutcomeIssue, 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 validateSingularProfileElement(ctx: ValidationCTX, profile: Resource<FHIR_VERSION, "StructureDefinition">, elementLoc: ElementLoc, root: object, path: Loc<any, any, any>, type: uri): Promise<OperationOutcomeIssue[]>;
+/**
+ * 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 declare function validateProfileElement(ctx: ValidationCTX, profile: Resource<FHIR_VERSION, "StructureDefinition">, elementLoc: ElementLoc, root: object, path: Loc<any, any, any>, type: uri): Promise<OperationOutcomeIssue[]>;