@microsoft/powerquery-language-services 0.10.5 → 0.11.1

package/lib/powerquery-language-services/inspection/type/inspectType/common.js

@@ -1,354 +1,363 @@
-"use strict";
-// Copyright (c) Microsoft Corporation.
-// Licensed under the MIT license.
-var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
-    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
-    return new (P || (P = Promise))(function (resolve, reject) {
-        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
-        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
-        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
-        step((generator = generator.apply(thisArg, _arguments || [])).next());
-    });
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.createParameterType = exports.dereferencedIdentifierType = exports.inspectXor = exports.inspectTypeFromChildAttributeIndex = exports.inspectScopeItem = exports.getOrCreateScopeItemType = exports.getOrCreateScope = exports.assertGetOrCreateNodeScope = exports.allForAnyUnion = void 0;
-const PQP = require("@microsoft/powerquery-parser");
-const powerquery_parser_1 = require("@microsoft/powerquery-parser");
-const language_1 = require("@microsoft/powerquery-parser/lib/powerquery-parser/language");
-const trace_1 = require("@microsoft/powerquery-parser/lib/powerquery-parser/common/trace");
-const __1 = require("../../..");
-const inspectTypeState_1 = require("./inspectTypeState");
-const scope_1 = require("../../scope");
-const inspectTypeConstant_1 = require("./inspectTypeConstant");
-const inspectTypeEachExpression_1 = require("./inspectTypeEachExpression");
-const inspectTypeErrorHandlingExpression_1 = require("./inspectTypeErrorHandlingExpression");
-const inspectTypeFieldProjection_1 = require("./inspectTypeField/inspectTypeFieldProjection");
-const inspectTypeFieldSelector_1 = require("./inspectTypeField/inspectTypeFieldSelector");
-const inspectTypeFieldSpecification_1 = require("./inspectTypeFieldSpecification");
-const inspectTypeFunctionExpression_1 = require("./inspectTypeFunctionExpression");
-const inspectTypeFunctionType_1 = require("./inspectTypeFunctionType");
-const inspectTypeIdentifier_1 = require("./inspectTypeIdentifier");
-const inspectTypeIdentifierExpression_1 = require("./inspectTypeIdentifierExpression");
-const inspectTypeIfExpression_1 = require("./inspectTypeIfExpression");
-const inspectTypeInvokeExpression_1 = require("./inspectTypeInvokeExpression");
-const inspectTypeList_1 = require("./inspectTypeList");
-const inspectTypeListType_1 = require("./inspectTypeListType");
-const inspectTypeLiteralExpression_1 = require("./inspectTypeLiteralExpression");
-const inspectTypeNullCoalescingExpression_1 = require("./inspectTypeNullCoalescingExpression");
-const inspectTypeParameter_1 = require("./inspectTypeParameter");
-const inspectTypePrimitiveType_1 = require("./inspectTypePrimitiveType");
-const inspectTypeRangeExpression_1 = require("./inspectTypeRangeExpression");
-const inspectTypeRecord_1 = require("./inspectTypeRecord");
-const inspectTypeRecordType_1 = require("./inspectTypeRecordType");
-const inspectTypeRecursivePrimaryExpression_1 = require("./inspectTypeRecursivePrimaryExpression");
-const inspectTypeTableType_1 = require("./inspectTypeTableType");
-const inspectTypeTBinOpExpression_1 = require("./inspectTypeTBinOpExpression");
-const inspectTypeUnaryExpression_1 = require("./inspectTypeUnaryExpression");
-const dereferencedIdentifierUtils_1 = require("../../dereferencedIdentifier/dereferencedIdentifierUtils");
-// Recursively flattens all AnyUnion.unionedTypePairs into a single array,
-// maps each entry into a boolean,
-// then calls all(...) on the mapped values.
-function allForAnyUnion(anyUnion, predicate) {
-    return (anyUnion.unionedTypePairs
-        .map((type) => type.extendedKind === language_1.Type.ExtendedTypeKind.AnyUnion
-        ? allForAnyUnion(type, predicate)
-        : predicate(type))
-        .indexOf(false) === -1);
-}
-exports.allForAnyUnion = allForAnyUnion;
-function assertGetOrCreateNodeScope(state, nodeId, correlationId) {
-    var _a;
-    return __awaiter(this, void 0, void 0, function* () {
-        const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectScope, assertGetOrCreateNodeScope.name, correlationId);
-        (_a = state.cancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-        const triedGetOrCreateScope = yield getOrCreateScope(state, nodeId, trace.id);
-        if (powerquery_parser_1.ResultUtils.isError(triedGetOrCreateScope)) {
-            trace.exit({ [trace_1.TraceConstant.IsThrowing]: true });
-            throw triedGetOrCreateScope.error;
-        }
-        trace.exit();
-        return powerquery_parser_1.Assert.asDefined(triedGetOrCreateScope.value);
-    });
-}
-exports.assertGetOrCreateNodeScope = assertGetOrCreateNodeScope;
-function getOrCreateScope(state, nodeId, correlationId) {
-    var _a;
-    return __awaiter(this, void 0, void 0, function* () {
-        const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectScope, getOrCreateScope.name, correlationId);
-        const updatedState = Object.assign(Object.assign({}, state), { initialCorrelationId: trace.id });
-        (_a = state.cancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-        const nodeScope = updatedState.scopeById.get(nodeId);
-        if (nodeScope !== undefined) {
-            trace.exit();
-            return powerquery_parser_1.ResultUtils.ok(nodeScope);
-        }
-        const result = yield (0, scope_1.tryNodeScope)(updatedState, state.nodeIdMapCollection, state.eachScopeById, nodeId, state.scopeById);
-        trace.exit();
-        return result;
-    });
-}
-exports.getOrCreateScope = getOrCreateScope;
-function getOrCreateScopeItemType(state, scopeItem) {
-    return __awaiter(this, void 0, void 0, function* () {
-        const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectScopeItem, getOrCreateScopeItemType.name, state.initialCorrelationId);
-        const nodeId = scopeItem.nodeId;
-        const type = state.typeById.get(nodeId);
-        if (type !== undefined) {
-            trace.exit({ cacheHit: true });
-            return type;
-        }
-        const scopeType = yield inspectScopeItem(state, scopeItem, trace.id);
-        trace.exit();
-        return scopeType;
-    });
-}
-exports.getOrCreateScopeItemType = getOrCreateScopeItemType;
-function inspectScopeItem(state, scopeItem, correlationId) {
-    var _a;
-    return __awaiter(this, void 0, void 0, function* () {
-        (_a = state.cancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-        switch (scopeItem.kind) {
-            case scope_1.ScopeItemKind.LetVariable:
-            case scope_1.ScopeItemKind.RecordField:
-            case scope_1.ScopeItemKind.SectionMember:
-                return scopeItem.value === undefined
-                    ? language_1.Type.AnyInstance
-                    : yield inspectXor(state, scopeItem.value, correlationId);
-            case scope_1.ScopeItemKind.Each:
-                return yield inspectXor(state, scopeItem.eachExpression, correlationId);
-            case scope_1.ScopeItemKind.Parameter:
-                return createParameterType(scopeItem);
-            case scope_1.ScopeItemKind.Undefined:
-                return language_1.Type.AnyInstance;
-            default:
-                throw powerquery_parser_1.Assert.isNever(scopeItem);
-        }
-    });
-}
-exports.inspectScopeItem = inspectScopeItem;
-function inspectTypeFromChildAttributeIndex(state, parentXorNode, attributeIndex, correlationId) {
-    var _a;
-    return __awaiter(this, void 0, void 0, function* () {
-        const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectType, inspectTypeFromChildAttributeIndex.name, correlationId, __1.TraceUtils.xorNodeDetails(parentXorNode));
-        (_a = state.cancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-        const xorNode = PQP.Parser.NodeIdMapUtils.nthChildXor(state.nodeIdMapCollection, parentXorNode.node.id, attributeIndex);
-        const result = xorNode !== undefined ? yield inspectXor(state, xorNode, trace.id) : language_1.Type.UnknownInstance;
-        trace.exit();
-        return result;
-    });
-}
-exports.inspectTypeFromChildAttributeIndex = inspectTypeFromChildAttributeIndex;
-function inspectXor(state, xorNode, correlationId) {
-    var _a;
-    return __awaiter(this, void 0, void 0, function* () {
-        const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectType, inspectXor.name, correlationId, __1.TraceUtils.xorNodeDetails(xorNode));
-        (_a = state.cancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-        const xorNodeId = xorNode.node.id;
-        const cached = state.typeById.get(xorNodeId);
-        if (cached !== undefined) {
-            trace.exit();
-            return Promise.resolve(cached);
-        }
-        let result;
-        switch (xorNode.node.kind) {
-            case language_1.Ast.NodeKind.ArrayWrapper:
-            case language_1.Ast.NodeKind.FieldSpecificationList:
-            case language_1.Ast.NodeKind.GeneralizedIdentifier:
-            case language_1.Ast.NodeKind.GeneralizedIdentifierPairedAnyLiteral:
-            case language_1.Ast.NodeKind.GeneralizedIdentifierPairedExpression:
-            case language_1.Ast.NodeKind.IdentifierPairedExpression:
-            case language_1.Ast.NodeKind.ParameterList:
-            case language_1.Ast.NodeKind.Section:
-                trace.exit();
-                return Promise.resolve(language_1.Type.NotApplicableInstance);
-            case language_1.Ast.NodeKind.AsType:
-            case language_1.Ast.NodeKind.AsNullablePrimitiveType:
-            case language_1.Ast.NodeKind.CatchExpression:
-            case language_1.Ast.NodeKind.FieldTypeSpecification:
-            case language_1.Ast.NodeKind.OtherwiseExpression:
-            case language_1.Ast.NodeKind.ParenthesizedExpression:
-            case language_1.Ast.NodeKind.TypePrimaryType:
-                result = yield inspectTypeFromChildAttributeIndex(state, xorNode, 1, trace.id);
-                break;
-            case language_1.Ast.NodeKind.ArithmeticExpression:
-            case language_1.Ast.NodeKind.EqualityExpression:
-            case language_1.Ast.NodeKind.LogicalExpression:
-            case language_1.Ast.NodeKind.RelationalExpression:
-                result = yield (0, inspectTypeTBinOpExpression_1.inspectTypeTBinOpExpression)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.AsExpression:
-            case language_1.Ast.NodeKind.SectionMember:
-                result = yield inspectTypeFromChildAttributeIndex(state, xorNode, 2, trace.id);
-                break;
-            case language_1.Ast.NodeKind.Csv:
-            case language_1.Ast.NodeKind.MetadataExpression:
-                result = yield inspectTypeFromChildAttributeIndex(state, xorNode, 0, trace.id);
-                break;
-            case language_1.Ast.NodeKind.ListExpression:
-            case language_1.Ast.NodeKind.ListLiteral:
-                result = yield (0, inspectTypeList_1.inspectTypeList)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.NullableType:
-            case language_1.Ast.NodeKind.NullablePrimitiveType:
-                result = Object.assign(Object.assign({}, (yield inspectTypeFromChildAttributeIndex(state, xorNode, 1, trace.id))), { isNullable: true });
-                break;
-            case language_1.Ast.NodeKind.RecordLiteral:
-            case language_1.Ast.NodeKind.RecordExpression:
-                result = yield (0, inspectTypeRecord_1.inspectTypeRecord)(state, xorNode, trace.id);
-                break;
-            // TODO: how should error raising be typed?
-            case language_1.Ast.NodeKind.ErrorRaisingExpression:
-                result = language_1.Type.AnyInstance;
-                break;
-            case language_1.Ast.NodeKind.Constant:
-                result = (0, inspectTypeConstant_1.inspectTypeConstant)(xorNode);
-                break;
-            case language_1.Ast.NodeKind.EachExpression:
-                result = yield (0, inspectTypeEachExpression_1.inspectTypeEachExpression)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.ErrorHandlingExpression:
-                result = yield (0, inspectTypeErrorHandlingExpression_1.inspectTypeErrorHandlingExpression)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.FieldProjection:
-                result = yield (0, inspectTypeFieldProjection_1.inspectTypeFieldProjection)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.FieldSelector:
-                result = yield (0, inspectTypeFieldSelector_1.inspectTypeFieldSelector)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.FieldSpecification:
-                result = yield (0, inspectTypeFieldSpecification_1.inspectTypeFieldSpecification)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.FunctionExpression:
-                result = yield (0, inspectTypeFunctionExpression_1.inspectTypeFunctionExpression)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.FunctionType:
-                result = yield (0, inspectTypeFunctionType_1.inspectTypeFunctionType)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.Identifier:
-                result = yield (0, inspectTypeIdentifier_1.inspectTypeIdentifier)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.IdentifierExpression:
-                result = yield (0, inspectTypeIdentifierExpression_1.inspectTypeIdentifierExpression)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.IfExpression:
-                result = yield (0, inspectTypeIfExpression_1.inspectTypeIfExpression)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.IsExpression:
-                result = language_1.Type.LogicalInstance;
-                break;
-            case language_1.Ast.NodeKind.InvokeExpression:
-                result = yield (0, inspectTypeInvokeExpression_1.inspectTypeInvokeExpression)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.IsNullablePrimitiveType:
-                result = language_1.Type.LogicalInstance;
-                break;
-            case language_1.Ast.NodeKind.ItemAccessExpression:
-                result = language_1.Type.AnyInstance;
-                break;
-            case language_1.Ast.NodeKind.LetExpression:
-                result = yield inspectTypeFromChildAttributeIndex(state, xorNode, 3, trace.id);
-                break;
-            case language_1.Ast.NodeKind.ListType:
-                result = yield (0, inspectTypeListType_1.inspectTypeListType)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.LiteralExpression:
-                result = (0, inspectTypeLiteralExpression_1.inspectTypeLiteralExpression)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.NotImplementedExpression:
-                result = language_1.Type.NoneInstance;
-                break;
-            case language_1.Ast.NodeKind.NullCoalescingExpression:
-                result = yield (0, inspectTypeNullCoalescingExpression_1.inspectTypeNullCoalescingExpression)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.Parameter:
-                result = yield (0, inspectTypeParameter_1.inspectTypeParameter)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.PrimitiveType:
-                result = (0, inspectTypePrimitiveType_1.inspectTypePrimitiveType)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.RangeExpression:
-                result = yield (0, inspectTypeRangeExpression_1.inspectTypeRangeExpression)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.RecordType:
-                result = yield (0, inspectTypeRecordType_1.inspectTypeRecordType)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.RecursivePrimaryExpression:
-                result = yield (0, inspectTypeRecursivePrimaryExpression_1.inspectTypeRecursivePrimaryExpression)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.TableType:
-                result = yield (0, inspectTypeTableType_1.inspectTypeTableType)(state, xorNode, trace.id);
-                break;
-            case language_1.Ast.NodeKind.UnaryExpression:
-                result = yield (0, inspectTypeUnaryExpression_1.inspectTypeUnaryExpression)(state, xorNode, trace.id);
-                break;
-            default:
-                throw powerquery_parser_1.Assert.isNever(xorNode.node);
-        }
-        state.typeById.set(xorNodeId, result);
-        trace.exit({ resultKind: result.kind, extendedKind: result.extendedKind });
-        return result;
-    });
-}
-exports.inspectXor = inspectXor;
-function dereferencedIdentifierType(state, xorNode, correlationId) {
-    var _a, _b, _c;
-    return __awaiter(this, void 0, void 0, function* () {
-        const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectType, dereferencedIdentifierType.name, correlationId, __1.TraceUtils.xorNodeDetails(xorNode));
-        (_a = state.cancellationToken) === null || _a === void 0 ? void 0 : _a.throwIfCancelled();
-        const triedDereferenceIdentifierPath = yield (0, dereferencedIdentifierUtils_1.tryBuildDereferencedIdentifierPath)(inspectTypeState_1.InspectTypeStateUtils.toInspectionSettings(state, trace), state.nodeIdMapCollection, xorNode, state.scopeById);
-        if (powerquery_parser_1.ResultUtils.isError(triedDereferenceIdentifierPath)) {
-            trace.exit({ [trace_1.TraceConstant.IsThrowing]: true });
-            throw triedDereferenceIdentifierPath.error;
-        }
-        const path = triedDereferenceIdentifierPath.value;
-        const lastDereferencedIdentifier = powerquery_parser_1.Assert.asDefined(path[path.length - 1]);
-        let result;
-        switch (lastDereferencedIdentifier.kind) {
-            case __1.Inspection.DereferencedIdentifierKind.External:
-                result = lastDereferencedIdentifier.type;
-                break;
-            case __1.Inspection.DereferencedIdentifierKind.InScopeDereference:
-                trace.exit({ [trace_1.TraceConstant.IsThrowing]: true });
-                throw new PQP.CommonError.InvariantError(`expected last dereferenced identifier to be anything other than InScopeDereference`);
-            case __1.Inspection.DereferencedIdentifierKind.InScopeValue: {
-                switch (lastDereferencedIdentifier.scopeItem.kind) {
-                    case scope_1.ScopeItemKind.LetVariable:
-                    case scope_1.ScopeItemKind.Parameter:
-                    case scope_1.ScopeItemKind.RecordField:
-                    case scope_1.ScopeItemKind.SectionMember:
-                        result = yield getOrCreateScopeItemType(state, lastDereferencedIdentifier.scopeItem);
-                        break;
-                    case scope_1.ScopeItemKind.Each:
-                        result = (_c = (_b = state.eachScopeById) === null || _b === void 0 ? void 0 : _b.get(lastDereferencedIdentifier.scopeItem.nodeId)) !== null && _c !== void 0 ? _c : language_1.Type.AnyInstance;
-                        break;
-                    case scope_1.ScopeItemKind.Undefined:
-                        result = language_1.Type.AnyInstance;
-                        break;
-                    default:
-                        throw powerquery_parser_1.Assert.isNever(lastDereferencedIdentifier.scopeItem);
-                }
-                break;
-            }
-            case __1.Inspection.DereferencedIdentifierKind.Recursive:
-                result = language_1.Type.AnyInstance;
-                break;
-            case __1.Inspection.DereferencedIdentifierKind.Undefined:
-                result = language_1.Type.UnknownInstance;
-                break;
-            default:
-                throw powerquery_parser_1.Assert.isNever(lastDereferencedIdentifier);
-        }
-        trace.exit({ [trace_1.TraceConstant.Result]: __1.TraceUtils.typeDetails(result) });
-        return result;
-    });
-}
-exports.dereferencedIdentifierType = dereferencedIdentifierType;
-function createParameterType(parameter) {
-    return {
-        kind: parameter.type ? language_1.TypeUtils.typeKindFromPrimitiveTypeConstantKind(parameter.type) : language_1.Type.TypeKind.Any,
-        extendedKind: undefined,
-        isNullable: parameter.isNullable || parameter.isOptional,
-    };
-}
-exports.createParameterType = createParameterType;
+"use strict";
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT license.
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.allForAnyUnion = allForAnyUnion;
+exports.assertGetOrCreateNodeScope = assertGetOrCreateNodeScope;
+exports.getOrCreateScope = getOrCreateScope;
+exports.getOrCreateScopeItemType = getOrCreateScopeItemType;
+exports.inspectScopeItem = inspectScopeItem;
+exports.inspectTypeFromChildAttributeIndex = inspectTypeFromChildAttributeIndex;
+exports.inspectXor = inspectXor;
+exports.dereferencedIdentifierType = dereferencedIdentifierType;
+exports.createParameterType = createParameterType;
+const PQP = __importStar(require("@microsoft/powerquery-parser"));
+const powerquery_parser_1 = require("@microsoft/powerquery-parser");
+const language_1 = require("@microsoft/powerquery-parser/lib/powerquery-parser/language");
+const trace_1 = require("@microsoft/powerquery-parser/lib/powerquery-parser/common/trace");
+const __1 = require("../../..");
+const inspectTypeState_1 = require("./inspectTypeState");
+const scope_1 = require("../../scope");
+const inspectTypeConstant_1 = require("./inspectTypeConstant");
+const inspectTypeEachExpression_1 = require("./inspectTypeEachExpression");
+const inspectTypeErrorHandlingExpression_1 = require("./inspectTypeErrorHandlingExpression");
+const inspectTypeFieldProjection_1 = require("./inspectTypeField/inspectTypeFieldProjection");
+const inspectTypeFieldSelector_1 = require("./inspectTypeField/inspectTypeFieldSelector");
+const inspectTypeFieldSpecification_1 = require("./inspectTypeFieldSpecification");
+const inspectTypeFunctionExpression_1 = require("./inspectTypeFunctionExpression");
+const inspectTypeFunctionType_1 = require("./inspectTypeFunctionType");
+const inspectTypeIdentifier_1 = require("./inspectTypeIdentifier");
+const inspectTypeIdentifierExpression_1 = require("./inspectTypeIdentifierExpression");
+const inspectTypeIfExpression_1 = require("./inspectTypeIfExpression");
+const inspectTypeInvokeExpression_1 = require("./inspectTypeInvokeExpression");
+const inspectTypeList_1 = require("./inspectTypeList");
+const inspectTypeListType_1 = require("./inspectTypeListType");
+const inspectTypeLiteralExpression_1 = require("./inspectTypeLiteralExpression");
+const inspectTypeNullCoalescingExpression_1 = require("./inspectTypeNullCoalescingExpression");
+const inspectTypeParameter_1 = require("./inspectTypeParameter");
+const inspectTypePrimitiveType_1 = require("./inspectTypePrimitiveType");
+const inspectTypeRangeExpression_1 = require("./inspectTypeRangeExpression");
+const inspectTypeRecord_1 = require("./inspectTypeRecord");
+const inspectTypeRecordType_1 = require("./inspectTypeRecordType");
+const inspectTypeRecursivePrimaryExpression_1 = require("./inspectTypeRecursivePrimaryExpression");
+const inspectTypeTableType_1 = require("./inspectTypeTableType");
+const inspectTypeTBinOpExpression_1 = require("./inspectTypeTBinOpExpression");
+const inspectTypeUnaryExpression_1 = require("./inspectTypeUnaryExpression");
+const dereferencedIdentifierUtils_1 = require("../../dereferencedIdentifier/dereferencedIdentifierUtils");
+// Recursively flattens all AnyUnion.unionedTypePairs into a single array,
+// maps each entry into a boolean,
+// then calls all(...) on the mapped values.
+function allForAnyUnion(anyUnion, predicate) {
+    return (anyUnion.unionedTypePairs
+        .map((type) => type.extendedKind === language_1.Type.ExtendedTypeKind.AnyUnion
+        ? allForAnyUnion(type, predicate)
+        : predicate(type))
+        .indexOf(false) === -1);
+}
+async function assertGetOrCreateNodeScope(state, nodeId, correlationId) {
+    const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectScope, assertGetOrCreateNodeScope.name, correlationId);
+    state.cancellationToken?.throwIfCancelled();
+    const triedGetOrCreateScope = await getOrCreateScope(state, nodeId, trace.id);
+    if (powerquery_parser_1.ResultUtils.isError(triedGetOrCreateScope)) {
+        trace.exit({ [trace_1.TraceConstant.IsThrowing]: true });
+        throw triedGetOrCreateScope.error;
+    }
+    trace.exit();
+    return powerquery_parser_1.Assert.asDefined(triedGetOrCreateScope.value);
+}
+async function getOrCreateScope(state, nodeId, correlationId) {
+    const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectScope, getOrCreateScope.name, correlationId);
+    const updatedState = {
+        ...state,
+        initialCorrelationId: trace.id,
+    };
+    state.cancellationToken?.throwIfCancelled();
+    const nodeScope = updatedState.scopeById.get(nodeId);
+    if (nodeScope !== undefined) {
+        trace.exit();
+        return powerquery_parser_1.ResultUtils.ok(nodeScope);
+    }
+    const result = await (0, scope_1.tryNodeScope)(updatedState, state.nodeIdMapCollection, state.eachScopeById, nodeId, state.scopeById);
+    trace.exit();
+    return result;
+}
+async function getOrCreateScopeItemType(state, scopeItem) {
+    const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectScopeItem, getOrCreateScopeItemType.name, state.initialCorrelationId);
+    const nodeId = scopeItem.nodeId;
+    const type = state.typeById.get(nodeId);
+    if (type !== undefined) {
+        trace.exit({ cacheHit: true });
+        return type;
+    }
+    const scopeType = await inspectScopeItem(state, scopeItem, trace.id);
+    trace.exit();
+    return scopeType;
+}
+async function inspectScopeItem(state, scopeItem, correlationId) {
+    state.cancellationToken?.throwIfCancelled();
+    switch (scopeItem.kind) {
+        case scope_1.ScopeItemKind.LetVariable:
+        case scope_1.ScopeItemKind.RecordField:
+        case scope_1.ScopeItemKind.SectionMember:
+            return scopeItem.value === undefined
+                ? language_1.Type.AnyInstance
+                : await inspectXor(state, scopeItem.value, correlationId);
+        case scope_1.ScopeItemKind.Each:
+            return await inspectXor(state, scopeItem.eachExpression, correlationId);
+        case scope_1.ScopeItemKind.Parameter:
+            return createParameterType(scopeItem);
+        case scope_1.ScopeItemKind.Undefined:
+            return language_1.Type.AnyInstance;
+        default:
+            throw powerquery_parser_1.Assert.isNever(scopeItem);
+    }
+}
+async function inspectTypeFromChildAttributeIndex(state, parentXorNode, attributeIndex, correlationId) {
+    const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectType, inspectTypeFromChildAttributeIndex.name, correlationId, __1.TraceUtils.xorNodeDetails(parentXorNode));
+    state.cancellationToken?.throwIfCancelled();
+    const xorNode = PQP.Parser.NodeIdMapUtils.nthChildXor(state.nodeIdMapCollection, parentXorNode.node.id, attributeIndex);
+    const result = xorNode !== undefined ? await inspectXor(state, xorNode, trace.id) : language_1.Type.UnknownInstance;
+    trace.exit();
+    return result;
+}
+async function inspectXor(state, xorNode, correlationId) {
+    const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectType, inspectXor.name, correlationId, __1.TraceUtils.xorNodeDetails(xorNode));
+    state.cancellationToken?.throwIfCancelled();
+    const xorNodeId = xorNode.node.id;
+    const cached = state.typeById.get(xorNodeId);
+    if (cached !== undefined) {
+        trace.exit();
+        return Promise.resolve(cached);
+    }
+    let result;
+    switch (xorNode.node.kind) {
+        case language_1.Ast.NodeKind.ArrayWrapper:
+        case language_1.Ast.NodeKind.FieldSpecificationList:
+        case language_1.Ast.NodeKind.GeneralizedIdentifier:
+        case language_1.Ast.NodeKind.GeneralizedIdentifierPairedAnyLiteral:
+        case language_1.Ast.NodeKind.GeneralizedIdentifierPairedExpression:
+        case language_1.Ast.NodeKind.IdentifierPairedExpression:
+        case language_1.Ast.NodeKind.ParameterList:
+        case language_1.Ast.NodeKind.Section:
+            trace.exit();
+            return Promise.resolve(language_1.Type.NotApplicableInstance);
+        case language_1.Ast.NodeKind.AsType:
+        case language_1.Ast.NodeKind.AsNullablePrimitiveType:
+        case language_1.Ast.NodeKind.CatchExpression:
+        case language_1.Ast.NodeKind.FieldTypeSpecification:
+        case language_1.Ast.NodeKind.OtherwiseExpression:
+        case language_1.Ast.NodeKind.ParenthesizedExpression:
+        case language_1.Ast.NodeKind.TypePrimaryType:
+            result = await inspectTypeFromChildAttributeIndex(state, xorNode, 1, trace.id);
+            break;
+        case language_1.Ast.NodeKind.ArithmeticExpression:
+        case language_1.Ast.NodeKind.EqualityExpression:
+        case language_1.Ast.NodeKind.LogicalExpression:
+        case language_1.Ast.NodeKind.RelationalExpression:
+            result = await (0, inspectTypeTBinOpExpression_1.inspectTypeTBinOpExpression)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.AsExpression:
+        case language_1.Ast.NodeKind.SectionMember:
+            result = await inspectTypeFromChildAttributeIndex(state, xorNode, 2, trace.id);
+            break;
+        case language_1.Ast.NodeKind.Csv:
+        case language_1.Ast.NodeKind.MetadataExpression:
+            result = await inspectTypeFromChildAttributeIndex(state, xorNode, 0, trace.id);
+            break;
+        case language_1.Ast.NodeKind.ListExpression:
+        case language_1.Ast.NodeKind.ListLiteral:
+            result = await (0, inspectTypeList_1.inspectTypeList)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.NullableType:
+        case language_1.Ast.NodeKind.NullablePrimitiveType:
+            result = {
+                ...(await inspectTypeFromChildAttributeIndex(state, xorNode, 1, trace.id)),
+                isNullable: true,
+            };
+            break;
+        case language_1.Ast.NodeKind.RecordLiteral:
+        case language_1.Ast.NodeKind.RecordExpression:
+            result = await (0, inspectTypeRecord_1.inspectTypeRecord)(state, xorNode, trace.id);
+            break;
+        // TODO: how should error raising be typed?
+        case language_1.Ast.NodeKind.ErrorRaisingExpression:
+            result = language_1.Type.AnyInstance;
+            break;
+        case language_1.Ast.NodeKind.Constant:
+            result = (0, inspectTypeConstant_1.inspectTypeConstant)(xorNode);
+            break;
+        case language_1.Ast.NodeKind.EachExpression:
+            result = await (0, inspectTypeEachExpression_1.inspectTypeEachExpression)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.ErrorHandlingExpression:
+            result = await (0, inspectTypeErrorHandlingExpression_1.inspectTypeErrorHandlingExpression)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.FieldProjection:
+            result = await (0, inspectTypeFieldProjection_1.inspectTypeFieldProjection)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.FieldSelector:
+            result = await (0, inspectTypeFieldSelector_1.inspectTypeFieldSelector)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.FieldSpecification:
+            result = await (0, inspectTypeFieldSpecification_1.inspectTypeFieldSpecification)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.FunctionExpression:
+            result = await (0, inspectTypeFunctionExpression_1.inspectTypeFunctionExpression)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.FunctionType:
+            result = await (0, inspectTypeFunctionType_1.inspectTypeFunctionType)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.Identifier:
+            result = await (0, inspectTypeIdentifier_1.inspectTypeIdentifier)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.IdentifierExpression:
+            result = await (0, inspectTypeIdentifierExpression_1.inspectTypeIdentifierExpression)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.IfExpression:
+            result = await (0, inspectTypeIfExpression_1.inspectTypeIfExpression)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.IsExpression:
+            result = language_1.Type.LogicalInstance;
+            break;
+        case language_1.Ast.NodeKind.InvokeExpression:
+            result = await (0, inspectTypeInvokeExpression_1.inspectTypeInvokeExpression)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.IsNullablePrimitiveType:
+            result = language_1.Type.LogicalInstance;
+            break;
+        case language_1.Ast.NodeKind.ItemAccessExpression:
+            result = language_1.Type.AnyInstance;
+            break;
+        case language_1.Ast.NodeKind.LetExpression:
+            result = await inspectTypeFromChildAttributeIndex(state, xorNode, 3, trace.id);
+            break;
+        case language_1.Ast.NodeKind.ListType:
+            result = await (0, inspectTypeListType_1.inspectTypeListType)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.LiteralExpression:
+            result = (0, inspectTypeLiteralExpression_1.inspectTypeLiteralExpression)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.NotImplementedExpression:
+            result = language_1.Type.NoneInstance;
+            break;
+        case language_1.Ast.NodeKind.NullCoalescingExpression:
+            result = await (0, inspectTypeNullCoalescingExpression_1.inspectTypeNullCoalescingExpression)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.Parameter:
+            result = await (0, inspectTypeParameter_1.inspectTypeParameter)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.PrimitiveType:
+            result = (0, inspectTypePrimitiveType_1.inspectTypePrimitiveType)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.RangeExpression:
+            result = await (0, inspectTypeRangeExpression_1.inspectTypeRangeExpression)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.RecordType:
+            result = await (0, inspectTypeRecordType_1.inspectTypeRecordType)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.RecursivePrimaryExpression:
+            result = await (0, inspectTypeRecursivePrimaryExpression_1.inspectTypeRecursivePrimaryExpression)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.TableType:
+            result = await (0, inspectTypeTableType_1.inspectTypeTableType)(state, xorNode, trace.id);
+            break;
+        case language_1.Ast.NodeKind.UnaryExpression:
+            result = await (0, inspectTypeUnaryExpression_1.inspectTypeUnaryExpression)(state, xorNode, trace.id);
+            break;
+        default:
+            throw powerquery_parser_1.Assert.isNever(xorNode.node);
+    }
+    state.typeById.set(xorNodeId, result);
+    trace.exit({ resultKind: result.kind, extendedKind: result.extendedKind });
+    return result;
+}
+async function dereferencedIdentifierType(state, xorNode, correlationId) {
+    const trace = state.traceManager.entry(__1.InspectionTraceConstant.InspectType, dereferencedIdentifierType.name, correlationId, __1.TraceUtils.xorNodeDetails(xorNode));
+    state.cancellationToken?.throwIfCancelled();
+    const triedDereferenceIdentifierPath = await (0, dereferencedIdentifierUtils_1.tryBuildDereferencedIdentifierPath)(inspectTypeState_1.InspectTypeStateUtils.toInspectionSettings(state, trace), state.nodeIdMapCollection, xorNode, state.scopeById);
+    if (powerquery_parser_1.ResultUtils.isError(triedDereferenceIdentifierPath)) {
+        trace.exit({ [trace_1.TraceConstant.IsThrowing]: true });
+        throw triedDereferenceIdentifierPath.error;
+    }
+    const path = triedDereferenceIdentifierPath.value;
+    const lastDereferencedIdentifier = powerquery_parser_1.Assert.asDefined(path[path.length - 1]);
+    let result;
+    switch (lastDereferencedIdentifier.kind) {
+        case __1.Inspection.DereferencedIdentifierKind.External:
+            result = lastDereferencedIdentifier.type;
+            break;
+        case __1.Inspection.DereferencedIdentifierKind.InScopeDereference:
+            trace.exit({ [trace_1.TraceConstant.IsThrowing]: true });
+            throw new PQP.CommonError.InvariantError(`expected last dereferenced identifier to be anything other than InScopeDereference`);
+        case __1.Inspection.DereferencedIdentifierKind.InScopeValue: {
+            switch (lastDereferencedIdentifier.scopeItem.kind) {
+                case scope_1.ScopeItemKind.LetVariable:
+                case scope_1.ScopeItemKind.Parameter:
+                case scope_1.ScopeItemKind.RecordField:
+                case scope_1.ScopeItemKind.SectionMember:
+                    result = await getOrCreateScopeItemType(state, lastDereferencedIdentifier.scopeItem);
+                    break;
+                case scope_1.ScopeItemKind.Each:
+                    result = state.eachScopeById?.get(lastDereferencedIdentifier.scopeItem.nodeId) ?? language_1.Type.AnyInstance;
+                    break;
+                case scope_1.ScopeItemKind.Undefined:
+                    result = language_1.Type.AnyInstance;
+                    break;
+                default:
+                    throw powerquery_parser_1.Assert.isNever(lastDereferencedIdentifier.scopeItem);
+            }
+            break;
+        }
+        case __1.Inspection.DereferencedIdentifierKind.Recursive:
+            result = language_1.Type.AnyInstance;
+            break;
+        case __1.Inspection.DereferencedIdentifierKind.Undefined:
+            result = language_1.Type.UnknownInstance;
+            break;
+        default:
+            throw powerquery_parser_1.Assert.isNever(lastDereferencedIdentifier);
+    }
+    trace.exit({ [trace_1.TraceConstant.Result]: __1.TraceUtils.typeDetails(result) });
+    return result;
+}
+function createParameterType(parameter) {
+    return {
+        kind: parameter.type ? language_1.TypeUtils.typeKindFromPrimitiveTypeConstantKind(parameter.type) : language_1.Type.TypeKind.Any,
+        extendedKind: undefined,
+        isNullable: parameter.isNullable || parameter.isOptional,
+    };
+}
 //# sourceMappingURL=common.js.map