numtypes 0.0.0

package/dist/transformer/analyze/get-contextual-domain.d.ts

@@ -0,0 +1,19 @@
+import * as ts from "typescript";
+import type { NumericDomain } from "../domains.js";
+import type { TransformerDiagnostic } from "../diagnostics.js";
+import type { NumtypeSymbolTable } from "../symbols.js";
+export type ContextualDomainReason = "assignment-target" | "array-element" | "conditional-branch" | "declaration" | "object-property" | "return-type" | "unknown";
+export interface ContextualDomainInput {
+    readonly checker: ts.TypeChecker;
+    readonly node: ts.Node;
+    readonly symbols: NumtypeSymbolTable;
+}
+export interface ContextualDomainResult {
+    readonly diagnostics: readonly TransformerDiagnostic[];
+    readonly domain: NumericDomain | undefined;
+    readonly hasNonNumericUnionMembers?: boolean | undefined;
+    readonly reason: ContextualDomainReason;
+    readonly unionDomains?: readonly NumericDomain[] | undefined;
+}
+export declare function getContextualDomain(input: ContextualDomainInput): ContextualDomainResult;
+//# sourceMappingURL=get-contextual-domain.d.ts.map

package/dist/transformer/analyze/get-contextual-domain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-contextual-domain.d.ts","sourceRoot":"","sources":["../../../src/transformer/analyze/get-contextual-domain.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAGxD,MAAM,MAAM,sBAAsB,GAC9B,mBAAmB,GACnB,eAAe,GACf,oBAAoB,GACpB,aAAa,GACb,iBAAiB,GACjB,aAAa,GACb,SAAS,CAAC;AAEd,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC;CACtC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,WAAW,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACvD,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,yBAAyB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACzD,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,aAAa,EAAE,GAAG,SAAS,CAAC;CAC9D;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,qBAAqB,GAC3B,sBAAsB,CASxB"}

package/dist/transformer/analyze/get-contextual-domain.js

@@ -0,0 +1,197 @@
+import * as ts from "typescript";
+import { getDeclarationDomain, getFunctionReturnDomain, getTypeDomain, isNumericTypeDomain } from "./type-domain.js";
+import { isRuntimeExpression } from "../ast.js";
+export function getContextualDomain(input) {
+    if (!isRuntimeExpression(input.node)) {
+        return createContextualDomainResult({
+            diagnostics: [],
+            reason: "unknown"
+        });
+    }
+    return getExpressionContextualDomain(input, input.node);
+}
+function getExpressionContextualDomain(input, expression) {
+    const parent = expression.parent;
+    if (ts.isParenthesizedExpression(parent)) {
+        return getExpressionContextualDomain(input, parent);
+    }
+    if (ts.isVariableDeclaration(parent) && parent.initializer === expression) {
+        return getVariableDeclarationContext(input, parent);
+    }
+    if (ts.isBinaryExpression(parent) && parent.right === expression) {
+        return getAssignmentContext(input, parent);
+    }
+    if (ts.isReturnStatement(parent) && parent.expression === expression) {
+        return getReturnContext(input, parent);
+    }
+    if (ts.isArrowFunction(parent) && parent.body === expression) {
+        return getSignatureReturnContext(input, parent);
+    }
+    if (ts.isCallExpression(parent)) {
+        return createContextualDomainResult({
+            diagnostics: [],
+            reason: "unknown"
+        });
+    }
+    if (ts.isConditionalExpression(parent)) {
+        return getConditionalBranchContext(input, parent, expression);
+    }
+    if (ts.isPropertyAssignment(parent) && parent.initializer === expression) {
+        return getContextualTypeContext(input, expression, "object-property");
+    }
+    if (ts.isArrayLiteralExpression(parent) &&
+        parent.elements.some((element) => element === expression)) {
+        return getContextualTypeContext(input, expression, "array-element");
+    }
+    return createContextualDomainResult({
+        diagnostics: [],
+        reason: "unknown"
+    });
+}
+function getVariableDeclarationContext(input, declaration) {
+    const typeResult = getDeclarationDomain({
+        checker: input.checker,
+        declaration,
+        symbols: input.symbols
+    });
+    return resultFromTypeDomain(typeResult, "declaration");
+}
+function getAssignmentContext(input, expression) {
+    if (!isAssignmentOperator(expression.operatorToken.kind)) {
+        return createContextualDomainResult({
+            diagnostics: [],
+            reason: "unknown"
+        });
+    }
+    const targetResult = getTypeDomain({
+        checker: input.checker,
+        node: expression.left,
+        symbols: input.symbols,
+        type: input.checker.getTypeAtLocation(expression.left)
+    });
+    return resultFromTypeDomain(targetResult, "assignment-target");
+}
+function getReturnContext(input, returnStatement) {
+    const functionLike = findContainingSignatureDeclaration(returnStatement);
+    if (functionLike === undefined) {
+        return createContextualDomainResult({
+            diagnostics: [],
+            reason: "unknown"
+        });
+    }
+    return getSignatureReturnContext(input, functionLike);
+}
+function getSignatureReturnContext(input, signatureDeclaration) {
+    const returnTypeResult = getFunctionReturnDomain({
+        checker: input.checker,
+        declaration: signatureDeclaration,
+        symbols: input.symbols
+    });
+    return resultFromTypeDomain(returnTypeResult, "return-type");
+}
+function getConditionalBranchContext(input, conditionalExpression, branchExpression) {
+    if (conditionalExpression.whenTrue !== branchExpression &&
+        conditionalExpression.whenFalse !== branchExpression) {
+        return createContextualDomainResult({
+            diagnostics: [],
+            reason: "unknown"
+        });
+    }
+    const parentContext = getExpressionContextualDomain(input, conditionalExpression);
+    if (parentContext.domain === undefined) {
+        return parentContext;
+    }
+    return createContextualDomainResult({
+        diagnostics: parentContext.diagnostics,
+        domain: parentContext.domain,
+        reason: "conditional-branch"
+    });
+}
+function getContextualTypeContext(input, expression, reason) {
+    const contextualType = input.checker.getContextualType(expression);
+    if (contextualType === undefined) {
+        return createContextualDomainResult({
+            diagnostics: [],
+            reason: "unknown"
+        });
+    }
+    const typeResult = getTypeDomain({
+        checker: input.checker,
+        node: expression,
+        symbols: input.symbols,
+        type: contextualType
+    });
+    return resultFromTypeDomain(typeResult, reason);
+}
+function resultFromTypeDomain(typeResult, reason) {
+    if (typeResult.unionDomains !== undefined &&
+        typeResult.unionDomains.length > 0) {
+        return createContextualDomainResult({
+            diagnostics: typeResult.diagnostics,
+            hasNonNumericUnionMembers: typeResult.hasNonNumericUnionMembers,
+            reason,
+            unionDomains: typeResult.unionDomains
+        });
+    }
+    if (!isNumericTypeDomain(typeResult.domain)) {
+        return createContextualDomainResult({
+            diagnostics: typeResult.diagnostics,
+            reason: "unknown"
+        });
+    }
+    return createContextualDomainResult({
+        diagnostics: typeResult.diagnostics,
+        domain: typeResult.domain,
+        reason
+    });
+}
+function createContextualDomainResult(input) {
+    const result = {
+        diagnostics: input.diagnostics,
+        domain: input.domain,
+        reason: input.reason
+    };
+    if (input.unionDomains === undefined || input.unionDomains.length === 0) {
+        return result;
+    }
+    return {
+        ...result,
+        hasNonNumericUnionMembers: input.hasNonNumericUnionMembers === true,
+        unionDomains: input.unionDomains
+    };
+}
+function isAssignmentOperator(operator) {
+    return (operator === ts.SyntaxKind.EqualsToken ||
+        operator === ts.SyntaxKind.PlusEqualsToken ||
+        operator === ts.SyntaxKind.MinusEqualsToken ||
+        operator === ts.SyntaxKind.AsteriskEqualsToken ||
+        operator === ts.SyntaxKind.AsteriskAsteriskEqualsToken ||
+        operator === ts.SyntaxKind.SlashEqualsToken ||
+        operator === ts.SyntaxKind.PercentEqualsToken ||
+        operator === ts.SyntaxKind.LessThanLessThanEqualsToken ||
+        operator === ts.SyntaxKind.GreaterThanGreaterThanEqualsToken ||
+        operator === ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken ||
+        operator === ts.SyntaxKind.AmpersandEqualsToken ||
+        operator === ts.SyntaxKind.BarEqualsToken ||
+        operator === ts.SyntaxKind.CaretEqualsToken);
+}
+function findContainingSignatureDeclaration(node) {
+    let current = node.parent;
+    while (!ts.isSourceFile(current)) {
+        if (isSignatureDeclarationWithBody(current)) {
+            return current;
+        }
+        current = current.parent;
+    }
+    return undefined;
+}
+function isSignatureDeclarationWithBody(node) {
+    return (ts.isFunctionDeclaration(node) ||
+        ts.isFunctionExpression(node) ||
+        ts.isArrowFunction(node) ||
+        ts.isMethodDeclaration(node) ||
+        ts.isGetAccessorDeclaration(node) ||
+        ts.isSetAccessorDeclaration(node) ||
+        ts.isConstructorDeclaration(node));
+}
+//# sourceMappingURL=get-contextual-domain.js.map

package/dist/transformer/analyze/get-contextual-domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-contextual-domain.js","sourceRoot":"","sources":["../../../src/transformer/analyze/get-contextual-domain.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,aAAa,EACb,mBAAmB,EACpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AA6BhD,MAAM,UAAU,mBAAmB,CACjC,KAA4B;IAE5B,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,4BAA4B,CAAC;YAClC,WAAW,EAAE,EAAE;YACf,MAAM,EAAE,SAAS;SAClB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,6BAA6B,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,6BAA6B,CACpC,KAA4B,EAC5B,UAAyB;IAEzB,MAAM,MAAM,GAAY,UAAU,CAAC,MAAM,CAAC;IAE1C,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;QACzC,OAAO,6BAA6B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QAC1E,OAAO,6BAA6B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QACjE,OAAO,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QACrE,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7D,OAAO,yBAAyB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,OAAO,4BAA4B,CAAC;YAClC,WAAW,EAAE,EAAE;YACf,MAAM,EAAE,SAAS;SAClB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,2BAA2B,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IAChE,CAAC;IAED,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QACzE,OAAO,wBAAwB,CAAC,KAAK,EAAE,UAAU,EAAE,iBAAiB,CAAC,CAAC;IACxE,CAAC;IAED,IACE,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;QACnC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAsB,EAAW,EAAE,CAAC,OAAO,KAAK,UAAU,CAAC,EACjF,CAAC;QACD,OAAO,wBAAwB,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,4BAA4B,CAAC;QAClC,WAAW,EAAE,EAAE;QACf,MAAM,EAAE,SAAS;KAClB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,6BAA6B,CACpC,KAA4B,EAC5B,WAAmC;IAEnC,MAAM,UAAU,GAAqB,oBAAoB,CAAC;QACxD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,WAAW;QACX,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC;IAEH,OAAO,oBAAoB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAA4B,EAC5B,UAA+B;IAE/B,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,OAAO,4BAA4B,CAAC;YAClC,WAAW,EAAE,EAAE;YACf,MAAM,EAAE,SAAS;SAClB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,YAAY,GAAqB,aAAa,CAAC;QACnD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAAC;KACvD,CAAC,CAAC;IAEH,OAAO,oBAAoB,CAAC,YAAY,EAAE,mBAAmB,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,gBAAgB,CACvB,KAA4B,EAC5B,eAAmC;IAEnC,MAAM,YAAY,GAChB,kCAAkC,CAAC,eAAe,CAAC,CAAC;IAEtD,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,4BAA4B,CAAC;YAClC,WAAW,EAAE,EAAE;YACf,MAAM,EAAE,SAAS;SAClB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,yBAAyB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,yBAAyB,CAChC,KAA4B,EAC5B,oBAA6C;IAE7C,MAAM,gBAAgB,GAAqB,uBAAuB,CAAC;QACjE,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,WAAW,EAAE,oBAAoB;QACjC,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC;IAEH,OAAO,oBAAoB,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,2BAA2B,CAClC,KAA4B,EAC5B,qBAA+C,EAC/C,gBAA+B;IAE/B,IACE,qBAAqB,CAAC,QAAQ,KAAK,gBAAgB;QACnD,qBAAqB,CAAC,SAAS,KAAK,gBAAgB,EACpD,CAAC;QACD,OAAO,4BAA4B,CAAC;YAClC,WAAW,EAAE,EAAE;YACf,MAAM,EAAE,SAAS;SAClB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,aAAa,GAA2B,6BAA6B,CACzE,KAAK,EACL,qBAAqB,CACtB,CAAC;IAEF,IAAI,aAAa,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,OAAO,4BAA4B,CAAC;QAClC,WAAW,EAAE,aAAa,CAAC,WAAW;QACtC,MAAM,EAAE,aAAa,CAAC,MAAM;QAC5B,MAAM,EAAE,oBAAoB;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAA4B,EAC5B,UAAyB,EACzB,MAA2C;IAE3C,MAAM,cAAc,GAClB,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAE9C,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,4BAA4B,CAAC;YAClC,WAAW,EAAE,EAAE;YACf,MAAM,EAAE,SAAS;SAClB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAqB,aAAa,CAAC;QACjD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,cAAc;KACrB,CAAC,CAAC;IAEH,OAAO,oBAAoB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAA4B,EAC5B,MAA8B;IAE9B,IACE,UAAU,CAAC,YAAY,KAAK,SAAS;QACrC,UAAU,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAClC,CAAC;QACD,OAAO,4BAA4B,CAAC;YAClC,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,yBAAyB,EAAE,UAAU,CAAC,yBAAyB;YAC/D,MAAM;YACN,YAAY,EAAE,UAAU,CAAC,YAAY;SACtC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,OAAO,4BAA4B,CAAC;YAClC,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,MAAM,EAAE,SAAS;SAClB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,4BAA4B,CAAC;QAClC,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED,SAAS,4BAA4B,CAAC,KAMrC;IACC,MAAM,MAAM,GAA2B;QACrC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC;IAEF,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO;QACL,GAAG,MAAM;QACT,yBAAyB,EAAE,KAAK,CAAC,yBAAyB,KAAK,IAAI;QACnE,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAuB;IACnD,OAAO,CACL,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACtC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe;QAC1C,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAC3C,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;QAC9C,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;QACtD,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAC3C,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,kBAAkB;QAC7C,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;QACtD,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,iCAAiC;QAC5D,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,4CAA4C;QACvE,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,oBAAoB;QAC/C,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;QACzC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAC5C,CAAC;AACJ,CAAC;AAED,SAAS,kCAAkC,CACzC,IAAa;IAEb,IAAI,OAAO,GAAY,IAAI,CAAC,MAAM,CAAC;IAEnC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QACjC,IAAI,8BAA8B,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5C,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,8BAA8B,CACrC,IAAa;IAEb,OAAO,CACL,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC7B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC5B,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAClC,CAAC;AACJ,CAAC"}

package/dist/transformer/analyze/get-expression-domain.d.ts

@@ -0,0 +1,26 @@
+import * as ts from "typescript";
+import type { NumericDomain } from "../domains.js";
+import type { TransformerDiagnostic } from "../diagnostics.js";
+import type { NumtypeSymbolTable } from "../symbols.js";
+import type { TypeDomain } from "./type-domain.js";
+export type ExpressionDomainReason = "cast-call" | "contextual-literal" | "literal" | "operator" | "type" | "unknown";
+export interface ExpressionDomainInput {
+    readonly cache?: ExpressionDomainCache | undefined;
+    readonly checker: ts.TypeChecker;
+    readonly contextualDomain?: NumericDomain | undefined;
+    readonly expression: ts.Expression;
+    readonly symbols: NumtypeSymbolTable;
+}
+export interface ExpressionDomainResult {
+    readonly diagnostics: readonly TransformerDiagnostic[];
+    readonly domain: TypeDomain;
+    readonly hasNonNumericUnionMembers?: boolean | undefined;
+    readonly isDomainBound: boolean;
+    readonly reason: ExpressionDomainReason;
+    readonly requiresClosure: boolean;
+    readonly unionDomains?: readonly NumericDomain[] | undefined;
+}
+export type ExpressionDomainCache = WeakMap<ts.Expression, Map<string, ExpressionDomainResult>>;
+export declare function createExpressionDomainCache(): ExpressionDomainCache;
+export declare function getExpressionDomain(input: ExpressionDomainInput): ExpressionDomainResult;
+//# sourceMappingURL=get-expression-domain.d.ts.map

package/dist/transformer/analyze/get-expression-domain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-expression-domain.d.ts","sourceRoot":"","sources":["../../../src/transformer/analyze/get-expression-domain.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAWjC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAwB,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAC9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AA2DnD,MAAM,MAAM,sBAAsB,GAC9B,WAAW,GACX,oBAAoB,GACpB,SAAS,GACT,UAAU,GACV,MAAM,GACN,SAAS,CAAC;AAEd,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,qBAAqB,GAAG,SAAS,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACjC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC;CACtC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,WAAW,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACvD,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,yBAAyB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACzD,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,aAAa,EAAE,GAAG,SAAS,CAAC;CAC9D;AAED,MAAM,MAAM,qBAAqB,GAAG,OAAO,CACzC,EAAE,CAAC,UAAU,EACb,GAAG,CAAC,MAAM,EAAE,sBAAsB,CAAC,CACpC,CAAC;AAyBF,wBAAgB,2BAA2B,IAAI,qBAAqB,CAEnE;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,qBAAqB,GAC3B,sBAAsB,CAKxB"}