@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/implicit-interfaces.js

@@ -0,0 +1,276 @@
+import { getIrMemberPublicName, substituteIrType, } from "@tsonic/frontend";
+import { resolveLocalTypeInfo } from "./type-resolution.js";
+import { substituteTypeArgs } from "./type-substitution.js";
+import { getClrIdentityKey } from "./clr-type-identity.js";
+import { areIrTypesEquivalent } from "./type-equivalence.js";
+const VOID_TYPE = { kind: "voidType" };
+const getReferenceLeafName = (ref) => {
+    if (ref.typeId?.tsName) {
+        const leaf = ref.typeId.tsName.split(".").pop();
+        if (leaf)
+            return leaf;
+    }
+    if (ref.resolvedClrType) {
+        const leaf = ref.resolvedClrType.split(".").pop();
+        if (leaf)
+            return leaf;
+    }
+    return ref.name.split(".").pop() ?? ref.name;
+};
+const buildCanonicalInterfaceRef = (namespace, name, sourceRef) => ({
+    ...sourceRef,
+    kind: "referenceType",
+    name,
+    resolvedClrType: sourceRef?.typeId?.clrName ??
+        (sourceRef?.resolvedClrType &&
+            getClrIdentityKey(sourceRef.resolvedClrType, sourceRef.typeArguments?.length ?? 0) !==
+                getClrIdentityKey(sourceRef.name, sourceRef.typeArguments?.length ?? 0)
+            ? sourceRef.resolvedClrType
+            : undefined) ??
+        `${namespace}.${name}`,
+});
+const isInterfaceMarkerProperty = (member) => member.kind === "propertySignature" &&
+    member.name.startsWith("__tsonic_iface_");
+const specializeInterfaceMember = (member, typeParameterNames, typeArguments) => {
+    if (member.kind === "propertySignature") {
+        return {
+            ...member,
+            type: substituteTypeArgs(member.type, typeParameterNames, typeArguments),
+        };
+    }
+    return {
+        ...member,
+        parameters: member.parameters.map((parameter) => ({
+            ...parameter,
+            type: parameter.type
+                ? substituteTypeArgs(parameter.type, typeParameterNames, typeArguments)
+                : undefined,
+        })),
+        returnType: member.returnType
+            ? substituteTypeArgs(member.returnType, typeParameterNames, typeArguments)
+            : undefined,
+    };
+};
+const getInterfaceCompatibilityInfo = (info, ref) => {
+    const filteredMembers = info.members.filter((member) => !isInterfaceMarkerProperty(member));
+    const typeArguments = ref?.typeArguments ?? [];
+    if (info.typeParameters.length === 0 || typeArguments.length === 0) {
+        return filteredMembers === info.members
+            ? info
+            : { ...info, members: filteredMembers };
+    }
+    return {
+        ...info,
+        members: filteredMembers.map((member) => specializeInterfaceMember(member, info.typeParameters, typeArguments)),
+        extends: info.extends.map((base) => substituteTypeArgs(base, info.typeParameters, typeArguments)),
+    };
+};
+const isPublicInstanceClassMember = (member) => {
+    if (member.kind === "constructorDeclaration")
+        return false;
+    if (member.isStatic)
+        return false;
+    if (member.accessibility === "private" ||
+        member.accessibility === "protected") {
+        return false;
+    }
+    return true;
+};
+const typeKeyEquals = (source, target, context) => {
+    if (!source || !target)
+        return source === target;
+    return areIrTypesEquivalent(source, target, context);
+};
+const buildCanonicalMethodTypeSubstitution = (typeParameters) => {
+    if (!typeParameters || typeParameters.length === 0) {
+        return undefined;
+    }
+    const substitution = new Map();
+    for (let index = 0; index < typeParameters.length; index += 1) {
+        const typeParameter = typeParameters[index];
+        if (!typeParameter)
+            continue;
+        substitution.set(typeParameter.name, {
+            kind: "typeParameterType",
+            name: `__method_${index}`,
+        });
+    }
+    return substitution;
+};
+const canonicalizeMethodType = (type, typeParameters) => {
+    const substitution = buildCanonicalMethodTypeSubstitution(typeParameters);
+    if (!type || !substitution || substitution.size === 0) {
+        return type;
+    }
+    return substituteIrType(type, substitution);
+};
+const getPublicInstanceClassMembers = (info) => info.members.filter(isPublicInstanceClassMember);
+const findCompatibleProperty = (members, target, usedIndices, context) => {
+    for (let index = 0; index < members.length; index += 1) {
+        if (usedIndices.has(index))
+            continue;
+        const member = members[index];
+        if (member?.kind !== "propertyDeclaration")
+            continue;
+        if (member.name !== target.name)
+            continue;
+        if (!typeKeyEquals(member.type, target.type, context))
+            continue;
+        usedIndices.add(index);
+        return member;
+    }
+    return undefined;
+};
+const findCompatibleMethod = (members, target, usedIndices, context) => {
+    const targetName = getIrMemberPublicName(target);
+    const targetTypeParameters = target.typeParameters;
+    const targetReturnType = canonicalizeMethodType(target.returnType ?? VOID_TYPE, targetTypeParameters);
+    for (let index = 0; index < members.length; index += 1) {
+        if (usedIndices.has(index))
+            continue;
+        const member = members[index];
+        if (member?.kind !== "methodDeclaration")
+            continue;
+        if (getIrMemberPublicName(member) !== targetName)
+            continue;
+        if ((member.typeParameters?.length ?? 0) !==
+            (targetTypeParameters?.length ?? 0)) {
+            continue;
+        }
+        if (member.parameters.length !== target.parameters.length) {
+            continue;
+        }
+        const memberTypeParameters = member.typeParameters;
+        let parametersMatch = true;
+        for (let paramIndex = 0; paramIndex < member.parameters.length; paramIndex += 1) {
+            const sourceParam = member.parameters[paramIndex];
+            const targetParam = target.parameters[paramIndex];
+            if (!sourceParam || !targetParam) {
+                parametersMatch = false;
+                break;
+            }
+            if (sourceParam.isOptional !== targetParam.isOptional ||
+                sourceParam.isRest !== targetParam.isRest ||
+                sourceParam.passing !== targetParam.passing) {
+                parametersMatch = false;
+                break;
+            }
+            if (!typeKeyEquals(canonicalizeMethodType(sourceParam.type, memberTypeParameters), canonicalizeMethodType(targetParam.type, targetTypeParameters), context)) {
+                parametersMatch = false;
+                break;
+            }
+        }
+        if (!parametersMatch) {
+            continue;
+        }
+        if (!typeKeyEquals(canonicalizeMethodType(member.returnType ?? VOID_TYPE, memberTypeParameters), targetReturnType, context)) {
+            continue;
+        }
+        usedIndices.add(index);
+        return member;
+    }
+    return undefined;
+};
+const collectCompatibleMembers = (classInfo, interfaceInfo, context) => {
+    const classMembers = getPublicInstanceClassMembers(classInfo);
+    const propertyMatches = [];
+    const methodMatches = [];
+    const usedPropertyIndices = new Set();
+    const usedMethodIndices = new Set();
+    for (const member of interfaceInfo.members) {
+        if (member.kind === "propertySignature") {
+            const classMember = findCompatibleProperty(classMembers, member, usedPropertyIndices, context);
+            if (!classMember)
+                return undefined;
+            propertyMatches.push({ interfaceMember: member, classMember });
+            continue;
+        }
+        const classMember = findCompatibleMethod(classMembers, member, usedMethodIndices, context);
+        if (!classMember)
+            return undefined;
+        methodMatches.push({ interfaceMember: member, classMember });
+    }
+    return { propertyMatches, methodMatches };
+};
+const collectInterfaceCandidates = (className, context) => {
+    const candidates = new Map();
+    const currentNamespace = context.moduleNamespace ?? context.options.rootNamespace;
+    const pushCandidates = (namespace, localTypes) => {
+        if (!localTypes)
+            return;
+        for (const [name, info] of localTypes) {
+            if (name === className || info.kind !== "interface")
+                continue;
+            if ((info.typeParameters?.length ?? 0) > 0)
+                continue;
+            candidates.set(`${namespace}::${name}`, { namespace, name, info });
+        }
+    };
+    pushCandidates(currentNamespace, context.localTypes);
+    for (const moduleInfo of context.options.moduleMap?.values() ?? []) {
+        pushCandidates(moduleInfo.namespace, moduleInfo.localTypes);
+    }
+    return Array.from(candidates.values());
+};
+const resolveExplicitInterfaceMatches = (classInfo, explicitImplements, context) => {
+    const results = [];
+    for (const impl of explicitImplements) {
+        if (impl.kind !== "referenceType")
+            continue;
+        const resolved = resolveLocalTypeInfo(impl, context);
+        if (!resolved || resolved.info.kind !== "interface")
+            continue;
+        const name = getReferenceLeafName(impl);
+        const compatibilityInfo = getInterfaceCompatibilityInfo(resolved.info, impl);
+        const matches = collectCompatibleMembers(classInfo, compatibilityInfo, context);
+        if (!matches)
+            continue;
+        results.push({
+            namespace: resolved.namespace,
+            name,
+            ref: buildCanonicalInterfaceRef(resolved.namespace, name, impl),
+            info: compatibilityInfo,
+            isExplicit: true,
+            propertyMatches: matches.propertyMatches,
+            methodMatches: matches.methodMatches,
+        });
+    }
+    return results;
+};
+export const resolveCompatibleImplementedInterfaces = (className, explicitImplements, context) => {
+    const currentNamespace = context.moduleNamespace ?? context.options.rootNamespace;
+    const localInfo = context.localTypes?.get(className);
+    if (!localInfo || localInfo.kind !== "class")
+        return [];
+    const resolved = new Map();
+    for (const match of resolveExplicitInterfaceMatches(localInfo, explicitImplements, context)) {
+        resolved.set(`${match.namespace}::${match.name}`, match);
+    }
+    for (const candidate of collectInterfaceCandidates(className, context)) {
+        const key = `${candidate.namespace}::${candidate.name}`;
+        if (resolved.has(key))
+            continue;
+        const matches = collectCompatibleMembers(localInfo, candidate.info, context);
+        if (!matches)
+            continue;
+        resolved.set(key, {
+            namespace: candidate.namespace,
+            name: candidate.name,
+            ref: buildCanonicalInterfaceRef(candidate.namespace, candidate.name),
+            info: candidate.info,
+            isExplicit: false,
+            propertyMatches: matches.propertyMatches,
+            methodMatches: matches.methodMatches,
+        });
+    }
+    return Array.from(resolved.values()).map((match) => match.namespace === currentNamespace
+        ? {
+            ...match,
+            ref: buildCanonicalInterfaceRef(match.namespace, match.name, match.ref),
+        }
+        : match);
+};
+export const inferImplicitImplementedInterfaces = (className, explicitImplements, context) => resolveCompatibleImplementedInterfaces(className, explicitImplements, context)
+    .filter((match) => !match.isExplicit)
+    .map((match) => match.ref);
+//# sourceMappingURL=implicit-interfaces.js.map

package/dist/core/semantic/implicit-interfaces.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"implicit-interfaces.js","sourceRoot":"","sources":["../../../src/core/semantic/implicit-interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,gBAAgB,GAIjB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAkC7D,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AAE/C,MAAM,oBAAoB,GAAG,CAC3B,GAA+C,EACvC,EAAE;IACV,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAChD,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IACD,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClD,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,SAAiB,EACjB,IAAY,EACZ,SAAsD,EACV,EAAE,CAAC,CAAC;IAChD,GAAG,SAAS;IACZ,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,eAAe,EACb,SAAS,EAAE,MAAM,EAAE,OAAO;QAC1B,CAAC,SAAS,EAAE,eAAe;YAC3B,iBAAiB,CACf,SAAS,CAAC,eAAe,EACzB,SAAS,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CACrC;gBACC,iBAAiB,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC;YACvE,CAAC,CAAC,SAAS,CAAC,eAAe;YAC3B,CAAC,CAAC,SAAS,CAAC;QACd,GAAG,SAAS,IAAI,IAAI,EAAE;CACzB,CAAC,CAAC;AAEH,MAAM,yBAAyB,GAAG,CAChC,MAAyB,EAC4C,EAAE,CACvE,MAAM,CAAC,IAAI,KAAK,mBAAmB;IACnC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;AAE5C,MAAM,yBAAyB,GAAG,CAChC,MAAyB,EACzB,kBAAqC,EACrC,aAAgC,EACb,EAAE;IACrB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO;YACL,GAAG,MAAM;YACT,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,IAAI,EAAE,kBAAkB,EAAE,aAAa,CAAC;SACzE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,MAAM;QACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAChD,GAAG,SAAS;YACZ,IAAI,EAAE,SAAS,CAAC,IAAI;gBAClB,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,EAAE,kBAAkB,EAAE,aAAa,CAAC;gBACvE,CAAC,CAAC,SAAS;SACd,CAAC,CAAC;QACH,UAAU,EAAE,MAAM,CAAC,UAAU;YAC3B,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,kBAAkB,EAAE,aAAa,CAAC;YAC1E,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,IAAmD,EACnD,GAAgD,EACD,EAAE;IACjD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CACzC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAC/C,CAAC;IACF,MAAM,aAAa,GAAG,GAAG,EAAE,aAAa,IAAI,EAAE,CAAC;IAC/C,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO,eAAe,KAAK,IAAI,CAAC,OAAO;YACrC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;IAC5C,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,OAAO,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtC,yBAAyB,CAAC,MAAM,EAAE,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,CACtE;QACD,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACjC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,CAC7D;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAAC,MAAqB,EAAW,EAAE;IACrE,IAAI,MAAM,CAAC,IAAI,KAAK,wBAAwB;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,MAAM,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAClC,IACE,MAAM,CAAC,aAAa,KAAK,SAAS;QAClC,MAAM,CAAC,aAAa,KAAK,WAAW,EACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,MAA0B,EAC1B,MAA0B,EAC1B,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;QAAE,OAAO,MAAM,KAAK,MAAM,CAAC;IACjD,OAAO,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,oCAAoC,GAAG,CAC3C,cAAgE,EACvB,EAAE;IAC3C,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,aAAa;YAAE,SAAS;QAC7B,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE;YACnC,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,YAAY,KAAK,EAAE;SAC1B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACxB,cAAgE,EAC5C,EAAE;IACtB,MAAM,YAAY,GAAG,oCAAoC,CAAC,cAAc,CAAC,CAAC;IAC1E,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,IAA+C,EACrB,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,2BAA2B,CAAC,CAAC;AAEhF,MAAM,sBAAsB,GAAG,CAC7B,OAAiC,EACjC,MAAiE,EACjE,WAAwB,EACxB,OAAuB,EAC8C,EAAE;IACvE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,EAAE,IAAI,KAAK,qBAAqB;YAAE,SAAS;QACrD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;YAAE,SAAS;QAC1C,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;YAAE,SAAS;QAChE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAAiC,EACjC,MAA+D,EAC/D,WAAwB,EACxB,OAAuB,EAC4C,EAAE;IACrE,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,oBAAoB,GAAG,MAAM,CAAC,cAAc,CAAC;IACnD,MAAM,gBAAgB,GAAG,sBAAsB,CAC7C,MAAM,CAAC,UAAU,IAAI,SAAS,EAC9B,oBAAoB,CACrB,CAAC;IAEF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,EAAE,IAAI,KAAK,mBAAmB;YAAE,SAAS;QACnD,IAAI,qBAAqB,CAAC,MAAM,CAAC,KAAK,UAAU;YAAE,SAAS;QAC3D,IACE,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC;YACpC,CAAC,oBAAoB,EAAE,MAAM,IAAI,CAAC,CAAC,EACnC,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,MAAM,oBAAoB,GAAG,MAAM,CAAC,cAAc,CAAC;QACnD,IAAI,eAAe,GAAG,IAAI,CAAC;QAC3B,KACE,IAAI,UAAU,GAAG,CAAC,EAClB,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EACrC,UAAU,IAAI,CAAC,EACf,CAAC;YACD,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAClD,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAClD,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjC,eAAe,GAAG,KAAK,CAAC;gBACxB,MAAM;YACR,CAAC;YAED,IACE,WAAW,CAAC,UAAU,KAAK,WAAW,CAAC,UAAU;gBACjD,WAAW,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;gBACzC,WAAW,CAAC,OAAO,KAAK,WAAW,CAAC,OAAO,EAC3C,CAAC;gBACD,eAAe,GAAG,KAAK,CAAC;gBACxB,MAAM;YACR,CAAC;YAED,IACE,CAAC,aAAa,CACZ,sBAAsB,CAAC,WAAW,CAAC,IAAI,EAAE,oBAAoB,CAAC,EAC9D,sBAAsB,CAAC,WAAW,CAAC,IAAI,EAAE,oBAAoB,CAAC,EAC9D,OAAO,CACR,EACD,CAAC;gBACD,eAAe,GAAG,KAAK,CAAC;gBACxB,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,SAAS;QACX,CAAC;QAED,IACE,CAAC,aAAa,CACZ,sBAAsB,CACpB,MAAM,CAAC,UAAU,IAAI,SAAS,EAC9B,oBAAoB,CACrB,EACD,gBAAgB,EAChB,OAAO,CACR,EACD,CAAC;YACD,SAAS;QACX,CAAC;QAED,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,SAAoD,EACpD,aAA4D,EAC5D,OAAuB,EAMX,EAAE;IACd,MAAM,YAAY,GAAG,6BAA6B,CAAC,SAAS,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAuC,EAAE,CAAC;IAC/D,MAAM,aAAa,GAAqC,EAAE,CAAC;IAC3D,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE5C,KAAK,MAAM,MAAM,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,MAAM,EACN,mBAAmB,EACnB,OAAO,CACR,CAAC;YACF,IAAI,CAAC,WAAW;gBAAE,OAAO,SAAS,CAAC;YACnC,eAAe,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;YAC/D,SAAS;QACX,CAAC;QAED,MAAM,WAAW,GAAG,oBAAoB,CACtC,YAAY,EACZ,MAAM,EACN,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QACnC,aAAa,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,SAAiB,EACjB,OAAuB,EACQ,EAAE;IACjC,MAAM,UAAU,GAAG,IAAI,GAAG,EAA8B,CAAC;IACzD,MAAM,gBAAgB,GACpB,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;IAE3D,MAAM,cAAc,GAAG,CACrB,SAAiB,EACjB,UAA0D,EACpD,EAAE;QACR,IAAI,CAAC,UAAU;YAAE,OAAO;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;YACtC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,SAAS;YAC9D,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;gBAAE,SAAS;YACrD,UAAU,CAAC,GAAG,CAAC,GAAG,SAAS,KAAK,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC,CAAC;IAEF,cAAc,CAAC,gBAAgB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACrD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACnE,cAAc,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,SAAoD,EACpD,kBAAqC,EACrC,OAAuB,EACc,EAAE;IACvC,MAAM,OAAO,GAA+B,EAAE,CAAC;IAE/C,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QAE5C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QAE9D,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,iBAAiB,GAAG,6BAA6B,CACrD,QAAQ,CAAC,IAAI,EACb,IAAI,CACL,CAAC;QACF,MAAM,OAAO,GAAG,wBAAwB,CACtC,SAAS,EACT,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,OAAO,CAAC,IAAI,CAAC;YACX,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,IAAI;YACJ,GAAG,EAAE,0BAA0B,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC;YAC/D,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,IAAI;YAChB,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,aAAa,EAAE,OAAO,CAAC,aAAa;SACrC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,SAAiB,EACjB,kBAAqC,EACrC,OAAuB,EACc,EAAE;IACvC,MAAM,gBAAgB,GACpB,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3D,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IACrD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IAExD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC7D,KAAK,MAAM,KAAK,IAAI,+BAA+B,CACjD,SAAS,EACT,kBAAkB,EAClB,OAAO,CACR,EAAE,CAAC;QACF,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,0BAA0B,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QACvE,MAAM,GAAG,GAAG,GAAG,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;QACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAEhC,MAAM,OAAO,GAAG,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7E,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE;YAChB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,GAAG,EAAE,0BAA0B,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC;YACpE,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,UAAU,EAAE,KAAK;YACjB,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,aAAa,EAAE,OAAO,CAAC,aAAa;SACrC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACjD,KAAK,CAAC,SAAS,KAAK,gBAAgB;QAClC,CAAC,CAAC;YACE,GAAG,KAAK;YACR,GAAG,EAAE,0BAA0B,CAC7B,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,GAAG,CACV;SACF;QACH,CAAC,CAAC,KAAK,CACV,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,SAAiB,EACjB,kBAAqC,EACrC,OAAuB,EACJ,EAAE,CACrB,sCAAsC,CAAC,SAAS,EAAE,kBAAkB,EAAE,OAAO,CAAC;KAC3E,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC;KACpC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC"}

package/dist/core/semantic/implicit-interfaces.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=implicit-interfaces.test.d.ts.map

package/dist/core/semantic/implicit-interfaces.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"implicit-interfaces.test.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/implicit-interfaces.test.ts"],"names":[],"mappings":""}

package/dist/core/semantic/implicit-interfaces.test.js

@@ -0,0 +1,280 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { inferImplicitImplementedInterfaces, resolveCompatibleImplementedInterfaces, } from "./implicit-interfaces.js";
+const numberType = { kind: "primitiveType", name: "number" };
+const stringType = { kind: "primitiveType", name: "string" };
+const voidType = { kind: "voidType" };
+const defaultOptions = {
+    rootNamespace: "Test",
+    indent: 2,
+};
+const createContext = (localTypes) => ({
+    indentLevel: 0,
+    options: defaultOptions,
+    isStatic: false,
+    isAsync: false,
+    localTypes,
+    usings: new Set(),
+});
+const parameter = (name, type) => ({
+    kind: "parameter",
+    pattern: { kind: "identifierPattern", name },
+    type,
+    isOptional: false,
+    isRest: false,
+    passing: "value",
+});
+const overloadFamily = (publicName, publicSignatureIndex) => ({
+    familyId: `method:instance:${publicName}`,
+    memberId: `method:instance:${publicName}:public:${publicSignatureIndex}`,
+    ownerKind: "method",
+    publicName,
+    isStatic: false,
+    publicSignatureCount: 2,
+    publicSignatureIndex,
+});
+const methodSignature = (name, parameters, returnType, family) => ({
+    kind: "methodSignature",
+    name,
+    parameters,
+    returnType,
+    ...(family ? { overloadFamily: family } : {}),
+});
+const methodDeclaration = (name, parameters, returnType, family) => ({
+    kind: "methodDeclaration",
+    name,
+    parameters,
+    returnType,
+    body: { kind: "blockStatement", statements: [] },
+    isStatic: false,
+    isAsync: false,
+    isGenerator: false,
+    accessibility: "public",
+    ...(family ? { overloadFamily: family } : {}),
+});
+describe("implicit-interfaces", () => {
+    it("matches explicit interface overloads by emitted family name", () => {
+        const parseStringFamily = overloadFamily("parse", 0);
+        const parseNumberFamily = overloadFamily("parse", 1);
+        const localTypes = new Map([
+            [
+                "IParser",
+                {
+                    kind: "interface",
+                    typeParameters: [],
+                    members: [
+                        methodSignature("parse_string", [parameter("value", stringType)], stringType, parseStringFamily),
+                        methodSignature("parse_number", [parameter("value", numberType)], stringType, parseNumberFamily),
+                    ],
+                    extends: [],
+                },
+            ],
+            [
+                "Parser",
+                {
+                    kind: "class",
+                    typeParameters: [],
+                    members: [
+                        methodDeclaration("parse_text", [parameter("value", stringType)], stringType, parseStringFamily),
+                        methodDeclaration("parse_int", [parameter("value", numberType)], stringType, parseNumberFamily),
+                    ],
+                    implements: [{ kind: "referenceType", name: "IParser" }],
+                },
+            ],
+        ]);
+        const matches = resolveCompatibleImplementedInterfaces("Parser", [{ kind: "referenceType", name: "IParser" }], createContext(localTypes));
+        expect(matches).to.have.length(1);
+        expect(matches[0]?.isExplicit).to.equal(true);
+        expect(matches[0]?.methodMatches.map((match) => match.classMember.name)).to.deep.equal(["parse_text", "parse_int"]);
+    });
+    it("does not reuse one class member for multiple interface overloads", () => {
+        const parseStringFamily = overloadFamily("parse", 0);
+        const parseNumberFamily = overloadFamily("parse", 1);
+        const localTypes = new Map([
+            [
+                "IParser",
+                {
+                    kind: "interface",
+                    typeParameters: [],
+                    members: [
+                        methodSignature("parse_string", [parameter("value", stringType)], stringType, parseStringFamily),
+                        methodSignature("parse_number", [parameter("value", numberType)], stringType, parseNumberFamily),
+                    ],
+                    extends: [],
+                },
+            ],
+            [
+                "Parser",
+                {
+                    kind: "class",
+                    typeParameters: [],
+                    members: [
+                        methodDeclaration("parse_text", [parameter("value", stringType)], stringType, parseStringFamily),
+                    ],
+                    implements: [{ kind: "referenceType", name: "IParser" }],
+                },
+            ],
+        ]);
+        const matches = resolveCompatibleImplementedInterfaces("Parser", [{ kind: "referenceType", name: "IParser" }], createContext(localTypes));
+        expect(matches).to.deep.equal([]);
+    });
+    it("infers implicit interfaces through overload family names", () => {
+        const family = overloadFamily("parse", 0);
+        const localTypes = new Map([
+            [
+                "IParser",
+                {
+                    kind: "interface",
+                    typeParameters: [],
+                    members: [
+                        methodSignature("parse_string", [parameter("value", stringType)], stringType, family),
+                    ],
+                    extends: [],
+                },
+            ],
+            [
+                "Parser",
+                {
+                    kind: "class",
+                    typeParameters: [],
+                    members: [
+                        methodDeclaration("parse_text", [parameter("value", stringType)], stringType, family),
+                    ],
+                    implements: [],
+                },
+            ],
+        ]);
+        const inferred = inferImplicitImplementedInterfaces("Parser", [], createContext(localTypes));
+        expect(inferred).to.deep.equal([
+            {
+                kind: "referenceType",
+                name: "IParser",
+                resolvedClrType: "Test.IParser",
+            },
+        ]);
+    });
+    it("requires exact signatures for explicit interface compatibility", () => {
+        const family = overloadFamily("close", 0);
+        const localTypes = new Map([
+            [
+                "IClosable",
+                {
+                    kind: "interface",
+                    typeParameters: [],
+                    members: [methodSignature("close", [], voidType, family)],
+                    extends: [],
+                },
+            ],
+            [
+                "Closable",
+                {
+                    kind: "class",
+                    typeParameters: [],
+                    members: [methodDeclaration("close_impl", [], stringType, family)],
+                    implements: [{ kind: "referenceType", name: "IClosable" }],
+                },
+            ],
+        ]);
+        const matches = resolveCompatibleImplementedInterfaces("Closable", [{ kind: "referenceType", name: "IClosable" }], createContext(localTypes));
+        expect(matches).to.deep.equal([]);
+    });
+    it("ignores nominal interface marker properties during explicit compatibility", () => {
+        const localTypes = new Map([
+            [
+                "IDisposable",
+                {
+                    kind: "interface",
+                    typeParameters: [],
+                    members: [
+                        {
+                            kind: "propertySignature",
+                            name: "__tsonic_iface_System_IDisposable",
+                            type: { kind: "neverType" },
+                            isOptional: false,
+                            isReadonly: true,
+                        },
+                        methodSignature("Dispose", [], voidType),
+                    ],
+                    extends: [],
+                },
+            ],
+            [
+                "Thing",
+                {
+                    kind: "class",
+                    typeParameters: [],
+                    members: [methodDeclaration("Dispose", [], voidType)],
+                    implements: [
+                        {
+                            kind: "referenceType",
+                            name: "IDisposable",
+                            resolvedClrType: "System.IDisposable",
+                        },
+                    ],
+                },
+            ],
+        ]);
+        const matches = resolveCompatibleImplementedInterfaces("Thing", [
+            {
+                kind: "referenceType",
+                name: "IDisposable",
+                resolvedClrType: "System.IDisposable",
+            },
+        ], createContext(localTypes));
+        expect(matches).to.have.length(1);
+        expect(matches[0]?.isExplicit).to.equal(true);
+        expect(matches[0]?.ref.resolvedClrType).to.equal("System.IDisposable");
+        expect(matches[0]?.methodMatches.map((match) => match.classMember.name)).to.deep.equal(["Dispose"]);
+    });
+    it("specializes explicit generic interfaces with concrete type arguments", () => {
+        const localTypes = new Map([
+            [
+                "Comparable",
+                {
+                    kind: "interface",
+                    typeParameters: ["T"],
+                    members: [
+                        methodSignature("compareTo", [parameter("other", { kind: "typeParameterType", name: "T" })], numberType),
+                    ],
+                    extends: [],
+                },
+            ],
+            [
+                "NumberValue",
+                {
+                    kind: "class",
+                    typeParameters: [],
+                    members: [
+                        methodDeclaration("compareTo", [
+                            parameter("other", {
+                                kind: "referenceType",
+                                name: "NumberValue",
+                            }),
+                        ], numberType),
+                    ],
+                    implements: [
+                        {
+                            kind: "referenceType",
+                            name: "Comparable",
+                            typeArguments: [{ kind: "referenceType", name: "NumberValue" }],
+                        },
+                    ],
+                },
+            ],
+        ]);
+        const matches = resolveCompatibleImplementedInterfaces("NumberValue", [
+            {
+                kind: "referenceType",
+                name: "Comparable",
+                typeArguments: [{ kind: "referenceType", name: "NumberValue" }],
+            },
+        ], createContext(localTypes));
+        expect(matches).to.have.length(1);
+        expect(matches[0]?.isExplicit).to.equal(true);
+        expect(matches[0]?.ref.typeArguments).to.deep.equal([
+            { kind: "referenceType", name: "NumberValue" },
+        ]);
+        expect(matches[0]?.methodMatches.map((match) => match.classMember.name)).to.deep.equal(["compareTo"]);
+    });
+});
+//# sourceMappingURL=implicit-interfaces.test.js.map

package/dist/core/semantic/implicit-interfaces.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"implicit-interfaces.test.js","sourceRoot":"","sources":["../../../src/core/semantic/implicit-interfaces.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAa9B,OAAO,EACL,kCAAkC,EAClC,sCAAsC,GACvC,MAAM,0BAA0B,CAAC;AAElC,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrE,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrE,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AAE9C,MAAM,cAAc,GAAmB;IACrC,aAAa,EAAE,MAAM;IACrB,MAAM,EAAE,CAAC;CACV,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,UAA8C,EAC9B,EAAE,CAAC,CAAC;IACpB,WAAW,EAAE,CAAC;IACd,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,KAAK;IACf,OAAO,EAAE,KAAK;IACd,UAAU;IACV,MAAM,EAAE,IAAI,GAAG,EAAU;CAC1B,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,IAAY,EAAe,EAAE,CAAC,CAAC;IAC9D,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE;IAC5C,IAAI;IACJ,UAAU,EAAE,KAAK;IACjB,MAAM,EAAE,KAAK;IACb,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CACrB,UAAkB,EAClB,oBAA4B,EACJ,EAAE,CAAC,CAAC;IAC5B,QAAQ,EAAE,mBAAmB,UAAU,EAAE;IACzC,QAAQ,EAAE,mBAAmB,UAAU,WAAW,oBAAoB,EAAE;IACxE,SAAS,EAAE,QAAQ;IACnB,UAAU;IACV,QAAQ,EAAE,KAAK;IACf,oBAAoB,EAAE,CAAC;IACvB,oBAAoB;CACrB,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,CACtB,IAAY,EACZ,UAAkC,EAClC,UAAkB,EAClB,MAA+B,EACZ,EAAE,CAAC,CAAC;IACvB,IAAI,EAAE,iBAAiB;IACvB,IAAI;IACJ,UAAU;IACV,UAAU;IACV,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAC9C,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,CACxB,IAAY,EACZ,UAAkC,EAClC,UAAkB,EAClB,MAA+B,EACV,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,mBAAmB;IACzB,IAAI;IACJ,UAAU;IACV,UAAU;IACV,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;IAChD,QAAQ,EAAE,KAAK;IACf,OAAO,EAAE,KAAK;IACd,WAAW,EAAE,KAAK;IAClB,aAAa,EAAE,QAAQ;IACvB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAC9C,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,iBAAiB,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrD,MAAM,iBAAiB,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;YAChD;gBACE,SAAS;gBACT;oBACE,IAAI,EAAE,WAAW;oBACjB,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE;wBACP,eAAe,CACb,cAAc,EACd,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAChC,UAAU,EACV,iBAAiB,CAClB;wBACD,eAAe,CACb,cAAc,EACd,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAChC,UAAU,EACV,iBAAiB,CAClB;qBACF;oBACD,OAAO,EAAE,EAAE;iBACZ;aACF;YACD;gBACE,QAAQ;gBACR;oBACE,IAAI,EAAE,OAAO;oBACb,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE;wBACP,iBAAiB,CACf,YAAY,EACZ,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAChC,UAAU,EACV,iBAAiB,CAClB;wBACD,iBAAiB,CACf,WAAW,EACX,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAChC,UAAU,EACV,iBAAiB,CAClB;qBACF;oBACD,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;iBACzD;aACF;SACF,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,sCAAsC,CACpD,QAAQ,EACR,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAC5C,aAAa,CAAC,UAAU,CAAC,CAC1B,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CACJ,OAAO,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CACjE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,iBAAiB,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrD,MAAM,iBAAiB,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;YAChD;gBACE,SAAS;gBACT;oBACE,IAAI,EAAE,WAAW;oBACjB,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE;wBACP,eAAe,CACb,cAAc,EACd,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAChC,UAAU,EACV,iBAAiB,CAClB;wBACD,eAAe,CACb,cAAc,EACd,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAChC,UAAU,EACV,iBAAiB,CAClB;qBACF;oBACD,OAAO,EAAE,EAAE;iBACZ;aACF;YACD;gBACE,QAAQ;gBACR;oBACE,IAAI,EAAE,OAAO;oBACb,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE;wBACP,iBAAiB,CACf,YAAY,EACZ,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAChC,UAAU,EACV,iBAAiB,CAClB;qBACF;oBACD,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;iBACzD;aACF;SACF,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,sCAAsC,CACpD,QAAQ,EACR,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAC5C,aAAa,CAAC,UAAU,CAAC,CAC1B,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;YAChD;gBACE,SAAS;gBACT;oBACE,IAAI,EAAE,WAAW;oBACjB,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE;wBACP,eAAe,CACb,cAAc,EACd,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAChC,UAAU,EACV,MAAM,CACP;qBACF;oBACD,OAAO,EAAE,EAAE;iBACZ;aACF;YACD;gBACE,QAAQ;gBACR;oBACE,IAAI,EAAE,OAAO;oBACb,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE;wBACP,iBAAiB,CACf,YAAY,EACZ,CAAC,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAChC,UAAU,EACV,MAAM,CACP;qBACF;oBACD,UAAU,EAAE,EAAE;iBACf;aACF;SACF,CAAC,CAAC;QAEH,MAAM,QAAQ,GAAG,kCAAkC,CACjD,QAAQ,EACR,EAAE,EACF,aAAa,CAAC,UAAU,CAAC,CAC1B,CAAC;QAEF,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC7B;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;gBACf,eAAe,EAAE,cAAc;aAChC;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;YAChD;gBACE,WAAW;gBACX;oBACE,IAAI,EAAE,WAAW;oBACjB,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;oBACzD,OAAO,EAAE,EAAE;iBACZ;aACF;YACD;gBACE,UAAU;gBACV;oBACE,IAAI,EAAE,OAAO;oBACb,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE,CAAC,iBAAiB,CAAC,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;oBAClE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;iBAC3D;aACF;SACF,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,sCAAsC,CACpD,UAAU,EACV,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAC9C,aAAa,CAAC,UAAU,CAAC,CAC1B,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;YAChD;gBACE,aAAa;gBACb;oBACE,IAAI,EAAE,WAAW;oBACjB,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,mCAAmC;4BACzC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE;4BAC3B,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,IAAI;yBACjB;wBACD,eAAe,CAAC,SAAS,EAAE,EAAE,EAAE,QAAQ,CAAC;qBACzC;oBACD,OAAO,EAAE,EAAE;iBACZ;aACF;YACD;gBACE,OAAO;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;oBACrD,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,aAAa;4BACnB,eAAe,EAAE,oBAAoB;yBACtC;qBACF;iBACF;aACF;SACF,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,sCAAsC,CACpD,OAAO,EACP;YACE;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,aAAa;gBACnB,eAAe,EAAE,oBAAoB;aACtC;SACF,EACD,aAAa,CAAC,UAAU,CAAC,CAC1B,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACvE,MAAM,CACJ,OAAO,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CACjE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;YAChD;gBACE,YAAY;gBACZ;oBACE,IAAI,EAAE,WAAW;oBACjB,cAAc,EAAE,CAAC,GAAG,CAAC;oBACrB,OAAO,EAAE;wBACP,eAAe,CACb,WAAW,EACX,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAC9D,UAAU,CACX;qBACF;oBACD,OAAO,EAAE,EAAE;iBACZ;aACF;YACD;gBACE,aAAa;gBACb;oBACE,IAAI,EAAE,OAAO;oBACb,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE;wBACP,iBAAiB,CACf,WAAW,EACX;4BACE,SAAS,CAAC,OAAO,EAAE;gCACjB,IAAI,EAAE,eAAe;gCACrB,IAAI,EAAE,aAAa;6BACpB,CAAC;yBACH,EACD,UAAU,CACX;qBACF;oBACD,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,YAAY;4BAClB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;yBAChE;qBACF;iBACF;aACF;SACF,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,sCAAsC,CACpD,aAAa,EACb;YACE;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,YAAY;gBAClB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;aAChE;SACF,EACD,aAAa,CAAC,UAAU,CAAC,CAC1B,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAClD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE;SAC/C,CAAC,CAAC;QACH,MAAM,CACJ,OAAO,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CACjE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/imports-cases/basic-and-local.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Tests for Import Handling
+ * Tests emission of .NET and local imports
+ */
+export {};
+//# sourceMappingURL=basic-and-local.test.d.ts.map

package/dist/core/semantic/imports-cases/basic-and-local.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"basic-and-local.test.d.ts","sourceRoot":"","sources":["../../../../src/core/semantic/imports-cases/basic-and-local.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}