@tsonic/emitter 0.0.1 → 0.0.2
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 -0
- package/dist/adapter-generator.d.ts +28 -0
- package/dist/adapter-generator.d.ts.map +1 -0
- package/dist/adapter-generator.js +83 -0
- package/dist/adapter-generator.js.map +1 -0
- package/dist/array.test.d.ts +6 -0
- package/dist/array.test.d.ts.map +1 -0
- package/dist/array.test.js +274 -0
- package/dist/array.test.js.map +1 -0
- package/dist/async-investigation.test.d.ts +5 -0
- package/dist/async-investigation.test.d.ts.map +1 -0
- package/dist/async-investigation.test.js +239 -0
- package/dist/async-investigation.test.js.map +1 -0
- package/dist/constants.d.ts +15 -0
- package/dist/constants.d.ts.map +1 -0
- package/dist/constants.js +22 -0
- package/dist/constants.js.map +1 -0
- package/dist/core/exports.d.ts +10 -0
- package/dist/core/exports.d.ts.map +1 -0
- package/dist/core/exports.js +28 -0
- package/dist/core/exports.js.map +1 -0
- package/dist/core/imports.d.ts +26 -0
- package/dist/core/imports.d.ts.map +1 -0
- package/dist/core/imports.js +189 -0
- package/dist/core/imports.js.map +1 -0
- package/dist/core/imports.test.d.ts +6 -0
- package/dist/core/imports.test.d.ts.map +1 -0
- package/dist/core/imports.test.js +76 -0
- package/dist/core/imports.test.js.map +1 -0
- package/dist/core/index.d.ts +9 -0
- package/dist/core/index.d.ts.map +1 -0
- package/{src/core/index.ts → dist/core/index.js} +1 -1
- package/dist/core/index.js.map +1 -0
- package/dist/core/module-emitter/assembly.d.ts +21 -0
- package/dist/core/module-emitter/assembly.d.ts.map +1 -0
- package/dist/core/module-emitter/assembly.js +58 -0
- package/dist/core/module-emitter/assembly.js.map +1 -0
- package/dist/core/module-emitter/header.d.ts +10 -0
- package/dist/core/module-emitter/header.d.ts.map +1 -0
- package/dist/core/module-emitter/header.js +13 -0
- package/dist/core/module-emitter/header.js.map +1 -0
- package/{src/core/module-emitter/index.ts → dist/core/module-emitter/index.d.ts} +3 -10
- package/dist/core/module-emitter/index.d.ts.map +1 -0
- package/dist/core/module-emitter/index.js +10 -0
- package/dist/core/module-emitter/index.js.map +1 -0
- package/dist/core/module-emitter/namespace.d.ts +14 -0
- package/dist/core/module-emitter/namespace.d.ts.map +1 -0
- package/dist/core/module-emitter/namespace.js +26 -0
- package/dist/core/module-emitter/namespace.js.map +1 -0
- package/dist/core/module-emitter/orchestrator.d.ts +10 -0
- package/dist/core/module-emitter/orchestrator.d.ts.map +1 -0
- package/dist/core/module-emitter/orchestrator.js +58 -0
- package/dist/core/module-emitter/orchestrator.js.map +1 -0
- package/dist/core/module-emitter/separation.d.ts +14 -0
- package/dist/core/module-emitter/separation.d.ts.map +1 -0
- package/dist/core/module-emitter/separation.js +27 -0
- package/dist/core/module-emitter/separation.js.map +1 -0
- package/dist/core/module-emitter/static-container.d.ts +18 -0
- package/dist/core/module-emitter/static-container.d.ts.map +1 -0
- package/dist/core/module-emitter/static-container.js +49 -0
- package/dist/core/module-emitter/static-container.js.map +1 -0
- package/dist/core/module-emitter.d.ts +6 -0
- package/dist/core/module-emitter.d.ts.map +1 -0
- package/{src/core/module-emitter.ts → dist/core/module-emitter.js} +1 -1
- package/dist/core/module-emitter.js.map +1 -0
- package/dist/core/module-emitter.test.d.ts +6 -0
- package/dist/core/module-emitter.test.d.ts.map +1 -0
- package/dist/core/module-emitter.test.js +147 -0
- package/dist/core/module-emitter.test.js.map +1 -0
- package/dist/core/module-map.d.ts +35 -0
- package/dist/core/module-map.d.ts.map +1 -0
- package/dist/core/module-map.js +170 -0
- package/dist/core/module-map.js.map +1 -0
- package/dist/core/options.d.ts +9 -0
- package/dist/core/options.d.ts.map +1 -0
- package/dist/core/options.js +14 -0
- package/dist/core/options.js.map +1 -0
- package/dist/core/type-params.d.ts +9 -0
- package/dist/core/type-params.d.ts.map +1 -0
- package/dist/core/type-params.js +31 -0
- package/dist/core/type-params.js.map +1 -0
- package/dist/emitter-types/context.d.ts +29 -0
- package/dist/emitter-types/context.d.ts.map +1 -0
- package/dist/emitter-types/context.js +68 -0
- package/dist/emitter-types/context.js.map +1 -0
- package/dist/emitter-types/core.d.ts +129 -0
- package/dist/emitter-types/core.d.ts.map +1 -0
- package/dist/emitter-types/core.js +5 -0
- package/dist/emitter-types/core.js.map +1 -0
- package/dist/emitter-types/csharp-types.d.ts +27 -0
- package/dist/emitter-types/csharp-types.d.ts.map +1 -0
- package/dist/emitter-types/csharp-types.js +5 -0
- package/dist/emitter-types/csharp-types.js.map +1 -0
- package/dist/emitter-types/formatting.d.ts +9 -0
- package/dist/emitter-types/formatting.d.ts.map +1 -0
- package/dist/emitter-types/formatting.js +11 -0
- package/dist/emitter-types/formatting.js.map +1 -0
- package/dist/emitter-types/fqn.d.ts +53 -0
- package/dist/emitter-types/fqn.d.ts.map +1 -0
- package/dist/emitter-types/fqn.js +65 -0
- package/dist/emitter-types/fqn.js.map +1 -0
- package/dist/emitter-types/index.d.ts +9 -0
- package/dist/emitter-types/index.d.ts.map +1 -0
- package/dist/emitter-types/index.js +7 -0
- package/dist/emitter-types/index.js.map +1 -0
- package/dist/emitter.d.ts +27 -0
- package/dist/emitter.d.ts.map +1 -0
- package/dist/emitter.js +80 -0
- package/dist/emitter.js.map +1 -0
- package/dist/expression-emitter.d.ts +15 -0
- package/dist/expression-emitter.d.ts.map +1 -0
- package/dist/expression-emitter.js +67 -0
- package/dist/expression-emitter.js.map +1 -0
- package/dist/expressions/access.d.ts +12 -0
- package/dist/expressions/access.d.ts.map +1 -0
- package/dist/expressions/access.js +77 -0
- package/dist/expressions/access.js.map +1 -0
- package/dist/expressions/calls.d.ts +18 -0
- package/dist/expressions/calls.d.ts.map +1 -0
- package/dist/expressions/calls.js +207 -0
- package/dist/expressions/calls.js.map +1 -0
- package/dist/expressions/collections.d.ts +24 -0
- package/dist/expressions/collections.d.ts.map +1 -0
- package/dist/expressions/collections.js +254 -0
- package/dist/expressions/collections.js.map +1 -0
- package/dist/expressions/functions.d.ts +18 -0
- package/dist/expressions/functions.d.ts.map +1 -0
- package/dist/expressions/functions.js +60 -0
- package/dist/expressions/functions.js.map +1 -0
- package/dist/expressions/identifiers.d.ts +22 -0
- package/dist/expressions/identifiers.d.ts.map +1 -0
- package/dist/expressions/identifiers.js +99 -0
- package/dist/expressions/identifiers.js.map +1 -0
- package/dist/expressions/index.d.ts +12 -0
- package/dist/expressions/index.d.ts.map +1 -0
- package/{src/expressions/index.ts → dist/expressions/index.js} +3 -21
- package/dist/expressions/index.js.map +1 -0
- package/dist/expressions/index.test.d.ts +6 -0
- package/dist/expressions/index.test.d.ts.map +1 -0
- package/dist/expressions/index.test.js +480 -0
- package/dist/expressions/index.test.js.map +1 -0
- package/dist/expressions/literals.d.ts +31 -0
- package/dist/expressions/literals.d.ts.map +1 -0
- package/dist/expressions/literals.js +116 -0
- package/dist/expressions/literals.js.map +1 -0
- package/dist/expressions/operators.d.ts +52 -0
- package/dist/expressions/operators.d.ts.map +1 -0
- package/dist/expressions/operators.js +166 -0
- package/dist/expressions/operators.js.map +1 -0
- package/dist/expressions/other.d.ts +24 -0
- package/dist/expressions/other.d.ts.map +1 -0
- package/dist/expressions/other.js +43 -0
- package/dist/expressions/other.js.map +1 -0
- package/dist/generator-exchange.d.ts +11 -0
- package/dist/generator-exchange.d.ts.map +1 -0
- package/dist/generator-exchange.js +92 -0
- package/dist/generator-exchange.js.map +1 -0
- package/dist/generator.test.d.ts +6 -0
- package/dist/generator.test.d.ts.map +1 -0
- package/dist/generator.test.js +177 -0
- package/dist/generator.test.js.map +1 -0
- package/dist/golden-tests/config-parser.d.ts +9 -0
- package/dist/golden-tests/config-parser.d.ts.map +1 -0
- package/dist/golden-tests/config-parser.js +57 -0
- package/dist/golden-tests/config-parser.js.map +1 -0
- package/dist/golden-tests/discovery.d.ts +9 -0
- package/dist/golden-tests/discovery.d.ts.map +1 -0
- package/dist/golden-tests/discovery.js +51 -0
- package/dist/golden-tests/discovery.js.map +1 -0
- package/{src/golden-tests/index.ts → dist/golden-tests/index.d.ts} +1 -1
- package/dist/golden-tests/index.d.ts.map +1 -0
- package/dist/golden-tests/index.js +9 -0
- package/dist/golden-tests/index.js.map +1 -0
- package/dist/golden-tests/registration.d.ts +9 -0
- package/dist/golden-tests/registration.d.ts.map +1 -0
- package/dist/golden-tests/registration.js +23 -0
- package/dist/golden-tests/registration.js.map +1 -0
- package/dist/golden-tests/runner.d.ts +13 -0
- package/dist/golden-tests/runner.d.ts.map +1 -0
- package/dist/golden-tests/runner.js +99 -0
- package/dist/golden-tests/runner.js.map +1 -0
- package/dist/golden-tests/tree-builder.d.ts +9 -0
- package/dist/golden-tests/tree-builder.d.ts.map +1 -0
- package/dist/golden-tests/tree-builder.js +35 -0
- package/dist/golden-tests/tree-builder.js.map +1 -0
- package/dist/golden-tests/types.d.ts +19 -0
- package/dist/golden-tests/types.d.ts.map +1 -0
- package/dist/golden-tests/types.js +5 -0
- package/dist/golden-tests/types.js.map +1 -0
- package/dist/golden.test.d.ts +11 -0
- package/dist/golden.test.d.ts.map +1 -0
- package/{src/golden.test.ts → dist/golden.test.js} +15 -20
- package/dist/golden.test.js.map +1 -0
- package/dist/hierarchical-bindings.test.d.ts +6 -0
- package/dist/hierarchical-bindings.test.d.ts.map +1 -0
- package/dist/hierarchical-bindings.test.js +194 -0
- package/dist/hierarchical-bindings.test.js.map +1 -0
- package/dist/index.d.ts +9 -0
- package/dist/index.d.ts.map +1 -0
- package/{src/index.ts → dist/index.js} +2 -7
- package/dist/index.js.map +1 -0
- package/dist/integration.test.d.ts +6 -0
- package/dist/integration.test.d.ts.map +1 -0
- package/dist/integration.test.js +234 -0
- package/dist/integration.test.js.map +1 -0
- package/dist/specialization/call-site-rewriting.test.d.ts +6 -0
- package/dist/specialization/call-site-rewriting.test.d.ts.map +1 -0
- package/dist/specialization/call-site-rewriting.test.js +92 -0
- package/dist/specialization/call-site-rewriting.test.js.map +1 -0
- package/dist/specialization/collection/expressions.d.ts +10 -0
- package/dist/specialization/collection/expressions.d.ts.map +1 -0
- package/dist/specialization/collection/expressions.js +142 -0
- package/dist/specialization/collection/expressions.js.map +1 -0
- package/dist/specialization/collection/index.d.ts +7 -0
- package/dist/specialization/collection/index.d.ts.map +1 -0
- package/{src/specialization/collection/index.ts → dist/specialization/collection/index.js} +1 -1
- package/dist/specialization/collection/index.js.map +1 -0
- package/dist/specialization/collection/orchestrator.d.ts +11 -0
- package/dist/specialization/collection/orchestrator.d.ts.map +1 -0
- package/dist/specialization/collection/orchestrator.js +18 -0
- package/dist/specialization/collection/orchestrator.js.map +1 -0
- package/dist/specialization/collection/statements.d.ts +10 -0
- package/dist/specialization/collection/statements.d.ts.map +1 -0
- package/dist/specialization/collection/statements.js +75 -0
- package/dist/specialization/collection/statements.js.map +1 -0
- package/dist/specialization/collection.d.ts +6 -0
- package/dist/specialization/collection.d.ts.map +1 -0
- package/dist/specialization/collection.js +6 -0
- package/dist/specialization/collection.js.map +1 -0
- package/dist/specialization/generation.d.ts +11 -0
- package/dist/specialization/generation.d.ts.map +1 -0
- package/dist/specialization/generation.js +137 -0
- package/dist/specialization/generation.js.map +1 -0
- package/dist/specialization/generic-classes.test.d.ts +6 -0
- package/dist/specialization/generic-classes.test.d.ts.map +1 -0
- package/dist/specialization/generic-classes.test.js +55 -0
- package/dist/specialization/generic-classes.test.js.map +1 -0
- package/dist/specialization/generic-functions.test.d.ts +6 -0
- package/dist/specialization/generic-functions.test.d.ts.map +1 -0
- package/dist/specialization/generic-functions.test.js +275 -0
- package/dist/specialization/generic-functions.test.js.map +1 -0
- package/dist/specialization/helpers.d.ts +13 -0
- package/dist/specialization/helpers.d.ts.map +1 -0
- package/dist/specialization/helpers.js +33 -0
- package/dist/specialization/helpers.js.map +1 -0
- package/dist/specialization/index.d.ts +10 -0
- package/dist/specialization/index.d.ts.map +1 -0
- package/{src/specialization/index.ts → dist/specialization/index.js} +3 -17
- package/dist/specialization/index.js.map +1 -0
- package/dist/specialization/interfaces.test.d.ts +6 -0
- package/dist/specialization/interfaces.test.d.ts.map +1 -0
- package/dist/specialization/interfaces.test.js +139 -0
- package/dist/specialization/interfaces.test.js.map +1 -0
- package/dist/specialization/naming.d.ts +13 -0
- package/dist/specialization/naming.d.ts.map +1 -0
- package/dist/specialization/naming.js +25 -0
- package/dist/specialization/naming.js.map +1 -0
- package/dist/specialization/substitution.d.ts +17 -0
- package/dist/specialization/substitution.d.ts.map +1 -0
- package/dist/specialization/substitution.js +150 -0
- package/dist/specialization/substitution.js.map +1 -0
- package/dist/specialization/type-aliases.test.d.ts +6 -0
- package/dist/specialization/type-aliases.test.d.ts.map +1 -0
- package/dist/specialization/type-aliases.test.js +124 -0
- package/dist/specialization/type-aliases.test.js.map +1 -0
- package/dist/specialization/types.d.ts +14 -0
- package/dist/specialization/types.d.ts.map +1 -0
- package/dist/specialization/types.js +5 -0
- package/dist/specialization/types.js.map +1 -0
- package/{src/specialization-generator.ts → dist/specialization-generator.d.ts} +4 -15
- package/dist/specialization-generator.d.ts.map +1 -0
- package/dist/specialization-generator.js +11 -0
- package/dist/specialization-generator.js.map +1 -0
- package/dist/statement-emitter.d.ts +13 -0
- package/dist/statement-emitter.d.ts.map +1 -0
- package/dist/statement-emitter.js +67 -0
- package/dist/statement-emitter.js.map +1 -0
- package/dist/statements/blocks.d.ts +40 -0
- package/dist/statements/blocks.d.ts.map +1 -0
- package/dist/statements/blocks.js +86 -0
- package/dist/statements/blocks.js.map +1 -0
- package/{src/statements/classes/helpers.ts → dist/statements/classes/helpers.d.ts} +2 -3
- package/dist/statements/classes/helpers.d.ts.map +1 -0
- package/dist/statements/classes/helpers.js +8 -0
- package/dist/statements/classes/helpers.js.map +1 -0
- package/dist/statements/classes/index.d.ts +9 -0
- package/dist/statements/classes/index.d.ts.map +1 -0
- package/{src/statements/classes/index.ts → dist/statements/classes/index.js} +2 -6
- package/dist/statements/classes/index.js.map +1 -0
- package/dist/statements/classes/inline-types.d.ts +21 -0
- package/dist/statements/classes/inline-types.d.ts.map +1 -0
- package/dist/statements/classes/inline-types.js +50 -0
- package/dist/statements/classes/inline-types.js.map +1 -0
- package/dist/statements/classes/members/constructors.d.ts +12 -0
- package/dist/statements/classes/members/constructors.d.ts.map +1 -0
- package/dist/statements/classes/members/constructors.js +90 -0
- package/dist/statements/classes/members/constructors.js.map +1 -0
- package/dist/statements/classes/members/index.d.ts +8 -0
- package/dist/statements/classes/members/index.d.ts.map +1 -0
- package/{src/statements/classes/members/index.ts → dist/statements/classes/members/index.js} +1 -1
- package/dist/statements/classes/members/index.js.map +1 -0
- package/dist/statements/classes/members/methods.d.ts +12 -0
- package/dist/statements/classes/members/methods.d.ts.map +1 -0
- package/dist/statements/classes/members/methods.js +100 -0
- package/dist/statements/classes/members/methods.js.map +1 -0
- package/dist/statements/classes/members/orchestrator.d.ts +10 -0
- package/dist/statements/classes/members/orchestrator.d.ts.map +1 -0
- package/dist/statements/classes/members/orchestrator.js +24 -0
- package/dist/statements/classes/members/orchestrator.js.map +1 -0
- package/dist/statements/classes/members/properties.d.ts +12 -0
- package/dist/statements/classes/members/properties.d.ts.map +1 -0
- package/dist/statements/classes/members/properties.js +48 -0
- package/dist/statements/classes/members/properties.js.map +1 -0
- package/dist/statements/classes/members.d.ts +6 -0
- package/dist/statements/classes/members.d.ts.map +1 -0
- package/{src/statements/classes/members.ts → dist/statements/classes/members.js} +1 -1
- package/dist/statements/classes/members.js.map +1 -0
- package/dist/statements/classes/parameters.d.ts +10 -0
- package/dist/statements/classes/parameters.d.ts.map +1 -0
- package/dist/statements/classes/parameters.js +50 -0
- package/dist/statements/classes/parameters.js.map +1 -0
- package/dist/statements/classes/properties.d.ts +11 -0
- package/dist/statements/classes/properties.d.ts.map +1 -0
- package/dist/statements/classes/properties.js +74 -0
- package/dist/statements/classes/properties.js.map +1 -0
- package/dist/statements/classes.d.ts +6 -0
- package/dist/statements/classes.d.ts.map +1 -0
- package/dist/statements/classes.js +6 -0
- package/dist/statements/classes.js.map +1 -0
- package/dist/statements/control/conditionals.d.ts +18 -0
- package/dist/statements/control/conditionals.d.ts.map +1 -0
- package/dist/statements/control/conditionals.js +98 -0
- package/dist/statements/control/conditionals.js.map +1 -0
- package/dist/statements/control/exceptions.d.ts +18 -0
- package/dist/statements/control/exceptions.d.ts.map +1 -0
- package/dist/statements/control/exceptions.js +38 -0
- package/dist/statements/control/exceptions.js.map +1 -0
- package/dist/statements/control/index.d.ts +7 -0
- package/dist/statements/control/index.d.ts.map +1 -0
- package/{src/statements/control/index.ts → dist/statements/control/index.js} +2 -6
- package/dist/statements/control/index.js.map +1 -0
- package/dist/statements/control/loops.d.ts +29 -0
- package/dist/statements/control/loops.d.ts.map +1 -0
- package/dist/statements/control/loops.js +186 -0
- package/dist/statements/control/loops.js.map +1 -0
- package/dist/statements/control.d.ts +6 -0
- package/dist/statements/control.d.ts.map +1 -0
- package/dist/statements/control.js +6 -0
- package/dist/statements/control.js.map +1 -0
- package/dist/statements/declarations/classes.d.ts +12 -0
- package/dist/statements/declarations/classes.d.ts.map +1 -0
- package/dist/statements/declarations/classes.js +61 -0
- package/dist/statements/declarations/classes.js.map +1 -0
- package/dist/statements/declarations/enums.d.ts +12 -0
- package/dist/statements/declarations/enums.d.ts.map +1 -0
- package/dist/statements/declarations/enums.js +25 -0
- package/dist/statements/declarations/enums.js.map +1 -0
- package/dist/statements/declarations/functions.d.ts +12 -0
- package/dist/statements/declarations/functions.d.ts.map +1 -0
- package/dist/statements/declarations/functions.js +110 -0
- package/dist/statements/declarations/functions.js.map +1 -0
- package/dist/statements/declarations/index.d.ts +10 -0
- package/dist/statements/declarations/index.d.ts.map +1 -0
- package/{src/statements/declarations/index.ts → dist/statements/declarations/index.js} +1 -1
- package/dist/statements/declarations/index.js.map +1 -0
- package/dist/statements/declarations/interfaces.d.ts +12 -0
- package/dist/statements/declarations/interfaces.d.ts.map +1 -0
- package/dist/statements/declarations/interfaces.js +85 -0
- package/dist/statements/declarations/interfaces.js.map +1 -0
- package/dist/statements/declarations/structs.test.d.ts +5 -0
- package/dist/statements/declarations/structs.test.d.ts.map +1 -0
- package/dist/statements/declarations/structs.test.js +165 -0
- package/dist/statements/declarations/structs.test.js.map +1 -0
- package/dist/statements/declarations/type-aliases.d.ts +12 -0
- package/dist/statements/declarations/type-aliases.d.ts.map +1 -0
- package/dist/statements/declarations/type-aliases.js +80 -0
- package/dist/statements/declarations/type-aliases.js.map +1 -0
- package/dist/statements/declarations/variables.d.ts +12 -0
- package/dist/statements/declarations/variables.d.ts.map +1 -0
- package/dist/statements/declarations/variables.js +120 -0
- package/dist/statements/declarations/variables.js.map +1 -0
- package/dist/statements/declarations.d.ts +6 -0
- package/dist/statements/declarations.d.ts.map +1 -0
- package/dist/statements/declarations.js +6 -0
- package/dist/statements/declarations.js.map +1 -0
- package/dist/statements/index.d.ts +8 -0
- package/dist/statements/index.d.ts.map +1 -0
- package/dist/statements/index.js +12 -0
- package/dist/statements/index.js.map +1 -0
- package/dist/statements/index.test.d.ts +6 -0
- package/dist/statements/index.test.d.ts.map +1 -0
- package/dist/statements/index.test.js +248 -0
- package/dist/statements/index.test.js.map +1 -0
- package/dist/tests/emitter/expression-emission.test.d.ts +6 -0
- package/dist/tests/emitter/expression-emission.test.d.ts.map +1 -0
- package/dist/tests/emitter/expression-emission.test.js +322 -0
- package/dist/tests/emitter/expression-emission.test.js.map +1 -0
- package/dist/tests/emitter/import-handling.test.d.ts +6 -0
- package/dist/tests/emitter/import-handling.test.d.ts.map +1 -0
- package/dist/tests/emitter/import-handling.test.js +76 -0
- package/dist/tests/emitter/import-handling.test.js.map +1 -0
- package/dist/tests/emitter/module-generation.test.d.ts +6 -0
- package/dist/tests/emitter/module-generation.test.d.ts.map +1 -0
- package/dist/tests/emitter/module-generation.test.js +147 -0
- package/dist/tests/emitter/module-generation.test.js.map +1 -0
- package/dist/tests/emitter/statement-emission.test.d.ts +6 -0
- package/dist/tests/emitter/statement-emission.test.d.ts.map +1 -0
- package/dist/tests/emitter/statement-emission.test.js +138 -0
- package/dist/tests/emitter/statement-emission.test.js.map +1 -0
- package/dist/tests/emitter/type-emission.test.d.ts +6 -0
- package/dist/tests/emitter/type-emission.test.d.ts.map +1 -0
- package/dist/tests/emitter/type-emission.test.js +109 -0
- package/dist/tests/emitter/type-emission.test.js.map +1 -0
- package/dist/tests/generics/call-site-rewriting.test.d.ts +6 -0
- package/dist/tests/generics/call-site-rewriting.test.d.ts.map +1 -0
- package/dist/tests/generics/call-site-rewriting.test.js +92 -0
- package/dist/tests/generics/call-site-rewriting.test.js.map +1 -0
- package/dist/tests/generics/generic-classes.test.d.ts +6 -0
- package/dist/tests/generics/generic-classes.test.d.ts.map +1 -0
- package/dist/tests/generics/generic-classes.test.js +55 -0
- package/dist/tests/generics/generic-classes.test.js.map +1 -0
- package/dist/tests/generics/generic-functions.test.d.ts +6 -0
- package/dist/tests/generics/generic-functions.test.d.ts.map +1 -0
- package/dist/tests/generics/generic-functions.test.js +275 -0
- package/dist/tests/generics/generic-functions.test.js.map +1 -0
- package/dist/tests/generics/interfaces.test.d.ts +6 -0
- package/dist/tests/generics/interfaces.test.d.ts.map +1 -0
- package/dist/tests/generics/interfaces.test.js +139 -0
- package/dist/tests/generics/interfaces.test.js.map +1 -0
- package/dist/tests/generics/type-aliases.test.d.ts +6 -0
- package/dist/tests/generics/type-aliases.test.d.ts.map +1 -0
- package/dist/tests/generics/type-aliases.test.js +124 -0
- package/dist/tests/generics/type-aliases.test.js.map +1 -0
- package/dist/tests/hierarchical-bindings-full-pipeline.test.d.ts +6 -0
- package/dist/tests/hierarchical-bindings-full-pipeline.test.d.ts.map +1 -0
- package/dist/tests/hierarchical-bindings-full-pipeline.test.js +202 -0
- package/dist/tests/hierarchical-bindings-full-pipeline.test.js.map +1 -0
- package/dist/tests/ref-out-parameters.test.d.ts +5 -0
- package/dist/tests/ref-out-parameters.test.d.ts.map +1 -0
- package/dist/tests/ref-out-parameters.test.js +136 -0
- package/dist/tests/ref-out-parameters.test.js.map +1 -0
- package/dist/tests/structs/struct-emission.test.d.ts +5 -0
- package/dist/tests/structs/struct-emission.test.d.ts.map +1 -0
- package/dist/tests/structs/struct-emission.test.js +165 -0
- package/dist/tests/structs/struct-emission.test.js.map +1 -0
- package/dist/type-assertion.test.d.ts +6 -0
- package/dist/type-assertion.test.d.ts.map +1 -0
- package/dist/type-assertion.test.js +133 -0
- package/dist/type-assertion.test.js.map +1 -0
- package/dist/type-emitter.d.ts +6 -0
- package/dist/type-emitter.d.ts.map +1 -0
- package/dist/type-emitter.js +6 -0
- package/dist/type-emitter.js.map +1 -0
- package/dist/types/arrays.d.ts +12 -0
- package/dist/types/arrays.d.ts.map +1 -0
- package/dist/types/arrays.js +15 -0
- package/dist/types/arrays.js.map +1 -0
- package/dist/types/dictionaries.d.ts +17 -0
- package/dist/types/dictionaries.d.ts.map +1 -0
- package/dist/types/dictionaries.js +37 -0
- package/dist/types/dictionaries.js.map +1 -0
- package/dist/types/emitter.d.ts +10 -0
- package/dist/types/emitter.d.ts.map +1 -0
- package/dist/types/emitter.js +53 -0
- package/dist/types/emitter.js.map +1 -0
- package/dist/types/functions.d.ts +12 -0
- package/dist/types/functions.d.ts.map +1 -0
- package/dist/types/functions.js +34 -0
- package/dist/types/functions.js.map +1 -0
- package/dist/types/index.d.ts +14 -0
- package/dist/types/index.d.ts.map +1 -0
- package/{src/types/index.ts → dist/types/index.js} +1 -1
- package/dist/types/index.js.map +1 -0
- package/dist/types/index.test.d.ts +6 -0
- package/dist/types/index.test.d.ts.map +1 -0
- package/dist/types/index.test.js +109 -0
- package/dist/types/index.test.js.map +1 -0
- package/dist/types/intersections.d.ts +12 -0
- package/dist/types/intersections.d.ts.map +1 -0
- package/dist/types/intersections.js +13 -0
- package/dist/types/intersections.js.map +1 -0
- package/dist/types/literals.d.ts +12 -0
- package/dist/types/literals.d.ts.map +1 -0
- package/dist/types/literals.js +20 -0
- package/dist/types/literals.js.map +1 -0
- package/{src/types/objects.ts → dist/types/objects.d.ts} +4 -11
- package/dist/types/objects.d.ts.map +1 -0
- package/dist/types/objects.js +19 -0
- package/dist/types/objects.js.map +1 -0
- package/dist/types/parameters.d.ts +15 -0
- package/dist/types/parameters.d.ts.map +1 -0
- package/dist/types/parameters.js +69 -0
- package/dist/types/parameters.js.map +1 -0
- package/dist/types/parameters.test.d.ts +5 -0
- package/dist/types/parameters.test.d.ts.map +1 -0
- package/dist/types/parameters.test.js +135 -0
- package/dist/types/parameters.test.js.map +1 -0
- package/dist/types/primitives.d.ts +12 -0
- package/dist/types/primitives.d.ts.map +1 -0
- package/dist/types/primitives.js +17 -0
- package/dist/types/primitives.js.map +1 -0
- package/dist/types/references.d.ts +14 -0
- package/dist/types/references.d.ts.map +1 -0
- package/dist/types/references.js +154 -0
- package/dist/types/references.js.map +1 -0
- package/dist/types/unions.d.ts +12 -0
- package/dist/types/unions.d.ts.map +1 -0
- package/dist/types/unions.js +45 -0
- package/dist/types/unions.js.map +1 -0
- package/dist/types/unions.test.d.ts +6 -0
- package/dist/types/unions.test.d.ts.map +1 -0
- package/dist/types/unions.test.js +367 -0
- package/dist/types/unions.test.js.map +1 -0
- package/dist/types.d.ts +7 -0
- package/dist/types.d.ts.map +1 -0
- package/dist/types.js +6 -0
- package/dist/types.js.map +1 -0
- package/dist/union.test.d.ts +6 -0
- package/dist/union.test.d.ts.map +1 -0
- package/dist/union.test.js +367 -0
- package/dist/union.test.js.map +1 -0
- package/package.json +5 -2
- package/scripts/update-golden-tests.ts +0 -119
- package/src/adapter-generator.ts +0 -112
- package/src/array.test.ts +0 -301
- package/src/constants.ts +0 -32
- package/src/core/exports.ts +0 -36
- package/src/core/imports.test.ts +0 -83
- package/src/core/imports.ts +0 -243
- package/src/core/module-emitter/assembly.ts +0 -83
- package/src/core/module-emitter/header.ts +0 -19
- package/src/core/module-emitter/namespace.ts +0 -39
- package/src/core/module-emitter/orchestrator.ts +0 -98
- package/src/core/module-emitter/separation.ts +0 -41
- package/src/core/module-emitter/static-container.ts +0 -75
- package/src/core/module-emitter.test.ts +0 -154
- package/src/core/module-map.ts +0 -218
- package/src/core/options.ts +0 -16
- package/src/core/type-params.ts +0 -34
- package/src/emitter-types/context.ts +0 -91
- package/src/emitter-types/core.ts +0 -138
- package/src/emitter-types/csharp-types.ts +0 -42
- package/src/emitter-types/formatting.ts +0 -13
- package/src/emitter-types/fqn.ts +0 -81
- package/src/emitter-types/index.ts +0 -31
- package/src/emitter.ts +0 -107
- package/src/expression-emitter.ts +0 -112
- package/src/expressions/access.ts +0 -104
- package/src/expressions/calls.ts +0 -264
- package/src/expressions/collections.ts +0 -354
- package/src/expressions/functions.ts +0 -71
- package/src/expressions/identifiers.ts +0 -125
- package/src/expressions/index.test.ts +0 -515
- package/src/expressions/literals.ts +0 -138
- package/src/expressions/operators.ts +0 -211
- package/src/expressions/other.ts +0 -63
- package/src/generator-exchange.ts +0 -120
- package/src/generator.test.ts +0 -193
- package/src/golden-tests/config-parser.ts +0 -67
- package/src/golden-tests/discovery.ts +0 -61
- package/src/golden-tests/registration.ts +0 -26
- package/src/golden-tests/runner.ts +0 -131
- package/src/golden-tests/tree-builder.ts +0 -43
- package/src/golden-tests/types.ts +0 -21
- package/src/hierarchical-bindings.test.ts +0 -258
- package/src/integration.test.ts +0 -303
- package/src/specialization/call-site-rewriting.test.ts +0 -99
- package/src/specialization/collection/expressions.ts +0 -184
- package/src/specialization/collection/orchestrator.ts +0 -25
- package/src/specialization/collection/statements.ts +0 -91
- package/src/specialization/collection.ts +0 -10
- package/src/specialization/generation.ts +0 -189
- package/src/specialization/generic-classes.test.ts +0 -59
- package/src/specialization/generic-functions.test.ts +0 -292
- package/src/specialization/helpers.ts +0 -39
- package/src/specialization/interfaces.test.ts +0 -151
- package/src/specialization/naming.ts +0 -34
- package/src/specialization/substitution.ts +0 -186
- package/src/specialization/type-aliases.test.ts +0 -134
- package/src/specialization/types.ts +0 -19
- package/src/statement-emitter.ts +0 -117
- package/src/statements/blocks.ts +0 -115
- package/src/statements/classes/inline-types.ts +0 -79
- package/src/statements/classes/members/constructors.ts +0 -123
- package/src/statements/classes/members/methods.ts +0 -137
- package/src/statements/classes/members/orchestrator.ts +0 -33
- package/src/statements/classes/members/properties.ts +0 -62
- package/src/statements/classes/parameters.ts +0 -69
- package/src/statements/classes/properties.ts +0 -95
- package/src/statements/classes.ts +0 -14
- package/src/statements/control/conditionals.ts +0 -134
- package/src/statements/control/exceptions.ts +0 -59
- package/src/statements/control/loops.ts +0 -250
- package/src/statements/control.ts +0 -14
- package/src/statements/declarations/classes.ts +0 -89
- package/src/statements/declarations/enums.ts +0 -32
- package/src/statements/declarations/functions.ts +0 -147
- package/src/statements/declarations/interfaces.ts +0 -116
- package/src/statements/declarations/structs.test.ts +0 -182
- package/src/statements/declarations/type-aliases.ts +0 -104
- package/src/statements/declarations/variables.ts +0 -159
- package/src/statements/declarations.ts +0 -13
- package/src/statements/index.test.ts +0 -258
- package/src/statements/index.ts +0 -43
- package/src/type-assertion.test.ts +0 -143
- package/src/type-emitter.ts +0 -18
- package/src/types/arrays.ts +0 -21
- package/src/types/dictionaries.ts +0 -52
- package/src/types/emitter.ts +0 -76
- package/src/types/functions.ts +0 -45
- package/src/types/index.test.ts +0 -116
- package/src/types/intersections.ts +0 -19
- package/src/types/literals.ts +0 -26
- package/src/types/parameters.test.ts +0 -146
- package/src/types/parameters.ts +0 -95
- package/src/types/primitives.ts +0 -24
- package/src/types/references.ts +0 -187
- package/src/types/unions.test.ts +0 -397
- package/src/types/unions.ts +0 -62
- package/src/types.ts +0 -33
- package/testcases/README.md +0 -213
- package/testcases/arrays/basic/ArrayLiteral.ts +0 -4
- package/testcases/arrays/basic/config.yaml +0 -1
- package/testcases/arrays/destructuring/ArrayDestructure.ts +0 -4
- package/testcases/arrays/destructuring/config.yaml +0 -1
- package/testcases/arrays/methods/ArrayMethods.ts +0 -6
- package/testcases/arrays/methods/config.yaml +0 -1
- package/testcases/arrays/multidimensional/MultiDimensional.ts +0 -10
- package/testcases/arrays/multidimensional/config.yaml +0 -1
- package/testcases/arrays/spread/ArraySpread.ts +0 -3
- package/testcases/arrays/spread/config.yaml +0 -1
- package/testcases/async/basic/AsyncFunction.ts +0 -5
- package/testcases/async/basic/config.yaml +0 -1
- package/testcases/classes/abstract/AbstractClasses.ts +0 -53
- package/testcases/classes/abstract/config.yaml +0 -1
- package/testcases/classes/basic/Person.ts +0 -12
- package/testcases/classes/basic/config.yaml +0 -1
- package/testcases/classes/constructor/User.ts +0 -11
- package/testcases/classes/constructor/config.yaml +0 -1
- package/testcases/classes/field-inference/Counter.ts +0 -11
- package/testcases/classes/field-inference/config.yaml +0 -1
- package/testcases/classes/inheritance/Inheritance.ts +0 -24
- package/testcases/classes/inheritance/config.yaml +0 -1
- package/testcases/classes/static-members/MathHelper.ts +0 -12
- package/testcases/classes/static-members/config.yaml +0 -1
- package/testcases/control-flow/error-handling/ErrorHandling.ts +0 -13
- package/testcases/control-flow/error-handling/config.yaml +0 -1
- package/testcases/control-flow/loops/Loops.ts +0 -21
- package/testcases/control-flow/loops/config.yaml +0 -1
- package/testcases/control-flow/switch/SwitchStatement.ts +0 -15
- package/testcases/control-flow/switch/config.yaml +0 -1
- package/testcases/edge-cases/complex-expressions/ComplexExpressions.ts +0 -10
- package/testcases/edge-cases/complex-expressions/config.yaml +0 -1
- package/testcases/edge-cases/nested-scopes/NestedScopes.ts +0 -10
- package/testcases/edge-cases/nested-scopes/config.yaml +0 -1
- package/testcases/edge-cases/shadowing/Shadowing.ts +0 -16
- package/testcases/edge-cases/shadowing/config.yaml +0 -1
- package/testcases/functions/arrow/ArrowFunction.ts +0 -5
- package/testcases/functions/arrow/config.yaml +0 -1
- package/testcases/functions/basic/Greet.ts +0 -3
- package/testcases/functions/basic/config.yaml +0 -1
- package/testcases/functions/closures/Closures.ts +0 -11
- package/testcases/functions/closures/config.yaml +0 -1
- package/testcases/functions/default-params/DefaultParams.ts +0 -7
- package/testcases/functions/default-params/config.yaml +0 -1
- package/testcases/functions/rest-params/RestParams.ts +0 -7
- package/testcases/functions/rest-params/config.yaml +0 -1
- package/testcases/functions/type-guards/TypeGuards.ts +0 -52
- package/testcases/functions/type-guards/config.yaml +0 -1
- package/testcases/operators/logical/LogicalOperators.ts +0 -11
- package/testcases/operators/logical/config.yaml +0 -1
- package/testcases/operators/nullish-coalescing/NullishCoalescing.ts +0 -7
- package/testcases/operators/nullish-coalescing/config.yaml +0 -1
- package/testcases/operators/optional-chaining/OptionalChaining.ts +0 -15
- package/testcases/operators/optional-chaining/config.yaml +0 -1
- package/testcases/real-world/advanced-generics/advanced-generics.ts +0 -116
- package/testcases/real-world/advanced-generics/config.yaml +0 -1
- package/testcases/real-world/async-ops/async-ops.ts +0 -67
- package/testcases/real-world/async-ops/config.yaml +0 -1
- package/testcases/real-world/business-logic/business-logic.ts +0 -215
- package/testcases/real-world/business-logic/config.yaml +0 -1
- package/testcases/real-world/calculator/calculator.ts +0 -29
- package/testcases/real-world/calculator/config.yaml +0 -1
- package/testcases/real-world/data-structures/config.yaml +0 -1
- package/testcases/real-world/data-structures/data-structures.ts +0 -133
- package/testcases/real-world/functional/config.yaml +0 -1
- package/testcases/real-world/functional/functional.ts +0 -116
- package/testcases/real-world/shapes/config.yaml +0 -1
- package/testcases/real-world/shapes/shapes.ts +0 -87
- package/testcases/real-world/string-utils/config.yaml +0 -1
- package/testcases/real-world/string-utils/string-utils.ts +0 -47
- package/testcases/real-world/todo-list/config.yaml +0 -1
- package/testcases/real-world/todo-list/todo-list.ts +0 -52
- package/testcases/real-world/type-guards/config.yaml +0 -1
- package/testcases/real-world/type-guards/type-guards.ts +0 -71
- package/testcases/structs/basic/Point.ts +0 -9
- package/testcases/structs/basic/config.yaml +0 -1
- package/testcases/types/conditional/ConditionalTypes.ts +0 -35
- package/testcases/types/conditional/config.yaml +0 -1
- package/testcases/types/constants/ModuleConstants.ts +0 -6
- package/testcases/types/constants/config.yaml +0 -1
- package/testcases/types/generics/Generics.ts +0 -15
- package/testcases/types/generics/config.yaml +0 -1
- package/testcases/types/interfaces/Interfaces.ts +0 -14
- package/testcases/types/interfaces/config.yaml +0 -1
- package/testcases/types/mapped/MappedTypes.ts +0 -27
- package/testcases/types/mapped/config.yaml +0 -1
- package/testcases/types/tuples-intersections/TuplesAndIntersections.ts +0 -46
- package/testcases/types/tuples-intersections/config.yaml +0 -1
- package/testcases/types/unions/UnionTypes.ts +0 -11
- package/testcases/types/unions/config.yaml +0 -1
- package/tsconfig.json +0 -14
|
@@ -0,0 +1,275 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Tests for Generic Functions
|
|
3
|
+
* Covers spec/15-generics.md §3-5 - Generic Functions
|
|
4
|
+
*/
|
|
5
|
+
import { describe, it } from "mocha";
|
|
6
|
+
import { expect } from "chai";
|
|
7
|
+
import { emitModule } from "../emitter.js";
|
|
8
|
+
describe("Generic Functions (spec/15 §3-5)", () => {
|
|
9
|
+
it("should emit generic function with single type parameter", () => {
|
|
10
|
+
const module = {
|
|
11
|
+
kind: "module",
|
|
12
|
+
filePath: "/src/utils.ts",
|
|
13
|
+
namespace: "MyApp",
|
|
14
|
+
className: "utils",
|
|
15
|
+
isStaticContainer: true,
|
|
16
|
+
imports: [],
|
|
17
|
+
body: [
|
|
18
|
+
{
|
|
19
|
+
kind: "functionDeclaration",
|
|
20
|
+
name: "identity",
|
|
21
|
+
typeParameters: [
|
|
22
|
+
{
|
|
23
|
+
kind: "typeParameter",
|
|
24
|
+
name: "T",
|
|
25
|
+
constraint: undefined,
|
|
26
|
+
default: undefined,
|
|
27
|
+
variance: undefined,
|
|
28
|
+
isStructuralConstraint: false,
|
|
29
|
+
},
|
|
30
|
+
],
|
|
31
|
+
parameters: [
|
|
32
|
+
{
|
|
33
|
+
kind: "parameter",
|
|
34
|
+
pattern: { kind: "identifierPattern", name: "value" },
|
|
35
|
+
type: { kind: "referenceType", name: "T", typeArguments: [] },
|
|
36
|
+
isOptional: false,
|
|
37
|
+
isRest: false,
|
|
38
|
+
passing: "value",
|
|
39
|
+
},
|
|
40
|
+
],
|
|
41
|
+
returnType: { kind: "referenceType", name: "T", typeArguments: [] },
|
|
42
|
+
body: {
|
|
43
|
+
kind: "blockStatement",
|
|
44
|
+
statements: [
|
|
45
|
+
{
|
|
46
|
+
kind: "returnStatement",
|
|
47
|
+
expression: { kind: "identifier", name: "value" },
|
|
48
|
+
},
|
|
49
|
+
],
|
|
50
|
+
},
|
|
51
|
+
isExported: true,
|
|
52
|
+
isAsync: false,
|
|
53
|
+
isGenerator: false,
|
|
54
|
+
},
|
|
55
|
+
],
|
|
56
|
+
exports: [],
|
|
57
|
+
};
|
|
58
|
+
const result = emitModule(module);
|
|
59
|
+
expect(result).to.include("public static T identity<T>(T value)");
|
|
60
|
+
expect(result).to.include("return value");
|
|
61
|
+
});
|
|
62
|
+
it("should emit generic function with multiple type parameters", () => {
|
|
63
|
+
const module = {
|
|
64
|
+
kind: "module",
|
|
65
|
+
filePath: "/src/utils.ts",
|
|
66
|
+
namespace: "MyApp",
|
|
67
|
+
className: "utils",
|
|
68
|
+
isStaticContainer: true,
|
|
69
|
+
imports: [],
|
|
70
|
+
body: [
|
|
71
|
+
{
|
|
72
|
+
kind: "functionDeclaration",
|
|
73
|
+
name: "pair",
|
|
74
|
+
typeParameters: [
|
|
75
|
+
{
|
|
76
|
+
kind: "typeParameter",
|
|
77
|
+
name: "T",
|
|
78
|
+
constraint: undefined,
|
|
79
|
+
default: undefined,
|
|
80
|
+
variance: undefined,
|
|
81
|
+
isStructuralConstraint: false,
|
|
82
|
+
},
|
|
83
|
+
{
|
|
84
|
+
kind: "typeParameter",
|
|
85
|
+
name: "U",
|
|
86
|
+
constraint: undefined,
|
|
87
|
+
default: undefined,
|
|
88
|
+
variance: undefined,
|
|
89
|
+
isStructuralConstraint: false,
|
|
90
|
+
},
|
|
91
|
+
],
|
|
92
|
+
parameters: [
|
|
93
|
+
{
|
|
94
|
+
kind: "parameter",
|
|
95
|
+
pattern: { kind: "identifierPattern", name: "first" },
|
|
96
|
+
type: { kind: "referenceType", name: "T", typeArguments: [] },
|
|
97
|
+
isOptional: false,
|
|
98
|
+
isRest: false,
|
|
99
|
+
passing: "value",
|
|
100
|
+
},
|
|
101
|
+
{
|
|
102
|
+
kind: "parameter",
|
|
103
|
+
pattern: { kind: "identifierPattern", name: "second" },
|
|
104
|
+
type: { kind: "referenceType", name: "U", typeArguments: [] },
|
|
105
|
+
isOptional: false,
|
|
106
|
+
isRest: false,
|
|
107
|
+
passing: "value",
|
|
108
|
+
},
|
|
109
|
+
],
|
|
110
|
+
returnType: {
|
|
111
|
+
kind: "arrayType",
|
|
112
|
+
elementType: {
|
|
113
|
+
kind: "unionType",
|
|
114
|
+
types: [
|
|
115
|
+
{ kind: "referenceType", name: "T", typeArguments: [] },
|
|
116
|
+
{ kind: "referenceType", name: "U", typeArguments: [] },
|
|
117
|
+
],
|
|
118
|
+
},
|
|
119
|
+
},
|
|
120
|
+
body: {
|
|
121
|
+
kind: "blockStatement",
|
|
122
|
+
statements: [],
|
|
123
|
+
},
|
|
124
|
+
isExported: true,
|
|
125
|
+
isAsync: false,
|
|
126
|
+
isGenerator: false,
|
|
127
|
+
},
|
|
128
|
+
],
|
|
129
|
+
exports: [],
|
|
130
|
+
};
|
|
131
|
+
const result = emitModule(module);
|
|
132
|
+
expect(result).to.include("<T, U>");
|
|
133
|
+
expect(result).to.include("pair");
|
|
134
|
+
expect(result).to.include("T first");
|
|
135
|
+
expect(result).to.include("U second");
|
|
136
|
+
});
|
|
137
|
+
it("should emit generic function with nominal constraint", () => {
|
|
138
|
+
const module = {
|
|
139
|
+
kind: "module",
|
|
140
|
+
filePath: "/src/utils.ts",
|
|
141
|
+
namespace: "MyApp",
|
|
142
|
+
className: "utils",
|
|
143
|
+
isStaticContainer: true,
|
|
144
|
+
imports: [],
|
|
145
|
+
body: [
|
|
146
|
+
{
|
|
147
|
+
kind: "functionDeclaration",
|
|
148
|
+
name: "process",
|
|
149
|
+
typeParameters: [
|
|
150
|
+
{
|
|
151
|
+
kind: "typeParameter",
|
|
152
|
+
name: "T",
|
|
153
|
+
constraint: {
|
|
154
|
+
kind: "referenceType",
|
|
155
|
+
name: "Comparable",
|
|
156
|
+
typeArguments: [],
|
|
157
|
+
},
|
|
158
|
+
default: undefined,
|
|
159
|
+
variance: undefined,
|
|
160
|
+
isStructuralConstraint: false,
|
|
161
|
+
},
|
|
162
|
+
],
|
|
163
|
+
parameters: [
|
|
164
|
+
{
|
|
165
|
+
kind: "parameter",
|
|
166
|
+
pattern: { kind: "identifierPattern", name: "item" },
|
|
167
|
+
type: { kind: "referenceType", name: "T", typeArguments: [] },
|
|
168
|
+
isOptional: false,
|
|
169
|
+
isRest: false,
|
|
170
|
+
passing: "value",
|
|
171
|
+
},
|
|
172
|
+
],
|
|
173
|
+
returnType: { kind: "voidType" },
|
|
174
|
+
body: {
|
|
175
|
+
kind: "blockStatement",
|
|
176
|
+
statements: [],
|
|
177
|
+
},
|
|
178
|
+
isExported: true,
|
|
179
|
+
isAsync: false,
|
|
180
|
+
isGenerator: false,
|
|
181
|
+
},
|
|
182
|
+
],
|
|
183
|
+
exports: [],
|
|
184
|
+
};
|
|
185
|
+
const result = emitModule(module);
|
|
186
|
+
expect(result).to.include("<T>");
|
|
187
|
+
expect(result).to.include("where T : Comparable");
|
|
188
|
+
});
|
|
189
|
+
it("should emit generic function with structural constraint and adapter", () => {
|
|
190
|
+
const module = {
|
|
191
|
+
kind: "module",
|
|
192
|
+
filePath: "/src/utils.ts",
|
|
193
|
+
namespace: "MyApp",
|
|
194
|
+
className: "utils",
|
|
195
|
+
isStaticContainer: true,
|
|
196
|
+
imports: [],
|
|
197
|
+
body: [
|
|
198
|
+
{
|
|
199
|
+
kind: "functionDeclaration",
|
|
200
|
+
name: "getId",
|
|
201
|
+
typeParameters: [
|
|
202
|
+
{
|
|
203
|
+
kind: "typeParameter",
|
|
204
|
+
name: "T",
|
|
205
|
+
constraint: {
|
|
206
|
+
kind: "objectType",
|
|
207
|
+
members: [
|
|
208
|
+
{
|
|
209
|
+
kind: "propertySignature",
|
|
210
|
+
name: "id",
|
|
211
|
+
type: { kind: "primitiveType", name: "number" },
|
|
212
|
+
isOptional: false,
|
|
213
|
+
isReadonly: false,
|
|
214
|
+
},
|
|
215
|
+
],
|
|
216
|
+
},
|
|
217
|
+
default: undefined,
|
|
218
|
+
variance: undefined,
|
|
219
|
+
isStructuralConstraint: true,
|
|
220
|
+
structuralMembers: [
|
|
221
|
+
{
|
|
222
|
+
kind: "propertySignature",
|
|
223
|
+
name: "id",
|
|
224
|
+
type: { kind: "primitiveType", name: "number" },
|
|
225
|
+
isOptional: false,
|
|
226
|
+
isReadonly: false,
|
|
227
|
+
},
|
|
228
|
+
],
|
|
229
|
+
},
|
|
230
|
+
],
|
|
231
|
+
parameters: [
|
|
232
|
+
{
|
|
233
|
+
kind: "parameter",
|
|
234
|
+
pattern: { kind: "identifierPattern", name: "obj" },
|
|
235
|
+
type: { kind: "referenceType", name: "T", typeArguments: [] },
|
|
236
|
+
isOptional: false,
|
|
237
|
+
isRest: false,
|
|
238
|
+
passing: "value",
|
|
239
|
+
},
|
|
240
|
+
],
|
|
241
|
+
returnType: { kind: "primitiveType", name: "number" },
|
|
242
|
+
body: {
|
|
243
|
+
kind: "blockStatement",
|
|
244
|
+
statements: [
|
|
245
|
+
{
|
|
246
|
+
kind: "returnStatement",
|
|
247
|
+
expression: {
|
|
248
|
+
kind: "memberAccess",
|
|
249
|
+
object: { kind: "identifier", name: "obj" },
|
|
250
|
+
property: "id",
|
|
251
|
+
isComputed: false,
|
|
252
|
+
isOptional: false,
|
|
253
|
+
},
|
|
254
|
+
},
|
|
255
|
+
],
|
|
256
|
+
},
|
|
257
|
+
isExported: true,
|
|
258
|
+
isAsync: false,
|
|
259
|
+
isGenerator: false,
|
|
260
|
+
},
|
|
261
|
+
],
|
|
262
|
+
exports: [],
|
|
263
|
+
};
|
|
264
|
+
const result = emitModule(module);
|
|
265
|
+
// Should generate adapter interface
|
|
266
|
+
expect(result).to.include("public interface __Constraint_T");
|
|
267
|
+
expect(result).to.include("double id { get; }");
|
|
268
|
+
// Should generate adapter wrapper class
|
|
269
|
+
expect(result).to.include("public sealed class __Wrapper_T : __Constraint_T");
|
|
270
|
+
expect(result).to.include("public double id { get; set; }");
|
|
271
|
+
// Function should reference the constraint
|
|
272
|
+
expect(result).to.include("where T : __Constraint_T");
|
|
273
|
+
});
|
|
274
|
+
});
|
|
275
|
+
//# sourceMappingURL=generic-functions.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"generic-functions.test.js","sourceRoot":"","sources":["../../src/specialization/generic-functions.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,UAAU;oBAChB,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE,SAAS;4BACrB,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;qBACF;oBACD,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;4BAC7D,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;oBACnE,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;6BAClD;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,sCAAsC,CAAC,CAAC;QAClE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE,SAAS;4BACrB,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;wBACD;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE,SAAS;4BACrB,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;qBACF;oBACD,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;4BAC7D,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;wBACD;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;4BACtD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;4BAC7D,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE;4BACX,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE;gCACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;gCACvD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;6BACxD;yBACF;qBACF;oBACD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE,EAAE;qBACf;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE;gCACV,IAAI,EAAE,eAAe;gCACrB,IAAI,EAAE,YAAY;gCAClB,aAAa,EAAE,EAAE;6BAClB;4BACD,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;qBACF;oBACD,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;4BACpD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;4BAC7D,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE,EAAE;qBACf;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,OAAO;oBACb,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE;gCACV,IAAI,EAAE,YAAY;gCAClB,OAAO,EAAE;oCACP;wCACE,IAAI,EAAE,mBAAmB;wCACzB,IAAI,EAAE,IAAI;wCACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wCAC/C,UAAU,EAAE,KAAK;wCACjB,UAAU,EAAE,KAAK;qCAClB;iCACF;6BACF;4BACD,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,IAAI;4BAC5B,iBAAiB,EAAE;gCACjB;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oCAC/C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE;4BACnD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;4BAC7D,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE;oCACV,IAAI,EAAE,cAAc;oCACpB,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE;oCAC3C,QAAQ,EAAE,IAAI;oCACd,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,oCAAoC;QACpC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC;QAC7D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAEhD,wCAAwC;QACxC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,kDAAkD,CACnD,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;QAE5D,2CAA2C;QAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Helper functions for specialization (key generation, serialization)
|
|
3
|
+
*/
|
|
4
|
+
import { IrType } from "@tsonic/frontend";
|
|
5
|
+
/**
|
|
6
|
+
* Create a unique key for a specialization request
|
|
7
|
+
*/
|
|
8
|
+
export declare const createSpecializationKey: (name: string, typeArgs: readonly IrType[]) => string;
|
|
9
|
+
/**
|
|
10
|
+
* Simple type serialization for deduplication
|
|
11
|
+
*/
|
|
12
|
+
export declare const serializeType: (type: IrType) => string;
|
|
13
|
+
//# sourceMappingURL=helpers.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/specialization/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE1C;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,MAAM,EACZ,UAAU,SAAS,MAAM,EAAE,KAC1B,MAIF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,KAAG,MAiB5C,CAAC"}
|
|
@@ -0,0 +1,33 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Helper functions for specialization (key generation, serialization)
|
|
3
|
+
*/
|
|
4
|
+
/**
|
|
5
|
+
* Create a unique key for a specialization request
|
|
6
|
+
*/
|
|
7
|
+
export const createSpecializationKey = (name, typeArgs) => {
|
|
8
|
+
// Simple serialization of type arguments for deduplication
|
|
9
|
+
const typeStrs = typeArgs.map((t) => serializeType(t));
|
|
10
|
+
return `${name}<${typeStrs.join(",")}>`;
|
|
11
|
+
};
|
|
12
|
+
/**
|
|
13
|
+
* Simple type serialization for deduplication
|
|
14
|
+
*/
|
|
15
|
+
export const serializeType = (type) => {
|
|
16
|
+
switch (type.kind) {
|
|
17
|
+
case "primitiveType":
|
|
18
|
+
return type.name;
|
|
19
|
+
case "referenceType":
|
|
20
|
+
if (type.typeArguments && type.typeArguments.length > 0) {
|
|
21
|
+
const args = type.typeArguments.map(serializeType).join(",");
|
|
22
|
+
return `${type.name}<${args}>`;
|
|
23
|
+
}
|
|
24
|
+
return type.name;
|
|
25
|
+
case "arrayType":
|
|
26
|
+
return `${serializeType(type.elementType)}[]`;
|
|
27
|
+
case "literalType":
|
|
28
|
+
return `literal:${type.value}`;
|
|
29
|
+
default:
|
|
30
|
+
return type.kind;
|
|
31
|
+
}
|
|
32
|
+
};
|
|
33
|
+
//# sourceMappingURL=helpers.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../src/specialization/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAY,EACZ,QAA2B,EACnB,EAAE;IACV,2DAA2D;IAC3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,OAAO,GAAG,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC1C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE;IACpD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,eAAe;YAClB,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC7D,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC;YACjC,CAAC;YACD,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,WAAW;YACd,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;QAChD,KAAK,aAAa;YAChB,OAAO,WAAW,IAAI,CAAC,KAAK,EAAE,CAAC;QACjC;YACE,OAAO,IAAI,CAAC,IAAI,CAAC;IACrB,CAAC;AACH,CAAC,CAAC"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Specialization system barrel exports
|
|
3
|
+
*/
|
|
4
|
+
export type { SpecializationRequest } from "./types.js";
|
|
5
|
+
export { collectSpecializations } from "./collection.js";
|
|
6
|
+
export { generateSpecializations } from "./generation.js";
|
|
7
|
+
export { generateSpecializedFunctionName, generateSpecializedClassName, } from "./naming.js";
|
|
8
|
+
export { createSpecializationKey, serializeType } from "./helpers.js";
|
|
9
|
+
export { substituteType, substituteStatement, substituteExpression, } from "./substitution.js";
|
|
10
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/specialization/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,YAAY,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAGxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAGzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAG1D,OAAO,EACL,+BAA+B,EAC/B,4BAA4B,GAC7B,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,uBAAuB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAGtE,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,mBAAmB,CAAC"}
|
|
@@ -1,28 +1,14 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Specialization system barrel exports
|
|
3
3
|
*/
|
|
4
|
-
|
|
5
|
-
// Types
|
|
6
|
-
export type { SpecializationRequest } from "./types.js";
|
|
7
|
-
|
|
8
4
|
// Collection
|
|
9
5
|
export { collectSpecializations } from "./collection.js";
|
|
10
|
-
|
|
11
6
|
// Generation
|
|
12
7
|
export { generateSpecializations } from "./generation.js";
|
|
13
|
-
|
|
14
8
|
// Naming
|
|
15
|
-
export {
|
|
16
|
-
generateSpecializedFunctionName,
|
|
17
|
-
generateSpecializedClassName,
|
|
18
|
-
} from "./naming.js";
|
|
19
|
-
|
|
9
|
+
export { generateSpecializedFunctionName, generateSpecializedClassName, } from "./naming.js";
|
|
20
10
|
// Helpers
|
|
21
11
|
export { createSpecializationKey, serializeType } from "./helpers.js";
|
|
22
|
-
|
|
23
12
|
// Substitution
|
|
24
|
-
export {
|
|
25
|
-
|
|
26
|
-
substituteStatement,
|
|
27
|
-
substituteExpression,
|
|
28
|
-
} from "./substitution.js";
|
|
13
|
+
export { substituteType, substituteStatement, substituteExpression, } from "./substitution.js";
|
|
14
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/specialization/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH,aAAa;AACb,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,aAAa;AACb,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAE1D,SAAS;AACT,OAAO,EACL,+BAA+B,EAC/B,4BAA4B,GAC7B,MAAM,aAAa,CAAC;AAErB,UAAU;AACV,OAAO,EAAE,uBAAuB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAEtE,eAAe;AACf,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,mBAAmB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"interfaces.test.d.ts","sourceRoot":"","sources":["../../src/specialization/interfaces.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}
|
|
@@ -0,0 +1,139 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Tests for Interfaces
|
|
3
|
+
* Covers spec/16-types-and-interfaces.md §2 - Interfaces
|
|
4
|
+
*/
|
|
5
|
+
import { describe, it } from "mocha";
|
|
6
|
+
import { expect } from "chai";
|
|
7
|
+
import { emitModule } from "../emitter.js";
|
|
8
|
+
describe("Interfaces (spec/16 §2)", () => {
|
|
9
|
+
it("should emit interface as C# class with auto-properties", () => {
|
|
10
|
+
const module = {
|
|
11
|
+
kind: "module",
|
|
12
|
+
filePath: "/src/User.ts",
|
|
13
|
+
namespace: "MyApp",
|
|
14
|
+
className: "User",
|
|
15
|
+
isStaticContainer: false,
|
|
16
|
+
imports: [],
|
|
17
|
+
body: [
|
|
18
|
+
{
|
|
19
|
+
kind: "interfaceDeclaration",
|
|
20
|
+
name: "User",
|
|
21
|
+
typeParameters: undefined,
|
|
22
|
+
extends: [],
|
|
23
|
+
isStruct: false,
|
|
24
|
+
members: [
|
|
25
|
+
{
|
|
26
|
+
kind: "propertySignature",
|
|
27
|
+
name: "id",
|
|
28
|
+
type: { kind: "primitiveType", name: "number" },
|
|
29
|
+
isOptional: false,
|
|
30
|
+
isReadonly: false,
|
|
31
|
+
},
|
|
32
|
+
{
|
|
33
|
+
kind: "propertySignature",
|
|
34
|
+
name: "name",
|
|
35
|
+
type: { kind: "primitiveType", name: "string" },
|
|
36
|
+
isOptional: false,
|
|
37
|
+
isReadonly: false,
|
|
38
|
+
},
|
|
39
|
+
{
|
|
40
|
+
kind: "propertySignature",
|
|
41
|
+
name: "active",
|
|
42
|
+
type: { kind: "primitiveType", name: "boolean" },
|
|
43
|
+
isOptional: true,
|
|
44
|
+
isReadonly: false,
|
|
45
|
+
},
|
|
46
|
+
],
|
|
47
|
+
isExported: true,
|
|
48
|
+
},
|
|
49
|
+
],
|
|
50
|
+
exports: [],
|
|
51
|
+
};
|
|
52
|
+
const result = emitModule(module);
|
|
53
|
+
// Should emit as C# class, not interface
|
|
54
|
+
expect(result).to.include("public class User");
|
|
55
|
+
expect(result).not.to.include("interface User");
|
|
56
|
+
// Should have auto-properties
|
|
57
|
+
expect(result).to.include("public double id { get; set; }");
|
|
58
|
+
expect(result).to.include("public string name { get; set; }");
|
|
59
|
+
// Optional property should be nullable
|
|
60
|
+
expect(result).to.include("public bool? active { get; set; }");
|
|
61
|
+
});
|
|
62
|
+
it("should emit interface with readonly members", () => {
|
|
63
|
+
const module = {
|
|
64
|
+
kind: "module",
|
|
65
|
+
filePath: "/src/Config.ts",
|
|
66
|
+
namespace: "MyApp",
|
|
67
|
+
className: "Config",
|
|
68
|
+
isStaticContainer: false,
|
|
69
|
+
imports: [],
|
|
70
|
+
body: [
|
|
71
|
+
{
|
|
72
|
+
kind: "interfaceDeclaration",
|
|
73
|
+
name: "Config",
|
|
74
|
+
typeParameters: undefined,
|
|
75
|
+
extends: [],
|
|
76
|
+
isStruct: false,
|
|
77
|
+
members: [
|
|
78
|
+
{
|
|
79
|
+
kind: "propertySignature",
|
|
80
|
+
name: "apiUrl",
|
|
81
|
+
type: { kind: "primitiveType", name: "string" },
|
|
82
|
+
isOptional: false,
|
|
83
|
+
isReadonly: true,
|
|
84
|
+
},
|
|
85
|
+
],
|
|
86
|
+
isExported: true,
|
|
87
|
+
},
|
|
88
|
+
],
|
|
89
|
+
exports: [],
|
|
90
|
+
};
|
|
91
|
+
const result = emitModule(module);
|
|
92
|
+
// Readonly should use private set
|
|
93
|
+
expect(result).to.include("public string apiUrl { get; }");
|
|
94
|
+
});
|
|
95
|
+
it("should emit generic interface", () => {
|
|
96
|
+
const module = {
|
|
97
|
+
kind: "module",
|
|
98
|
+
filePath: "/src/Result.ts",
|
|
99
|
+
namespace: "MyApp",
|
|
100
|
+
className: "Result",
|
|
101
|
+
isStaticContainer: true, // Changed to true to emit at top level
|
|
102
|
+
imports: [],
|
|
103
|
+
body: [
|
|
104
|
+
{
|
|
105
|
+
kind: "interfaceDeclaration",
|
|
106
|
+
name: "Result",
|
|
107
|
+
typeParameters: [
|
|
108
|
+
{
|
|
109
|
+
kind: "typeParameter",
|
|
110
|
+
name: "T",
|
|
111
|
+
constraint: undefined,
|
|
112
|
+
default: undefined,
|
|
113
|
+
variance: undefined,
|
|
114
|
+
isStructuralConstraint: false,
|
|
115
|
+
},
|
|
116
|
+
],
|
|
117
|
+
extends: [],
|
|
118
|
+
isStruct: false,
|
|
119
|
+
members: [
|
|
120
|
+
{
|
|
121
|
+
kind: "propertySignature",
|
|
122
|
+
name: "data",
|
|
123
|
+
type: { kind: "referenceType", name: "T", typeArguments: [] },
|
|
124
|
+
isOptional: false,
|
|
125
|
+
isReadonly: false,
|
|
126
|
+
},
|
|
127
|
+
],
|
|
128
|
+
isExported: true,
|
|
129
|
+
},
|
|
130
|
+
],
|
|
131
|
+
exports: [],
|
|
132
|
+
};
|
|
133
|
+
const result = emitModule(module);
|
|
134
|
+
// Allow for whitespace variations
|
|
135
|
+
expect(result).to.match(/public\s+class\s+Result\s*<T>/);
|
|
136
|
+
expect(result).to.include("public T data { get; set; }");
|
|
137
|
+
});
|
|
138
|
+
});
|
|
139
|
+
//# sourceMappingURL=interfaces.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"interfaces.test.js","sourceRoot":"","sources":["../../src/specialization/interfaces.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,KAAK;YACxB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,MAAM;oBACZ,cAAc,EAAE,SAAS;oBACzB,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,IAAI;4BAChB,UAAU,EAAE,KAAK;yBAClB;qBACF;oBACD,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,yCAAyC;QACzC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAEhD,8BAA8B;QAC9B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;QAE9D,uCAAuC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,gBAAgB;YAC1B,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,QAAQ;YACnB,iBAAiB,EAAE,KAAK;YACxB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,QAAQ;oBACd,cAAc,EAAE,SAAS;oBACzB,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,IAAI;yBACjB;qBACF;oBACD,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,kCAAkC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,gBAAgB;YAC1B,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,QAAQ;YACnB,iBAAiB,EAAE,IAAI,EAAE,uCAAuC;YAChE,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,QAAQ;oBACd,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE,SAAS;4BACrB,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;qBACF;oBACD,OAAO,EAAE,EAAE;oBACX,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;4BAC7D,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;oBACD,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,kCAAkC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Name generation for specialized declarations
|
|
3
|
+
*/
|
|
4
|
+
import { IrType } from "@tsonic/frontend";
|
|
5
|
+
/**
|
|
6
|
+
* Generate specialized function name
|
|
7
|
+
*/
|
|
8
|
+
export declare const generateSpecializedFunctionName: (baseName: string, typeArgs: readonly IrType[]) => string;
|
|
9
|
+
/**
|
|
10
|
+
* Generate specialized class name
|
|
11
|
+
*/
|
|
12
|
+
export declare const generateSpecializedClassName: (baseName: string, typeArgs: readonly IrType[]) => string;
|
|
13
|
+
//# sourceMappingURL=naming.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"naming.d.ts","sourceRoot":"","sources":["../../src/specialization/naming.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG1C;;GAEG;AACH,eAAO,MAAM,+BAA+B,GAC1C,UAAU,MAAM,EAChB,UAAU,SAAS,MAAM,EAAE,KAC1B,MAMF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,4BAA4B,GACvC,UAAU,MAAM,EAChB,UAAU,SAAS,MAAM,EAAE,KAC1B,MAMF,CAAC"}
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Name generation for specialized declarations
|
|
3
|
+
*/
|
|
4
|
+
import { serializeType } from "./helpers.js";
|
|
5
|
+
/**
|
|
6
|
+
* Generate specialized function name
|
|
7
|
+
*/
|
|
8
|
+
export const generateSpecializedFunctionName = (baseName, typeArgs) => {
|
|
9
|
+
const typeNames = typeArgs.map((t) => {
|
|
10
|
+
const serialized = serializeType(t);
|
|
11
|
+
return serialized.replace(/[<>?,\s]/g, "_").replace(/\./g, "_");
|
|
12
|
+
});
|
|
13
|
+
return `${baseName}__${typeNames.join("__")}`;
|
|
14
|
+
};
|
|
15
|
+
/**
|
|
16
|
+
* Generate specialized class name
|
|
17
|
+
*/
|
|
18
|
+
export const generateSpecializedClassName = (baseName, typeArgs) => {
|
|
19
|
+
const typeNames = typeArgs.map((t) => {
|
|
20
|
+
const serialized = serializeType(t);
|
|
21
|
+
return serialized.replace(/[<>?,\s]/g, "_").replace(/\./g, "_");
|
|
22
|
+
});
|
|
23
|
+
return `${baseName}__${typeNames.join("__")}`;
|
|
24
|
+
};
|
|
25
|
+
//# sourceMappingURL=naming.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"naming.js","sourceRoot":"","sources":["../../src/specialization/naming.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C;;GAEG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,QAAgB,EAChB,QAA2B,EACnB,EAAE;IACV,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAAgB,EAChB,QAA2B,EACnB,EAAE;IACV,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC,CAAC"}
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Type parameter substitution for specialization
|
|
3
|
+
*/
|
|
4
|
+
import { IrType, IrStatement, IrExpression } from "@tsonic/frontend";
|
|
5
|
+
/**
|
|
6
|
+
* Substitute type parameters in an IR type
|
|
7
|
+
*/
|
|
8
|
+
export declare const substituteType: (type: IrType, substitutions: Map<string, IrType>) => IrType;
|
|
9
|
+
/**
|
|
10
|
+
* Substitute type parameters in a statement
|
|
11
|
+
*/
|
|
12
|
+
export declare const substituteStatement: (stmt: IrStatement, substitutions: Map<string, IrType>) => IrStatement;
|
|
13
|
+
/**
|
|
14
|
+
* Substitute type parameters in an expression
|
|
15
|
+
*/
|
|
16
|
+
export declare const substituteExpression: (expr: IrExpression, substitutions: Map<string, IrType>) => IrExpression;
|
|
17
|
+
//# sourceMappingURL=substitution.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"substitution.d.ts","sourceRoot":"","sources":["../../src/specialization/substitution.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErE;;GAEG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,MAAM,EACZ,eAAe,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,KACjC,MA8DF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,WAAW,EACjB,eAAe,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,KACjC,WAiDF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,YAAY,EAClB,eAAe,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,KACjC,YA8CF,CAAC"}
|