fhirpath-ts 0.0.0-bootstrap.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +201 -0
- package/README.md +391 -0
- package/THIRD-PARTY-NOTICES.md +296 -0
- package/dist/analyzer/analyze-dto.d.ts +45 -0
- package/dist/analyzer/analyze-dto.d.ts.map +1 -0
- package/dist/analyzer/analyze-dto.js +147 -0
- package/dist/analyzer/analyze-dto.js.map +1 -0
- package/dist/analyzer/analyze.d.ts +98 -0
- package/dist/analyzer/analyze.d.ts.map +1 -0
- package/dist/analyzer/analyze.js +925 -0
- package/dist/analyzer/analyze.js.map +1 -0
- package/dist/analyzer/expression-policy.d.ts +210 -0
- package/dist/analyzer/expression-policy.d.ts.map +1 -0
- package/dist/analyzer/expression-policy.js +254 -0
- package/dist/analyzer/expression-policy.js.map +1 -0
- package/dist/analyzer/index.d.ts +3 -0
- package/dist/analyzer/index.d.ts.map +1 -0
- package/dist/analyzer/index.js +6 -0
- package/dist/analyzer/index.js.map +1 -0
- package/dist/analyzer/regex-safety.d.ts +10 -0
- package/dist/analyzer/regex-safety.d.ts.map +1 -0
- package/dist/analyzer/regex-safety.js +84 -0
- package/dist/analyzer/regex-safety.js.map +1 -0
- package/dist/analyzer/signatures.d.ts +72 -0
- package/dist/analyzer/signatures.d.ts.map +1 -0
- package/dist/analyzer/signatures.js +195 -0
- package/dist/analyzer/signatures.js.map +1 -0
- package/dist/api/bundle.d.ts +29 -0
- package/dist/api/bundle.d.ts.map +1 -0
- package/dist/api/bundle.js +108 -0
- package/dist/api/bundle.js.map +1 -0
- package/dist/api/cache.d.ts +10 -0
- package/dist/api/cache.d.ts.map +1 -0
- package/dist/api/cache.js +38 -0
- package/dist/api/cache.js.map +1 -0
- package/dist/api/column-signature.d.ts +53 -0
- package/dist/api/column-signature.d.ts.map +1 -0
- package/dist/api/column-signature.js +43 -0
- package/dist/api/column-signature.js.map +1 -0
- package/dist/api/compile.d.ts +120 -0
- package/dist/api/compile.d.ts.map +1 -0
- package/dist/api/compile.js +167 -0
- package/dist/api/compile.js.map +1 -0
- package/dist/api/constraints.d.ts +48 -0
- package/dist/api/constraints.d.ts.map +1 -0
- package/dist/api/constraints.js +52 -0
- package/dist/api/constraints.js.map +1 -0
- package/dist/api/dto.d.ts +134 -0
- package/dist/api/dto.d.ts.map +1 -0
- package/dist/api/dto.js +295 -0
- package/dist/api/dto.js.map +1 -0
- package/dist/api/engine.d.ts +136 -0
- package/dist/api/engine.d.ts.map +1 -0
- package/dist/api/engine.js +183 -0
- package/dist/api/engine.js.map +1 -0
- package/dist/api/evaluate.d.ts +7 -0
- package/dist/api/evaluate.d.ts.map +1 -0
- package/dist/api/evaluate.js +10 -0
- package/dist/api/evaluate.js.map +1 -0
- package/dist/api/project.d.ts +89 -0
- package/dist/api/project.d.ts.map +1 -0
- package/dist/api/project.js +150 -0
- package/dist/api/project.js.map +1 -0
- package/dist/api/tagged.d.ts +14 -0
- package/dist/api/tagged.d.ts.map +1 -0
- package/dist/api/tagged.js +13 -0
- package/dist/api/tagged.js.map +1 -0
- package/dist/cli/dto-check.d.ts +25 -0
- package/dist/cli/dto-check.d.ts.map +1 -0
- package/dist/cli/dto-check.js +77 -0
- package/dist/cli/dto-check.js.map +1 -0
- package/dist/cli/fhirpath-check.d.ts +3 -0
- package/dist/cli/fhirpath-check.d.ts.map +1 -0
- package/dist/cli/fhirpath-check.js +149 -0
- package/dist/cli/fhirpath-check.js.map +1 -0
- package/dist/cli/ts-loader.d.mts +3 -0
- package/dist/cli/ts-loader.d.mts.map +1 -0
- package/dist/cli/ts-loader.mjs +48 -0
- package/dist/cli/ts-loader.mjs.map +1 -0
- package/dist/engine/context.d.ts +173 -0
- package/dist/engine/context.d.ts.map +1 -0
- package/dist/engine/context.js +118 -0
- package/dist/engine/context.js.map +1 -0
- package/dist/engine/evaluator.d.ts +7 -0
- package/dist/engine/evaluator.d.ts.map +1 -0
- package/dist/engine/evaluator.js +196 -0
- package/dist/engine/evaluator.js.map +1 -0
- package/dist/engine/navigation.d.ts +11 -0
- package/dist/engine/navigation.d.ts.map +1 -0
- package/dist/engine/navigation.js +102 -0
- package/dist/engine/navigation.js.map +1 -0
- package/dist/engine/operators/collections.d.ts +12 -0
- package/dist/engine/operators/collections.d.ts.map +1 -0
- package/dist/engine/operators/collections.js +31 -0
- package/dist/engine/operators/collections.js.map +1 -0
- package/dist/engine/operators/comparison.d.ts +13 -0
- package/dist/engine/operators/comparison.d.ts.map +1 -0
- package/dist/engine/operators/comparison.js +77 -0
- package/dist/engine/operators/comparison.js.map +1 -0
- package/dist/engine/operators/equality.d.ts +19 -0
- package/dist/engine/operators/equality.d.ts.map +1 -0
- package/dist/engine/operators/equality.js +203 -0
- package/dist/engine/operators/equality.js.map +1 -0
- package/dist/engine/operators/index.d.ts +18 -0
- package/dist/engine/operators/index.d.ts.map +1 -0
- package/dist/engine/operators/index.js +30 -0
- package/dist/engine/operators/index.js.map +1 -0
- package/dist/engine/operators/logic.d.ts +8 -0
- package/dist/engine/operators/logic.d.ts.map +1 -0
- package/dist/engine/operators/logic.js +38 -0
- package/dist/engine/operators/logic.js.map +1 -0
- package/dist/engine/operators/math.d.ts +13 -0
- package/dist/engine/operators/math.d.ts.map +1 -0
- package/dist/engine/operators/math.js +198 -0
- package/dist/engine/operators/math.js.map +1 -0
- package/dist/engine/operators/strings.d.ts +8 -0
- package/dist/engine/operators/strings.d.ts.map +1 -0
- package/dist/engine/operators/strings.js +22 -0
- package/dist/engine/operators/strings.js.map +1 -0
- package/dist/engine/operators/types.d.ts +3 -0
- package/dist/engine/operators/types.d.ts.map +1 -0
- package/dist/engine/operators/types.js +15 -0
- package/dist/engine/operators/types.js.map +1 -0
- package/dist/engine/type-matching.d.ts +20 -0
- package/dist/engine/type-matching.d.ts.map +1 -0
- package/dist/engine/type-matching.js +122 -0
- package/dist/engine/type-matching.js.map +1 -0
- package/dist/errors.d.ts +25 -0
- package/dist/errors.d.ts.map +1 -0
- package/dist/errors.js +21 -0
- package/dist/errors.js.map +1 -0
- package/dist/eslint/index.d.ts +12 -0
- package/dist/eslint/index.d.ts.map +1 -0
- package/dist/eslint/index.js +316 -0
- package/dist/eslint/index.js.map +1 -0
- package/dist/fhir/html-checks.d.ts +7 -0
- package/dist/fhir/html-checks.d.ts.map +1 -0
- package/dist/fhir/html-checks.js +256 -0
- package/dist/fhir/html-checks.js.map +1 -0
- package/dist/fhir/model-navigation.d.ts +11 -0
- package/dist/fhir/model-navigation.d.ts.map +1 -0
- package/dist/fhir/model-navigation.js +142 -0
- package/dist/fhir/model-navigation.js.map +1 -0
- package/dist/functions/aggregate.d.ts +2 -0
- package/dist/functions/aggregate.d.ts.map +1 -0
- package/dist/functions/aggregate.js +127 -0
- package/dist/functions/aggregate.js.map +1 -0
- package/dist/functions/boundary.d.ts +2 -0
- package/dist/functions/boundary.d.ts.map +1 -0
- package/dist/functions/boundary.js +189 -0
- package/dist/functions/boundary.js.map +1 -0
- package/dist/functions/combining.d.ts +2 -0
- package/dist/functions/combining.d.ts.map +1 -0
- package/dist/functions/combining.js +13 -0
- package/dist/functions/combining.js.map +1 -0
- package/dist/functions/control.d.ts +2 -0
- package/dist/functions/control.d.ts.map +1 -0
- package/dist/functions/control.js +25 -0
- package/dist/functions/control.js.map +1 -0
- package/dist/functions/conversion.d.ts +3 -0
- package/dist/functions/conversion.d.ts.map +1 -0
- package/dist/functions/conversion.js +316 -0
- package/dist/functions/conversion.js.map +1 -0
- package/dist/functions/date-components.d.ts +2 -0
- package/dist/functions/date-components.d.ts.map +1 -0
- package/dist/functions/date-components.js +81 -0
- package/dist/functions/date-components.js.map +1 -0
- package/dist/functions/existence.d.ts +4 -0
- package/dist/functions/existence.d.ts.map +1 -0
- package/dist/functions/existence.js +97 -0
- package/dist/functions/existence.js.map +1 -0
- package/dist/functions/fhir.d.ts +2 -0
- package/dist/functions/fhir.d.ts.map +1 -0
- package/dist/functions/fhir.js +222 -0
- package/dist/functions/fhir.js.map +1 -0
- package/dist/functions/filtering.d.ts +2 -0
- package/dist/functions/filtering.d.ts.map +1 -0
- package/dist/functions/filtering.js +112 -0
- package/dist/functions/filtering.js.map +1 -0
- package/dist/functions/install.d.ts +18 -0
- package/dist/functions/install.d.ts.map +1 -0
- package/dist/functions/install.js +20 -0
- package/dist/functions/install.js.map +1 -0
- package/dist/functions/iteration.d.ts +7 -0
- package/dist/functions/iteration.d.ts.map +1 -0
- package/dist/functions/iteration.js +9 -0
- package/dist/functions/iteration.js.map +1 -0
- package/dist/functions/math.d.ts +2 -0
- package/dist/functions/math.d.ts.map +1 -0
- package/dist/functions/math.js +152 -0
- package/dist/functions/math.js.map +1 -0
- package/dist/functions/reflection.d.ts +2 -0
- package/dist/functions/reflection.d.ts.map +1 -0
- package/dist/functions/reflection.js +23 -0
- package/dist/functions/reflection.js.map +1 -0
- package/dist/functions/registry.d.ts +28 -0
- package/dist/functions/registry.d.ts.map +1 -0
- package/dist/functions/registry.js +46 -0
- package/dist/functions/registry.js.map +1 -0
- package/dist/functions/sort.d.ts +2 -0
- package/dist/functions/sort.d.ts.map +1 -0
- package/dist/functions/sort.js +48 -0
- package/dist/functions/sort.js.map +1 -0
- package/dist/functions/string.d.ts +2 -0
- package/dist/functions/string.d.ts.map +1 -0
- package/dist/functions/string.js +353 -0
- package/dist/functions/string.js.map +1 -0
- package/dist/functions/subsetting.d.ts +2 -0
- package/dist/functions/subsetting.d.ts.map +1 -0
- package/dist/functions/subsetting.js +72 -0
- package/dist/functions/subsetting.js.map +1 -0
- package/dist/functions/tree.d.ts +8 -0
- package/dist/functions/tree.d.ts.map +1 -0
- package/dist/functions/tree.js +109 -0
- package/dist/functions/tree.js.map +1 -0
- package/dist/functions/type-specifier.d.ts +8 -0
- package/dist/functions/type-specifier.d.ts.map +1 -0
- package/dist/functions/type-specifier.js +27 -0
- package/dist/functions/type-specifier.js.map +1 -0
- package/dist/functions/utility.d.ts +2 -0
- package/dist/functions/utility.d.ts.map +1 -0
- package/dist/functions/utility.js +76 -0
- package/dist/functions/utility.js.map +1 -0
- package/dist/functions/variables.d.ts +2 -0
- package/dist/functions/variables.d.ts.map +1 -0
- package/dist/functions/variables.js +35 -0
- package/dist/functions/variables.js.map +1 -0
- package/dist/index.d.ts +25 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +11 -0
- package/dist/index.js.map +1 -0
- package/dist/lexer/lexer.d.ts +4 -0
- package/dist/lexer/lexer.d.ts.map +1 -0
- package/dist/lexer/lexer.js +318 -0
- package/dist/lexer/lexer.js.map +1 -0
- package/dist/lexer/tokens.d.ts +23 -0
- package/dist/lexer/tokens.d.ts.map +1 -0
- package/dist/lexer/tokens.js +40 -0
- package/dist/lexer/tokens.js.map +1 -0
- package/dist/model/provider.d.ts +36 -0
- package/dist/model/provider.d.ts.map +1 -0
- package/dist/model/provider.js +2 -0
- package/dist/model/provider.js.map +1 -0
- package/dist/parser/ast.d.ts +104 -0
- package/dist/parser/ast.d.ts.map +1 -0
- package/dist/parser/ast.js +2 -0
- package/dist/parser/ast.js.map +1 -0
- package/dist/parser/parser.d.ts +4 -0
- package/dist/parser/parser.d.ts.map +1 -0
- package/dist/parser/parser.js +299 -0
- package/dist/parser/parser.js.map +1 -0
- package/dist/parser/precedence.d.ts +24 -0
- package/dist/parser/precedence.d.ts.map +1 -0
- package/dist/parser/precedence.js +52 -0
- package/dist/parser/precedence.js.map +1 -0
- package/dist/parser/printer.d.ts +4 -0
- package/dist/parser/printer.d.ts.map +1 -0
- package/dist/parser/printer.js +112 -0
- package/dist/parser/printer.js.map +1 -0
- package/dist/r4/generated/resources-data.d.ts +3 -0
- package/dist/r4/generated/resources-data.d.ts.map +1 -0
- package/dist/r4/generated/resources-data.js +28628 -0
- package/dist/r4/generated/resources-data.js.map +1 -0
- package/dist/r4/generated/type-maps.d.ts +43153 -0
- package/dist/r4/generated/type-maps.d.ts.map +1 -0
- package/dist/r4/generated/type-maps.js +4 -0
- package/dist/r4/generated/type-maps.js.map +1 -0
- package/dist/r4/generated/types-data.d.ts +3 -0
- package/dist/r4/generated/types-data.d.ts.map +1 -0
- package/dist/r4/generated/types-data.js +2205 -0
- package/dist/r4/generated/types-data.js.map +1 -0
- package/dist/r4/index.d.ts +9 -0
- package/dist/r4/index.d.ts.map +1 -0
- package/dist/r4/index.js +94 -0
- package/dist/r4/index.js.map +1 -0
- package/dist/r4/model-data.d.ts +17 -0
- package/dist/r4/model-data.d.ts.map +1 -0
- package/dist/r4/model-data.js +2 -0
- package/dist/r4/model-data.js.map +1 -0
- package/dist/sites/index.d.ts +31 -0
- package/dist/sites/index.d.ts.map +1 -0
- package/dist/sites/index.js +205 -0
- package/dist/sites/index.js.map +1 -0
- package/dist/typed/infer.d.ts +234 -0
- package/dist/typed/infer.d.ts.map +1 -0
- package/dist/typed/infer.js +85 -0
- package/dist/typed/infer.js.map +1 -0
- package/dist/typed/perf-fixture.types.d.ts +136 -0
- package/dist/typed/perf-fixture.types.d.ts.map +1 -0
- package/dist/typed/perf-fixture.types.js +2 -0
- package/dist/typed/perf-fixture.types.js.map +1 -0
- package/dist/values/collection.d.ts +24 -0
- package/dist/values/collection.d.ts.map +1 -0
- package/dist/values/collection.js +51 -0
- package/dist/values/collection.js.map +1 -0
- package/dist/values/datetime.d.ts +54 -0
- package/dist/values/datetime.d.ts.map +1 -0
- package/dist/values/datetime.js +226 -0
- package/dist/values/datetime.js.map +1 -0
- package/dist/values/decimal.d.ts +48 -0
- package/dist/values/decimal.d.ts.map +1 -0
- package/dist/values/decimal.js +188 -0
- package/dist/values/decimal.js.map +1 -0
- package/dist/values/numeric.d.ts +24 -0
- package/dist/values/numeric.d.ts.map +1 -0
- package/dist/values/numeric.js +53 -0
- package/dist/values/numeric.js.map +1 -0
- package/dist/values/quantity.d.ts +49 -0
- package/dist/values/quantity.d.ts.map +1 -0
- package/dist/values/quantity.js +297 -0
- package/dist/values/quantity.js.map +1 -0
- package/dist/values/temporal-arithmetic.d.ts +17 -0
- package/dist/values/temporal-arithmetic.d.ts.map +1 -0
- package/dist/values/temporal-arithmetic.js +183 -0
- package/dist/values/temporal-arithmetic.js.map +1 -0
- package/dist/values/temporal-compare.d.ts +9 -0
- package/dist/values/temporal-compare.d.ts.map +1 -0
- package/dist/values/temporal-compare.js +59 -0
- package/dist/values/temporal-compare.js.map +1 -0
- package/dist/values/type-compat.d.ts +47 -0
- package/dist/values/type-compat.d.ts.map +1 -0
- package/dist/values/type-compat.js +100 -0
- package/dist/values/type-compat.js.map +1 -0
- package/dist/values/typed-value.d.ts +48 -0
- package/dist/values/typed-value.d.ts.map +1 -0
- package/dist/values/typed-value.js +117 -0
- package/dist/values/typed-value.js.map +1 -0
- package/dist/values/ucum.d.ts +14 -0
- package/dist/values/ucum.d.ts.map +1 -0
- package/dist/values/ucum.js +146 -0
- package/dist/values/ucum.js.map +1 -0
- package/package.json +137 -0
- package/src/analyzer/analyze-dto.ts +195 -0
- package/src/analyzer/analyze.ts +1181 -0
- package/src/analyzer/expression-policy.ts +434 -0
- package/src/analyzer/index.ts +23 -0
- package/src/analyzer/regex-safety.ts +85 -0
- package/src/analyzer/signatures.ts +260 -0
- package/src/api/bundle.ts +132 -0
- package/src/api/cache.ts +40 -0
- package/src/api/column-signature.ts +71 -0
- package/src/api/compile.ts +308 -0
- package/src/api/constraints.ts +104 -0
- package/src/api/dto.ts +445 -0
- package/src/api/engine.ts +328 -0
- package/src/api/evaluate.ts +11 -0
- package/src/api/project.ts +255 -0
- package/src/api/tagged.ts +35 -0
- package/src/cli/dto-check.ts +94 -0
- package/src/cli/fhirpath-check.ts +168 -0
- package/src/cli/ts-loader.mjs +49 -0
- package/src/engine/context.ts +282 -0
- package/src/engine/evaluator.ts +246 -0
- package/src/engine/navigation.ts +106 -0
- package/src/engine/operators/collections.ts +34 -0
- package/src/engine/operators/comparison.ts +82 -0
- package/src/engine/operators/equality.ts +232 -0
- package/src/engine/operators/index.ts +65 -0
- package/src/engine/operators/logic.ts +53 -0
- package/src/engine/operators/math.ts +225 -0
- package/src/engine/operators/strings.ts +25 -0
- package/src/engine/operators/types.ts +16 -0
- package/src/engine/type-matching.ts +148 -0
- package/src/errors.ts +33 -0
- package/src/eslint/index.ts +388 -0
- package/src/fhir/html-checks.ts +266 -0
- package/src/fhir/model-navigation.ts +148 -0
- package/src/functions/aggregate.ts +136 -0
- package/src/functions/boundary.ts +209 -0
- package/src/functions/combining.ts +15 -0
- package/src/functions/control.ts +25 -0
- package/src/functions/conversion.ts +349 -0
- package/src/functions/date-components.ts +88 -0
- package/src/functions/existence.ts +107 -0
- package/src/functions/fhir.ts +247 -0
- package/src/functions/filtering.ts +120 -0
- package/src/functions/install.ts +19 -0
- package/src/functions/iteration.ts +21 -0
- package/src/functions/math.ts +167 -0
- package/src/functions/reflection.ts +24 -0
- package/src/functions/registry.ts +72 -0
- package/src/functions/sort.ts +68 -0
- package/src/functions/string.ts +413 -0
- package/src/functions/subsetting.ts +89 -0
- package/src/functions/tree.ts +112 -0
- package/src/functions/type-specifier.ts +29 -0
- package/src/functions/utility.ts +82 -0
- package/src/functions/variables.ts +36 -0
- package/src/index.ts +30 -0
- package/src/lexer/lexer.ts +341 -0
- package/src/lexer/tokens.ts +69 -0
- package/src/model/provider.ts +36 -0
- package/src/parser/ast.ts +164 -0
- package/src/parser/parser.ts +321 -0
- package/src/parser/precedence.ts +52 -0
- package/src/parser/printer.ts +114 -0
- package/src/r4/generated/resources-data.ts +28631 -0
- package/src/r4/generated/type-maps.ts +22145 -0
- package/src/r4/generated/types-data.ts +2208 -0
- package/src/r4/index.ts +107 -0
- package/src/r4/model-data.ts +17 -0
- package/src/sites/index.ts +285 -0
- package/src/typed/infer.ts +433 -0
- package/src/typed/perf-fixture.types.ts +143 -0
- package/src/values/collection.ts +57 -0
- package/src/values/datetime.ts +285 -0
- package/src/values/decimal.ts +213 -0
- package/src/values/numeric.ts +63 -0
- package/src/values/quantity.ts +358 -0
- package/src/values/temporal-arithmetic.ts +231 -0
- package/src/values/temporal-compare.ts +65 -0
- package/src/values/type-compat.ts +133 -0
- package/src/values/typed-value.ts +151 -0
- package/src/values/ucum.ts +181 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"provider.d.ts","sourceRoot":"","sources":["../../src/model/provider.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,MAAM,WAAW,WAAW;IAC1B,6FAA6F;IAC7F,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,YAAY,EAAE,OAAO,CAAA;IACrB,sFAAsF;IACtF,QAAQ,EAAE,OAAO,CAAA;IACjB;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAA;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAA;IACjB,uFAAuF;IACvF,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAC7C,kFAAkF;IAClF,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAAA;IAClE,uEAAuE;IACvE,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAA;IAChD;;;;OAIG;IACH,YAAY,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS,CAAA;CAClD"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"provider.js","sourceRoot":"","sources":["../../src/model/provider.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,104 @@
|
|
|
1
|
+
import type { SourceSpan } from '../errors.ts';
|
|
2
|
+
export type BinaryOperator = '*' | '/' | 'div' | 'mod' | '+' | '-' | '&' | '|' | '<' | '>' | '<=' | '>=' | '=' | '~' | '!=' | '!~' | 'in' | 'contains' | 'and' | 'or' | 'xor' | 'implies';
|
|
3
|
+
export type UnaryOperator = '+' | '-';
|
|
4
|
+
/** A possibly qualified type name, e.g. `Patient`, `FHIR.Patient`, or `System.Boolean`. */
|
|
5
|
+
export interface TypeSpecifier {
|
|
6
|
+
parts: string[];
|
|
7
|
+
span: SourceSpan;
|
|
8
|
+
}
|
|
9
|
+
interface BaseNode {
|
|
10
|
+
span: SourceSpan;
|
|
11
|
+
}
|
|
12
|
+
/** The empty collection literal `{}`. */
|
|
13
|
+
export interface NullLiteralNode extends BaseNode {
|
|
14
|
+
kind: 'null';
|
|
15
|
+
}
|
|
16
|
+
export interface BooleanLiteralNode extends BaseNode {
|
|
17
|
+
kind: 'boolean';
|
|
18
|
+
value: boolean;
|
|
19
|
+
}
|
|
20
|
+
export interface StringLiteralNode extends BaseNode {
|
|
21
|
+
kind: 'string';
|
|
22
|
+
value: string;
|
|
23
|
+
}
|
|
24
|
+
/** Integer, Long (5L), or Decimal literal; the raw text keeps float precision intact. */
|
|
25
|
+
export interface NumberLiteralNode extends BaseNode {
|
|
26
|
+
kind: 'number';
|
|
27
|
+
text: string;
|
|
28
|
+
isDecimal: boolean;
|
|
29
|
+
isLong?: boolean;
|
|
30
|
+
}
|
|
31
|
+
export interface DateLiteralNode extends BaseNode {
|
|
32
|
+
kind: 'date';
|
|
33
|
+
/** Literal text without the `@`, e.g. `2014-01`. */
|
|
34
|
+
text: string;
|
|
35
|
+
}
|
|
36
|
+
export interface DateTimeLiteralNode extends BaseNode {
|
|
37
|
+
kind: 'dateTime';
|
|
38
|
+
/** Literal text without the `@`, e.g. `2014-01-25T14:30:00Z` or `2014T`. */
|
|
39
|
+
text: string;
|
|
40
|
+
}
|
|
41
|
+
export interface TimeLiteralNode extends BaseNode {
|
|
42
|
+
kind: 'time';
|
|
43
|
+
/** Literal text without the `@T`, e.g. `14:30`. */
|
|
44
|
+
text: string;
|
|
45
|
+
}
|
|
46
|
+
export interface QuantityLiteralNode extends BaseNode {
|
|
47
|
+
kind: 'quantity';
|
|
48
|
+
value: string;
|
|
49
|
+
unit: string;
|
|
50
|
+
/** `'mg'` style UCUM strings vs bare calendar words like `days`. */
|
|
51
|
+
unitKind: 'ucum' | 'calendar';
|
|
52
|
+
}
|
|
53
|
+
/** A path segment or element name, e.g. `Patient` or `name`. */
|
|
54
|
+
export interface IdentifierNode extends BaseNode {
|
|
55
|
+
kind: 'identifier';
|
|
56
|
+
name: string;
|
|
57
|
+
}
|
|
58
|
+
/** `$this`, `$index`, or `$total`. */
|
|
59
|
+
export interface SpecialVariableNode extends BaseNode {
|
|
60
|
+
kind: 'special';
|
|
61
|
+
name: 'this' | 'index' | 'total';
|
|
62
|
+
}
|
|
63
|
+
/** An environment variable, e.g. `%ucum` or `` %`vs-observation-vitalsignresult` ``. */
|
|
64
|
+
export interface ExternalConstantNode extends BaseNode {
|
|
65
|
+
kind: 'external';
|
|
66
|
+
name: string;
|
|
67
|
+
}
|
|
68
|
+
export interface DotNode extends BaseNode {
|
|
69
|
+
kind: 'dot';
|
|
70
|
+
left: AstNode;
|
|
71
|
+
right: AstNode;
|
|
72
|
+
}
|
|
73
|
+
export interface IndexerNode extends BaseNode {
|
|
74
|
+
kind: 'indexer';
|
|
75
|
+
target: AstNode;
|
|
76
|
+
index: AstNode;
|
|
77
|
+
}
|
|
78
|
+
export interface FunctionCallNode extends BaseNode {
|
|
79
|
+
kind: 'call';
|
|
80
|
+
name: string;
|
|
81
|
+
args: AstNode[];
|
|
82
|
+
}
|
|
83
|
+
export interface UnaryNode extends BaseNode {
|
|
84
|
+
kind: 'unary';
|
|
85
|
+
operator: UnaryOperator;
|
|
86
|
+
operand: AstNode;
|
|
87
|
+
}
|
|
88
|
+
export interface BinaryNode extends BaseNode {
|
|
89
|
+
kind: 'binary';
|
|
90
|
+
operator: BinaryOperator;
|
|
91
|
+
left: AstNode;
|
|
92
|
+
right: AstNode;
|
|
93
|
+
}
|
|
94
|
+
/** `expr is Type` or `expr as Type`. */
|
|
95
|
+
export interface TypeOpNode extends BaseNode {
|
|
96
|
+
kind: 'typeOp';
|
|
97
|
+
operator: 'is' | 'as';
|
|
98
|
+
operand: AstNode;
|
|
99
|
+
type: TypeSpecifier;
|
|
100
|
+
}
|
|
101
|
+
export type AstNode = NullLiteralNode | BooleanLiteralNode | StringLiteralNode | NumberLiteralNode | DateLiteralNode | DateTimeLiteralNode | TimeLiteralNode | QuantityLiteralNode | IdentifierNode | SpecialVariableNode | ExternalConstantNode | DotNode | IndexerNode | FunctionCallNode | UnaryNode | BinaryNode | TypeOpNode;
|
|
102
|
+
export type AstNodeKind = AstNode['kind'];
|
|
103
|
+
export {};
|
|
104
|
+
//# sourceMappingURL=ast.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/parser/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAE9C,MAAM,MAAM,cAAc,GACtB,GAAG,GACH,GAAG,GACH,KAAK,GACL,KAAK,GACL,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,GAAG,GACH,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,UAAU,GACV,KAAK,GACL,IAAI,GACJ,KAAK,GACL,SAAS,CAAA;AAEb,MAAM,MAAM,aAAa,GAAG,GAAG,GAAG,GAAG,CAAA;AAErC,2FAA2F;AAC3F,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,IAAI,EAAE,UAAU,CAAA;CACjB;AAED,UAAU,QAAQ;IAChB,IAAI,EAAE,UAAU,CAAA;CACjB;AAED,yCAAyC;AACzC,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,kBAAmB,SAAQ,QAAQ;IAClD,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,QAAQ,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;CACd;AAED,yFAAyF;AACzF,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,SAAS,EAAE,OAAO,CAAA;IAClB,MAAM,CAAC,EAAE,OAAO,CAAA;CACjB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,MAAM,CAAA;IACZ,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,UAAU,CAAA;IAChB,4EAA4E;IAC5E,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,MAAM,CAAA;IACZ,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,UAAU,CAAA;IAChB,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,oEAAoE;IACpE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAA;CAC9B;AAED,gEAAgE;AAChE,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,YAAY,CAAA;IAClB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,sCAAsC;AACtC,MAAM,WAAW,mBAAoB,SAAQ,QAAQ;IACnD,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,OAAO,CAAA;CACjC;AAED,wFAAwF;AACxF,MAAM,WAAW,oBAAqB,SAAQ,QAAQ;IACpD,IAAI,EAAE,UAAU,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,KAAK,CAAA;IACX,IAAI,EAAE,OAAO,CAAA;IACb,KAAK,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,SAAS,CAAA;IACf,MAAM,EAAE,OAAO,CAAA;IACf,KAAK,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,OAAO,EAAE,CAAA;CAChB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,OAAO,CAAA;IACb,QAAQ,EAAE,aAAa,CAAA;IACvB,OAAO,EAAE,OAAO,CAAA;CACjB;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,QAAQ,CAAA;IACd,QAAQ,EAAE,cAAc,CAAA;IACxB,IAAI,EAAE,OAAO,CAAA;IACb,KAAK,EAAE,OAAO,CAAA;CACf;AAED,wCAAwC;AACxC,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,QAAQ,CAAA;IACd,QAAQ,EAAE,IAAI,GAAG,IAAI,CAAA;IACrB,OAAO,EAAE,OAAO,CAAA;IAChB,IAAI,EAAE,aAAa,CAAA;CACpB;AAED,MAAM,MAAM,OAAO,GACf,eAAe,GACf,kBAAkB,GAClB,iBAAiB,GACjB,iBAAiB,GACjB,eAAe,GACf,mBAAmB,GACnB,eAAe,GACf,mBAAmB,GACnB,cAAc,GACd,mBAAmB,GACnB,oBAAoB,GACpB,OAAO,GACP,WAAW,GACX,gBAAgB,GAChB,SAAS,GACT,UAAU,GACV,UAAU,CAAA;AAEd,MAAM,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/parser/ast.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,OAAO,EAAgD,MAAM,UAAU,CAAA;AAuTrF,2GAA2G;AAC3G,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAE7C"}
|
|
@@ -0,0 +1,299 @@
|
|
|
1
|
+
// The Pratt parsing approach (prefix/infix parselets driven by a precedence table) is adapted
|
|
2
|
+
// from Medplum's FHIRPath parser (Apache-2.0):
|
|
3
|
+
// https://github.com/medplum/medplum/blob/main/packages/core/src/fhirlexer/parse.ts
|
|
4
|
+
import { FhirPathSyntaxError } from "../errors.js";
|
|
5
|
+
import { tokenize } from "../lexer/lexer.js";
|
|
6
|
+
import { CALENDAR_DURATION_UNITS } from "../lexer/tokens.js";
|
|
7
|
+
import { BindingPower, INFIX_BINDING_POWER } from "./precedence.js";
|
|
8
|
+
/** Keywords the grammar also accepts as element names, e.g. `'abc'.contains('b')`. */
|
|
9
|
+
const KEYWORDS_USABLE_AS_IDENTIFIERS = new Set(['as', 'contains', 'in', 'is']);
|
|
10
|
+
const TYPE_OPERATORS = new Set(['is', 'as']);
|
|
11
|
+
/**
|
|
12
|
+
* Nesting far beyond anything a real expression uses. Without a cap, adversarial
|
|
13
|
+
* input like ((((…)))) overflows the call stack as a native RangeError instead of
|
|
14
|
+
* the FhirPathSyntaxError callers rely on catching.
|
|
15
|
+
*/
|
|
16
|
+
const MAX_DEPTH = 500;
|
|
17
|
+
class Parser {
|
|
18
|
+
tokens;
|
|
19
|
+
pos = 0;
|
|
20
|
+
depth = 0;
|
|
21
|
+
/** Parenthesized nodes can no longer take call parentheses: `(a)(b)` is not grammatical. */
|
|
22
|
+
parenthesized = new WeakSet();
|
|
23
|
+
constructor(source) {
|
|
24
|
+
this.tokens = tokenize(source);
|
|
25
|
+
}
|
|
26
|
+
parse() {
|
|
27
|
+
const expression = this.parseExpression(0);
|
|
28
|
+
const trailing = this.peek();
|
|
29
|
+
if (trailing.kind !== 'end') {
|
|
30
|
+
throw this.error(`Unexpected '${trailing.text}' after expression`, trailing);
|
|
31
|
+
}
|
|
32
|
+
return expression;
|
|
33
|
+
}
|
|
34
|
+
parseExpression(minBindingPower) {
|
|
35
|
+
if (++this.depth > MAX_DEPTH) {
|
|
36
|
+
throw this.error(`Expression nesting exceeds ${MAX_DEPTH} levels`, this.peek());
|
|
37
|
+
}
|
|
38
|
+
try {
|
|
39
|
+
let left = this.parsePrefix();
|
|
40
|
+
for (;;) {
|
|
41
|
+
const token = this.peek();
|
|
42
|
+
const key = token.kind === 'operator' || token.kind === 'punct' || token.kind === 'keyword' ? token.text : '';
|
|
43
|
+
const bindingPower = INFIX_BINDING_POWER[key];
|
|
44
|
+
if (bindingPower === undefined || bindingPower <= minBindingPower) {
|
|
45
|
+
return left;
|
|
46
|
+
}
|
|
47
|
+
this.advance();
|
|
48
|
+
left = this.parseInfix(left, token, bindingPower);
|
|
49
|
+
}
|
|
50
|
+
}
|
|
51
|
+
finally {
|
|
52
|
+
this.depth--;
|
|
53
|
+
}
|
|
54
|
+
}
|
|
55
|
+
parsePrefix() {
|
|
56
|
+
const token = this.peek();
|
|
57
|
+
switch (token.kind) {
|
|
58
|
+
case 'end':
|
|
59
|
+
throw this.error('Unexpected end of expression', token);
|
|
60
|
+
case 'number':
|
|
61
|
+
return this.parseNumberOrQuantity();
|
|
62
|
+
case 'string':
|
|
63
|
+
this.advance();
|
|
64
|
+
return { kind: 'string', value: token.value, span: token.span };
|
|
65
|
+
case 'date':
|
|
66
|
+
this.advance();
|
|
67
|
+
return { kind: 'date', text: token.value, span: token.span };
|
|
68
|
+
case 'dateTime':
|
|
69
|
+
this.advance();
|
|
70
|
+
return { kind: 'dateTime', text: token.value, span: token.span };
|
|
71
|
+
case 'time':
|
|
72
|
+
this.advance();
|
|
73
|
+
return { kind: 'time', text: token.value, span: token.span };
|
|
74
|
+
case 'specialVariable':
|
|
75
|
+
this.advance();
|
|
76
|
+
return { kind: 'special', name: token.value, span: token.span };
|
|
77
|
+
case 'identifier':
|
|
78
|
+
case 'delimitedIdentifier':
|
|
79
|
+
this.advance();
|
|
80
|
+
return { kind: 'identifier', name: token.value, span: token.span };
|
|
81
|
+
case 'keyword':
|
|
82
|
+
return this.parseKeywordPrefix(token);
|
|
83
|
+
case 'operator':
|
|
84
|
+
return this.parseUnary(token);
|
|
85
|
+
case 'punct':
|
|
86
|
+
return this.parsePunctPrefix(token);
|
|
87
|
+
/* v8 ignore start -- exhaustive fallback, every token kind has a case above */
|
|
88
|
+
default:
|
|
89
|
+
throw this.error(`Unexpected '${token.text}'`, token);
|
|
90
|
+
/* v8 ignore stop */
|
|
91
|
+
}
|
|
92
|
+
}
|
|
93
|
+
parseKeywordPrefix(token) {
|
|
94
|
+
if (token.text === 'true' || token.text === 'false') {
|
|
95
|
+
this.advance();
|
|
96
|
+
return { kind: 'boolean', value: token.text === 'true', span: token.span };
|
|
97
|
+
}
|
|
98
|
+
if (KEYWORDS_USABLE_AS_IDENTIFIERS.has(token.text)) {
|
|
99
|
+
this.advance();
|
|
100
|
+
return { kind: 'identifier', name: token.value, span: token.span };
|
|
101
|
+
}
|
|
102
|
+
throw this.error(`Unexpected '${token.text}'`, token);
|
|
103
|
+
}
|
|
104
|
+
parseUnary(token) {
|
|
105
|
+
if (token.text !== '+' && token.text !== '-') {
|
|
106
|
+
throw this.error(`Unexpected '${token.text}'`, token);
|
|
107
|
+
}
|
|
108
|
+
this.advance();
|
|
109
|
+
const operand = this.parseExpression(BindingPower.Unary);
|
|
110
|
+
return {
|
|
111
|
+
kind: 'unary',
|
|
112
|
+
operator: token.text,
|
|
113
|
+
operand,
|
|
114
|
+
span: this.spanBetween(token.span, operand.span),
|
|
115
|
+
};
|
|
116
|
+
}
|
|
117
|
+
parsePunctPrefix(token) {
|
|
118
|
+
switch (token.text) {
|
|
119
|
+
case '(': {
|
|
120
|
+
this.advance();
|
|
121
|
+
const inner = this.parseExpression(0);
|
|
122
|
+
this.expect(')');
|
|
123
|
+
this.parenthesized.add(inner);
|
|
124
|
+
return inner;
|
|
125
|
+
}
|
|
126
|
+
case '{': {
|
|
127
|
+
this.advance();
|
|
128
|
+
const close = this.expect('}');
|
|
129
|
+
return { kind: 'null', span: this.spanBetween(token.span, close.span) };
|
|
130
|
+
}
|
|
131
|
+
case '%': {
|
|
132
|
+
this.advance();
|
|
133
|
+
const name = this.peek();
|
|
134
|
+
if (name.kind !== 'identifier' && name.kind !== 'delimitedIdentifier' && name.kind !== 'string') {
|
|
135
|
+
throw this.error('Expected a name after %', name);
|
|
136
|
+
}
|
|
137
|
+
this.advance();
|
|
138
|
+
return { kind: 'external', name: name.value, span: this.spanBetween(token.span, name.span) };
|
|
139
|
+
}
|
|
140
|
+
default:
|
|
141
|
+
throw this.error(`Unexpected '${token.text}'`, token);
|
|
142
|
+
}
|
|
143
|
+
}
|
|
144
|
+
parseNumberOrQuantity() {
|
|
145
|
+
const token = this.peek();
|
|
146
|
+
this.advance();
|
|
147
|
+
if (token.value.endsWith('L')) {
|
|
148
|
+
// Long literals take no quantity unit.
|
|
149
|
+
return { kind: 'number', text: token.value.slice(0, -1), isDecimal: false, isLong: true, span: token.span };
|
|
150
|
+
}
|
|
151
|
+
const next = this.peek();
|
|
152
|
+
if (next.kind === 'string') {
|
|
153
|
+
this.advance();
|
|
154
|
+
return {
|
|
155
|
+
kind: 'quantity',
|
|
156
|
+
value: token.value,
|
|
157
|
+
unit: next.value,
|
|
158
|
+
unitKind: 'ucum',
|
|
159
|
+
span: this.spanBetween(token.span, next.span),
|
|
160
|
+
};
|
|
161
|
+
}
|
|
162
|
+
if (next.kind === 'identifier' && CALENDAR_DURATION_UNITS.has(next.value)) {
|
|
163
|
+
this.advance();
|
|
164
|
+
return {
|
|
165
|
+
kind: 'quantity',
|
|
166
|
+
value: token.value,
|
|
167
|
+
unit: next.value,
|
|
168
|
+
unitKind: 'calendar',
|
|
169
|
+
span: this.spanBetween(token.span, next.span),
|
|
170
|
+
};
|
|
171
|
+
}
|
|
172
|
+
return { kind: 'number', text: token.value, isDecimal: token.value.includes('.'), span: token.span };
|
|
173
|
+
}
|
|
174
|
+
parseInfix(left, token, bindingPower) {
|
|
175
|
+
switch (token.text) {
|
|
176
|
+
case '.':
|
|
177
|
+
return this.parseDot(left);
|
|
178
|
+
case '[': {
|
|
179
|
+
const index = this.parseExpression(0);
|
|
180
|
+
const close = this.expect(']');
|
|
181
|
+
return { kind: 'indexer', target: left, index, span: this.spanBetween(left.span, close.span) };
|
|
182
|
+
}
|
|
183
|
+
case '(':
|
|
184
|
+
return this.parseCall(left);
|
|
185
|
+
default:
|
|
186
|
+
break;
|
|
187
|
+
}
|
|
188
|
+
if (TYPE_OPERATORS.has(token.text)) {
|
|
189
|
+
const type = this.parseTypeSpecifier();
|
|
190
|
+
return {
|
|
191
|
+
kind: 'typeOp',
|
|
192
|
+
operator: token.text,
|
|
193
|
+
operand: left,
|
|
194
|
+
type,
|
|
195
|
+
span: this.spanBetween(left.span, type.span),
|
|
196
|
+
};
|
|
197
|
+
}
|
|
198
|
+
// All FHIRPath binary operators are left-associative, so the right side
|
|
199
|
+
// parses at this operator's own binding power.
|
|
200
|
+
const right = this.parseExpression(bindingPower);
|
|
201
|
+
return {
|
|
202
|
+
kind: 'binary',
|
|
203
|
+
operator: token.text,
|
|
204
|
+
left,
|
|
205
|
+
right,
|
|
206
|
+
span: this.spanBetween(left.span, right.span),
|
|
207
|
+
};
|
|
208
|
+
}
|
|
209
|
+
/**
|
|
210
|
+
* After `.`, only an element name, function call, or special variable may follow.
|
|
211
|
+
* Operator keywords are element names here, so `text.div` and `'abc'.contains('b')` work.
|
|
212
|
+
*/
|
|
213
|
+
parseDot(left) {
|
|
214
|
+
const token = this.peek();
|
|
215
|
+
let right;
|
|
216
|
+
if (token.kind === 'identifier' ||
|
|
217
|
+
token.kind === 'delimitedIdentifier' ||
|
|
218
|
+
(token.kind === 'keyword' && token.text !== 'true' && token.text !== 'false')) {
|
|
219
|
+
this.advance();
|
|
220
|
+
right = { kind: 'identifier', name: token.value, span: token.span };
|
|
221
|
+
if (this.peek().kind === 'punct' && this.peek().text === '(') {
|
|
222
|
+
this.advance();
|
|
223
|
+
right = this.parseCall(right);
|
|
224
|
+
}
|
|
225
|
+
}
|
|
226
|
+
else if (token.kind === 'specialVariable') {
|
|
227
|
+
this.advance();
|
|
228
|
+
right = { kind: 'special', name: token.value, span: token.span };
|
|
229
|
+
}
|
|
230
|
+
else {
|
|
231
|
+
throw this.error(`Expected an element or function name after '.', got '${token.text}'`, token);
|
|
232
|
+
}
|
|
233
|
+
return { kind: 'dot', left, right, span: this.spanBetween(left.span, right.span) };
|
|
234
|
+
}
|
|
235
|
+
parseCall(target) {
|
|
236
|
+
if (target.kind !== 'identifier' || this.parenthesized.has(target)) {
|
|
237
|
+
throw this.error('Unexpected parentheses', this.peek());
|
|
238
|
+
}
|
|
239
|
+
const args = [];
|
|
240
|
+
if (!(this.peek().kind === 'punct' && this.peek().text === ')')) {
|
|
241
|
+
args.push(this.parseExpression(0));
|
|
242
|
+
while (this.peek().kind === 'punct' && this.peek().text === ',') {
|
|
243
|
+
this.advance();
|
|
244
|
+
args.push(this.parseExpression(0));
|
|
245
|
+
}
|
|
246
|
+
}
|
|
247
|
+
const close = this.expect(')');
|
|
248
|
+
return { kind: 'call', name: target.name, args, span: this.spanBetween(target.span, close.span) };
|
|
249
|
+
}
|
|
250
|
+
parseTypeSpecifier() {
|
|
251
|
+
const first = this.expectTypeName();
|
|
252
|
+
const parts = [first.value];
|
|
253
|
+
let end = first.span;
|
|
254
|
+
while (this.peek().kind === 'punct' && this.peek().text === '.') {
|
|
255
|
+
this.advance();
|
|
256
|
+
const part = this.expectTypeName();
|
|
257
|
+
parts.push(part.value);
|
|
258
|
+
end = part.span;
|
|
259
|
+
}
|
|
260
|
+
return { parts, span: this.spanBetween(first.span, end) };
|
|
261
|
+
}
|
|
262
|
+
expectTypeName() {
|
|
263
|
+
const token = this.peek();
|
|
264
|
+
if (token.kind !== 'identifier' && token.kind !== 'delimitedIdentifier') {
|
|
265
|
+
throw this.error(`Expected a type name, got '${token.text}'`, token);
|
|
266
|
+
}
|
|
267
|
+
this.advance();
|
|
268
|
+
return token;
|
|
269
|
+
}
|
|
270
|
+
peek() {
|
|
271
|
+
return this.tokens[this.pos];
|
|
272
|
+
}
|
|
273
|
+
advance() {
|
|
274
|
+
const token = this.tokens[this.pos];
|
|
275
|
+
if (token.kind !== 'end') {
|
|
276
|
+
this.pos += 1;
|
|
277
|
+
}
|
|
278
|
+
return token;
|
|
279
|
+
}
|
|
280
|
+
expect(text) {
|
|
281
|
+
const token = this.peek();
|
|
282
|
+
if (token.text !== text) {
|
|
283
|
+
throw this.error(`Expected '${text}', got '${token.kind === 'end' ? 'end of expression' : token.text}'`, token);
|
|
284
|
+
}
|
|
285
|
+
this.advance();
|
|
286
|
+
return token;
|
|
287
|
+
}
|
|
288
|
+
error(message, token) {
|
|
289
|
+
return new FhirPathSyntaxError(message, token.span);
|
|
290
|
+
}
|
|
291
|
+
spanBetween(start, end) {
|
|
292
|
+
return { start: start.start, end: end.end, line: start.line, column: start.column };
|
|
293
|
+
}
|
|
294
|
+
}
|
|
295
|
+
/** Parse a FHIRPath expression into its AST. Throws `FhirPathSyntaxError` with a position on bad input. */
|
|
296
|
+
export function parse(source) {
|
|
297
|
+
return new Parser(source).parse();
|
|
298
|
+
}
|
|
299
|
+
//# sourceMappingURL=parser.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,+CAA+C;AAC/C,oFAAoF;AACpF,OAAO,EAAE,mBAAmB,EAAmB,MAAM,cAAc,CAAA;AACnE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAC5C,OAAO,EAAE,uBAAuB,EAAc,MAAM,oBAAoB,CAAA;AAExE,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAEnE,sFAAsF;AACtF,MAAM,8BAA8B,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;AAEnG,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;AAEjE;;;;GAIG;AACH,MAAM,SAAS,GAAG,GAAG,CAAA;AAErB,MAAM,MAAM;IACO,MAAM,CAAS;IACxB,GAAG,GAAG,CAAC,CAAA;IACP,KAAK,GAAG,CAAC,CAAA;IACjB,4FAA4F;IAC3E,aAAa,GAAG,IAAI,OAAO,EAAW,CAAA;IAEvD,YAAY,MAAc;QACxB,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAChC,CAAC;IAED,KAAK;QACH,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAA;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QAC5B,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,CAAC,KAAK,CAAC,eAAe,QAAQ,CAAC,IAAI,oBAAoB,EAAE,QAAQ,CAAC,CAAA;QAC9E,CAAC;QACD,OAAO,UAAU,CAAA;IACnB,CAAC;IAEO,eAAe,CAAC,eAAuB;QAC7C,IAAI,EAAE,IAAI,CAAC,KAAK,GAAG,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,CAAC,KAAK,CAAC,8BAA8B,SAAS,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;QACjF,CAAC;QACD,IAAI,CAAC;YACH,IAAI,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;YAC7B,SAAS,CAAC;gBACR,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;gBACzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC7G,MAAM,YAAY,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAA;gBAC7C,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,IAAI,eAAe,EAAE,CAAC;oBAClE,OAAO,IAAI,CAAA;gBACb,CAAC;gBACD,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAA;YACnD,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,KAAK,EAAE,CAAA;QACd,CAAC;IACH,CAAC;IAEO,WAAW;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACzB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,KAAK;gBACR,MAAM,IAAI,CAAC,KAAK,CAAC,8BAA8B,EAAE,KAAK,CAAC,CAAA;YACzD,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,qBAAqB,EAAE,CAAA;YACrC,KAAK,QAAQ;gBACX,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;YACjE,KAAK,MAAM;gBACT,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;YAC9D,KAAK,UAAU;gBACb,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;YAClE,KAAK,MAAM;gBACT,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;YAC9D,KAAK,iBAAiB;gBACpB,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,KAAmC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;YAC/F,KAAK,YAAY,CAAC;YAClB,KAAK,qBAAqB;gBACxB,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;YACpE,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAA;YACvC,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;YAC/B,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAA;YACrC,+EAA+E;YAC/E;gBACE,MAAM,IAAI,CAAC,KAAK,CAAC,eAAe,KAAK,CAAC,IAAI,GAAG,EAAE,KAAK,CAAC,CAAA;YACvD,oBAAoB;QACtB,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,KAAY;QACrC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACpD,IAAI,CAAC,OAAO,EAAE,CAAA;YACd,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;QAC5E,CAAC;QACD,IAAI,8BAA8B,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,OAAO,EAAE,CAAA;YACd,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;QACpE,CAAC;QACD,MAAM,IAAI,CAAC,KAAK,CAAC,eAAe,KAAK,CAAC,IAAI,GAAG,EAAE,KAAK,CAAC,CAAA;IACvD,CAAC;IAEO,UAAU,CAAC,KAAY;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;YAC7C,MAAM,IAAI,CAAC,KAAK,CAAC,eAAe,KAAK,CAAC,IAAI,GAAG,EAAE,KAAK,CAAC,CAAA;QACvD,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAA;QACd,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;QACxD,OAAO;YACL,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,KAAK,CAAC,IAAqB;YACrC,OAAO;YACP,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;SACjD,CAAA;IACH,CAAC;IAEO,gBAAgB,CAAC,KAAY;QACnC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,GAAG,CAAC,CAAC,CAAC;gBACT,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAA;gBACrC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBAChB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;gBAC7B,OAAO,KAAK,CAAA;YACd,CAAC;YACD,KAAK,GAAG,CAAC,CAAC,CAAC;gBACT,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBAC9B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAA;YACzE,CAAC;YACD,KAAK,GAAG,CAAC,CAAC,CAAC;gBACT,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;gBACxB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAChG,MAAM,IAAI,CAAC,KAAK,CAAC,yBAAyB,EAAE,IAAI,CAAC,CAAA;gBACnD,CAAC;gBACD,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;YAC9F,CAAC;YACD;gBACE,MAAM,IAAI,CAAC,KAAK,CAAC,eAAe,KAAK,CAAC,IAAI,GAAG,EAAE,KAAK,CAAC,CAAA;QACzD,CAAC;IACH,CAAC;IAEO,qBAAqB;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACzB,IAAI,CAAC,OAAO,EAAE,CAAA;QACd,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,uCAAuC;YACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;QAC7G,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,OAAO,EAAE,CAAA;YACd,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,IAAI,EAAE,IAAI,CAAC,KAAK;gBAChB,QAAQ,EAAE,MAAM;gBAChB,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;aAC9C,CAAA;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1E,IAAI,CAAC,OAAO,EAAE,CAAA;YACd,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,IAAI,EAAE,IAAI,CAAC,KAAK;gBAChB,QAAQ,EAAE,UAAU;gBACpB,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;aAC9C,CAAA;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;IACtG,CAAC;IAEO,UAAU,CAAC,IAAa,EAAE,KAAY,EAAE,YAAoB;QAClE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,GAAG;gBACN,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;YAC5B,KAAK,GAAG,CAAC,CAAC,CAAC;gBACT,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAA;gBACrC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBAC9B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAA;YAChG,CAAC;YACD,KAAK,GAAG;gBACN,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;YAC7B;gBACE,MAAK;QACT,CAAC;QACD,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAA;YACtC,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,KAAK,CAAC,IAAmB;gBACnC,OAAO,EAAE,IAAI;gBACb,IAAI;gBACJ,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;aAC7C,CAAA;QACH,CAAC;QACD,wEAAwE;QACxE,+CAA+C;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,CAAA;QAChD,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,KAAK,CAAC,IAAsB;YACtC,IAAI;YACJ,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;SAC9C,CAAA;IACH,CAAC;IAED;;;OAGG;IACK,QAAQ,CAAC,IAAa;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACzB,IAAI,KAAc,CAAA;QAClB,IACE,KAAK,CAAC,IAAI,KAAK,YAAY;YAC3B,KAAK,CAAC,IAAI,KAAK,qBAAqB;YACpC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAC7E,CAAC;YACD,IAAI,CAAC,OAAO,EAAE,CAAA;YACd,KAAK,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;YACnE,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBAC7D,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;YAC/B,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAC5C,IAAI,CAAC,OAAO,EAAE,CAAA;YACd,KAAK,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,KAAmC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;QAChG,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,CAAC,KAAK,CAAC,wDAAwD,KAAK,CAAC,IAAI,GAAG,EAAE,KAAK,CAAC,CAAA;QAChG,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAA;IACpF,CAAC;IAEO,SAAS,CAAC,MAAe;QAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACnE,MAAM,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;QACzD,CAAC;QACD,MAAM,IAAI,GAAc,EAAE,CAAA;QAC1B,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAChE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAA;YAClC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBAChE,IAAI,CAAC,OAAO,EAAE,CAAA;gBACd,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAA;YACpC,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAC9B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAA;IACnG,CAAC;IAEO,kBAAkB;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,EAAE,CAAA;QACnC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC3B,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,CAAA;QACpB,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;YAChE,IAAI,CAAC,OAAO,EAAE,CAAA;YACd,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAA;YAClC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACtB,GAAG,GAAG,IAAI,CAAC,IAAI,CAAA;QACjB,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAA;IAC3D,CAAC;IAEO,cAAc;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACzB,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxE,MAAM,IAAI,CAAC,KAAK,CAAC,8BAA8B,KAAK,CAAC,IAAI,GAAG,EAAE,KAAK,CAAC,CAAA;QACtE,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAA;QACd,OAAO,KAAK,CAAA;IACd,CAAC;IAEO,IAAI;QACV,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAU,CAAA;IACvC,CAAC;IAEO,OAAO;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAU,CAAA;QAC5C,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,IAAI,CAAC,CAAA;QACf,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAEO,MAAM,CAAC,IAAY;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACzB,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACxB,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,WAAW,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,KAAK,CAAC,CAAA;QACjH,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAA;QACd,OAAO,KAAK,CAAA;IACd,CAAC;IAEO,KAAK,CAAC,OAAe,EAAE,KAAY;QACzC,OAAO,IAAI,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IACrD,CAAC;IAEO,WAAW,CAAC,KAAiB,EAAE,GAAe;QACpD,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAA;IACrF,CAAC;CACF;AAED,2GAA2G;AAC3G,MAAM,UAAU,KAAK,CAAC,MAAc;IAClC,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAA;AACnC,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Binding powers derived from the spec's 13-level operator precedence table
|
|
3
|
+
* (https://hl7.org/fhirpath/#operator-precedence). Higher binds tighter; the
|
|
4
|
+
* spec numbers levels the other way around (1 = `.`, 13 = `implies`).
|
|
5
|
+
*/
|
|
6
|
+
export declare const BindingPower: {
|
|
7
|
+
readonly Implies: 1;
|
|
8
|
+
readonly OrXor: 2;
|
|
9
|
+
readonly And: 3;
|
|
10
|
+
readonly Membership: 4;
|
|
11
|
+
readonly Equality: 5;
|
|
12
|
+
readonly Comparison: 6;
|
|
13
|
+
readonly Union: 7;
|
|
14
|
+
readonly TypeOps: 8;
|
|
15
|
+
readonly Additive: 9;
|
|
16
|
+
readonly Multiplicative: 10;
|
|
17
|
+
readonly Unary: 11;
|
|
18
|
+
readonly Indexer: 12;
|
|
19
|
+
readonly Dot: 13;
|
|
20
|
+
readonly FunctionCall: 14;
|
|
21
|
+
};
|
|
22
|
+
/** Binding power for every infix (and postfix) construct, keyed by token text. */
|
|
23
|
+
export declare const INFIX_BINDING_POWER: Readonly<Record<string, number>>;
|
|
24
|
+
//# sourceMappingURL=precedence.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"precedence.d.ts","sourceRoot":"","sources":["../../src/parser/precedence.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;CAef,CAAA;AAEV,kFAAkF;AAClF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CA4BhE,CAAA"}
|
|
@@ -0,0 +1,52 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Binding powers derived from the spec's 13-level operator precedence table
|
|
3
|
+
* (https://hl7.org/fhirpath/#operator-precedence). Higher binds tighter; the
|
|
4
|
+
* spec numbers levels the other way around (1 = `.`, 13 = `implies`).
|
|
5
|
+
*/
|
|
6
|
+
export const BindingPower = {
|
|
7
|
+
Implies: 1,
|
|
8
|
+
OrXor: 2,
|
|
9
|
+
And: 3,
|
|
10
|
+
Membership: 4,
|
|
11
|
+
Equality: 5,
|
|
12
|
+
Comparison: 6,
|
|
13
|
+
Union: 7,
|
|
14
|
+
TypeOps: 8,
|
|
15
|
+
Additive: 9,
|
|
16
|
+
Multiplicative: 10,
|
|
17
|
+
Unary: 11,
|
|
18
|
+
Indexer: 12,
|
|
19
|
+
Dot: 13,
|
|
20
|
+
FunctionCall: 14,
|
|
21
|
+
};
|
|
22
|
+
/** Binding power for every infix (and postfix) construct, keyed by token text. */
|
|
23
|
+
export const INFIX_BINDING_POWER = {
|
|
24
|
+
implies: BindingPower.Implies,
|
|
25
|
+
or: BindingPower.OrXor,
|
|
26
|
+
xor: BindingPower.OrXor,
|
|
27
|
+
and: BindingPower.And,
|
|
28
|
+
in: BindingPower.Membership,
|
|
29
|
+
contains: BindingPower.Membership,
|
|
30
|
+
'=': BindingPower.Equality,
|
|
31
|
+
'~': BindingPower.Equality,
|
|
32
|
+
'!=': BindingPower.Equality,
|
|
33
|
+
'!~': BindingPower.Equality,
|
|
34
|
+
'<': BindingPower.Comparison,
|
|
35
|
+
'>': BindingPower.Comparison,
|
|
36
|
+
'<=': BindingPower.Comparison,
|
|
37
|
+
'>=': BindingPower.Comparison,
|
|
38
|
+
'|': BindingPower.Union,
|
|
39
|
+
is: BindingPower.TypeOps,
|
|
40
|
+
as: BindingPower.TypeOps,
|
|
41
|
+
'+': BindingPower.Additive,
|
|
42
|
+
'-': BindingPower.Additive,
|
|
43
|
+
'&': BindingPower.Additive,
|
|
44
|
+
'*': BindingPower.Multiplicative,
|
|
45
|
+
'/': BindingPower.Multiplicative,
|
|
46
|
+
div: BindingPower.Multiplicative,
|
|
47
|
+
mod: BindingPower.Multiplicative,
|
|
48
|
+
'[': BindingPower.Indexer,
|
|
49
|
+
'.': BindingPower.Dot,
|
|
50
|
+
'(': BindingPower.FunctionCall,
|
|
51
|
+
};
|
|
52
|
+
//# sourceMappingURL=precedence.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"precedence.js","sourceRoot":"","sources":["../../src/parser/precedence.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,OAAO,EAAE,CAAC;IACV,KAAK,EAAE,CAAC;IACR,GAAG,EAAE,CAAC;IACN,UAAU,EAAE,CAAC;IACb,QAAQ,EAAE,CAAC;IACX,UAAU,EAAE,CAAC;IACb,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,CAAC;IACV,QAAQ,EAAE,CAAC;IACX,cAAc,EAAE,EAAE;IAClB,KAAK,EAAE,EAAE;IACT,OAAO,EAAE,EAAE;IACX,GAAG,EAAE,EAAE;IACP,YAAY,EAAE,EAAE;CACR,CAAA;AAEV,kFAAkF;AAClF,MAAM,CAAC,MAAM,mBAAmB,GAAqC;IACnE,OAAO,EAAE,YAAY,CAAC,OAAO;IAC7B,EAAE,EAAE,YAAY,CAAC,KAAK;IACtB,GAAG,EAAE,YAAY,CAAC,KAAK;IACvB,GAAG,EAAE,YAAY,CAAC,GAAG;IACrB,EAAE,EAAE,YAAY,CAAC,UAAU;IAC3B,QAAQ,EAAE,YAAY,CAAC,UAAU;IACjC,GAAG,EAAE,YAAY,CAAC,QAAQ;IAC1B,GAAG,EAAE,YAAY,CAAC,QAAQ;IAC1B,IAAI,EAAE,YAAY,CAAC,QAAQ;IAC3B,IAAI,EAAE,YAAY,CAAC,QAAQ;IAC3B,GAAG,EAAE,YAAY,CAAC,UAAU;IAC5B,GAAG,EAAE,YAAY,CAAC,UAAU;IAC5B,IAAI,EAAE,YAAY,CAAC,UAAU;IAC7B,IAAI,EAAE,YAAY,CAAC,UAAU;IAC7B,GAAG,EAAE,YAAY,CAAC,KAAK;IACvB,EAAE,EAAE,YAAY,CAAC,OAAO;IACxB,EAAE,EAAE,YAAY,CAAC,OAAO;IACxB,GAAG,EAAE,YAAY,CAAC,QAAQ;IAC1B,GAAG,EAAE,YAAY,CAAC,QAAQ;IAC1B,GAAG,EAAE,YAAY,CAAC,QAAQ;IAC1B,GAAG,EAAE,YAAY,CAAC,cAAc;IAChC,GAAG,EAAE,YAAY,CAAC,cAAc;IAChC,GAAG,EAAE,YAAY,CAAC,cAAc;IAChC,GAAG,EAAE,YAAY,CAAC,cAAc;IAChC,GAAG,EAAE,YAAY,CAAC,OAAO;IACzB,GAAG,EAAE,YAAY,CAAC,GAAG;IACrB,GAAG,EAAE,YAAY,CAAC,YAAY;CAC/B,CAAA"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"printer.d.ts","sourceRoot":"","sources":["../../src/parser/printer.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AA6GvC,0FAA0F;AAC1F,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAErD"}
|