@tsonic/emitter 0.0.77 → 0.0.78
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/array.test.js +5 -1
- package/dist/array.test.js.map +1 -1
- package/dist/core/module-emitter-cases/static-containers.test.js +2 -1
- package/dist/core/module-emitter-cases/static-containers.test.js.map +1 -1
- package/dist/core/semantic/array-expected-types.js +1 -1
- package/dist/core/semantic/array-expected-types.js.map +1 -1
- package/dist/core/semantic/assignment-flow.d.ts.map +1 -1
- package/dist/core/semantic/assignment-flow.js +2 -1
- package/dist/core/semantic/assignment-flow.js.map +1 -1
- package/dist/core/semantic/direct-value-surfaces.js +2 -1
- package/dist/core/semantic/direct-value-surfaces.js.map +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.js +1 -1
- package/dist/core/semantic/instanceof-predicate-refinements.js.map +1 -1
- package/dist/core/semantic/mutable-storage-helpers.d.ts.map +1 -1
- package/dist/core/semantic/mutable-storage-helpers.js +3 -2
- package/dist/core/semantic/mutable-storage-helpers.js.map +1 -1
- package/dist/core/semantic/narrowed-expression-types.js +1 -1
- package/dist/core/semantic/narrowed-expression-types.js.map +1 -1
- package/dist/core/semantic/narrowed-union-resolution.js +1 -1
- package/dist/core/semantic/narrowed-union-resolution.js.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.d.ts.map +1 -1
- package/dist/core/semantic/nullable-typeof-refinements.js +8 -31
- package/dist/core/semantic/nullable-typeof-refinements.js.map +1 -1
- package/dist/core/semantic/runtime-union-frame.d.ts +6 -0
- package/dist/core/semantic/runtime-union-frame.d.ts.map +1 -0
- package/dist/core/semantic/runtime-union-frame.js +130 -0
- package/dist/core/semantic/runtime-union-frame.js.map +1 -0
- package/dist/core/semantic/runtime-unions.d.ts +3 -4
- package/dist/core/semantic/runtime-unions.d.ts.map +1 -1
- package/dist/core/semantic/runtime-unions.js +4 -129
- package/dist/core/semantic/runtime-unions.js.map +1 -1
- package/dist/core/semantic/semantic-union-members.js +1 -1
- package/dist/core/semantic/semantic-union-members.js.map +1 -1
- package/dist/core/semantic/storage-types.d.ts +3 -0
- package/dist/core/semantic/storage-types.d.ts.map +1 -1
- package/dist/core/semantic/storage-types.js +13 -2
- package/dist/core/semantic/storage-types.js.map +1 -1
- package/dist/core/semantic/surface-member-semantics.d.ts +14 -0
- package/dist/core/semantic/surface-member-semantics.d.ts.map +1 -0
- package/dist/core/semantic/surface-member-semantics.js +41 -0
- package/dist/core/semantic/surface-member-semantics.js.map +1 -0
- package/dist/core/semantic/ternary-guards.d.ts +1 -1
- package/dist/core/semantic/ternary-guards.d.ts.map +1 -1
- package/dist/core/semantic/ternary-guards.js +2 -1
- package/dist/core/semantic/ternary-guards.js.map +1 -1
- package/dist/core/semantic/typeof-comparison.d.ts +14 -0
- package/dist/core/semantic/typeof-comparison.d.ts.map +1 -0
- package/dist/core/semantic/typeof-comparison.js +47 -0
- package/dist/core/semantic/typeof-comparison.js.map +1 -0
- package/dist/core/semantic/union-semantics.js +1 -1
- package/dist/core/semantic/union-semantics.js.map +1 -1
- package/dist/emitter-types/context.d.ts.map +1 -1
- package/dist/emitter-types/context.js +1 -0
- package/dist/emitter-types/context.js.map +1 -1
- package/dist/expressions/access-binding.d.ts.map +1 -1
- package/dist/expressions/access-binding.js +18 -32
- package/dist/expressions/access-binding.js.map +1 -1
- package/dist/expressions/access-computed.d.ts.map +1 -1
- package/dist/expressions/access-computed.js +3 -7
- package/dist/expressions/access-computed.js.map +1 -1
- package/dist/expressions/access-function-length.d.ts +13 -0
- package/dist/expressions/access-function-length.d.ts.map +1 -0
- package/dist/expressions/access-function-length.js +115 -0
- package/dist/expressions/access-function-length.js.map +1 -0
- package/dist/expressions/access-length.d.ts +2 -4
- package/dist/expressions/access-length.d.ts.map +1 -1
- package/dist/expressions/access-length.js +7 -23
- package/dist/expressions/access-length.js.map +1 -1
- package/dist/expressions/access-length.test.js +17 -0
- package/dist/expressions/access-length.test.js.map +1 -1
- package/dist/expressions/access-resolution-receivers.d.ts.map +1 -1
- package/dist/expressions/access-resolution-receivers.js +10 -12
- package/dist/expressions/access-resolution-receivers.js.map +1 -1
- package/dist/expressions/access.d.ts.map +1 -1
- package/dist/expressions/access.js +7 -19
- package/dist/expressions/access.js.map +1 -1
- package/dist/expressions/architecture-invariants.test.js +94 -0
- package/dist/expressions/architecture-invariants.test.js.map +1 -1
- package/dist/expressions/awaitable-adaptation.d.ts +15 -0
- package/dist/expressions/awaitable-adaptation.d.ts.map +1 -0
- package/dist/expressions/awaitable-adaptation.js +174 -0
- package/dist/expressions/awaitable-adaptation.js.map +1 -0
- package/dist/expressions/calls/call-arguments-emit.d.ts.map +1 -1
- package/dist/expressions/calls/call-arguments-emit.js +20 -2
- package/dist/expressions/calls/call-arguments-emit.js.map +1 -1
- package/dist/expressions/calls/call-arguments-helpers.js +2 -2
- package/dist/expressions/calls/call-arguments-helpers.js.map +1 -1
- package/dist/expressions/calls/call-array-interop.d.ts +1 -1
- package/dist/expressions/calls/call-array-interop.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-interop.js +1 -1
- package/dist/expressions/calls/call-array-interop.js.map +1 -1
- package/dist/expressions/calls/call-array-mutation.d.ts +0 -1
- package/dist/expressions/calls/call-array-mutation.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-mutation.js +5 -7
- package/dist/expressions/calls/call-array-mutation.js.map +1 -1
- package/dist/expressions/calls/call-array-wrapper.d.ts.map +1 -1
- package/dist/expressions/calls/call-array-wrapper.js +3 -8
- package/dist/expressions/calls/call-array-wrapper.js.map +1 -1
- package/dist/expressions/expected-type-adaptation.d.ts.map +1 -1
- package/dist/expressions/expected-type-adaptation.js +15 -1
- package/dist/expressions/expected-type-adaptation.js.map +1 -1
- package/dist/expressions/identifier-storage/broad-storage-target.d.ts +4 -0
- package/dist/expressions/identifier-storage/broad-storage-target.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/broad-storage-target.js +26 -0
- package/dist/expressions/identifier-storage/broad-storage-target.js.map +1 -0
- package/dist/expressions/identifier-storage/implicit-storage.d.ts +14 -0
- package/dist/expressions/identifier-storage/implicit-storage.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/implicit-storage.js +44 -0
- package/dist/expressions/identifier-storage/implicit-storage.js.map +1 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.d.ts +7 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.js +92 -0
- package/dist/expressions/identifier-storage/materialized-narrowed.js.map +1 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts +14 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.js +168 -0
- package/dist/expressions/identifier-storage/narrowed-storage-compatible.js.map +1 -0
- package/dist/expressions/identifier-storage/reified-storage.d.ts +7 -0
- package/dist/expressions/identifier-storage/reified-storage.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/reified-storage.js +25 -0
- package/dist/expressions/identifier-storage/reified-storage.js.map +1 -0
- package/dist/expressions/identifier-storage/runtime-subset.d.ts +14 -0
- package/dist/expressions/identifier-storage/runtime-subset.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/runtime-subset.js +100 -0
- package/dist/expressions/identifier-storage/runtime-subset.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-compatible.d.ts +10 -0
- package/dist/expressions/identifier-storage/storage-compatible.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-compatible.js +76 -0
- package/dist/expressions/identifier-storage/storage-compatible.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-match.d.ts +4 -0
- package/dist/expressions/identifier-storage/storage-surface-match.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-match.js +95 -0
- package/dist/expressions/identifier-storage/storage-surface-match.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.d.ts +12 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.js +77 -0
- package/dist/expressions/identifier-storage/storage-surface-shared.js.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface.d.ts +9 -0
- package/dist/expressions/identifier-storage/storage-surface.d.ts.map +1 -0
- package/dist/expressions/identifier-storage/storage-surface.js +9 -0
- package/dist/expressions/identifier-storage/storage-surface.js.map +1 -0
- package/dist/expressions/identifier-storage.d.ts +1 -47
- package/dist/expressions/identifier-storage.d.ts.map +1 -1
- package/dist/expressions/identifier-storage.js +1 -652
- package/dist/expressions/identifier-storage.js.map +1 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js +7 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-b.test.js.map +1 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js +4 -1
- package/dist/expressions/index-cases/array-wrapper-recursion-c.test.js.map +1 -1
- package/dist/expressions/index-cases/helpers.d.ts +1 -0
- package/dist/expressions/index-cases/helpers.d.ts.map +1 -1
- package/dist/expressions/index-cases/helpers.js +28 -0
- package/dist/expressions/index-cases/helpers.js.map +1 -1
- package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js +18 -9
- package/dist/expressions/index-cases/string-and-array-fallbacks-a.test.js.map +1 -1
- package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js +5 -5
- package/dist/expressions/index-cases/string-and-array-fallbacks-b.test.js.map +1 -1
- package/dist/expressions/lambda-body.js +3 -3
- package/dist/expressions/lambda-body.js.map +1 -1
- package/dist/expressions/operators/binary-special-ops.d.ts.map +1 -1
- package/dist/expressions/operators/binary-special-ops.js +4 -30
- package/dist/expressions/operators/binary-special-ops.js.map +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.d.ts +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map +1 -1
- package/dist/expressions/runtime-union-adaptation-upcast.js +13 -0
- package/dist/expressions/runtime-union-adaptation-upcast.js.map +1 -1
- package/dist/integration-cases/may14-downstream-contracts.test.js +372 -0
- package/dist/integration-cases/may14-downstream-contracts.test.js.map +1 -1
- package/dist/statements/classes/members/properties.d.ts.map +1 -1
- package/dist/statements/classes/members/properties.js +2 -3
- package/dist/statements/classes/members/properties.js.map +1 -1
- package/dist/statements/control/conditionals/branch-context.js +3 -3
- package/dist/statements/control/conditionals/branch-context.js.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.d.ts.map +1 -1
- package/dist/statements/control/conditionals/guard-extraction.js +7 -32
- package/dist/statements/control/conditionals/guard-extraction.js.map +1 -1
- package/dist/statements/control/loops.js +2 -2
- package/dist/statements/control/loops.js.map +1 -1
- package/dist/types/unions.js +2 -1
- package/dist/types/unions.js.map +1 -1
- package/package.json +2 -2
- package/dist/core/semantic/js-array-surface-members.d.ts +0 -4
- package/dist/core/semantic/js-array-surface-members.d.ts.map +0 -1
- package/dist/core/semantic/js-array-surface-members.js +0 -32
- package/dist/core/semantic/js-array-surface-members.js.map +0 -1
|
@@ -0,0 +1,77 @@
|
|
|
1
|
+
import { emitTypeAst } from "../../type-emitter.js";
|
|
2
|
+
import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
|
|
3
|
+
import { identifierExpression } from "../../core/format/backend-ast/builders.js";
|
|
4
|
+
import { stripNullableTypeAst } from "../../core/format/backend-ast/utils.js";
|
|
5
|
+
import { requiresValueTypeMaterialization } from "../../core/semantic/expected-type-matching.js";
|
|
6
|
+
import { resolveStructuralReferenceType } from "../../core/semantic/structural-shape-matching.js";
|
|
7
|
+
import { stripNullish } from "../../core/semantic/type-resolution.js";
|
|
8
|
+
import { getArrayElementType, getDictionaryValueType, isSameNominalType, } from "../structural-type-shapes.js";
|
|
9
|
+
import { isExactExpressionToType } from "../exact-comparison.js";
|
|
10
|
+
export const getStorageIdentifierAst = (expr, context) => {
|
|
11
|
+
const remappedLocal = context.localNameMap?.get(expr.name);
|
|
12
|
+
if (remappedLocal) {
|
|
13
|
+
return identifierExpression(remappedLocal);
|
|
14
|
+
}
|
|
15
|
+
if (context.localValueTypes?.has(expr.name)) {
|
|
16
|
+
return identifierExpression(escapeCSharpIdentifier(expr.name));
|
|
17
|
+
}
|
|
18
|
+
return undefined;
|
|
19
|
+
};
|
|
20
|
+
export const needsStructuralCollectionMaterialization = (actualType, expectedType, context) => {
|
|
21
|
+
if (!actualType || !expectedType) {
|
|
22
|
+
return false;
|
|
23
|
+
}
|
|
24
|
+
const actualArrayElement = getArrayElementType(actualType, context);
|
|
25
|
+
const expectedArrayElement = getArrayElementType(expectedType, context);
|
|
26
|
+
if (actualArrayElement && expectedArrayElement) {
|
|
27
|
+
const actualStructuralElement = resolveStructuralReferenceType(actualArrayElement, context) ??
|
|
28
|
+
stripNullish(actualArrayElement);
|
|
29
|
+
const expectedStructuralElement = resolveStructuralReferenceType(expectedArrayElement, context) ??
|
|
30
|
+
stripNullish(expectedArrayElement);
|
|
31
|
+
if ((actualStructuralElement.kind === "objectType" ||
|
|
32
|
+
expectedStructuralElement.kind === "objectType") &&
|
|
33
|
+
!isSameNominalType(actualArrayElement, expectedArrayElement, context)) {
|
|
34
|
+
return true;
|
|
35
|
+
}
|
|
36
|
+
}
|
|
37
|
+
const actualDictionaryValue = getDictionaryValueType(actualType, context);
|
|
38
|
+
const expectedDictionaryValue = getDictionaryValueType(expectedType, context);
|
|
39
|
+
if (actualDictionaryValue && expectedDictionaryValue) {
|
|
40
|
+
const actualStructuralValue = resolveStructuralReferenceType(actualDictionaryValue, context) ??
|
|
41
|
+
stripNullish(actualDictionaryValue);
|
|
42
|
+
const expectedStructuralValue = resolveStructuralReferenceType(expectedDictionaryValue, context) ??
|
|
43
|
+
stripNullish(expectedDictionaryValue);
|
|
44
|
+
if ((actualStructuralValue.kind === "objectType" ||
|
|
45
|
+
expectedStructuralValue.kind === "objectType") &&
|
|
46
|
+
!isSameNominalType(actualDictionaryValue, expectedDictionaryValue, context)) {
|
|
47
|
+
return true;
|
|
48
|
+
}
|
|
49
|
+
}
|
|
50
|
+
return false;
|
|
51
|
+
};
|
|
52
|
+
export const wrapMaterializedTargetAst = (valueAst, targetType, context) => {
|
|
53
|
+
const [targetTypeAst, nextContext] = emitTypeAst(targetType, context);
|
|
54
|
+
if (isExactExpressionToType(valueAst, stripNullableTypeAst(targetTypeAst))) {
|
|
55
|
+
return [valueAst, nextContext];
|
|
56
|
+
}
|
|
57
|
+
if (valueAst.kind === "castExpression" ||
|
|
58
|
+
(valueAst.kind === "memberAccessExpression" &&
|
|
59
|
+
valueAst.memberName === "Value")) {
|
|
60
|
+
return [valueAst, context];
|
|
61
|
+
}
|
|
62
|
+
return [
|
|
63
|
+
{
|
|
64
|
+
kind: "castExpression",
|
|
65
|
+
type: targetTypeAst,
|
|
66
|
+
expression: valueAst,
|
|
67
|
+
},
|
|
68
|
+
nextContext,
|
|
69
|
+
];
|
|
70
|
+
};
|
|
71
|
+
export const preservesMaterializedValueTypeNarrowing = (narrowed, context) => {
|
|
72
|
+
const sourceType = narrowed.sourceType ?? narrowed.storageType ?? narrowed.carrierType;
|
|
73
|
+
return (!!sourceType &&
|
|
74
|
+
!!narrowed.type &&
|
|
75
|
+
requiresValueTypeMaterialization(sourceType, narrowed.type, context));
|
|
76
|
+
};
|
|
77
|
+
//# sourceMappingURL=storage-surface-shared.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"storage-surface-shared.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-shared.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAAE,gCAAgC,EAAE,MAAM,+CAA+C,CAAC;AACjG,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AAEtE,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAmD,EACnD,OAAuB,EACU,EAAE;IACnC,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,oBAAoB,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,OAAO,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,kBAAkB,IAAI,oBAAoB,EAAE,CAAC;QAC/C,MAAM,uBAAuB,GAC3B,8BAA8B,CAAC,kBAAkB,EAAE,OAAO,CAAC;YAC3D,YAAY,CAAC,kBAAkB,CAAC,CAAC;QACnC,MAAM,yBAAyB,GAC7B,8BAA8B,CAAC,oBAAoB,EAAE,OAAO,CAAC;YAC7D,YAAY,CAAC,oBAAoB,CAAC,CAAC;QAErC,IACE,CAAC,uBAAuB,CAAC,IAAI,KAAK,YAAY;YAC5C,yBAAyB,CAAC,IAAI,KAAK,YAAY,CAAC;YAClD,CAAC,iBAAiB,CAAC,kBAAkB,EAAE,oBAAoB,EAAE,OAAO,CAAC,EACrE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,MAAM,qBAAqB,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,MAAM,uBAAuB,GAAG,sBAAsB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC9E,IAAI,qBAAqB,IAAI,uBAAuB,EAAE,CAAC;QACrD,MAAM,qBAAqB,GACzB,8BAA8B,CAAC,qBAAqB,EAAE,OAAO,CAAC;YAC9D,YAAY,CAAC,qBAAqB,CAAC,CAAC;QACtC,MAAM,uBAAuB,GAC3B,8BAA8B,CAAC,uBAAuB,EAAE,OAAO,CAAC;YAChE,YAAY,CAAC,uBAAuB,CAAC,CAAC;QAExC,IACE,CAAC,qBAAqB,CAAC,IAAI,KAAK,YAAY;YAC1C,uBAAuB,CAAC,IAAI,KAAK,YAAY,CAAC;YAChD,CAAC,iBAAiB,CAChB,qBAAqB,EACrB,uBAAuB,EACvB,OAAO,CACR,EACD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,QAA6B,EAC7B,UAAkB,EAClB,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,uBAAuB,CAAC,QAAQ,EAAE,oBAAoB,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACjC,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,gBAAgB;QAClC,CAAC,QAAQ,CAAC,IAAI,KAAK,wBAAwB;YACzC,QAAQ,CAAC,UAAU,KAAK,OAAO,CAAC,EAClC,CAAC;QACD,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,QAAQ;SACrB;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,QAAoD,EACpD,OAAuB,EACd,EAAE;IACX,MAAM,UAAU,GACd,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,WAAW,CAAC;IACtE,OAAO,CACL,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,gCAAgC,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CACrE,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
export { isBroadStorageTarget } from "./broad-storage-target.js";
|
|
2
|
+
export { matchesEmittedStorageSurface } from "./storage-surface-match.js";
|
|
3
|
+
export { buildRuntimeSubsetExpressionAst, tryEmitRuntimeSubsetMemberProjectionIdentifier, } from "./runtime-subset.js";
|
|
4
|
+
export { tryEmitCollapsedStorageIdentifier, tryEmitStorageCompatibleIdentifier, } from "./storage-compatible.js";
|
|
5
|
+
export { tryEmitImplicitNarrowedStorageIdentifier, tryEmitImplicitRuntimeSubsetStorageIdentifier, } from "./implicit-storage.js";
|
|
6
|
+
export { tryEmitReifiedStorageIdentifier } from "./reified-storage.js";
|
|
7
|
+
export { tryEmitExactStorageCompatibleNarrowedIdentifier, tryEmitStorageCompatibleNarrowedIdentifier, } from "./narrowed-storage-compatible.js";
|
|
8
|
+
export { tryEmitMaterializedNarrowedIdentifier } from "./materialized-narrowed.js";
|
|
9
|
+
//# sourceMappingURL=storage-surface.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"storage-surface.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,8CAA8C,GAC/C,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,iCAAiC,EACjC,kCAAkC,GACnC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,wCAAwC,EACxC,6CAA6C,GAC9C,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,+BAA+B,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EACL,+CAA+C,EAC/C,0CAA0C,GAC3C,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,qCAAqC,EAAE,MAAM,4BAA4B,CAAC"}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
export { isBroadStorageTarget } from "./broad-storage-target.js";
|
|
2
|
+
export { matchesEmittedStorageSurface } from "./storage-surface-match.js";
|
|
3
|
+
export { buildRuntimeSubsetExpressionAst, tryEmitRuntimeSubsetMemberProjectionIdentifier, } from "./runtime-subset.js";
|
|
4
|
+
export { tryEmitCollapsedStorageIdentifier, tryEmitStorageCompatibleIdentifier, } from "./storage-compatible.js";
|
|
5
|
+
export { tryEmitImplicitNarrowedStorageIdentifier, tryEmitImplicitRuntimeSubsetStorageIdentifier, } from "./implicit-storage.js";
|
|
6
|
+
export { tryEmitReifiedStorageIdentifier } from "./reified-storage.js";
|
|
7
|
+
export { tryEmitExactStorageCompatibleNarrowedIdentifier, tryEmitStorageCompatibleNarrowedIdentifier, } from "./narrowed-storage-compatible.js";
|
|
8
|
+
export { tryEmitMaterializedNarrowedIdentifier } from "./materialized-narrowed.js";
|
|
9
|
+
//# sourceMappingURL=storage-surface.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"storage-surface.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,8CAA8C,GAC/C,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,iCAAiC,EACjC,kCAAkC,GACnC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,wCAAwC,EACxC,6CAA6C,GAC9C,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,+BAA+B,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EACL,+CAA+C,EAC/C,0CAA0C,GAC3C,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,qCAAqC,EAAE,MAAM,4BAA4B,CAAC"}
|
|
@@ -1,48 +1,2 @@
|
|
|
1
|
-
|
|
2
|
-
import { EmitterContext, NarrowedBinding } from "../types.js";
|
|
3
|
-
import type { CSharpExpressionAst } from "../core/format/backend-ast/types.js";
|
|
4
|
-
export declare const isBroadStorageTarget: (expectedType: IrType | undefined, context: EmitterContext) => boolean;
|
|
5
|
-
export declare const buildRuntimeSubsetExpressionAst: (expr: Extract<IrExpression, {
|
|
6
|
-
kind: "identifier";
|
|
7
|
-
}>, narrowed: Extract<NarrowedBinding, {
|
|
8
|
-
kind: "runtimeSubset";
|
|
9
|
-
}>, context: EmitterContext, targetType?: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
10
|
-
export declare const tryEmitRuntimeSubsetMemberProjectionIdentifier: (expr: Extract<IrExpression, {
|
|
11
|
-
kind: "identifier";
|
|
12
|
-
}>, narrowed: Extract<NarrowedBinding, {
|
|
13
|
-
kind: "runtimeSubset";
|
|
14
|
-
}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
15
|
-
export declare const tryEmitStorageCompatibleIdentifier: (expr: Extract<IrExpression, {
|
|
16
|
-
kind: "identifier";
|
|
17
|
-
}>, context: EmitterContext, expectedType: IrType | undefined) => CSharpExpressionAst | undefined;
|
|
18
|
-
export declare const tryEmitCollapsedStorageIdentifier: (expr: Extract<IrExpression, {
|
|
19
|
-
kind: "identifier";
|
|
20
|
-
}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
21
|
-
export declare const tryEmitImplicitNarrowedStorageIdentifier: (expr: Extract<IrExpression, {
|
|
22
|
-
kind: "identifier";
|
|
23
|
-
}>, narrowed: Extract<NarrowedBinding, {
|
|
24
|
-
kind: "expr";
|
|
25
|
-
}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
26
|
-
export declare const tryEmitImplicitRuntimeSubsetStorageIdentifier: (expr: Extract<IrExpression, {
|
|
27
|
-
kind: "identifier";
|
|
28
|
-
}>, narrowed: Extract<NarrowedBinding, {
|
|
29
|
-
kind: "runtimeSubset";
|
|
30
|
-
}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
31
|
-
export declare const tryEmitReifiedStorageIdentifier: (expr: Extract<IrExpression, {
|
|
32
|
-
kind: "identifier";
|
|
33
|
-
}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
34
|
-
export declare const tryEmitStorageCompatibleNarrowedIdentifier: (expr: Extract<IrExpression, {
|
|
35
|
-
kind: "identifier";
|
|
36
|
-
}>, narrowed: Extract<NarrowedBinding, {
|
|
37
|
-
kind: "expr";
|
|
38
|
-
}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
39
|
-
export declare const tryEmitExactStorageCompatibleNarrowedIdentifier: (expr: Extract<IrExpression, {
|
|
40
|
-
kind: "identifier";
|
|
41
|
-
}>, narrowed: Extract<NarrowedBinding, {
|
|
42
|
-
kind: "expr";
|
|
43
|
-
}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
44
|
-
export declare const tryEmitMaterializedNarrowedIdentifier: (narrowed: Extract<NarrowedBinding, {
|
|
45
|
-
kind: "expr";
|
|
46
|
-
}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
|
|
47
|
-
export declare const matchesEmittedStorageSurface: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => [boolean, EmitterContext];
|
|
1
|
+
export { buildRuntimeSubsetExpressionAst, isBroadStorageTarget, matchesEmittedStorageSurface, tryEmitCollapsedStorageIdentifier, tryEmitExactStorageCompatibleNarrowedIdentifier, tryEmitImplicitNarrowedStorageIdentifier, tryEmitImplicitRuntimeSubsetStorageIdentifier, tryEmitMaterializedNarrowedIdentifier, tryEmitReifiedStorageIdentifier, tryEmitRuntimeSubsetMemberProjectionIdentifier, tryEmitStorageCompatibleIdentifier, tryEmitStorageCompatibleNarrowedIdentifier, } from "./identifier-storage/storage-surface.js";
|
|
48
2
|
//# sourceMappingURL=identifier-storage.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"identifier-storage.d.ts","sourceRoot":"","sources":["../../src/expressions/identifier-storage.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"identifier-storage.d.ts","sourceRoot":"","sources":["../../src/expressions/identifier-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,+BAA+B,EAC/B,oBAAoB,EACpB,4BAA4B,EAC5B,iCAAiC,EACjC,+CAA+C,EAC/C,wCAAwC,EACxC,6CAA6C,EAC7C,qCAAqC,EACrC,+BAA+B,EAC/B,8CAA8C,EAC9C,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,yCAAyC,CAAC"}
|