@tsonic/frontend 0.0.61 → 0.0.63
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/dist/.tsbuildinfo +1 -1
- package/dist/dependency-graph.d.ts +1 -1
- package/dist/dependency-graph.d.ts.map +1 -1
- package/dist/dependency-graph.js +1 -1
- package/dist/dependency-graph.js.map +1 -1
- package/dist/dotnet-metadata.d.ts +0 -12
- package/dist/dotnet-metadata.d.ts.map +1 -1
- package/dist/dotnet-metadata.js +3 -25
- package/dist/dotnet-metadata.js.map +1 -1
- package/dist/dotnet-metadata.test.js.map +1 -1
- package/dist/generic-function-values.d.ts +11 -0
- package/dist/generic-function-values.d.ts.map +1 -0
- package/dist/generic-function-values.js +243 -0
- package/dist/generic-function-values.js.map +1 -0
- package/dist/generic-function-values.test.d.ts +2 -0
- package/dist/generic-function-values.test.d.ts.map +1 -0
- package/dist/generic-function-values.test.js +256 -0
- package/dist/generic-function-values.test.js.map +1 -0
- package/dist/graph/extraction/imports.d.ts +5 -0
- package/dist/graph/extraction/imports.d.ts.map +1 -1
- package/dist/graph/extraction/imports.js +30 -0
- package/dist/graph/extraction/imports.js.map +1 -1
- package/dist/graph/extraction/index.d.ts +1 -1
- package/dist/graph/extraction/index.d.ts.map +1 -1
- package/dist/graph/extraction/index.js +1 -1
- package/dist/graph/extraction/index.js.map +1 -1
- package/dist/graph/extraction/orchestrator.d.ts.map +1 -1
- package/dist/graph/extraction/orchestrator.js +16 -2
- package/dist/graph/extraction/orchestrator.js.map +1 -1
- package/dist/graph/extraction.d.ts +1 -1
- package/dist/graph/extraction.d.ts.map +1 -1
- package/dist/graph/extraction.js +1 -1
- package/dist/graph/extraction.js.map +1 -1
- package/dist/ir/binding/binding-factory.d.ts +17 -0
- package/dist/ir/binding/binding-factory.d.ts.map +1 -0
- package/dist/ir/binding/binding-factory.js +765 -0
- package/dist/ir/binding/binding-factory.js.map +1 -0
- package/dist/ir/binding/binding-helpers.d.ts +90 -0
- package/dist/ir/binding/binding-helpers.d.ts.map +1 -0
- package/dist/ir/binding/binding-helpers.js +387 -0
- package/dist/ir/binding/binding-helpers.js.map +1 -0
- package/dist/ir/binding/binding-types.d.ts +203 -0
- package/dist/ir/binding/binding-types.d.ts.map +1 -0
- package/dist/ir/binding/binding-types.js +9 -0
- package/dist/ir/binding/binding-types.js.map +1 -0
- package/dist/ir/binding/index.d.ts +4 -151
- package/dist/ir/binding/index.d.ts.map +1 -1
- package/dist/ir/binding/index.js +3 -1124
- package/dist/ir/binding/index.js.map +1 -1
- package/dist/ir/binding-resolution.test.js +4 -1
- package/dist/ir/binding-resolution.test.js.map +1 -1
- package/dist/ir/bindings-disambiguation.test.js.map +1 -1
- package/dist/ir/builder/imports.d.ts.map +1 -1
- package/dist/ir/builder/imports.js +91 -5
- package/dist/ir/builder/imports.js.map +1 -1
- package/dist/ir/builder.test.js +456 -24
- package/dist/ir/builder.test.js.map +1 -1
- package/dist/ir/converters/anonymous-synthesis.d.ts +3 -3
- package/dist/ir/converters/anonymous-synthesis.d.ts.map +1 -1
- package/dist/ir/converters/anonymous-synthesis.js +45 -8
- package/dist/ir/converters/anonymous-synthesis.js.map +1 -1
- package/dist/ir/converters/expressions/access/access-converter.d.ts +14 -0
- package/dist/ir/converters/expressions/access/access-converter.d.ts.map +1 -0
- package/dist/ir/converters/expressions/access/access-converter.js +141 -0
- package/dist/ir/converters/expressions/access/access-converter.js.map +1 -0
- package/dist/ir/converters/expressions/access/binding-resolution.d.ts +35 -0
- package/dist/ir/converters/expressions/access/binding-resolution.d.ts.map +1 -0
- package/dist/ir/converters/expressions/access/binding-resolution.js +384 -0
- package/dist/ir/converters/expressions/access/binding-resolution.js.map +1 -0
- package/dist/ir/converters/expressions/access/member-resolution.d.ts +67 -0
- package/dist/ir/converters/expressions/access/member-resolution.d.ts.map +1 -0
- package/dist/ir/converters/expressions/access/member-resolution.js +262 -0
- package/dist/ir/converters/expressions/access/member-resolution.js.map +1 -0
- package/dist/ir/converters/expressions/access.d.ts +1 -7
- package/dist/ir/converters/expressions/access.d.ts.map +1 -1
- package/dist/ir/converters/expressions/access.js +1 -720
- package/dist/ir/converters/expressions/access.js.map +1 -1
- package/dist/ir/converters/expressions/calls/call-converter.d.ts +23 -0
- package/dist/ir/converters/expressions/calls/call-converter.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/call-converter.js +526 -0
- package/dist/ir/converters/expressions/calls/call-converter.js.map +1 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis.d.ts +53 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis.js +554 -0
- package/dist/ir/converters/expressions/calls/call-site-analysis.js.map +1 -0
- package/dist/ir/converters/expressions/calls/new-converter.d.ts +21 -0
- package/dist/ir/converters/expressions/calls/new-converter.d.ts.map +1 -0
- package/dist/ir/converters/expressions/calls/new-converter.js +182 -0
- package/dist/ir/converters/expressions/calls/new-converter.js.map +1 -0
- package/dist/ir/converters/expressions/calls.d.ts +2 -28
- package/dist/ir/converters/expressions/calls.d.ts.map +1 -1
- package/dist/ir/converters/expressions/calls.js +2 -953
- package/dist/ir/converters/expressions/calls.js.map +1 -1
- package/dist/ir/converters/expressions/collections.d.ts.map +1 -1
- package/dist/ir/converters/expressions/collections.js +56 -28
- package/dist/ir/converters/expressions/collections.js.map +1 -1
- package/dist/ir/converters/expressions/functions.js +3 -3
- package/dist/ir/converters/expressions/functions.js.map +1 -1
- package/dist/ir/converters/expressions/helpers.d.ts.map +1 -1
- package/dist/ir/converters/expressions/helpers.js +1 -0
- package/dist/ir/converters/expressions/helpers.js.map +1 -1
- package/dist/ir/converters/expressions/operators.d.ts.map +1 -1
- package/dist/ir/converters/expressions/operators.js +1 -1
- package/dist/ir/converters/expressions/operators.js.map +1 -1
- package/dist/ir/converters/expressions/other.d.ts.map +1 -1
- package/dist/ir/converters/expressions/other.js +17 -2
- package/dist/ir/converters/expressions/other.js.map +1 -1
- package/dist/ir/converters/flow-narrowing.d.ts.map +1 -1
- package/dist/ir/converters/flow-narrowing.js +3 -2
- package/dist/ir/converters/flow-narrowing.js.map +1 -1
- package/dist/ir/converters/statements/control/loops.d.ts.map +1 -1
- package/dist/ir/converters/statements/control/loops.js +8 -2
- package/dist/ir/converters/statements/control/loops.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/constructors.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/constructors.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/methods.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/methods.js +71 -23
- package/dist/ir/converters/statements/declarations/classes/methods.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/orchestrator.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/orchestrator.js +10 -4
- package/dist/ir/converters/statements/declarations/classes/orchestrator.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/override-detection.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/override-detection.js +5 -1
- package/dist/ir/converters/statements/declarations/classes/override-detection.js.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/properties.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/classes/properties.js +2 -1
- package/dist/ir/converters/statements/declarations/classes/properties.js.map +1 -1
- package/dist/ir/converters/statements/declarations/type-aliases.js +1 -1
- package/dist/ir/converters/statements/declarations/type-aliases.js.map +1 -1
- package/dist/ir/converters/statements/declarations/variables.d.ts +2 -2
- package/dist/ir/converters/statements/declarations/variables.d.ts.map +1 -1
- package/dist/ir/converters/statements/declarations/variables.js +290 -3
- package/dist/ir/converters/statements/declarations/variables.js.map +1 -1
- package/dist/ir/converters/statements/helpers.d.ts.map +1 -1
- package/dist/ir/converters/statements/helpers.js +10 -2
- package/dist/ir/converters/statements/helpers.js.map +1 -1
- package/dist/ir/converters/type-env.d.ts.map +1 -1
- package/dist/ir/converters/type-env.js.map +1 -1
- package/dist/ir/expression-converter.d.ts +0 -1
- package/dist/ir/expression-converter.d.ts.map +1 -1
- package/dist/ir/expression-converter.js +25 -4
- package/dist/ir/expression-converter.js.map +1 -1
- package/dist/ir/field-marker.test.js.map +1 -1
- package/dist/ir/generic-function-value-lowering.test.d.ts +2 -0
- package/dist/ir/generic-function-value-lowering.test.d.ts.map +1 -0
- package/dist/ir/generic-function-value-lowering.test.js +312 -0
- package/dist/ir/generic-function-value-lowering.test.js.map +1 -0
- package/dist/ir/generic-validator.d.ts +3 -4
- package/dist/ir/generic-validator.d.ts.map +1 -1
- package/dist/ir/generic-validator.js +3 -35
- package/dist/ir/generic-validator.js.map +1 -1
- package/dist/ir/program-context.d.ts +7 -0
- package/dist/ir/program-context.d.ts.map +1 -1
- package/dist/ir/program-context.js +7 -2
- package/dist/ir/program-context.js.map +1 -1
- package/dist/ir/statement-converter.d.ts +0 -2
- package/dist/ir/statement-converter.d.ts.map +1 -1
- package/dist/ir/statement-converter.js +0 -3
- package/dist/ir/statement-converter.js.map +1 -1
- package/dist/ir/type-system/internal/handle-types.d.ts +16 -16
- package/dist/ir/type-system/internal/handle-types.d.ts.map +1 -1
- package/dist/ir/type-system/internal/nominal-env.d.ts +0 -2
- package/dist/ir/type-system/internal/nominal-env.d.ts.map +1 -1
- package/dist/ir/type-system/internal/nominal-env.js +2 -6
- package/dist/ir/type-system/internal/nominal-env.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/converter.d.ts +3 -1
- package/dist/ir/type-system/internal/type-converter/converter.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/converter.js +3 -1
- package/dist/ir/type-system/internal/type-converter/converter.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/objects.js +7 -1
- package/dist/ir/type-system/internal/type-converter/objects.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/orchestrator.d.ts +0 -2
- package/dist/ir/type-system/internal/type-converter/orchestrator.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/orchestrator.js +318 -24
- package/dist/ir/type-system/internal/type-converter/orchestrator.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/orchestrator.test.d.ts +2 -0
- package/dist/ir/type-system/internal/type-converter/orchestrator.test.d.ts.map +1 -0
- package/dist/ir/type-system/internal/type-converter/orchestrator.test.js +265 -0
- package/dist/ir/type-system/internal/type-converter/orchestrator.test.js.map +1 -0
- package/dist/ir/type-system/internal/type-converter/primitives.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/primitives.js +5 -0
- package/dist/ir/type-system/internal/type-converter/primitives.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/references.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/references.js +172 -26
- package/dist/ir/type-system/internal/type-converter/references.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/utility-types.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-converter/utility-types.js +154 -4
- package/dist/ir/type-system/internal/type-converter/utility-types.js.map +1 -1
- package/dist/ir/type-system/internal/type-converter/utility-types.test.js +91 -1
- package/dist/ir/type-system/internal/type-converter/utility-types.test.js.map +1 -1
- package/dist/ir/type-system/internal/type-registry.d.ts +1 -1
- package/dist/ir/type-system/internal/type-registry.d.ts.map +1 -1
- package/dist/ir/type-system/internal/type-registry.js +15 -11
- package/dist/ir/type-system/internal/type-registry.js.map +1 -1
- package/dist/ir/type-system/internal/universe/alias-table.d.ts +0 -14
- package/dist/ir/type-system/internal/universe/alias-table.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/alias-table.js +0 -17
- package/dist/ir/type-system/internal/universe/alias-table.js.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-catalog.d.ts +3 -0
- package/dist/ir/type-system/internal/universe/clr-catalog.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-catalog.js +4 -1027
- package/dist/ir/type-system/internal/universe/clr-catalog.js.map +1 -1
- package/dist/ir/type-system/internal/universe/clr-entry-converter.d.ts +51 -0
- package/dist/ir/type-system/internal/universe/clr-entry-converter.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-entry-converter.js +657 -0
- package/dist/ir/type-system/internal/universe/clr-entry-converter.js.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.d.ts +52 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.js +415 -0
- package/dist/ir/type-system/internal/universe/clr-type-parser.js.map +1 -0
- package/dist/ir/type-system/internal/universe/index.d.ts +1 -1
- package/dist/ir/type-system/internal/universe/index.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/index.js +1 -3
- package/dist/ir/type-system/internal/universe/index.js.map +1 -1
- package/dist/ir/type-system/internal/universe/source-catalog.js +3 -1
- package/dist/ir/type-system/internal/universe/source-catalog.js.map +1 -1
- package/dist/ir/type-system/internal/universe/types.d.ts +7 -0
- package/dist/ir/type-system/internal/universe/types.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/types.js.map +1 -1
- package/dist/ir/type-system/internal/universe/unified-universe.d.ts.map +1 -1
- package/dist/ir/type-system/internal/universe/unified-universe.js +16 -1
- package/dist/ir/type-system/internal/universe/unified-universe.js.map +1 -1
- package/dist/ir/type-system/internal/universe/unified-universe.test.d.ts +2 -0
- package/dist/ir/type-system/internal/universe/unified-universe.test.d.ts.map +1 -0
- package/dist/ir/type-system/internal/universe/unified-universe.test.js +89 -0
- package/dist/ir/type-system/internal/universe/unified-universe.test.js.map +1 -0
- package/dist/ir/type-system/type-system-call-resolution.d.ts +69 -0
- package/dist/ir/type-system/type-system-call-resolution.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-call-resolution.js +1121 -0
- package/dist/ir/type-system/type-system-call-resolution.js.map +1 -0
- package/dist/ir/type-system/type-system-inference.d.ts +98 -0
- package/dist/ir/type-system/type-system-inference.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-inference.js +1083 -0
- package/dist/ir/type-system/type-system-inference.js.map +1 -0
- package/dist/ir/type-system/type-system-relations.d.ts +15 -0
- package/dist/ir/type-system/type-system-relations.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-relations.js +152 -0
- package/dist/ir/type-system/type-system-relations.js.map +1 -0
- package/dist/ir/type-system/type-system-state.d.ts +436 -0
- package/dist/ir/type-system/type-system-state.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-state.js +212 -0
- package/dist/ir/type-system/type-system-state.js.map +1 -0
- package/dist/ir/type-system/type-system-utilities.d.ts +56 -0
- package/dist/ir/type-system/type-system-utilities.d.ts.map +1 -0
- package/dist/ir/type-system/type-system-utilities.js +373 -0
- package/dist/ir/type-system/type-system-utilities.js.map +1 -0
- package/dist/ir/type-system/type-system.d.ts +17 -350
- package/dist/ir/type-system/type-system.d.ts.map +1 -1
- package/dist/ir/type-system/type-system.js +67 -2764
- package/dist/ir/type-system/type-system.js.map +1 -1
- package/dist/ir/types/index.d.ts +1 -0
- package/dist/ir/types/index.d.ts.map +1 -1
- package/dist/ir/types/index.js +1 -0
- package/dist/ir/types/index.js.map +1 -1
- package/dist/ir/types/ir-substitution.js +1 -1
- package/dist/ir/types/ir-substitution.js.map +1 -1
- package/dist/ir/types/ir-types.d.ts.map +1 -1
- package/dist/ir/types/module.d.ts +11 -0
- package/dist/ir/types/module.d.ts.map +1 -1
- package/dist/ir/types/statements.d.ts +1 -1
- package/dist/ir/types/type-ops.d.ts +9 -0
- package/dist/ir/types/type-ops.d.ts.map +1 -0
- package/dist/ir/types/type-ops.js +134 -0
- package/dist/ir/types/type-ops.js.map +1 -0
- package/dist/ir/types/type-ops.test.d.ts +2 -0
- package/dist/ir/types/type-ops.test.d.ts.map +1 -0
- package/dist/ir/types/type-ops.test.js +73 -0
- package/dist/ir/types/type-ops.test.js.map +1 -0
- package/dist/ir/validation/anonymous-type-lowering-pass.d.ts.map +1 -1
- package/dist/ir/validation/anonymous-type-lowering-pass.js +101 -49
- package/dist/ir/validation/anonymous-type-lowering-pass.js.map +1 -1
- package/dist/ir/validation/arrow-return-finalization-pass.js +13 -3
- package/dist/ir/validation/arrow-return-finalization-pass.js.map +1 -1
- package/dist/ir/validation/attribute-collection/arg-extractor.d.ts +58 -0
- package/dist/ir/validation/attribute-collection/arg-extractor.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection/arg-extractor.js +284 -0
- package/dist/ir/validation/attribute-collection/arg-extractor.js.map +1 -0
- package/dist/ir/validation/attribute-collection/marker-parser.d.ts +28 -0
- package/dist/ir/validation/attribute-collection/marker-parser.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection/marker-parser.js +404 -0
- package/dist/ir/validation/attribute-collection/marker-parser.js.map +1 -0
- package/dist/ir/validation/attribute-collection/orchestrator.d.ts +28 -0
- package/dist/ir/validation/attribute-collection/orchestrator.d.ts.map +1 -0
- package/dist/ir/validation/attribute-collection/orchestrator.js +332 -0
- package/dist/ir/validation/attribute-collection/orchestrator.js.map +1 -0
- package/dist/ir/validation/attribute-collection-pass.d.ts +1 -23
- package/dist/ir/validation/attribute-collection-pass.d.ts.map +1 -1
- package/dist/ir/validation/attribute-collection-pass.js +1 -953
- package/dist/ir/validation/attribute-collection-pass.js.map +1 -1
- package/dist/ir/validation/attribute-collection-pass.test.js +42 -19
- package/dist/ir/validation/attribute-collection-pass.test.js.map +1 -1
- package/dist/ir/validation/char-validation-pass.d.ts.map +1 -1
- package/dist/ir/validation/char-validation-pass.js +6 -3
- package/dist/ir/validation/char-validation-pass.js.map +1 -1
- package/dist/ir/validation/numeric-coercion-pass.d.ts.map +1 -1
- package/dist/ir/validation/numeric-coercion-pass.js.map +1 -1
- package/dist/ir/validation/numeric-invariants.test.js +46 -0
- package/dist/ir/validation/numeric-invariants.test.js.map +1 -1
- package/dist/ir/validation/numeric-proof-pass.d.ts.map +1 -1
- package/dist/ir/validation/numeric-proof-pass.js +68 -1
- package/dist/ir/validation/numeric-proof-pass.js.map +1 -1
- package/dist/ir/validation/rest-type-synthesis-pass.js +1 -1
- package/dist/ir/validation/rest-type-synthesis-pass.js.map +1 -1
- package/dist/ir/validation/soundness-gate.d.ts.map +1 -1
- package/dist/ir/validation/soundness-gate.js +8 -5
- package/dist/ir/validation/soundness-gate.js.map +1 -1
- package/dist/ir/validation/soundness-gate.test.js +158 -0
- package/dist/ir/validation/soundness-gate.test.js.map +1 -1
- package/dist/ir/validation/yield-lowering-pass.d.ts +11 -5
- package/dist/ir/validation/yield-lowering-pass.d.ts.map +1 -1
- package/dist/ir/validation/yield-lowering-pass.js +942 -48
- package/dist/ir/validation/yield-lowering-pass.js.map +1 -1
- package/dist/ir/validation/yield-lowering-pass.test.js +1333 -127
- package/dist/ir/validation/yield-lowering-pass.test.js.map +1 -1
- package/dist/program/binding-loader.d.ts +37 -0
- package/dist/program/binding-loader.d.ts.map +1 -0
- package/dist/program/binding-loader.js +155 -0
- package/dist/program/binding-loader.js.map +1 -0
- package/dist/program/binding-registry.d.ts +106 -0
- package/dist/program/binding-registry.d.ts.map +1 -0
- package/dist/program/binding-registry.js +590 -0
- package/dist/program/binding-registry.js.map +1 -0
- package/dist/program/binding-types.d.ts +166 -0
- package/dist/program/binding-types.d.ts.map +1 -0
- package/dist/program/binding-types.js +57 -0
- package/dist/program/binding-types.js.map +1 -0
- package/dist/program/bindings.d.ts +6 -271
- package/dist/program/bindings.d.ts.map +1 -1
- package/dist/program/bindings.js +7 -781
- package/dist/program/bindings.js.map +1 -1
- package/dist/program/clr-bindings-discovery.d.ts +19 -0
- package/dist/program/clr-bindings-discovery.d.ts.map +1 -0
- package/dist/program/clr-bindings-discovery.js +150 -0
- package/dist/program/clr-bindings-discovery.js.map +1 -0
- package/dist/program/clr-bindings-discovery.test.d.ts +2 -0
- package/dist/program/clr-bindings-discovery.test.d.ts.map +1 -0
- package/dist/program/clr-bindings-discovery.test.js +119 -0
- package/dist/program/clr-bindings-discovery.test.js.map +1 -0
- package/dist/program/creation.d.ts.map +1 -1
- package/dist/program/creation.js +2 -1
- package/dist/program/creation.js.map +1 -1
- package/dist/program/creation.test.js.map +1 -1
- package/dist/program/dependency-graph.d.ts +2 -2
- package/dist/program/dependency-graph.d.ts.map +1 -1
- package/dist/program/dependency-graph.js +26 -42
- package/dist/program/dependency-graph.js.map +1 -1
- package/dist/resolver/clr-bindings-resolver.d.ts +0 -1
- package/dist/resolver/clr-bindings-resolver.d.ts.map +1 -1
- package/dist/resolver/clr-bindings-resolver.js +22 -30
- package/dist/resolver/clr-bindings-resolver.js.map +1 -1
- package/dist/resolver/clr-bindings-resolver.test.js +0 -27
- package/dist/resolver/clr-bindings-resolver.test.js.map +1 -1
- package/dist/resolver/import-resolution.d.ts +1 -1
- package/dist/resolver/import-resolution.d.ts.map +1 -1
- package/dist/resolver/import-resolution.js +2 -7
- package/dist/resolver/import-resolution.js.map +1 -1
- package/dist/resolver/namespace.d.ts.map +1 -1
- package/dist/resolver/namespace.js +1 -3
- package/dist/resolver/namespace.js.map +1 -1
- package/dist/resolver/naming.d.ts.map +1 -1
- package/dist/resolver/naming.js +1 -0
- package/dist/resolver/naming.js.map +1 -1
- package/dist/tsbindgen/names.d.ts.map +1 -1
- package/dist/tsbindgen/names.js +4 -2
- package/dist/tsbindgen/names.js.map +1 -1
- package/dist/types/diagnostic.d.ts +1 -1
- package/dist/types/diagnostic.d.ts.map +1 -1
- package/dist/types/diagnostic.js.map +1 -1
- package/dist/validation/core-intrinsics.d.ts.map +1 -1
- package/dist/validation/core-intrinsics.js +3 -1
- package/dist/validation/core-intrinsics.js.map +1 -1
- package/dist/validation/extension-methods.d.ts.map +1 -1
- package/dist/validation/extension-methods.js.map +1 -1
- package/dist/validation/features.d.ts.map +1 -1
- package/dist/validation/features.js +38 -13
- package/dist/validation/features.js.map +1 -1
- package/dist/validation/features.test.d.ts +2 -0
- package/dist/validation/features.test.d.ts.map +1 -0
- package/dist/validation/features.test.js +273 -0
- package/dist/validation/features.test.js.map +1 -0
- package/dist/validation/generics.d.ts +1 -1
- package/dist/validation/generics.d.ts.map +1 -1
- package/dist/validation/generics.js +2 -26
- package/dist/validation/generics.js.map +1 -1
- package/dist/validation/imports.d.ts.map +1 -1
- package/dist/validation/imports.js +2 -1
- package/dist/validation/imports.js.map +1 -1
- package/dist/validation/imports.test.d.ts +2 -0
- package/dist/validation/imports.test.d.ts.map +1 -0
- package/dist/validation/imports.test.js +112 -0
- package/dist/validation/imports.test.js.map +1 -0
- package/dist/validation/static-safety.d.ts +6 -6
- package/dist/validation/static-safety.d.ts.map +1 -1
- package/dist/validation/static-safety.js +163 -94
- package/dist/validation/static-safety.js.map +1 -1
- package/dist/validation/unsupported-utility-types.d.ts +3 -3
- package/dist/validation/unsupported-utility-types.d.ts.map +1 -1
- package/dist/validation/unsupported-utility-types.js +4 -7
- package/dist/validation/unsupported-utility-types.js.map +1 -1
- package/dist/validator.maximus.test.d.ts +2 -0
- package/dist/validator.maximus.test.d.ts.map +1 -0
- package/dist/validator.maximus.test.js +1214 -0
- package/dist/validator.maximus.test.js.map +1 -0
- package/dist/validator.test.js +152 -18
- package/dist/validator.test.js.map +1 -1
- package/package.json +1 -1
- package/dist/ir/converters/statements/declarations/registry.d.ts +0 -96
- package/dist/ir/converters/statements/declarations/registry.d.ts.map +0 -1
- package/dist/ir/converters/statements/declarations/registry.js +0 -130
- package/dist/ir/converters/statements/declarations/registry.js.map +0 -1
- package/dist/ir/this-parameter-inference.test.d.ts +0 -13
- package/dist/ir/this-parameter-inference.test.d.ts.map +0 -1
- package/dist/ir/this-parameter-inference.test.js +0 -165
- package/dist/ir/this-parameter-inference.test.js.map +0 -1
- package/dist/metadata/bindings-loader.d.ts +0 -41
- package/dist/metadata/bindings-loader.d.ts.map +0 -1
- package/dist/metadata/bindings-loader.js +0 -308
- package/dist/metadata/bindings-loader.js.map +0 -1
- package/dist/metadata/bindings-loader.test.d.ts +0 -5
- package/dist/metadata/bindings-loader.test.d.ts.map +0 -1
- package/dist/metadata/bindings-loader.test.js +0 -117
- package/dist/metadata/bindings-loader.test.js.map +0 -1
- package/dist/metadata/index.d.ts +0 -8
- package/dist/metadata/index.d.ts.map +0 -1
- package/dist/metadata/index.js +0 -7
- package/dist/metadata/index.js.map +0 -1
- package/dist/metadata/library-loader.d.ts +0 -42
- package/dist/metadata/library-loader.d.ts.map +0 -1
- package/dist/metadata/library-loader.js +0 -126
- package/dist/metadata/library-loader.js.map +0 -1
- package/dist/metadata/loader.d.ts +0 -26
- package/dist/metadata/loader.d.ts.map +0 -1
- package/dist/metadata/loader.js +0 -333
- package/dist/metadata/loader.js.map +0 -1
- package/dist/metadata/loader.test.d.ts +0 -5
- package/dist/metadata/loader.test.d.ts.map +0 -1
- package/dist/metadata/loader.test.js +0 -119
- package/dist/metadata/loader.test.js.map +0 -1
- package/dist/resolver/naming-policy.d.ts +0 -20
- package/dist/resolver/naming-policy.d.ts.map +0 -1
- package/dist/resolver/naming-policy.js +0 -40
- package/dist/resolver/naming-policy.js.map +0 -1
- package/dist/types/bindings.d.ts +0 -153
- package/dist/types/bindings.d.ts.map +0 -1
- package/dist/types/bindings.js +0 -14
- package/dist/types/bindings.js.map +0 -1
- package/dist/types/metadata.d.ts +0 -196
- package/dist/types/metadata.d.ts.map +0 -1
- package/dist/types/metadata.js +0 -10
- package/dist/types/metadata.js.map +0 -1
- package/dist/types/nested-types.d.ts +0 -111
- package/dist/types/nested-types.d.ts.map +0 -1
- package/dist/types/nested-types.js +0 -176
- package/dist/types/nested-types.js.map +0 -1
- package/dist/types/nested-types.test.d.ts +0 -5
- package/dist/types/nested-types.test.d.ts.map +0 -1
- package/dist/types/nested-types.test.js +0 -135
- package/dist/types/nested-types.test.js.map +0 -1
- package/dist/types/ref-parameters.d.ts +0 -123
- package/dist/types/ref-parameters.d.ts.map +0 -1
- package/dist/types/ref-parameters.js +0 -203
- package/dist/types/ref-parameters.js.map +0 -1
- package/dist/types/ref-parameters.test.d.ts +0 -5
- package/dist/types/ref-parameters.test.d.ts.map +0 -1
- package/dist/types/ref-parameters.test.js +0 -147
- package/dist/types/ref-parameters.test.js.map +0 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dotnet-metadata.js","sourceRoot":"","sources":["../src/dotnet-metadata.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;
|
|
1
|
+
{"version":3,"file":"dotnet-metadata.js","sourceRoot":"","sources":["../src/dotnet-metadata.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAuFH;;;GAGG;AACH,MAAM,OAAO,sBAAsB;IAAnC;QACmB,aAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IAmPpE,CAAC;IAjPS,iBAAiB,CACvB,IAAgE;QAEhE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAC1C,OAAO,CAAC,GAAG,IAAI,CAAC;aACb,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;aACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;aACtC,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,CAAC;IAEO,iBAAiB,CACvB,cAAiC,EACjC,YAAoB;QAEpB,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,YAAY,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;QAC7D,OAAO,GAAG,QAAQ,IAAI,IAAI,EAAE,CAAC;IAC/B,CAAC;IAEO,wBAAwB,CAC9B,kBAAsC;QAEtC,IAAI,CAAC,kBAAkB;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACrD,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACzC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAEtC,sEAAsE;QACtE,+EAA+E;QAC/E,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,EAAE,CAAC;YAChB,CAAC;iBAAM,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACtB,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,EAAE,CAAC;YAChB,CAAC;iBAAM,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5B,OAAO,GAAG,EAAE,CAAC;YACf,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,EAAE,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,SAAiB,EAAE,OAA8B;QAChE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YACjC,MAAM,OAAO,GAA+C;gBAC1D,KAAK,EAAE,OAAO;gBACd,SAAS,EAAE,WAAW;gBACtB,MAAM,EAAE,QAAQ;gBAChB,IAAI,EAAE,MAAM;aACb,CAAC;YAEF,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,OAAO,CAAC;YAEjD,MAAM,aAAa,GACjB;gBACE,MAAM,EAAE,QAAQ;gBAChB,SAAS,EAAE,WAAW;gBACtB,iBAAiB,EAAE,oBAAoB;gBACvC,QAAQ,EAAE,UAAU;gBACpB,OAAO,EAAE,SAAS;aACnB,CAAC;YAEJ,MAAM,UAAU,GAAG,IAAI,GAAG,EAAgC,CAAC;YAC3D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBACzC,IAAI,IAAI,CAAC,QAAQ;oBAAE,SAAS;gBAC5B,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE;oBAC3B,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI;oBAC5D,MAAM,EAAE,IAAI,CAAC,QAAQ,KAAK,IAAI;oBAC9B,QAAQ,EAAE,IAAI,CAAC,UAAU,KAAK,IAAI;oBAClC,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,IAAI,SAAS;iBAC9D,CAAC,CAAC;YACL,CAAC;YAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAGpB,CAAC;YACJ,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBACxC,IAAI,MAAM,CAAC,QAAQ;oBAAE,SAAS;gBAC9B,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC;gBACzC,IAAI,OAAO,UAAU,KAAK,QAAQ;oBAAE,SAAS;gBAE7C,MAAM,UAAU,GAAG,IAAI,CAAC,wBAAwB,CAC9C,MAAM,CAAC,kBAAkB,CAC1B,CAAC;gBACF,IAAI,CAAC,UAAU;oBAAE,SAAS;gBAE1B,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;gBACvE,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;gBAEtE,MAAM,OAAO,GACX,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;oBAC3B,IAAI,GAAG,EAA6C,CAAC;gBAEvD,MAAM,WAAW,GACf,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,GAAG,EAAgC,CAAC;gBAErE,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC/C,MAAM,IAAI,GAAyB,QAAQ;oBACzC,CAAC,CAAC;wBACE,IAAI,EAAE,QAAQ;wBACd,OAAO,EACL,QAAQ,CAAC,OAAO,KAAK,IAAI;4BACzB,MAAM,CAAC,SAAS,KAAK,IAAI;4BACzB,MAAM,CAAC,UAAU,KAAK,IAAI;wBAC5B,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;wBAC5D,QAAQ,EACN,QAAQ,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;wBAC1D,UAAU,EACR,QAAQ,CAAC,UAAU;4BACnB,aAAa,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;4BACtC,SAAS;qBACZ;oBACH,CAAC,CAAC;wBACE,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,MAAM,CAAC,SAAS,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;wBAChE,MAAM,EAAE,MAAM,CAAC,QAAQ,KAAK,IAAI;wBAChC,QAAQ,EAAE,MAAM,CAAC,UAAU,KAAK,IAAI;wBACpC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,IAAI,SAAS;qBAChE,CAAC;gBAEN,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;gBACpC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;gBACrC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACvC,CAAC;YAED,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE;gBAC9B,IAAI;gBACJ,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO;gBAChC,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE;gBACxD,OAAO;gBACP,UAAU;aACX,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,aAAqB;QACnC,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC;IAED;;;;OAIG;IACH,iBAAiB,CACf,iBAAyB,EACzB,UAAkB,EAClB,cAAiC,EACjC,YAAoB;QAEpB,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;QAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,IAAI,OAAO,GAAuB,iBAAiB,CAAC;QACpD,OAAO,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAErB,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAChD,IAAI,CAAC,YAAY;gBAAE,OAAO,SAAS,CAAC;YAEpC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACrD,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC;gBACzC,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAC5C,IAAI,WAAW,EAAE,CAAC;oBAChB,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;oBAC5C,IAAI,KAAK;wBAAE,OAAO,KAAK,CAAC;gBAC1B,CAAC;YACH,CAAC;YAED,OAAO,GAAG,YAAY,CAAC,QAAQ,CAAC;QAClC,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,sBAAsB,CACpB,iBAAyB,EACzB,UAAkB,EAClB,cAAsB;QAEtB,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC1D,IAAI,CAAC,YAAY;YAAE,OAAO,CAAC,CAAC;QAE5B,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACrD,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,CAAC;QAEvB,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAChD,OAAO,WAAW,EAAE,IAAI,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,mBAAmB,CACjB,iBAAyB,EACzB,YAAoB;QAEpB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,IAAI,OAAO,GAAuB,iBAAiB,CAAC;QACpD,OAAO,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACrB,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAChD,IAAI,CAAC,YAAY;gBAAE,OAAO,SAAS,CAAC;YACpC,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACxD,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;YACxB,OAAO,GAAG,YAAY,CAAC,QAAQ,CAAC;QAClC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,eAAe;QACb,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;IACxB,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,UAAkB,EAClB,cAAiC,EACzB,EAAE;IACV,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,GAAG,UAAU,IAAI,CAAC;IAC3B,CAAC;IACD,OAAO,GAAG,UAAU,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACtD,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dotnet-metadata.test.js","sourceRoot":"","sources":["../src/dotnet-metadata.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,QAAQ,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAE9C,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE;YAChC,SAAS,EAAE,MAAM;YACjB,KAAK,EAAE;gBACL;oBACE,OAAO,EAAE,WAAW;oBACpB,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE;wBACP;4BACE,OAAO,EAAE,OAAO;4BAChB,cAAc,EAAE,CAAC;4BACjB,kBAAkB,EAAE,2BAA2B;4BAC/C,SAAS,EAAE,IAAI;4BACf,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,QAAQ;yBACrB;wBACD;4BACE,OAAO,EAAE,OAAO;4BAChB,cAAc,EAAE,CAAC;4BACjB,kBAAkB,EAAE,6BAA6B;4BACjD,SAAS,EAAE,IAAI;4BACf,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,QAAQ;yBACrB;qBACF;oBACD,UAAU,EAAE,EAAE;iBACf;aACF;SACF,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,
|
|
1
|
+
{"version":3,"file":"dotnet-metadata.test.js","sourceRoot":"","sources":["../src/dotnet-metadata.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,QAAQ,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAE9C,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE;YAChC,SAAS,EAAE,MAAM;YACjB,KAAK,EAAE;gBACL;oBACE,OAAO,EAAE,WAAW;oBACpB,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE;wBACP;4BACE,OAAO,EAAE,OAAO;4BAChB,cAAc,EAAE,CAAC;4BACjB,kBAAkB,EAAE,2BAA2B;4BAC/C,SAAS,EAAE,IAAI;4BACf,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,QAAQ;yBACrB;wBACD;4BACE,OAAO,EAAE,OAAO;4BAChB,cAAc,EAAE,CAAC;4BACjB,kBAAkB,EAAE,6BAA6B;4BACjD,SAAS,EAAE,IAAI;4BACf,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,QAAQ;yBACrB;qBACF;oBACD,UAAU,EAAE,EAAE;iBACf;aACF;SACF,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACvE,CAAC,CACF,CAAC;QAEF,MAAM,QAAQ,GAAG,QAAQ,CAAC,iBAAiB,CACzC,WAAW,EACX,OAAO,EACP,CAAC,aAAa,CAAC,EACf,EAAE,CACH,CAAC;QACF,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEzC,MAAM,UAAU,GAAG,QAAQ,CAAC,iBAAiB,CAC3C,WAAW,EACX,OAAO,EACP,CAAC,eAAe,CAAC,EACjB,EAAE,CACH,CAAC;QACF,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,QAAQ,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAE9C,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE;YAChC,SAAS,EAAE,MAAM;YACjB,KAAK,EAAE;gBACL;oBACE,OAAO,EAAE,WAAW;oBACpB,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE;wBACP;4BACE,OAAO,EAAE,QAAQ;4BACjB,cAAc,EAAE,CAAC;4BACjB,kBAAkB,EAAE,gCAAgC;4BACpD,SAAS,EAAE,IAAI;4BACf,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,QAAQ;4BACpB,kBAAkB,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;yBACpD;wBACD;4BACE,OAAO,EAAE,QAAQ;4BACjB,cAAc,EAAE,CAAC;4BACjB,kBAAkB,EAAE,gCAAgC;4BACpD,SAAS,EAAE,IAAI;4BACf,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,QAAQ;4BACpB,kBAAkB,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;yBACpD;qBACF;oBACD,UAAU,EAAE,EAAE;iBACf;aACF;SACF,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACxE,CAAC,CACF,CAAC;QAEF,MAAM,OAAO,GAAG,QAAQ,CAAC,iBAAiB,CACxC,WAAW,EACX,QAAQ,EACR,CAAC,eAAe,CAAC,EACjB,OAAO,CACR,CAAC;QACF,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAExC,MAAM,OAAO,GAAG,QAAQ,CAAC,iBAAiB,CACxC,WAAW,EACX,QAAQ,EACR,CAAC,eAAe,CAAC,EACjB,OAAO,CACR,CAAC;QACF,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,QAAQ,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAE9C,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE;YAChC,SAAS,EAAE,MAAM;YACjB,KAAK,EAAE;gBACL;oBACE,OAAO,EAAE,WAAW;oBACpB,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE;wBACP;4BACE,OAAO,EAAE,SAAS;4BAClB,cAAc,EAAE,CAAC;4BACjB,kBAAkB,EAAE,gBAAgB;4BACpC,SAAS,EAAE,KAAK;4BAChB,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,QAAQ;yBACrB;qBACF;oBACD,UAAU,EAAE;wBACV;4BACE,OAAO,EAAE,OAAO;4BAChB,QAAQ,EAAE,KAAK;4BACf,SAAS,EAAE,KAAK;4BAChB,UAAU,EAAE,QAAQ;yBACrB;qBACF;iBACF;gBACD;oBACE,OAAO,EAAE,cAAc;oBACvB,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE;oBAClC,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,EAAE;iBACf;aACF;SACF,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,QAAQ,CAAC,iBAAiB,CAC5C,cAAc,EACd,SAAS,EACT,EAAE,EACF,EAAE,CACH,CAAC;QACF,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAE7C,MAAM,SAAS,GAAG,QAAQ,CAAC,mBAAmB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import * as ts from "typescript";
|
|
2
|
+
export type GenericFunctionValueNode = ts.ArrowFunction | ts.FunctionExpression;
|
|
3
|
+
export declare const isGenericFunctionValueNode: (node: ts.Node) => node is GenericFunctionValueNode;
|
|
4
|
+
export declare const isGenericFunctionDeclarationNode: (node: ts.Node) => node is ts.FunctionDeclaration;
|
|
5
|
+
export declare const isDeterministicGenericFunctionAliasTargetSymbol: (symbol: ts.Symbol, supportedSymbols: ReadonlySet<ts.Symbol>) => boolean;
|
|
6
|
+
export declare const collectWrittenSymbols: (sourceFile: ts.SourceFile, checker: ts.TypeChecker) => ReadonlySet<ts.Symbol>;
|
|
7
|
+
export declare const getSupportedGenericFunctionValueSymbol: (node: GenericFunctionValueNode, checker: ts.TypeChecker, writtenSymbols: ReadonlySet<ts.Symbol>) => ts.Symbol | undefined;
|
|
8
|
+
export declare const getSupportedGenericFunctionDeclarationSymbol: (node: ts.FunctionDeclaration, checker: ts.TypeChecker) => ts.Symbol | undefined;
|
|
9
|
+
export declare const getSupportedGenericFunctionAliasSymbol: (declaration: ts.VariableDeclaration, checker: ts.TypeChecker, writtenSymbols: ReadonlySet<ts.Symbol>, supportedSymbols: ReadonlySet<ts.Symbol>) => ts.Symbol | undefined;
|
|
10
|
+
export declare const collectSupportedGenericFunctionValueSymbols: (sourceFile: ts.SourceFile, checker: ts.TypeChecker, writtenSymbols: ReadonlySet<ts.Symbol>) => ReadonlySet<ts.Symbol>;
|
|
11
|
+
//# sourceMappingURL=generic-function-values.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"generic-function-values.d.ts","sourceRoot":"","sources":["../src/generic-function-values.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,MAAM,wBAAwB,GAAG,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,CAAC;AAEhF,eAAO,MAAM,0BAA0B,GACrC,MAAM,EAAE,CAAC,IAAI,KACZ,IAAI,IAAI,wBAGqB,CAAC;AAEjC,eAAO,MAAM,gCAAgC,GAC3C,MAAM,EAAE,CAAC,IAAI,KACZ,IAAI,IAAI,EAAE,CAAC,mBAIkB,CAAC;AAgBjC,eAAO,MAAM,+CAA+C,GAC1D,QAAQ,EAAE,CAAC,MAAM,EACjB,kBAAkB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,KACvC,OACyE,CAAC;AAyH7E,eAAO,MAAM,qBAAqB,GAChC,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,EAAE,CAAC,WAAW,KACtB,WAAW,CAAC,EAAE,CAAC,MAAM,CA8BvB,CAAC;AAEF,eAAO,MAAM,sCAAsC,GACjD,MAAM,wBAAwB,EAC9B,SAAS,EAAE,CAAC,WAAW,EACvB,gBAAgB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,KACrC,EAAE,CAAC,MAAM,GAAG,SAkBd,CAAC;AAEF,eAAO,MAAM,4CAA4C,GACvD,MAAM,EAAE,CAAC,mBAAmB,EAC5B,SAAS,EAAE,CAAC,WAAW,KACtB,EAAE,CAAC,MAAM,GAAG,SAGd,CAAC;AA2BF,eAAO,MAAM,sCAAsC,GACjD,aAAa,EAAE,CAAC,mBAAmB,EACnC,SAAS,EAAE,CAAC,WAAW,EACvB,gBAAgB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,EACtC,kBAAkB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,KACvC,EAAE,CAAC,MAAM,GAAG,SAed,CAAC;AAEF,eAAO,MAAM,2CAA2C,GACtD,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,EAAE,CAAC,WAAW,EACvB,gBAAgB,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,KACrC,WAAW,CAAC,EAAE,CAAC,MAAM,CAwDvB,CAAC"}
|
|
@@ -0,0 +1,243 @@
|
|
|
1
|
+
import * as ts from "typescript";
|
|
2
|
+
export const isGenericFunctionValueNode = (node) => (ts.isArrowFunction(node) || ts.isFunctionExpression(node)) &&
|
|
3
|
+
!!node.typeParameters &&
|
|
4
|
+
node.typeParameters.length > 0;
|
|
5
|
+
export const isGenericFunctionDeclarationNode = (node) => ts.isFunctionDeclaration(node) &&
|
|
6
|
+
!!node.name &&
|
|
7
|
+
!!node.typeParameters &&
|
|
8
|
+
node.typeParameters.length > 0;
|
|
9
|
+
const isGenericFunctionDeclarationSymbol = (symbol) => {
|
|
10
|
+
const declarations = symbol.declarations;
|
|
11
|
+
if (!declarations || declarations.length === 0)
|
|
12
|
+
return false;
|
|
13
|
+
for (const declaration of declarations) {
|
|
14
|
+
if (ts.isFunctionDeclaration(declaration) &&
|
|
15
|
+
isGenericFunctionDeclarationNode(declaration)) {
|
|
16
|
+
return true;
|
|
17
|
+
}
|
|
18
|
+
}
|
|
19
|
+
return false;
|
|
20
|
+
};
|
|
21
|
+
export const isDeterministicGenericFunctionAliasTargetSymbol = (symbol, supportedSymbols) => supportedSymbols.has(symbol) || isGenericFunctionDeclarationSymbol(symbol);
|
|
22
|
+
const resolveSymbol = (checker, node) => {
|
|
23
|
+
const symbol = checker.getSymbolAtLocation(node);
|
|
24
|
+
if (!symbol)
|
|
25
|
+
return undefined;
|
|
26
|
+
if (symbol.flags & ts.SymbolFlags.Alias) {
|
|
27
|
+
return checker.getAliasedSymbol(symbol);
|
|
28
|
+
}
|
|
29
|
+
return symbol;
|
|
30
|
+
};
|
|
31
|
+
const getVariableDeclarationList = (declaration) => {
|
|
32
|
+
const list = declaration.parent;
|
|
33
|
+
if (!ts.isVariableDeclarationList(list)) {
|
|
34
|
+
return undefined;
|
|
35
|
+
}
|
|
36
|
+
return list;
|
|
37
|
+
};
|
|
38
|
+
const getConstLetKind = (declaration) => {
|
|
39
|
+
const list = getVariableDeclarationList(declaration);
|
|
40
|
+
if (!list)
|
|
41
|
+
return undefined;
|
|
42
|
+
const isConst = (list.flags & ts.NodeFlags.Const) !== 0;
|
|
43
|
+
const isLet = (list.flags & ts.NodeFlags.Let) !== 0;
|
|
44
|
+
if (!isConst && !isLet)
|
|
45
|
+
return undefined;
|
|
46
|
+
return { isConst, isLet };
|
|
47
|
+
};
|
|
48
|
+
const getVariableDeclarationSymbol = (checker, declaration) => {
|
|
49
|
+
if (!ts.isIdentifier(declaration.name))
|
|
50
|
+
return undefined;
|
|
51
|
+
return resolveSymbol(checker, declaration.name);
|
|
52
|
+
};
|
|
53
|
+
const isAssignmentOperator = (kind) => {
|
|
54
|
+
switch (kind) {
|
|
55
|
+
case ts.SyntaxKind.EqualsToken:
|
|
56
|
+
case ts.SyntaxKind.PlusEqualsToken:
|
|
57
|
+
case ts.SyntaxKind.MinusEqualsToken:
|
|
58
|
+
case ts.SyntaxKind.AsteriskEqualsToken:
|
|
59
|
+
case ts.SyntaxKind.AsteriskAsteriskEqualsToken:
|
|
60
|
+
case ts.SyntaxKind.SlashEqualsToken:
|
|
61
|
+
case ts.SyntaxKind.PercentEqualsToken:
|
|
62
|
+
case ts.SyntaxKind.LessThanLessThanEqualsToken:
|
|
63
|
+
case ts.SyntaxKind.GreaterThanGreaterThanEqualsToken:
|
|
64
|
+
case ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken:
|
|
65
|
+
case ts.SyntaxKind.AmpersandEqualsToken:
|
|
66
|
+
case ts.SyntaxKind.BarEqualsToken:
|
|
67
|
+
case ts.SyntaxKind.CaretEqualsToken:
|
|
68
|
+
case ts.SyntaxKind.BarBarEqualsToken:
|
|
69
|
+
case ts.SyntaxKind.AmpersandAmpersandEqualsToken:
|
|
70
|
+
case ts.SyntaxKind.QuestionQuestionEqualsToken:
|
|
71
|
+
return true;
|
|
72
|
+
default:
|
|
73
|
+
return false;
|
|
74
|
+
}
|
|
75
|
+
};
|
|
76
|
+
const markAssignmentTargetSymbols = (checker, node, writes) => {
|
|
77
|
+
if (ts.isIdentifier(node)) {
|
|
78
|
+
const symbol = resolveSymbol(checker, node);
|
|
79
|
+
if (symbol)
|
|
80
|
+
writes.add(symbol);
|
|
81
|
+
return;
|
|
82
|
+
}
|
|
83
|
+
if (ts.isParenthesizedExpression(node)) {
|
|
84
|
+
markAssignmentTargetSymbols(checker, node.expression, writes);
|
|
85
|
+
return;
|
|
86
|
+
}
|
|
87
|
+
if (ts.isArrayLiteralExpression(node)) {
|
|
88
|
+
for (const element of node.elements) {
|
|
89
|
+
if (ts.isOmittedExpression(element))
|
|
90
|
+
continue;
|
|
91
|
+
if (ts.isSpreadElement(element)) {
|
|
92
|
+
markAssignmentTargetSymbols(checker, element.expression, writes);
|
|
93
|
+
continue;
|
|
94
|
+
}
|
|
95
|
+
markAssignmentTargetSymbols(checker, element, writes);
|
|
96
|
+
}
|
|
97
|
+
return;
|
|
98
|
+
}
|
|
99
|
+
if (ts.isObjectLiteralExpression(node)) {
|
|
100
|
+
for (const property of node.properties) {
|
|
101
|
+
if (ts.isShorthandPropertyAssignment(property)) {
|
|
102
|
+
markAssignmentTargetSymbols(checker, property.name, writes);
|
|
103
|
+
continue;
|
|
104
|
+
}
|
|
105
|
+
if (ts.isSpreadAssignment(property)) {
|
|
106
|
+
markAssignmentTargetSymbols(checker, property.expression, writes);
|
|
107
|
+
continue;
|
|
108
|
+
}
|
|
109
|
+
if (ts.isPropertyAssignment(property)) {
|
|
110
|
+
markAssignmentTargetSymbols(checker, property.initializer, writes);
|
|
111
|
+
}
|
|
112
|
+
}
|
|
113
|
+
return;
|
|
114
|
+
}
|
|
115
|
+
if (ts.isBinaryExpression(node) &&
|
|
116
|
+
node.operatorToken.kind === ts.SyntaxKind.EqualsToken) {
|
|
117
|
+
markAssignmentTargetSymbols(checker, node.left, writes);
|
|
118
|
+
}
|
|
119
|
+
};
|
|
120
|
+
export const collectWrittenSymbols = (sourceFile, checker) => {
|
|
121
|
+
const writes = new Set();
|
|
122
|
+
const visit = (node) => {
|
|
123
|
+
if (ts.isBinaryExpression(node) &&
|
|
124
|
+
isAssignmentOperator(node.operatorToken.kind)) {
|
|
125
|
+
markAssignmentTargetSymbols(checker, node.left, writes);
|
|
126
|
+
}
|
|
127
|
+
if ((ts.isPrefixUnaryExpression(node) || ts.isPostfixUnaryExpression(node)) &&
|
|
128
|
+
(node.operator === ts.SyntaxKind.PlusPlusToken ||
|
|
129
|
+
node.operator === ts.SyntaxKind.MinusMinusToken)) {
|
|
130
|
+
markAssignmentTargetSymbols(checker, node.operand, writes);
|
|
131
|
+
}
|
|
132
|
+
if (ts.isForInStatement(node) || ts.isForOfStatement(node)) {
|
|
133
|
+
if (!ts.isVariableDeclarationList(node.initializer)) {
|
|
134
|
+
markAssignmentTargetSymbols(checker, node.initializer, writes);
|
|
135
|
+
}
|
|
136
|
+
}
|
|
137
|
+
ts.forEachChild(node, visit);
|
|
138
|
+
};
|
|
139
|
+
visit(sourceFile);
|
|
140
|
+
return writes;
|
|
141
|
+
};
|
|
142
|
+
export const getSupportedGenericFunctionValueSymbol = (node, checker, writtenSymbols) => {
|
|
143
|
+
const decl = node.parent;
|
|
144
|
+
if (!ts.isVariableDeclaration(decl))
|
|
145
|
+
return undefined;
|
|
146
|
+
if (decl.initializer !== node)
|
|
147
|
+
return undefined;
|
|
148
|
+
if (!ts.isIdentifier(decl.name))
|
|
149
|
+
return undefined;
|
|
150
|
+
const kind = getConstLetKind(decl);
|
|
151
|
+
if (!kind)
|
|
152
|
+
return undefined;
|
|
153
|
+
const list = decl.parent;
|
|
154
|
+
const stmt = list.parent;
|
|
155
|
+
if (!ts.isVariableStatement(stmt))
|
|
156
|
+
return undefined;
|
|
157
|
+
const symbol = getVariableDeclarationSymbol(checker, decl);
|
|
158
|
+
if (!symbol)
|
|
159
|
+
return undefined;
|
|
160
|
+
if (kind.isConst)
|
|
161
|
+
return symbol;
|
|
162
|
+
if (!writtenSymbols.has(symbol))
|
|
163
|
+
return symbol;
|
|
164
|
+
return undefined;
|
|
165
|
+
};
|
|
166
|
+
export const getSupportedGenericFunctionDeclarationSymbol = (node, checker) => {
|
|
167
|
+
if (!isGenericFunctionDeclarationNode(node) || !node.name)
|
|
168
|
+
return undefined;
|
|
169
|
+
return resolveSymbol(checker, node.name);
|
|
170
|
+
};
|
|
171
|
+
const resolveAliasTargetSymbol = (declaration, checker, supportedSymbols) => {
|
|
172
|
+
if (!ts.isIdentifier(declaration.name))
|
|
173
|
+
return undefined;
|
|
174
|
+
const kind = getConstLetKind(declaration);
|
|
175
|
+
if (!kind)
|
|
176
|
+
return undefined;
|
|
177
|
+
if (!declaration.initializer || !ts.isIdentifier(declaration.initializer)) {
|
|
178
|
+
return undefined;
|
|
179
|
+
}
|
|
180
|
+
const targetSymbol = resolveSymbol(checker, declaration.initializer);
|
|
181
|
+
if (!targetSymbol)
|
|
182
|
+
return undefined;
|
|
183
|
+
if (!isDeterministicGenericFunctionAliasTargetSymbol(targetSymbol, supportedSymbols)) {
|
|
184
|
+
return undefined;
|
|
185
|
+
}
|
|
186
|
+
return targetSymbol;
|
|
187
|
+
};
|
|
188
|
+
export const getSupportedGenericFunctionAliasSymbol = (declaration, checker, writtenSymbols, supportedSymbols) => {
|
|
189
|
+
const kind = getConstLetKind(declaration);
|
|
190
|
+
if (!kind)
|
|
191
|
+
return undefined;
|
|
192
|
+
const targetSymbol = resolveAliasTargetSymbol(declaration, checker, supportedSymbols);
|
|
193
|
+
if (!targetSymbol)
|
|
194
|
+
return undefined;
|
|
195
|
+
const symbol = getVariableDeclarationSymbol(checker, declaration);
|
|
196
|
+
if (!symbol)
|
|
197
|
+
return undefined;
|
|
198
|
+
if (kind.isConst)
|
|
199
|
+
return symbol;
|
|
200
|
+
if (!writtenSymbols.has(symbol))
|
|
201
|
+
return symbol;
|
|
202
|
+
return undefined;
|
|
203
|
+
};
|
|
204
|
+
export const collectSupportedGenericFunctionValueSymbols = (sourceFile, checker, writtenSymbols) => {
|
|
205
|
+
const symbols = new Set();
|
|
206
|
+
const declarations = [];
|
|
207
|
+
const collect = (node) => {
|
|
208
|
+
if (isGenericFunctionValueNode(node)) {
|
|
209
|
+
const symbol = getSupportedGenericFunctionValueSymbol(node, checker, writtenSymbols);
|
|
210
|
+
if (symbol)
|
|
211
|
+
symbols.add(symbol);
|
|
212
|
+
}
|
|
213
|
+
if (isGenericFunctionDeclarationNode(node)) {
|
|
214
|
+
const symbol = getSupportedGenericFunctionDeclarationSymbol(node, checker);
|
|
215
|
+
if (symbol)
|
|
216
|
+
symbols.add(symbol);
|
|
217
|
+
}
|
|
218
|
+
if (ts.isImportSpecifier(node)) {
|
|
219
|
+
const symbol = resolveSymbol(checker, node.name);
|
|
220
|
+
if (symbol && isGenericFunctionDeclarationSymbol(symbol)) {
|
|
221
|
+
symbols.add(symbol);
|
|
222
|
+
}
|
|
223
|
+
}
|
|
224
|
+
if (ts.isVariableDeclaration(node)) {
|
|
225
|
+
declarations.push(node);
|
|
226
|
+
}
|
|
227
|
+
ts.forEachChild(node, collect);
|
|
228
|
+
};
|
|
229
|
+
collect(sourceFile);
|
|
230
|
+
let didChange = true;
|
|
231
|
+
while (didChange) {
|
|
232
|
+
didChange = false;
|
|
233
|
+
for (const declaration of declarations) {
|
|
234
|
+
const aliasSymbol = getSupportedGenericFunctionAliasSymbol(declaration, checker, writtenSymbols, symbols);
|
|
235
|
+
if (aliasSymbol && !symbols.has(aliasSymbol)) {
|
|
236
|
+
symbols.add(aliasSymbol);
|
|
237
|
+
didChange = true;
|
|
238
|
+
}
|
|
239
|
+
}
|
|
240
|
+
}
|
|
241
|
+
return symbols;
|
|
242
|
+
};
|
|
243
|
+
//# sourceMappingURL=generic-function-values.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"generic-function-values.js","sourceRoot":"","sources":["../src/generic-function-values.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAa,EACqB,EAAE,CACpC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,IAAI,CAAC,cAAc;IACrB,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;AAEjC,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAa,EACmB,EAAE,CAClC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;IAC9B,CAAC,CAAC,IAAI,CAAC,IAAI;IACX,CAAC,CAAC,IAAI,CAAC,cAAc;IACrB,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;AAEjC,MAAM,kCAAkC,GAAG,CAAC,MAAiB,EAAW,EAAE;IACxE,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;IACzC,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IACE,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YACrC,gCAAgC,CAAC,WAAW,CAAC,EAC7C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+CAA+C,GAAG,CAC7D,MAAiB,EACjB,gBAAwC,EAC/B,EAAE,CACX,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,kCAAkC,CAAC,MAAM,CAAC,CAAC;AAE7E,MAAM,aAAa,GAAG,CACpB,OAAuB,EACvB,IAAa,EACU,EAAE;IACzB,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACxC,OAAO,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,WAAmC,EACK,EAAE;IAC1C,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC;IAChC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,WAAmC,EACiC,EAAE;IACtE,MAAM,IAAI,GAAG,0BAA0B,CAAC,WAAW,CAAC,CAAC;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IACzC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,OAAuB,EACvB,WAAmC,EACZ,EAAE;IACzB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACzD,OAAO,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,IAAmB,EAAW,EAAE;IAC5D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;QAC/B,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;QACnC,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC;QACpC,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC;QACvC,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC;QAC/C,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC;QACpC,KAAK,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC;QACtC,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC;QAC/C,KAAK,EAAE,CAAC,UAAU,CAAC,iCAAiC,CAAC;QACrD,KAAK,EAAE,CAAC,UAAU,CAAC,4CAA4C,CAAC;QAChE,KAAK,EAAE,CAAC,UAAU,CAAC,oBAAoB,CAAC;QACxC,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;QAClC,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC;QACpC,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC;QACrC,KAAK,EAAE,CAAC,UAAU,CAAC,6BAA6B,CAAC;QACjD,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;YAC5C,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,OAAuB,EACvB,IAAa,EACb,MAAsB,EAChB,EAAE;IACR,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAI,MAAM;YAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,OAAO;IACT,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,2BAA2B,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC9D,OAAO;IACT,CAAC;IAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC9C,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChC,2BAA2B,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBACjE,SAAS;YACX,CAAC;YACD,2BAA2B,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACxD,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/C,2BAA2B,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC5D,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,2BAA2B,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBAClE,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,2BAA2B,CAAC,OAAO,EAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QACD,OAAO;IACT,CAAC;IAED,IACE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC3B,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EACrD,CAAC;QACD,2BAA2B,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,UAAyB,EACzB,OAAuB,EACC,EAAE;IAC1B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAa,CAAC;IAEpC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAC7C,CAAC;YACD,2BAA2B,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1D,CAAC;QAED,IACE,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;YACvE,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;gBAC5C,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAClD,CAAC;YACD,2BAA2B,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7D,CAAC;QAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3D,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;gBACpD,2BAA2B,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,IAA8B,EAC9B,OAAuB,EACvB,cAAsC,EACf,EAAE;IACzB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACtD,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,MAAM,GAAG,4BAA4B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC;IAChC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IAC/C,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4CAA4C,GAAG,CAC1D,IAA4B,EAC5B,OAAuB,EACA,EAAE;IACzB,IAAI,CAAC,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5E,OAAO,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,WAAmC,EACnC,OAAuB,EACvB,gBAAwC,EACjB,EAAE;IACzB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACzD,MAAM,IAAI,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAC1C,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,CAAC,WAAW,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC;IACrE,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IACpC,IACE,CAAC,+CAA+C,CAC9C,YAAY,EACZ,gBAAgB,CACjB,EACD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,WAAmC,EACnC,OAAuB,EACvB,cAAsC,EACtC,gBAAwC,EACjB,EAAE;IACzB,MAAM,IAAI,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAC1C,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,YAAY,GAAG,wBAAwB,CAC3C,WAAW,EACX,OAAO,EACP,gBAAgB,CACjB,CAAC;IACF,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,MAAM,GAAG,4BAA4B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAClE,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC;IAChC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IAC/C,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2CAA2C,GAAG,CACzD,UAAyB,EACzB,OAAuB,EACvB,cAAsC,EACd,EAAE;IAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAa,CAAC;IACrC,MAAM,YAAY,GAA6B,EAAE,CAAC;IAElD,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,sCAAsC,CACnD,IAAI,EACJ,OAAO,EACP,cAAc,CACf,CAAC;YACF,IAAI,MAAM;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,gCAAgC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,4CAA4C,CACzD,IAAI,EACJ,OAAO,CACR,CAAC;YACF,IAAI,MAAM;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,MAAM,IAAI,kCAAkC,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IAEpB,IAAI,SAAS,GAAG,IAAI,CAAC;IACrB,OAAO,SAAS,EAAE,CAAC;QACjB,SAAS,GAAG,KAAK,CAAC;QAClB,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACvC,MAAM,WAAW,GAAG,sCAAsC,CACxD,WAAW,EACX,OAAO,EACP,cAAc,EACd,OAAO,CACR,CAAC;YACF,IAAI,WAAW,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC7C,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBACzB,SAAS,GAAG,IAAI,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"generic-function-values.test.d.ts","sourceRoot":"","sources":["../src/generic-function-values.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,256 @@
|
|
|
1
|
+
import { describe, it } from "mocha";
|
|
2
|
+
import { expect } from "chai";
|
|
3
|
+
import * as ts from "typescript";
|
|
4
|
+
import { collectSupportedGenericFunctionValueSymbols, collectWrittenSymbols, getSupportedGenericFunctionValueSymbol, isGenericFunctionValueNode, getSupportedGenericFunctionDeclarationSymbol, isGenericFunctionDeclarationNode, } from "./generic-function-values.js";
|
|
5
|
+
const createTestProgram = (source, fileName = "/test/test.ts") => {
|
|
6
|
+
const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
|
|
7
|
+
const program = ts.createProgram([fileName], {
|
|
8
|
+
target: ts.ScriptTarget.ES2022,
|
|
9
|
+
module: ts.ModuleKind.ES2022,
|
|
10
|
+
strict: true,
|
|
11
|
+
}, {
|
|
12
|
+
getSourceFile: (name) => (name === fileName ? sourceFile : undefined),
|
|
13
|
+
writeFile: () => { },
|
|
14
|
+
getCurrentDirectory: () => "/test",
|
|
15
|
+
getDirectories: () => [],
|
|
16
|
+
fileExists: () => true,
|
|
17
|
+
readFile: () => source,
|
|
18
|
+
getCanonicalFileName: (f) => f,
|
|
19
|
+
useCaseSensitiveFileNames: () => true,
|
|
20
|
+
getNewLine: () => "\n",
|
|
21
|
+
getDefaultLibFileName: (_options) => "lib.d.ts",
|
|
22
|
+
});
|
|
23
|
+
return {
|
|
24
|
+
sourceFile,
|
|
25
|
+
checker: program.getTypeChecker(),
|
|
26
|
+
};
|
|
27
|
+
};
|
|
28
|
+
const createMultiFileTestProgram = (files, entryFile = "/test/index.ts") => {
|
|
29
|
+
const getOrCreateSourceFile = (name) => {
|
|
30
|
+
const text = files[name];
|
|
31
|
+
if (text === undefined)
|
|
32
|
+
return undefined;
|
|
33
|
+
return ts.createSourceFile(name, text, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
|
|
34
|
+
};
|
|
35
|
+
const program = ts.createProgram([entryFile], {
|
|
36
|
+
target: ts.ScriptTarget.ES2022,
|
|
37
|
+
module: ts.ModuleKind.ES2022,
|
|
38
|
+
moduleResolution: ts.ModuleResolutionKind.Bundler,
|
|
39
|
+
strict: true,
|
|
40
|
+
}, {
|
|
41
|
+
getSourceFile: (name) => getOrCreateSourceFile(name),
|
|
42
|
+
writeFile: () => { },
|
|
43
|
+
getCurrentDirectory: () => "/test",
|
|
44
|
+
getDirectories: () => [],
|
|
45
|
+
fileExists: (name) => files[name] !== undefined,
|
|
46
|
+
readFile: (name) => files[name],
|
|
47
|
+
getCanonicalFileName: (f) => f,
|
|
48
|
+
useCaseSensitiveFileNames: () => true,
|
|
49
|
+
getNewLine: () => "\n",
|
|
50
|
+
getDefaultLibFileName: (_options) => "lib.d.ts",
|
|
51
|
+
});
|
|
52
|
+
const sourceFile = program.getSourceFile(entryFile);
|
|
53
|
+
if (!sourceFile) {
|
|
54
|
+
throw new Error(`Expected source file '${entryFile}' to exist.`);
|
|
55
|
+
}
|
|
56
|
+
return {
|
|
57
|
+
sourceFile,
|
|
58
|
+
checker: program.getTypeChecker(),
|
|
59
|
+
};
|
|
60
|
+
};
|
|
61
|
+
const findGenericInitializer = (sourceFile, variableName) => {
|
|
62
|
+
let match;
|
|
63
|
+
const visit = (node) => {
|
|
64
|
+
if (ts.isVariableDeclaration(node) &&
|
|
65
|
+
ts.isIdentifier(node.name) &&
|
|
66
|
+
node.name.text === variableName &&
|
|
67
|
+
node.initializer &&
|
|
68
|
+
isGenericFunctionValueNode(node.initializer)) {
|
|
69
|
+
match = node.initializer;
|
|
70
|
+
return;
|
|
71
|
+
}
|
|
72
|
+
ts.forEachChild(node, visit);
|
|
73
|
+
};
|
|
74
|
+
visit(sourceFile);
|
|
75
|
+
if (!match) {
|
|
76
|
+
throw new Error(`Expected generic function initializer for variable '${variableName}'.`);
|
|
77
|
+
}
|
|
78
|
+
return match;
|
|
79
|
+
};
|
|
80
|
+
const findGenericFunctionDeclaration = (sourceFile, functionName) => {
|
|
81
|
+
let match;
|
|
82
|
+
const visit = (node) => {
|
|
83
|
+
if (ts.isFunctionDeclaration(node) &&
|
|
84
|
+
isGenericFunctionDeclarationNode(node) &&
|
|
85
|
+
node.name?.text === functionName) {
|
|
86
|
+
match = node;
|
|
87
|
+
return;
|
|
88
|
+
}
|
|
89
|
+
ts.forEachChild(node, visit);
|
|
90
|
+
};
|
|
91
|
+
visit(sourceFile);
|
|
92
|
+
if (!match) {
|
|
93
|
+
throw new Error(`Expected generic function declaration for '${functionName}'.`);
|
|
94
|
+
}
|
|
95
|
+
return match;
|
|
96
|
+
};
|
|
97
|
+
const getSupportSymbolForVariable = (source, variableName) => {
|
|
98
|
+
const { sourceFile, checker } = createTestProgram(source);
|
|
99
|
+
const initializer = findGenericInitializer(sourceFile, variableName);
|
|
100
|
+
const writtenSymbols = collectWrittenSymbols(sourceFile, checker);
|
|
101
|
+
return getSupportedGenericFunctionValueSymbol(initializer, checker, writtenSymbols);
|
|
102
|
+
};
|
|
103
|
+
const getCollectedSupportedSymbolForVariable = (source, variableName) => {
|
|
104
|
+
const { sourceFile, checker } = createTestProgram(source);
|
|
105
|
+
return getCollectedSupportedSymbolForVariableInSourceFile(sourceFile, checker, variableName);
|
|
106
|
+
};
|
|
107
|
+
const getCollectedSupportedSymbolForVariableInSourceFile = (sourceFile, checker, variableName) => {
|
|
108
|
+
const writtenSymbols = collectWrittenSymbols(sourceFile, checker);
|
|
109
|
+
const supportedSymbols = collectSupportedGenericFunctionValueSymbols(sourceFile, checker, writtenSymbols);
|
|
110
|
+
let symbol;
|
|
111
|
+
const visit = (node) => {
|
|
112
|
+
if (symbol)
|
|
113
|
+
return;
|
|
114
|
+
if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name)) {
|
|
115
|
+
if (node.name.text !== variableName)
|
|
116
|
+
return;
|
|
117
|
+
symbol = checker.getSymbolAtLocation(node.name) ?? undefined;
|
|
118
|
+
return;
|
|
119
|
+
}
|
|
120
|
+
ts.forEachChild(node, visit);
|
|
121
|
+
};
|
|
122
|
+
visit(sourceFile);
|
|
123
|
+
if (!symbol)
|
|
124
|
+
return undefined;
|
|
125
|
+
return supportedSymbols.has(symbol) ? symbol : undefined;
|
|
126
|
+
};
|
|
127
|
+
describe("generic-function-values helper", () => {
|
|
128
|
+
it("supports generic function declaration symbols", () => {
|
|
129
|
+
const { sourceFile, checker } = createTestProgram(`
|
|
130
|
+
function id<T>(x: T): T { return x; }
|
|
131
|
+
void id<string>("ok");
|
|
132
|
+
`);
|
|
133
|
+
const declaration = findGenericFunctionDeclaration(sourceFile, "id");
|
|
134
|
+
const symbol = getSupportedGenericFunctionDeclarationSymbol(declaration, checker);
|
|
135
|
+
expect(symbol).not.to.equal(undefined);
|
|
136
|
+
});
|
|
137
|
+
it("supports const generic function values", () => {
|
|
138
|
+
const symbol = getSupportSymbolForVariable(`
|
|
139
|
+
const id = <T>(x: T): T => x;
|
|
140
|
+
void id<string>("ok");
|
|
141
|
+
`, "id");
|
|
142
|
+
expect(symbol).not.to.equal(undefined);
|
|
143
|
+
});
|
|
144
|
+
it("supports let generic function values when never reassigned", () => {
|
|
145
|
+
const symbol = getSupportSymbolForVariable(`
|
|
146
|
+
let id = <T>(x: T): T => x;
|
|
147
|
+
void id<string>("ok");
|
|
148
|
+
`, "id");
|
|
149
|
+
expect(symbol).not.to.equal(undefined);
|
|
150
|
+
});
|
|
151
|
+
it("rejects let generic function values with direct reassignment", () => {
|
|
152
|
+
const symbol = getSupportSymbolForVariable(`
|
|
153
|
+
let id = <T>(x: T): T => x;
|
|
154
|
+
id = <T>(x: T): T => x;
|
|
155
|
+
`, "id");
|
|
156
|
+
expect(symbol).to.equal(undefined);
|
|
157
|
+
});
|
|
158
|
+
it("rejects let generic function values with destructuring reassignment", () => {
|
|
159
|
+
const symbol = getSupportSymbolForVariable(`
|
|
160
|
+
let id = <T>(x: T): T => x;
|
|
161
|
+
[id] = [id];
|
|
162
|
+
`, "id");
|
|
163
|
+
expect(symbol).to.equal(undefined);
|
|
164
|
+
});
|
|
165
|
+
it("rejects let generic function values written through for-of target", () => {
|
|
166
|
+
const symbol = getSupportSymbolForVariable(`
|
|
167
|
+
let id = <T>(x: T): T => x;
|
|
168
|
+
const fns = [id];
|
|
169
|
+
for (id of fns) { void id<string>("x"); }
|
|
170
|
+
`, "id");
|
|
171
|
+
expect(symbol).to.equal(undefined);
|
|
172
|
+
});
|
|
173
|
+
it("does not treat writes to shadowed symbols as writes to outer symbol", () => {
|
|
174
|
+
const symbol = getSupportSymbolForVariable(`
|
|
175
|
+
let id = <T>(x: T): T => x;
|
|
176
|
+
{
|
|
177
|
+
let id = 1;
|
|
178
|
+
id = 2;
|
|
179
|
+
}
|
|
180
|
+
void id<string>("ok");
|
|
181
|
+
`, "id");
|
|
182
|
+
expect(symbol).not.to.equal(undefined);
|
|
183
|
+
});
|
|
184
|
+
it("rejects var generic function values", () => {
|
|
185
|
+
const symbol = getSupportSymbolForVariable(`
|
|
186
|
+
var id = <T>(x: T): T => x;
|
|
187
|
+
void id<string>("ok");
|
|
188
|
+
`, "id");
|
|
189
|
+
expect(symbol).to.equal(undefined);
|
|
190
|
+
});
|
|
191
|
+
it("supports const aliases to supported generic function values", () => {
|
|
192
|
+
const symbol = getCollectedSupportedSymbolForVariable(`
|
|
193
|
+
const id = <T>(x: T): T => x;
|
|
194
|
+
const copy = id;
|
|
195
|
+
void copy<string>("ok");
|
|
196
|
+
`, "copy");
|
|
197
|
+
expect(symbol).not.to.equal(undefined);
|
|
198
|
+
});
|
|
199
|
+
it("supports aliases to generic function declarations", () => {
|
|
200
|
+
const symbol = getCollectedSupportedSymbolForVariable(`
|
|
201
|
+
function id<T>(x: T): T { return x; }
|
|
202
|
+
const copy = id;
|
|
203
|
+
void copy<string>("ok");
|
|
204
|
+
`, "copy");
|
|
205
|
+
expect(symbol).not.to.equal(undefined);
|
|
206
|
+
});
|
|
207
|
+
it("supports aliases to imported generic function declarations", () => {
|
|
208
|
+
const { sourceFile, checker } = createMultiFileTestProgram({
|
|
209
|
+
"/test/lib.ts": `
|
|
210
|
+
export function id<T>(x: T): T { return x; }
|
|
211
|
+
`,
|
|
212
|
+
"/test/index.ts": `
|
|
213
|
+
import { id } from "./lib.js";
|
|
214
|
+
const copy = id;
|
|
215
|
+
void copy<string>("ok");
|
|
216
|
+
`,
|
|
217
|
+
});
|
|
218
|
+
const symbol = getCollectedSupportedSymbolForVariableInSourceFile(sourceFile, checker, "copy");
|
|
219
|
+
expect(symbol).not.to.equal(undefined);
|
|
220
|
+
});
|
|
221
|
+
it("supports chained const aliases to supported generic function values", () => {
|
|
222
|
+
const symbol = getCollectedSupportedSymbolForVariable(`
|
|
223
|
+
const id = <T>(x: T): T => x;
|
|
224
|
+
const copy = id;
|
|
225
|
+
const finalCopy = copy;
|
|
226
|
+
void finalCopy<string>("ok");
|
|
227
|
+
`, "finalCopy");
|
|
228
|
+
expect(symbol).not.to.equal(undefined);
|
|
229
|
+
});
|
|
230
|
+
it("supports let aliases when never reassigned", () => {
|
|
231
|
+
const symbol = getCollectedSupportedSymbolForVariable(`
|
|
232
|
+
const id = <T>(x: T): T => x;
|
|
233
|
+
let copy = id;
|
|
234
|
+
void copy<string>("ok");
|
|
235
|
+
`, "copy");
|
|
236
|
+
expect(symbol).not.to.equal(undefined);
|
|
237
|
+
});
|
|
238
|
+
it("rejects let aliases with reassignment", () => {
|
|
239
|
+
const symbol = getCollectedSupportedSymbolForVariable(`
|
|
240
|
+
const id = <T>(x: T): T => x;
|
|
241
|
+
let copy = id;
|
|
242
|
+
copy = id;
|
|
243
|
+
void copy<string>("ok");
|
|
244
|
+
`, "copy");
|
|
245
|
+
expect(symbol).to.equal(undefined);
|
|
246
|
+
});
|
|
247
|
+
it("rejects var aliases", () => {
|
|
248
|
+
const symbol = getCollectedSupportedSymbolForVariable(`
|
|
249
|
+
const id = <T>(x: T): T => x;
|
|
250
|
+
var copy = id;
|
|
251
|
+
void copy<string>("ok");
|
|
252
|
+
`, "copy");
|
|
253
|
+
expect(symbol).to.equal(undefined);
|
|
254
|
+
});
|
|
255
|
+
});
|
|
256
|
+
//# sourceMappingURL=generic-function-values.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"generic-function-values.test.js","sourceRoot":"","sources":["../src/generic-function-values.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,2CAA2C,EAC3C,qBAAqB,EACrB,sCAAsC,EACtC,0BAA0B,EAE1B,4CAA4C,EAC5C,gCAAgC,GACjC,MAAM,8BAA8B,CAAC;AAEtC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAE,QAAQ,GAAG,eAAe,EAAE,EAAE;IACvE,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,CAAC,QAAQ,CAAC,EACV;QACE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;QAC5B,MAAM,EAAE,IAAI;KACb,EACD;QACE,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QACrE,SAAS,EAAE,GAAG,EAAE,GAAE,CAAC;QACnB,mBAAmB,EAAE,GAAG,EAAE,CAAC,OAAO;QAClC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;QACxB,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;QACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM;QACtB,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,yBAAyB,EAAE,GAAG,EAAE,CAAC,IAAI;QACrC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;QACtB,qBAAqB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU;KAChD,CACF,CAAC;IAEF,OAAO;QACL,UAAU;QACV,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE;KAClC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,KAAuC,EACvC,SAAS,GAAG,gBAAgB,EAC5B,EAAE;IACF,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAA6B,EAAE;QACxE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,OAAO,EAAE,CAAC,gBAAgB,CACxB,IAAI,EACJ,IAAI,EACJ,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,CAAC,SAAS,CAAC,EACX;QACE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;QAC5B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,OAAO;QACjD,MAAM,EAAE,IAAI;KACb,EACD;QACE,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QACpD,SAAS,EAAE,GAAG,EAAE,GAAE,CAAC;QACnB,mBAAmB,EAAE,GAAG,EAAE,CAAC,OAAO;QAClC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;QACxB,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS;QAC/C,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/B,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,yBAAyB,EAAE,GAAG,EAAE,CAAC,IAAI;QACrC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;QACtB,qBAAqB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU;KAChD,CACF,CAAC;IAEF,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,yBAAyB,SAAS,aAAa,CAAC,CAAC;IACnE,CAAC;IAED,OAAO;QACL,UAAU;QACV,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE;KAClC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,UAAyB,EACzB,YAAoB,EACM,EAAE;IAC5B,IAAI,KAA2C,CAAC;IAEhD,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;YAC/B,IAAI,CAAC,WAAW;YAChB,0BAA0B,CAAC,IAAI,CAAC,WAAW,CAAC,EAC5C,CAAC;YACD,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC;YACzB,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CACb,uDAAuD,YAAY,IAAI,CACxE,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,UAAyB,EACzB,YAAoB,EACI,EAAE;IAC1B,IAAI,KAAyC,CAAC;IAE9C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,gCAAgC,CAAC,IAAI,CAAC;YACtC,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,YAAY,EAChC,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CACb,8CAA8C,YAAY,IAAI,CAC/D,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,MAAc,EACd,YAAoB,EACG,EAAE;IACzB,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,sBAAsB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACrE,MAAM,cAAc,GAAG,qBAAqB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAClE,OAAO,sCAAsC,CAC3C,WAAW,EACX,OAAO,EACP,cAAc,CACf,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sCAAsC,GAAG,CAC7C,MAAc,EACd,YAAoB,EACG,EAAE;IACzB,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1D,OAAO,kDAAkD,CACvD,UAAU,EACV,OAAO,EACP,YAAY,CACb,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kDAAkD,GAAG,CACzD,UAAyB,EACzB,OAAuB,EACvB,YAAoB,EACG,EAAE;IACzB,MAAM,cAAc,GAAG,qBAAqB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAClE,MAAM,gBAAgB,GAAG,2CAA2C,CAClE,UAAU,EACV,OAAO,EACP,cAAc,CACf,CAAC;IAEF,IAAI,MAA6B,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,MAAM;YAAE,OAAO;QACnB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;gBAAE,OAAO;YAC5C,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;YAC7D,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3D,CAAC,CAAC;AAEF,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC;;;KAGjD,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,8BAA8B,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACrE,MAAM,MAAM,GAAG,4CAA4C,CACzD,WAAW,EACX,OAAO,CACR,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,2BAA2B,CACxC;;;OAGC,EACD,IAAI,CACL,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,MAAM,GAAG,2BAA2B,CACxC;;;OAGC,EACD,IAAI,CACL,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAG,2BAA2B,CACxC;;;OAGC,EACD,IAAI,CACL,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,MAAM,GAAG,2BAA2B,CACxC;;;OAGC,EACD,IAAI,CACL,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,MAAM,GAAG,2BAA2B,CACxC;;;;OAIC,EACD,IAAI,CACL,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,MAAM,GAAG,2BAA2B,CACxC;;;;;;;OAOC,EACD,IAAI,CACL,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,2BAA2B,CACxC;;;OAGC,EACD,IAAI,CACL,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG,sCAAsC,CACnD;;;;OAIC,EACD,MAAM,CACP,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,sCAAsC,CACnD;;;;OAIC,EACD,MAAM,CACP,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,0BAA0B,CAAC;YACzD,cAAc,EAAE;;OAEf;YACD,gBAAgB,EAAE;;;;OAIjB;SACF,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,kDAAkD,CAC/D,UAAU,EACV,OAAO,EACP,MAAM,CACP,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,MAAM,GAAG,sCAAsC,CACnD;;;;;OAKC,EACD,WAAW,CACZ,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,sCAAsC,CACnD;;;;OAIC,EACD,MAAM,CACP,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,sCAAsC,CACnD;;;;;OAKC,EACD,MAAM,CACP,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG,sCAAsC,CACnD;;;;OAIC,EACD,MAAM,CACP,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -8,4 +8,9 @@ import { Import } from "../../types/module.js";
|
|
|
8
8
|
* Extract import information from an import declaration
|
|
9
9
|
*/
|
|
10
10
|
export declare const extractImport: (node: ts.ImportDeclaration, sourceFile: ts.SourceFile, program: TsonicProgram) => Import | null;
|
|
11
|
+
/**
|
|
12
|
+
* Extract dependency information from dynamic import() calls.
|
|
13
|
+
* Only static-string local specifiers are considered.
|
|
14
|
+
*/
|
|
15
|
+
export declare const extractDynamicImport: (node: ts.CallExpression, sourceFile: ts.SourceFile, program: TsonicProgram) => Import | null;
|
|
11
16
|
//# sourceMappingURL=imports.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"imports.d.ts","sourceRoot":"","sources":["../../../src/graph/extraction/imports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAG/C;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,EAAE,CAAC,iBAAiB,EAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,KACrB,MAAM,GAAG,IAgEX,CAAC"}
|
|
1
|
+
{"version":3,"file":"imports.d.ts","sourceRoot":"","sources":["../../../src/graph/extraction/imports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAG/C;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,EAAE,CAAC,iBAAiB,EAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,KACrB,MAAM,GAAG,IAgEX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,cAAc,EACvB,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,KACrB,MAAM,GAAG,IAgCX,CAAC"}
|