@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/semantic/local-types.js

@@ -58,8 +58,10 @@ const extractLocalTypeInfo = (stmt) => {
  */
 const buildClassInfo = (stmt) => ({
     kind: "class",
+    isExported: stmt.isExported,
     typeParameters: stmt.typeParameters?.map((tp) => tp.name) ?? [],
     members: stmt.members,
+    superClass: stmt.superClass,
     implements: stmt.implements,
 });
 /**
@@ -67,6 +69,7 @@ const buildClassInfo = (stmt) => ({
  */
 const buildInterfaceInfo = (stmt) => ({
     kind: "interface",
+    isExported: stmt.isExported,
     typeParameters: stmt.typeParameters?.map((tp) => tp.name) ?? [],
     members: stmt.members,
     extends: stmt.extends,
@@ -76,6 +79,7 @@ const buildInterfaceInfo = (stmt) => ({
  */
 const buildEnumInfo = (stmt) => ({
     kind: "enum",
+    isExported: stmt.isExported,
     members: stmt.members.map((m) => m.name),
 });
 /**
@@ -83,7 +87,272 @@ const buildEnumInfo = (stmt) => ({
  */
 const buildTypeAliasInfo = (stmt) => ({
     kind: "typeAlias",
+    isExported: stmt.isExported,
     typeParameters: stmt.typeParameters?.map((tp) => tp.name) ?? [],
     type: stmt.type,
 });
+const walkTypeRefs = (type, onReference, seen = new WeakSet()) => {
+    if (!type)
+        return;
+    if (typeof type === "object" && type !== null) {
+        if (seen.has(type)) {
+            return;
+        }
+        seen.add(type);
+    }
+    switch (type.kind) {
+        case "referenceType":
+            onReference(type);
+            if (type.typeArguments) {
+                for (const arg of type.typeArguments) {
+                    walkTypeRefs(arg, onReference, seen);
+                }
+            }
+            if (type.structuralMembers) {
+                for (const member of type.structuralMembers) {
+                    if (member.kind === "propertySignature") {
+                        walkTypeRefs(member.type, onReference, seen);
+                        continue;
+                    }
+                    for (const param of member.parameters) {
+                        walkTypeRefs(param.type, onReference, seen);
+                    }
+                    walkTypeRefs(member.returnType, onReference, seen);
+                }
+            }
+            return;
+        case "typeParameterType":
+        case "primitiveType":
+        case "literalType":
+        case "anyType":
+        case "unknownType":
+        case "voidType":
+        case "neverType":
+            return;
+        case "arrayType":
+            walkTypeRefs(type.elementType, onReference, seen);
+            return;
+        case "tupleType":
+            for (const element of type.elementTypes) {
+                walkTypeRefs(element, onReference, seen);
+            }
+            return;
+        case "functionType":
+            for (const param of type.parameters) {
+                walkTypeRefs(param.type, onReference, seen);
+            }
+            walkTypeRefs(type.returnType, onReference, seen);
+            return;
+        case "objectType":
+            for (const member of type.members) {
+                if (member.kind === "propertySignature") {
+                    walkTypeRefs(member.type, onReference, seen);
+                    continue;
+                }
+                for (const param of member.parameters) {
+                    walkTypeRefs(param.type, onReference, seen);
+                }
+                walkTypeRefs(member.returnType, onReference, seen);
+            }
+            return;
+        case "dictionaryType":
+            walkTypeRefs(type.keyType, onReference, seen);
+            walkTypeRefs(type.valueType, onReference, seen);
+            return;
+        case "unionType":
+            if (type.runtimeCarrierName) {
+                onReference({
+                    kind: "referenceType",
+                    name: type.runtimeCarrierName,
+                    ...(type.runtimeCarrierNamespace
+                        ? {
+                            resolvedClrType: `${type.runtimeCarrierNamespace}.${type.runtimeCarrierName}`,
+                        }
+                        : {}),
+                    ...(type.runtimeCarrierTypeArguments &&
+                        type.runtimeCarrierTypeArguments.length > 0
+                        ? { typeArguments: type.runtimeCarrierTypeArguments }
+                        : {}),
+                });
+            }
+            for (const nested of type.types) {
+                walkTypeRefs(nested, onReference, seen);
+            }
+            return;
+        case "intersectionType":
+            for (const nested of type.types) {
+                walkTypeRefs(nested, onReference, seen);
+            }
+            return;
+    }
+};
+export const collectPublicLocalTypes = (module, localTypes) => {
+    const localTypeLookup = new Map();
+    for (const localName of localTypes.keys()) {
+        localTypeLookup.set(localName, localName);
+        localTypeLookup.set(`${module.namespace}.${localName}`, localName);
+    }
+    const result = new Set();
+    const queue = [];
+    const enqueueLocalType = (name) => {
+        if (!localTypes.has(name) || result.has(name))
+            return;
+        result.add(name);
+        queue.push(name);
+    };
+    const resolveLocalTypeName = (ref) => {
+        const candidates = [
+            ref.name,
+            ref.resolvedClrType,
+            ref.typeId?.clrName,
+            ref.typeId?.tsName,
+        ];
+        for (const candidate of candidates) {
+            if (!candidate)
+                continue;
+            const localName = localTypeLookup.get(candidate);
+            if (localName) {
+                return localName;
+            }
+        }
+        return undefined;
+    };
+    const addType = (type) => {
+        walkTypeRefs(type, (ref) => {
+            const localName = resolveLocalTypeName(ref);
+            if (localName) {
+                enqueueLocalType(localName);
+            }
+        });
+    };
+    for (const stmt of module.body) {
+        if (stmt.kind === "functionDeclaration") {
+            if (!stmt.isExported)
+                continue;
+            for (const param of stmt.parameters)
+                addType(param.type);
+            addType(stmt.returnType);
+            continue;
+        }
+        if (stmt.kind === "variableDeclaration") {
+            if (!stmt.isExported)
+                continue;
+            for (const decl of stmt.declarations) {
+                addType(decl.type);
+                const init = decl.initializer;
+                if (init?.kind === "arrowFunction" ||
+                    init?.kind === "functionExpression") {
+                    for (const param of init.parameters)
+                        addType(param.type);
+                    addType(init.returnType);
+                }
+            }
+            continue;
+        }
+        if (stmt.kind === "classDeclaration") {
+            if (!stmt.isExported)
+                continue;
+            addType(stmt.superClass);
+            for (const impl of stmt.implements)
+                addType(impl);
+            for (const member of stmt.members) {
+                if (member.kind === "propertyDeclaration") {
+                    if (member.accessibility === "private")
+                        continue;
+                    addType(member.type);
+                    continue;
+                }
+                if (member.kind === "methodDeclaration") {
+                    if (member.accessibility === "private")
+                        continue;
+                    addType(member.returnType);
+                    for (const param of member.parameters)
+                        addType(param.type);
+                    continue;
+                }
+                if (member.accessibility === "private")
+                    continue;
+                for (const param of member.parameters)
+                    addType(param.type);
+            }
+            continue;
+        }
+        if (stmt.kind === "interfaceDeclaration") {
+            if (!stmt.isExported)
+                continue;
+            for (const ext of stmt.extends)
+                addType(ext);
+            for (const member of stmt.members) {
+                if (member.kind === "propertySignature") {
+                    addType(member.type);
+                    continue;
+                }
+                for (const param of member.parameters)
+                    addType(param.type);
+                addType(member.returnType);
+            }
+            continue;
+        }
+        if (stmt.kind === "typeAliasDeclaration") {
+            if (!stmt.isExported)
+                continue;
+            enqueueLocalType(stmt.name);
+            addType(stmt.type);
+        }
+    }
+    while (queue.length > 0) {
+        const nextName = queue.shift();
+        if (!nextName)
+            continue;
+        const info = localTypes.get(nextName);
+        if (!info)
+            continue;
+        switch (info.kind) {
+            case "class":
+                addType(info.superClass);
+                for (const impl of info.implements)
+                    addType(impl);
+                for (const member of info.members) {
+                    if (member.kind === "propertyDeclaration") {
+                        if (member.accessibility === "private")
+                            continue;
+                        addType(member.type);
+                        continue;
+                    }
+                    if (member.kind === "methodDeclaration") {
+                        if (member.accessibility === "private")
+                            continue;
+                        addType(member.returnType);
+                        for (const param of member.parameters)
+                            addType(param.type);
+                        continue;
+                    }
+                    if (member.accessibility === "private")
+                        continue;
+                    for (const param of member.parameters)
+                        addType(param.type);
+                }
+                break;
+            case "interface":
+                for (const ext of info.extends)
+                    addType(ext);
+                for (const member of info.members) {
+                    if (member.kind === "propertySignature") {
+                        addType(member.type);
+                        continue;
+                    }
+                    addType(member.returnType);
+                    for (const param of member.parameters)
+                        addType(param.type);
+                }
+                break;
+            case "typeAlias":
+                addType(info.type);
+                break;
+            case "enum":
+                break;
+        }
+    }
+    return result;
+};
 //# sourceMappingURL=local-types.js.map

package/dist/core/semantic/local-types.js.map

@@ -1 +1 @@
-{"version":3,"file":"local-types.js","sourceRoot":"","sources":["../../../src/core/semantic/local-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAYH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,MAAgB,EACoB,EAAE;IACtC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEpD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,IAAI,EAAE,CAAC;YACT,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,oBAAoB,GAAG,CAC3B,IAAiB,EACkC,EAAE;IACrD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,kBAAkB;YACrB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC;aAC3B,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC;aAC1B,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC;aAC/B,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC;aAC/B,CAAC;QAEJ;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG,CAAC,IAAwB,EAAiB,EAAE,CAAC,CAAC;IACnE,IAAI,EAAE,OAAO;IACb,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;IAC/D,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,UAAU,EAAE,IAAI,CAAC,UAAU;CAC5B,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAA4B,EAAiB,EAAE,CAAC,CAAC;IAC3E,IAAI,EAAE,WAAW;IACjB,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;IAC/D,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,OAAO,EAAE,IAAI,CAAC,OAAO;CACtB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,IAAuB,EAAiB,EAAE,CAAC,CAAC;IACjE,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;CACzC,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAA4B,EAAiB,EAAE,CAAC,CAAC;IAC3E,IAAI,EAAE,WAAW;IACjB,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;IAC/D,IAAI,EAAE,IAAI,CAAC,IAAI;CAChB,CAAC,CAAC"}
+{"version":3,"file":"local-types.js","sourceRoot":"","sources":["../../../src/core/semantic/local-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAaH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,MAAgB,EACoB,EAAE;IACtC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEpD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,IAAI,EAAE,CAAC;YACT,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,oBAAoB,GAAG,CAC3B,IAAiB,EACkC,EAAE;IACrD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,kBAAkB;YACrB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC;aAC3B,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC;aAC1B,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC;aAC/B,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC;aAC/B,CAAC;QAEJ;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG,CAAC,IAAwB,EAAiB,EAAE,CAAC,CAAC;IACnE,IAAI,EAAE,OAAO;IACb,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;IAC/D,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;CAC5B,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAA4B,EAAiB,EAAE,CAAC,CAAC;IAC3E,IAAI,EAAE,WAAW;IACjB,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;IAC/D,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,OAAO,EAAE,IAAI,CAAC,OAAO;CACtB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,IAAuB,EAAiB,EAAE,CAAC,CAAC;IACjE,IAAI,EAAE,MAAM;IACZ,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;CACzC,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAA4B,EAAiB,EAAE,CAAC,CAAC;IAC3E,IAAI,EAAE,WAAW;IACjB,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;IAC/D,IAAI,EAAE,IAAI,CAAC,IAAI;CAChB,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CACnB,IAAwB,EACxB,WAAsE,EACtE,OAAwB,IAAI,OAAO,EAAU,EACvC,EAAE;IACR,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACnB,OAAO;QACT,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,WAAW,CAAC,IAAI,CAAC,CAAC;YAClB,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;oBACrC,YAAY,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;gBACvC,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBAC3B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;oBAC5C,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACxC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;wBAC7C,SAAS;oBACX,CAAC;oBACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBACtC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;oBAC9C,CAAC;oBACD,YAAY,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;YACD,OAAO;QACT,KAAK,mBAAmB,CAAC;QACzB,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO;QACT,KAAK,WAAW;YACd,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAClD,OAAO;QACT,KAAK,WAAW;YACd,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACxC,YAAY,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO;QACT,KAAK,cAAc;YACjB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAC9C,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACjD,OAAO;QACT,KAAK,YAAY;YACf,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;oBAC7C,SAAS;gBACX,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACtC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;gBAC9C,CAAC;gBACD,YAAY,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACrD,CAAC;YACD,OAAO;QACT,KAAK,gBAAgB;YACnB,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAC9C,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAChD,OAAO;QACT,KAAK,WAAW;YACd,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBAC5B,WAAW,CAAC;oBACV,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,IAAI,CAAC,kBAAkB;oBAC7B,GAAG,CAAC,IAAI,CAAC,uBAAuB;wBAC9B,CAAC,CAAC;4BACE,eAAe,EAAE,GAAG,IAAI,CAAC,uBAAuB,IAAI,IAAI,CAAC,kBAAkB,EAAE;yBAC9E;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,IAAI,CAAC,2BAA2B;wBACpC,IAAI,CAAC,2BAA2B,CAAC,MAAM,GAAG,CAAC;wBACzC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,2BAA2B,EAAE;wBACrD,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC,CAAC;YACL,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAChC,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO;QACT,KAAK,kBAAkB;YACrB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAChC,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,MAAgB,EAChB,UAA8C,EACzB,EAAE;IACvB,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1C,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAC1C,eAAe,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,SAAS,IAAI,SAAS,EAAE,EAAE,SAAS,CAAC,CAAC;IACrE,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAQ,EAAE;QAC9C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QACtD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,oBAAoB,GAAG,CAC3B,GAA+C,EAC3B,EAAE;QACtB,MAAM,UAAU,GAAG;YACjB,GAAG,CAAC,IAAI;YACR,GAAG,CAAC,eAAe;YACnB,GAAG,CAAC,MAAM,EAAE,OAAO;YACnB,GAAG,CAAC,MAAM,EAAE,MAAM;SACnB,CAAC;QAEF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACjD,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,IAAwB,EAAQ,EAAE;QACjD,YAAY,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE;YACzB,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;YAC5C,IAAI,SAAS,EAAE,CAAC;gBACd,gBAAgB,CAAC,SAAS,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC/B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzD,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACrC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;gBAC9B,IACE,IAAI,EAAE,IAAI,KAAK,eAAe;oBAC9B,IAAI,EAAE,IAAI,KAAK,oBAAoB,EACnC,CAAC;oBACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU;wBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACzD,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC/B,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAClD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBAC1C,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;wBAAE,SAAS;oBACjD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBACrB,SAAS;gBACX,CAAC;gBACD,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;wBAAE,SAAS;oBACjD,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;oBAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU;wBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAC3D,SAAS;gBACX,CAAC;gBACD,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;oBAAE,SAAS;gBACjD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU;oBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC7D,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC;YAC7C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBACrB,SAAS;gBACX,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU;oBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC3D,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAC7B,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC/B,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,OAAO;gBACV,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACzB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU;oBAAE,OAAO,CAAC,IAAI,CAAC,CAAC;gBAClD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;wBAC1C,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;4BAAE,SAAS;wBACjD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBACrB,SAAS;oBACX,CAAC;oBACD,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACxC,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;4BAAE,SAAS;wBACjD,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;wBAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU;4BAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;wBAC3D,SAAS;oBACX,CAAC;oBACD,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;wBAAE,SAAS;oBACjD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU;wBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC7D,CAAC;gBACD,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC;gBAC7C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACxC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBACrB,SAAS;oBACX,CAAC;oBACD,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;oBAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU;wBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC7D,CAAC;gBACD,MAAM;YACR,KAAK,WAAW;gBACd,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,MAAM;YACR,KAAK,MAAM;gBACT,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

package/dist/core/semantic/materialized-narrowing.d.ts

@@ -0,0 +1,5 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../format/backend-ast/types.js";
+export declare const materializeDirectNarrowingAst: (sourceAst: CSharpExpressionAst, sourceType: IrType | undefined, narrowedType: IrType | undefined, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=materialized-narrowing.d.ts.map

package/dist/core/semantic/materialized-narrowing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"materialized-narrowing.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/materialized-narrowing.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,gCAAgC,CAAC;AA2ZxC,eAAO,MAAM,6BAA6B,GACxC,WAAW,mBAAmB,EAC9B,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAuRtC,CAAC"}