fhirpath-ts 0.0.0-bootstrap.0

package/dist/engine/operators/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/engine/operators/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAGrD,MAAM,CAAC,MAAM,YAAY,GAAqB,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE;IACjF,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;IAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,CAAA;IACX,CAAC;IACD,qFAAqF;IACrF,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,QAAQ,KAAK,IAAI,EAAE,CAAC,CAAA;IACxF,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,WAAW,CAAC,OAAO,CAAC,CAAA;IAC7B,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAC9B,CAAC,CAAA"}

package/dist/engine/type-matching.d.ts

@@ -0,0 +1,20 @@
+import { type TypedValue } from '../values/typed-value.ts';
+import type { EvaluationContext, HostFunction, HostSingleFunction } from './context.ts';
+/**
+ * Does an item satisfy a type specifier? Shared by `is`/`as`/`ofType()` and the
+ * static analyzer. Resolution order per spec §10.1: the context model's types
+ * first, then the System namespace. `is` always walks subtypes; `as`/`ofType`
+ * do too, except when the requested name aliases a System primitive, where the
+ * official inheritance tests pin an exact match instead (see isSystemAmbiguousName).
+ */
+export declare function itemMatchesType(context: EvaluationContext, item: TypedValue, parts: string[], options?: {
+    exact?: boolean;
+}): boolean;
+/**
+ * Selects a host function by focus type. Same-name overloads use registration
+ * order. If none accepts the focus, one error lists all accepted input types.
+ */
+export declare function resolveHostCall(name: string, host: HostFunction, context: EvaluationContext, input: TypedValue[]): HostSingleFunction;
+/** True when a single-part type name resolves in the model or the System namespace. */
+export declare function isKnownTypeName(context: EvaluationContext, parts: string[]): boolean;
+//# sourceMappingURL=type-matching.d.ts.map

package/dist/engine/type-matching.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-matching.d.ts","sourceRoot":"","sources":["../../src/engine/type-matching.ts"],"names":[],"mappings":"AAEA,OAAO,EAAe,KAAK,UAAU,EAAiB,MAAM,0BAA0B,CAAA;AACtF,OAAO,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AAsBvF;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,iBAAiB,EAC1B,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,MAAM,EAAE,EACf,OAAO,CAAC,EAAE;IAAE,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,GAC5B,OAAO,CAsCT;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,iBAAiB,EAC1B,KAAK,EAAE,UAAU,EAAE,GAClB,kBAAkB,CAwBpB;AAeD,uFAAuF;AACvF,wBAAgB,eAAe,CAAC,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CASpF"}

package/dist/engine/type-matching.js

@@ -0,0 +1,122 @@
+import { FhirPathTypeError } from "../errors.js";
+import { resolveByInput, unsatisfiedInput } from "../values/type-compat.js";
+import { OBJECT_TYPE, typeLocalName } from "../values/typed-value.js";
+const SYSTEM_LOCAL_NAMES = new Set([
+    'Any',
+    'Boolean',
+    'String',
+    'Integer',
+    'Long',
+    'Decimal',
+    'Date',
+    'DateTime',
+    'Time',
+    'Quantity',
+]);
+const SYSTEM_LOCAL_NAMES_LOWER = new Set([...SYSTEM_LOCAL_NAMES].map(name => name.toLowerCase()));
+/** True when an unqualified name may mean a System primitive and requires exact `as`/`ofType` matching. */
+function isSystemAmbiguousName(name) {
+    return SYSTEM_LOCAL_NAMES_LOWER.has(name.toLowerCase());
+}
+/**
+ * Does an item satisfy a type specifier? Shared by `is`/`as`/`ofType()` and the
+ * static analyzer. Resolution order per spec §10.1: the context model's types
+ * first, then the System namespace. `is` always walks subtypes; `as`/`ofType`
+ * do too, except when the requested name aliases a System primitive, where the
+ * official inheritance tests pin an exact match instead (see isSystemAmbiguousName).
+ */
+export function itemMatchesType(context, item, parts, options) {
+    const exact = options?.exact === true;
+    if (parts.length === 2 && parts[0] === 'System') {
+        // FHIR-typed values do not answer System-qualified questions (testType14).
+        // System type names are case-sensitive, so `System.STRING` is not `System.String`
+        // (the lowercase fallback in matchesSystemType is only for unqualified names).
+        const systemName = parts[1];
+        return systemName === 'Any' ? item.type.startsWith('System.') : item.type === `System.${systemName}`;
+    }
+    const model = context.model;
+    if (parts.length === 2) {
+        if (model && parts[0] === model.namespace) {
+            const typeName = parts[1];
+            const canonical = model.resolveType(typeName);
+            if (canonical === undefined) {
+                return false;
+            }
+            return exact && isSystemAmbiguousName(typeName)
+                ? item.type === canonical
+                : model.isSubtypeOf(item.type, canonical);
+        }
+        return item.type === parts.join('.');
+    }
+    const name = parts[0];
+    // System-typed values answer from the System namespace.
+    if (item.type.startsWith('System.')) {
+        return matchesSystemType(item, name);
+    }
+    if (model) {
+        const canonical = model.resolveType(name);
+        if (canonical !== undefined) {
+            return exact && isSystemAmbiguousName(name) ? item.type === canonical : model.isSubtypeOf(item.type, canonical);
+        }
+    }
+    // Dynamic fallback: resource and complex types match on their local name. The
+    // internal Object marker never answers a type question — `ofType(Object)` is not
+    // a way to select untyped values.
+    return item.type !== OBJECT_TYPE && typeLocalName(item.type) === name;
+}
+/**
+ * Selects a host function by focus type. Same-name overloads use registration
+ * order. If none accepts the focus, one error lists all accepted input types.
+ */
+export function resolveHostCall(name, host, context, input) {
+    if (!('overloads' in host)) {
+        // `unsatisfiedInput` handles an undeclared input too. Returning first is
+        // what stops the many host functions that declare no types from walking the
+        // focus at all.
+        if (host.inputTypes === undefined) {
+            return host;
+        }
+        const unsatisfied = unsatisfiedInput(context.model, host.inputTypes, focusTypes(input));
+        if (unsatisfied === undefined) {
+            return host;
+        }
+        throw wrongFocus(name, unsatisfied);
+    }
+    const resolution = resolveByInput(context.model, host.overloads, overload => overload.inputTypes, input.map(item => item.type));
+    if ('resolved' in resolution) {
+        return resolution.resolved;
+    }
+    throw wrongFocus(name, resolution.unsatisfied);
+}
+function wrongFocus(name, { wanted, found }) {
+    return new FhirPathTypeError(`Function '${name}' expects ${wanted.join(' | ')} as input, but the focus is ${found.join(' | ')}`);
+}
+/** The focus's type names, read one at a time. A valid call stops at the first item that fits. */
+function* focusTypes(input) {
+    for (const item of input) {
+        yield item.type;
+    }
+}
+/** True when a single-part type name resolves in the model or the System namespace. */
+export function isKnownTypeName(context, parts) {
+    if (parts.length === 2) {
+        return parts[0] === 'System' ? SYSTEM_LOCAL_NAMES.has(parts[1]) : parts[0] === context.model?.namespace;
+    }
+    const name = parts[0];
+    if (context.model?.resolveType(name) !== undefined) {
+        return true;
+    }
+    return SYSTEM_LOCAL_NAMES.has(name);
+}
+function matchesSystemType(item, name) {
+    if (name === 'Any') {
+        return true;
+    }
+    const local = typeLocalName(item.type);
+    if (local === name) {
+        return true;
+    }
+    // Lowercase FHIR spellings (`boolean`, `dateTime`) reach the System twin.
+    return local.toLowerCase() === name.toLowerCase();
+}
+//# sourceMappingURL=type-matching.js.map

package/dist/engine/type-matching.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-matching.js","sourceRoot":"","sources":["../../src/engine/type-matching.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAChD,OAAO,EAAE,cAAc,EAAyB,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAClG,OAAO,EAAE,WAAW,EAAmB,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAGtF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,KAAK;IACL,SAAS;IACT,QAAQ;IACR,SAAS;IACT,MAAM;IACN,SAAS;IACT,MAAM;IACN,UAAU;IACV,MAAM;IACN,UAAU;CACX,CAAC,CAAA;AAEF,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,kBAAkB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAA;AAEjG,2GAA2G;AAC3G,SAAS,qBAAqB,CAAC,IAAY;IACzC,OAAO,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAA;AACzD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,OAA0B,EAC1B,IAAgB,EAChB,KAAe,EACf,OAA6B;IAE7B,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,KAAK,IAAI,CAAA;IACrC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;QAChD,2EAA2E;QAC3E,kFAAkF;QAClF,+EAA+E;QAC/E,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAW,CAAA;QACrC,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,UAAU,EAAE,CAAA;IACtG,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAA;IAC3B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,IAAI,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAW,CAAA;YACnC,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;YAC7C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,OAAO,KAAK,CAAA;YACd,CAAC;YACD,OAAO,KAAK,IAAI,qBAAqB,CAAC,QAAQ,CAAC;gBAC7C,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;gBACzB,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACtC,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAW,CAAA;IAC/B,wDAAwD;IACxD,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACtC,CAAC;IACD,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;QACzC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,KAAK,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;QACjH,CAAC;IACH,CAAC;IACD,8EAA8E;IAC9E,iFAAiF;IACjF,kCAAkC;IAClC,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAA;AACvE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,IAAkB,EAClB,OAA0B,EAC1B,KAAmB;IAEnB,IAAI,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC,EAAE,CAAC;QAC3B,yEAAyE;QACzE,4EAA4E;QAC5E,gBAAgB;QAChB,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAClC,OAAO,IAAI,CAAA;QACb,CAAC;QACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;QACvF,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAA;QACb,CAAC;QACD,MAAM,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAA;IACrC,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,CAAC,KAAK,EACb,IAAI,CAAC,SAAS,EACd,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,UAAU,EAC/B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAC7B,CAAA;IACD,IAAI,UAAU,IAAI,UAAU,EAAE,CAAC;QAC7B,OAAO,UAAU,CAAC,QAAQ,CAAA;IAC5B,CAAC;IACD,MAAM,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,CAAA;AAChD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,EAAE,MAAM,EAAE,KAAK,EAAoB;IACnE,OAAO,IAAI,iBAAiB,CAC1B,aAAa,IAAI,aAAa,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,+BAA+B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CACnG,CAAA;AACH,CAAC;AAED,kGAAkG;AAClG,QAAQ,CAAC,CAAC,UAAU,CAAC,KAAmB;IACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,CAAC,IAAI,CAAA;IACjB,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,eAAe,CAAC,OAA0B,EAAE,KAAe;IACzE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,EAAE,SAAS,CAAA;IACnH,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAW,CAAA;IAC/B,IAAI,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACnD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AACrC,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAgB,EAAE,IAAY;IACvD,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACtC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,0EAA0E;IAC1E,OAAO,KAAK,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,WAAW,EAAE,CAAA;AACnD,CAAC"}

package/dist/errors.d.ts

@@ -0,0 +1,25 @@
+export interface SourceSpan {
+    /** 0-based offset of the first character. */
+    start: number;
+    /** 0-based offset one past the last character. */
+    end: number;
+    /** 1-based line of the first character. */
+    line: number;
+    /** 1-based column of the first character. */
+    column: number;
+}
+export declare class FhirPathError extends Error {
+    constructor(message: string);
+}
+/** The expression does not match the FHIRPath grammar. Maps to `invalid="syntax"` in the official test suite. */
+export declare class FhirPathSyntaxError extends FhirPathError {
+    readonly span: SourceSpan;
+    constructor(message: string, span: SourceSpan);
+}
+/** The expression is grammatical but breaks a typing rule, e.g. a singleton rule or an undefined `%var`. Maps to `invalid="semantic"`. */
+export declare class FhirPathTypeError extends FhirPathError {
+}
+/** Evaluation failed on the given input, e.g. `single()` over many items. Maps to `invalid="execution"`. */
+export declare class FhirPathRuntimeError extends FhirPathError {
+}
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,UAAU;IACzB,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAA;IACb,kDAAkD;IAClD,GAAG,EAAE,MAAM,CAAA;IACX,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAA;IACZ,6CAA6C;IAC7C,MAAM,EAAE,MAAM,CAAA;CACf;AAED,qBAAa,aAAc,SAAQ,KAAK;gBAC1B,OAAO,EAAE,MAAM;CAI5B;AAED,iHAAiH;AACjH,qBAAa,mBAAoB,SAAQ,aAAa;IACpD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;gBAEb,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU;CAI9C;AAED,0IAA0I;AAC1I,qBAAa,iBAAkB,SAAQ,aAAa;CAAG;AAEvD,4GAA4G;AAC5G,qBAAa,oBAAqB,SAAQ,aAAa;CAAG"}

package/dist/errors.js

@@ -0,0 +1,21 @@
+export class FhirPathError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = new.target.name;
+    }
+}
+/** The expression does not match the FHIRPath grammar. Maps to `invalid="syntax"` in the official test suite. */
+export class FhirPathSyntaxError extends FhirPathError {
+    span;
+    constructor(message, span) {
+        super(`${message} (line ${span.line}, column ${span.column})`);
+        this.span = span;
+    }
+}
+/** The expression is grammatical but breaks a typing rule, e.g. a singleton rule or an undefined `%var`. Maps to `invalid="semantic"`. */
+export class FhirPathTypeError extends FhirPathError {
+}
+/** Evaluation failed on the given input, e.g. `single()` over many items. Maps to `invalid="execution"`. */
+export class FhirPathRuntimeError extends FhirPathError {
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAWA,MAAM,OAAO,aAAc,SAAQ,KAAK;IACtC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAA;IAC7B,CAAC;CACF;AAED,iHAAiH;AACjH,MAAM,OAAO,mBAAoB,SAAQ,aAAa;IAC3C,IAAI,CAAY;IAEzB,YAAY,OAAe,EAAE,IAAgB;QAC3C,KAAK,CAAC,GAAG,OAAO,UAAU,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,MAAM,GAAG,CAAC,CAAA;QAC9D,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;IAClB,CAAC;CACF;AAED,0IAA0I;AAC1I,MAAM,OAAO,iBAAkB,SAAQ,aAAa;CAAG;AAEvD,4GAA4G;AAC5G,MAAM,OAAO,oBAAqB,SAAQ,aAAa;CAAG"}

package/dist/eslint/index.d.ts

@@ -0,0 +1,12 @@
+import type { Rule } from 'eslint';
+declare const plugin: {
+    meta: {
+        name: string;
+        version: string;
+    };
+    rules: {
+        'no-invalid-expressions': Rule.RuleModule;
+    };
+};
+export default plugin;
+//# sourceMappingURL=index.d.ts.map

package/dist/eslint/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/eslint/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AA0XlC,QAAA,MAAM,MAAM;;;;;;;;CAKX,CAAA;AAED,eAAe,MAAM,CAAA"}

package/dist/eslint/index.js

@@ -0,0 +1,316 @@
+import { readFileSync } from 'node:fs';
+import { analyzeSite } from "../analyzer/analyze.js";
+import { CALL_SITES, columnFunctionDeclaration, constructsEngine, declaredColumnOverloads, DTO_BASE_NAME, dtoRootsOf, expressionEntries, isCheckedCall, isCheckedTag, isForeignModule, rootOf, siteContext, TAG_NAME, } from "../analyzer/expression-policy.js";
+import { r4Model } from "../r4/index.js";
+function isStringLiteral(node) {
+    return node.type === 'Literal' && typeof node.value === 'string';
+}
+/** Statically-known property key (`path` in `{ path: ... }` or `{ 'path': ... }`), undefined when computed. */
+function propertyKeyName(property) {
+    if (property.computed) {
+        return undefined;
+    }
+    if (property.key.type === 'Identifier') {
+        return property.key.name;
+    }
+    return isStringLiteral(property.key) ? property.key.value : undefined;
+}
+/** How the shared shape extractor reads ESTree nodes. */
+const estreeAst = {
+    string: node => (isStringLiteral(node) ? { node, expression: node.value } : undefined),
+    boolean: node => (node.type === 'Literal' && typeof node.value === 'boolean' ? node.value : undefined),
+    properties: node => node.type === 'ObjectExpression'
+        ? node.properties.flatMap(property => property.type === 'Property' ? [{ name: propertyKeyName(property), value: property.value }] : [])
+        : undefined,
+    elements: node => (node.type === 'ArrayExpression' ? node.elements.filter(element => element !== null) : undefined),
+};
+/** Add every identifier a binding pattern declares (`x`, `{ r4 }`, `[a, ...rest]`, `x = 1`). */
+function addPatternNames(pattern, into) {
+    switch (pattern.type) {
+        case 'Identifier':
+            into.add(pattern.name);
+            return;
+        case 'ObjectPattern':
+            for (const property of pattern.properties) {
+                addPatternNames(property.type === 'RestElement' ? property.argument : property.value, into);
+            }
+            return;
+        case 'ArrayPattern':
+            for (const element of pattern.elements) {
+                if (element) {
+                    addPatternNames(element, into);
+                }
+            }
+            return;
+        case 'AssignmentPattern':
+            addPatternNames(pattern.left, into);
+            return;
+        case 'RestElement':
+            addPatternNames(pattern.argument, into);
+            return;
+        default:
+            // A MemberExpression target does not declare a new name.
+            return;
+    }
+}
+/** Leftmost identifier of a member-expression callee (`Handlebars` in `Handlebars.compile`). */
+function receiverRoot(callee) {
+    if (callee.type !== 'MemberExpression') {
+        return undefined;
+    }
+    let current = callee.object;
+    while (current.type === 'MemberExpression') {
+        current = current.object;
+    }
+    return current.type === 'Identifier' ? current.name : undefined;
+}
+/** Returns an identifier name or the property name of a non-computed member access. */
+function nameOf(node) {
+    if (node.type === 'Identifier') {
+        return node.name;
+    }
+    return node.type === 'MemberExpression' && !node.computed && node.property.type === 'Identifier'
+        ? node.property.name
+        : undefined;
+}
+/** The name of the field a `@column(...)` decorator belongs to, from the call's ancestors. */
+function decoratedFieldName(ancestors) {
+    const member = ancestors.at(-2);
+    if (member?.type !== 'PropertyDefinition') {
+        return undefined;
+    }
+    const key = member.key;
+    if (key?.type === 'Identifier') {
+        return key.name;
+    }
+    return key !== undefined && isStringLiteral(key) ? key.value : undefined;
+}
+/** A class's heritage, as `dtoRootsOf` reads it: its own DTO root, or the name of the class it extends. */
+function heritageOf(node) {
+    const base = node.superClass;
+    const rootArgument = base?.type === 'CallExpression' && nameOf(base.callee) === DTO_BASE_NAME ? base.arguments[0] : undefined;
+    return {
+        name: node.id?.name,
+        ownRoot: rootArgument === undefined ? undefined : estreeAst.string(rootArgument)?.expression,
+        baseName: base?.type === 'Identifier' ? base.name : undefined,
+    };
+}
+/**
+ * The heritage of the nearest enclosing class — what a `@column` field's
+ * expressions analyze against, once `dtoRootsOf` has resolved it against the rest
+ * of the file. Undefined when the field is not inside a class at all.
+ */
+function enclosingClass(ancestors) {
+    for (let index = ancestors.length - 1; index >= 0; index--) {
+        const node = ancestors[index];
+        if (node?.type === 'ClassDeclaration' || node?.type === 'ClassExpression') {
+            return heritageOf(node);
+        }
+    }
+    return undefined;
+}
+/**
+ * ESLint rule for literal FHIRPath expressions. The shared source policy decides
+ * which calls and tags count. `packages` adds trusted import prefixes, and
+ * `localImports` trusts relative imports.
+ */
+const noInvalidExpressions = {
+    meta: {
+        type: 'problem',
+        docs: {
+            description: 'check FHIRPath expression literals with the static analyzer',
+        },
+        schema: [
+            {
+                type: 'object',
+                properties: {
+                    packages: { type: 'array', items: { type: 'string' } },
+                    localImports: { type: 'boolean' },
+                    // Host-supplied environment variables and functions the checked code
+                    // passes at runtime — AnalyzeOptions.variables / AnalyzeOptions.functions.
+                    variables: { type: 'object' },
+                    functions: { type: 'object' },
+                },
+                additionalProperties: false,
+            },
+        ],
+    },
+    create(context) {
+        const options = (context.options[0] ?? {});
+        // Decide candidate sites at Program:exit because imports and engine
+        // declarations may appear after calls that depend on them.
+        const foreign = new Set();
+        const trusted = new Set();
+        const rebound = new Set();
+        const engineLocals = [];
+        const reboundFunction = (node) => {
+            if (node.id) {
+                rebound.add(node.id.name);
+            }
+            for (const param of node.params) {
+                addPatternNames(param, rebound);
+            }
+        };
+        const tags = [];
+        const calls = [];
+        /** Every class in the file, so a DTO root can be followed through a base class. */
+        const classes = [];
+        /**
+         * One entry per `@column` field in the file. Any expression can call a
+         * registered DTO column, so this is what lets calls between a file's own
+         * columns resolve. It is filled in `Program:exit` because a declaration
+         * carries the `fhirType` of the class it sits in, and a base class may be
+         * declared further down the file. The call sites themselves are decided
+         * there for the same reason.
+         */
+        const columnDeclarations = [];
+        const columnFunctions = {};
+        const checkAt = (node, expression, site = {}) => {
+            // ESLint severity comes from the rule's configuration, not per report, so
+            // only error-severity diagnostics are reported; analyzer warnings (style
+            // and possible-mistake findings) don't fail a lint run.
+            const diagnostics = analyzeSite({
+                expression,
+                ...site,
+                // The file's whole column vocabulary, shared by every site in it.
+                ...(Object.keys(columnFunctions).length > 0 && { functions: columnFunctions }),
+            }, {
+                model: r4Model,
+                ...(options.variables !== undefined && { variables: options.variables }),
+                ...(options.functions !== undefined && { functions: options.functions }),
+            });
+            for (const diagnostic of diagnostics) {
+                if (diagnostic.severity === 'error') {
+                    context.report({ node, message: `[${diagnostic.code}] ${diagnostic.message}` });
+                }
+            }
+        };
+        return {
+            ImportDeclaration(node) {
+                if (typeof node.source.value !== 'string') {
+                    return;
+                }
+                const names = isForeignModule(node.source.value, options) ? foreign : trusted;
+                for (const specifier of node.specifiers) {
+                    names.add(specifier.local.name);
+                }
+            },
+            VariableDeclarator(node) {
+                if (node.id.type === 'Identifier' &&
+                    node.init?.type === 'NewExpression' &&
+                    node.init.callee.type === 'Identifier') {
+                    engineLocals.push({ localName: node.id.name, className: node.init.callee.name });
+                }
+                else {
+                    addPatternNames(node.id, rebound);
+                }
+            },
+            FunctionDeclaration: reboundFunction,
+            FunctionExpression: reboundFunction,
+            ArrowFunctionExpression: reboundFunction,
+            ClassDeclaration(node) {
+                classes.push(heritageOf(node));
+                if (node.id) {
+                    rebound.add(node.id.name);
+                }
+            },
+            ClassExpression(node) {
+                classes.push(heritageOf(node));
+                if (node.id) {
+                    rebound.add(node.id.name);
+                }
+            },
+            CatchClause(node) {
+                if (node.param) {
+                    addPatternNames(node.param, rebound);
+                }
+            },
+            TaggedTemplateExpression(node) {
+                if (nameOf(node.tag) === TAG_NAME && node.quasi.expressions.length === 0 && node.quasi.quasis[0]) {
+                    // Report on the template literal, like the call shapes report on their literals.
+                    tags.push({
+                        literal: node.quasi,
+                        expression: node.quasi.quasis[0].value.cooked ?? '',
+                        receiverRoot: receiverRoot(node.tag),
+                    });
+                }
+            },
+            CallExpression(node) {
+                const callee = node.callee;
+                const name = nameOf(callee);
+                const policy = name === undefined ? undefined : CALL_SITES.get(name);
+                const argument = policy && node.arguments[policy.argIndex];
+                if (name === undefined || policy === undefined || argument === undefined) {
+                    return;
+                }
+                // Only the DTO decorators need to look up: the class they sit in, and the
+                // field they decorate.
+                const ancestors = policy.rootFromClass === true || policy.declaresField !== undefined
+                    ? context.sourceCode.getAncestors(node)
+                    : [];
+                const declares = policy.declaresField;
+                if (declares !== undefined) {
+                    const field = decoratedFieldName(ancestors);
+                    if (field !== undefined) {
+                        columnDeclarations.push({
+                            kind: declares,
+                            field,
+                            options: node.arguments[1],
+                            enclosing: enclosingClass(ancestors),
+                        });
+                    }
+                }
+                calls.push({
+                    policy,
+                    name,
+                    receiverRoot: receiverRoot(callee),
+                    argument,
+                    node,
+                    enclosing: policy.rootFromClass === true ? enclosingClass(ancestors) : undefined,
+                });
+            },
+            'Program:exit'() {
+                const bindings = { foreign, trusted, rebound };
+                // All imports are known now; resolve engine locals in source order, like
+                // the CLI walker. A `new` local of some other class is a re-binding.
+                for (const { localName, className } of engineLocals) {
+                    if (constructsEngine(className, bindings)) {
+                        trusted.add(localName);
+                    }
+                    else {
+                        rebound.add(localName);
+                    }
+                }
+                const dtoRoots = dtoRootsOf(classes);
+                // Build the column names first. `checkAt` reads them, and every site in
+                // the file shares them, including the tags.
+                for (const { kind, field, options: columnOptions, enclosing } of columnDeclarations) {
+                    columnFunctions[field] = declaredColumnOverloads(columnFunctions[field], columnFunctionDeclaration(kind, columnOptions, estreeAst, rootOf(enclosing, dtoRoots)));
+                }
+                for (const tag of tags) {
+                    if (isCheckedTag(tag.receiverRoot, bindings)) {
+                        checkAt(tag.literal, tag.expression);
+                    }
+                }
+                for (const call of calls) {
+                    if (!isCheckedCall(call.policy, call.name, call.receiverRoot, bindings)) {
+                        continue;
+                    }
+                    const site = siteContext(call.policy, index => call.node.arguments[index], rootOf(call.enclosing, dtoRoots), estreeAst);
+                    for (const entry of expressionEntries(call.argument, call.policy.shape, estreeAst)) {
+                        checkAt(entry.node, entry.expression, site);
+                    }
+                }
+            },
+        };
+    },
+};
+const { name: packageName, version: packageVersion } = JSON.parse(readFileSync(new URL('../../package.json', import.meta.url), 'utf8'));
+const plugin = {
+    meta: { name: packageName, version: packageVersion },
+    rules: {
+        'no-invalid-expressions': noInvalidExpressions,
+    },
+};
+export default plugin;
+//# sourceMappingURL=index.js.map

package/dist/eslint/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/eslint/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAKtC,OAAO,EAAE,WAAW,EAAgD,MAAM,wBAAwB,CAAA;AAClG,OAAO,EACL,UAAU,EAGV,yBAAyB,EACzB,gBAAgB,EAChB,uBAAuB,EACvB,aAAa,EACb,UAAU,EAEV,iBAAiB,EAEjB,aAAa,EACb,YAAY,EACZ,eAAe,EAEf,MAAM,EAEN,WAAW,EAEX,QAAQ,GACT,MAAM,kCAAkC,CAAA;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAExC,SAAS,eAAe,CAAC,IAAiB;IACxC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAA;AAClE,CAAC;AAED,+GAA+G;AAC/G,SAAS,eAAe,CAAC,QAAyB;IAChD,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACtB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAA;IAC1B,CAAC;IACD,OAAO,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AACvE,CAAC;AAED,yDAAyD;AACzD,MAAM,SAAS,GAA+B;IAC5C,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACtG,UAAU,EAAE,IAAI,CAAC,EAAE,CACjB,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAC9B,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CACjC,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CACjG;QACH,CAAC,CAAC,SAAS;IACf,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;CACpH,CAAA;AAED,gGAAgG;AAChG,SAAS,eAAe,CAAC,OAAuB,EAAE,IAAiB;IACjE,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,YAAY;YACf,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;YACtB,OAAM;QACR,KAAK,eAAe;YAClB,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC1C,eAAe,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;YAC7F,CAAC;YACD,OAAM;QACR,KAAK,cAAc;YACjB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACvC,IAAI,OAAO,EAAE,CAAC;oBACZ,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;gBAChC,CAAC;YACH,CAAC;YACD,OAAM;QACR,KAAK,mBAAmB;YACtB,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACnC,OAAM;QACR,KAAK,aAAa;YAChB,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;YACvC,OAAM;QACR;YACE,yDAAyD;YACzD,OAAM;IACV,CAAC;AACH,CAAC;AAED,gGAAgG;AAChG,SAAS,YAAY,CAAC,MAAwC;IAC5D,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACvC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,OAAO,GAAqC,MAAM,CAAC,MAAM,CAAA;IAC7D,OAAO,OAAO,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC3C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AACjE,CAAC;AAED,uFAAuF;AACvF,SAAS,MAAM,CAAC,IAAiB;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC,IAAI,CAAA;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9F,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;QACpB,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,8FAA8F;AAC9F,SAAS,kBAAkB,CAAC,SAAiC;IAC3D,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAsD,CAAA;IACpF,IAAI,MAAM,EAAE,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAA;IACtB,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,GAAG,CAAC,IAAI,CAAA;IACjB,CAAC;IACD,OAAO,GAAG,KAAK,SAAS,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AAC1E,CAAC;AAED,2GAA2G;AAC3G,SAAS,UAAU,CAAC,IAAsD;IACxE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAA;IAC5B,MAAM,YAAY,GAChB,IAAI,EAAE,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC1G,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI;QACnB,OAAO,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,UAAU;QAC5F,QAAQ,EAAE,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;KAC9D,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,SAAiC;IACvD,KAAK,IAAI,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3D,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB,IAAI,IAAI,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAC1E,OAAO,UAAU,CAAC,IAAI,CAAC,CAAA;QACzB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,oBAAoB,GAAoB;IAC5C,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EAAE,6DAA6D;SAC3E;QACD,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;oBACtD,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;oBACjC,qEAAqE;oBACrE,2EAA2E;oBAC3E,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC7B,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAC9B;gBACD,oBAAoB,EAAE,KAAK;aAC5B;SACF;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,OAAO,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAGxC,CAAA;QACD,oEAAoE;QACpE,2DAA2D;QAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,YAAY,GAA+C,EAAE,CAAA;QACnE,MAAM,eAAe,GAAG,CAAC,IAA6E,EAAQ,EAAE;YAC9G,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;gBACZ,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;YAC3B,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;YACjC,CAAC;QACH,CAAC,CAAA;QACD,MAAM,IAAI,GAAgG,EAAE,CAAA;QAC5G,MAAM,KAAK,GASL,EAAE,CAAA;QACR,mFAAmF;QACnF,MAAM,OAAO,GAAoB,EAAE,CAAA;QACnC;;;;;;;WAOG;QACH,MAAM,kBAAkB,GAKlB,EAAE,CAAA;QACR,MAAM,eAAe,GAAuC,EAAE,CAAA;QAC9D,MAAM,OAAO,GAAG,CAAC,IAAiB,EAAE,UAAkB,EAAE,OAAoB,EAAE,EAAQ,EAAE;YACtF,0EAA0E;YAC1E,yEAAyE;YACzE,wDAAwD;YACxD,MAAM,WAAW,GAAG,WAAW,CAC7B;gBACE,UAAU;gBACV,GAAG,IAAI;gBACP,kEAAkE;gBAClE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;aAC/E,EACD;gBACE,KAAK,EAAE,OAAO;gBACd,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;gBACxE,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;aACzE,CACF,CAAA;YACD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;gBACrC,IAAI,UAAU,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;oBACpC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;gBACjF,CAAC;YACH,CAAC;QACH,CAAC,CAAA;QACD,OAAO;YACL,iBAAiB,CAAC,IAAI;gBACpB,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC1C,OAAM;gBACR,CAAC;gBACD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAA;gBAC7E,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACxC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;gBACjC,CAAC;YACH,CAAC;YACD,kBAAkB,CAAC,IAAI;gBACrB,IACE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;oBAC7B,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,eAAe;oBACnC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EACtC,CAAC;oBACD,YAAY,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;gBAClF,CAAC;qBAAM,CAAC;oBACN,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;gBACnC,CAAC;YACH,CAAC;YACD,mBAAmB,EAAE,eAAe;YACpC,kBAAkB,EAAE,eAAe;YACnC,uBAAuB,EAAE,eAAe;YACxC,gBAAgB,CAAC,IAAI;gBACnB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC9B,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACZ,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;gBAC3B,CAAC;YACH,CAAC;YACD,eAAe,CAAC,IAAI;gBAClB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC9B,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACZ,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;gBAC3B,CAAC;YACH,CAAC;YACD,WAAW,CAAC,IAAI;gBACd,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;gBACtC,CAAC;YACH,CAAC;YACD,wBAAwB,CAAC,IAAI;gBAC3B,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjG,iFAAiF;oBACjF,IAAI,CAAC,IAAI,CAAC;wBACR,OAAO,EAAE,IAAI,CAAC,KAAK;wBACnB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE;wBACnD,YAAY,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC;qBACrC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,cAAc,CAAC,IAAI;gBACjB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;gBAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;gBAC3B,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBACpE,MAAM,QAAQ,GAAG,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBAC1D,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACzE,OAAM;gBACR,CAAC;gBACD,0EAA0E;gBAC1E,uBAAuB;gBACvB,MAAM,SAAS,GACb,MAAM,CAAC,aAAa,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;oBACjE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC;oBACvC,CAAC,CAAC,EAAE,CAAA;gBACR,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAA;gBACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,MAAM,KAAK,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAA;oBAC3C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBACxB,kBAAkB,CAAC,IAAI,CAAC;4BACtB,IAAI,EAAE,QAAQ;4BACd,KAAK;4BACL,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;4BAC1B,SAAS,EAAE,cAAc,CAAC,SAAS,CAAC;yBACrC,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM;oBACN,IAAI;oBACJ,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC;oBAClC,QAAQ;oBACR,IAAI;oBACJ,SAAS,EAAE,MAAM,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;iBACjF,CAAC,CAAA;YACJ,CAAC;YACD,cAAc;gBACZ,MAAM,QAAQ,GAAmB,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAA;gBAC9D,yEAAyE;gBACzE,qEAAqE;gBACrE,KAAK,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,YAAY,EAAE,CAAC;oBACpD,IAAI,gBAAgB,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC1C,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;oBACxB,CAAC;yBAAM,CAAC;wBACN,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;oBACxB,CAAC;gBACH,CAAC;gBACD,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;gBACpC,wEAAwE;gBACxE,4CAA4C;gBAC5C,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,kBAAkB,EAAE,CAAC;oBACpF,eAAe,CAAC,KAAK,CAAC,GAAG,uBAAuB,CAC9C,eAAe,CAAC,KAAK,CAAC,EACtB,yBAAyB,CAAc,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CACpG,CAAA;gBACH,CAAC;gBACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,IAAI,YAAY,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC7C,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAA;oBACtC,CAAC;gBACH,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;wBACxE,SAAQ;oBACV,CAAC;oBACD,MAAM,IAAI,GAAG,WAAW,CACtB,IAAI,CAAC,MAAM,EACX,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EACnC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,EAChC,SAAS,CACV,CAAA;oBACD,KAAK,MAAM,KAAK,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;wBACnF,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;oBAC7C,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAA;IACH,CAAC;CACF,CAAA;AAED,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,GAAsC,IAAI,CAAC,KAAK,CAClG,YAAY,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CACrE,CAAA;AAED,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE;IACpD,KAAK,EAAE;QACL,wBAAwB,EAAE,oBAAoB;KAC/C;CACF,CAAA;AAED,eAAe,MAAM,CAAA"}

package/dist/fhir/html-checks.d.ts

@@ -0,0 +1,7 @@
+/**
+ * FHIR narrative validation for htmlChecks(): the xhtml must be well formed, use
+ * only the elements and attributes the FHIR spec allows in Narrative.div, and
+ * carry no active content. (https://hl7.org/fhir/narrative.html)
+ */
+export declare function validateNarrative(xhtml: string): boolean;
+//# sourceMappingURL=html-checks.d.ts.map

package/dist/fhir/html-checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"html-checks.d.ts","sourceRoot":"","sources":["../../src/fhir/html-checks.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA0HH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CA2DxD"}