typesql-cli 0.4.7 → 0.4.9

package/mysql-query-analyzer/collect-constraints.js

@@ -1,1196 +1,1197 @@
-"use strict";
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.walkSubquery = exports.walkQuerySpecification = exports.generateTypeInfo = exports.analiseQuerySpecification = exports.unionTypeResult = exports.analiseSelectStatement = exports.getDeleteColumns = exports.getUpdateColumns = exports.getInsertColumns = exports.analiseUpdateStatement = exports.analiseDeleteStatement = exports.analiseInsertStatement = exports.analiseTree = exports.freshVar = void 0;
-const moment_1 = __importDefault(require("moment"));
-const ts_mysql_parser_1 = require("ts-mysql-parser");
-const select_columns_1 = require("./select-columns");
-const parse_1 = require("./parse");
-const unify_1 = require("./unify");
-const infer_param_nullability_1 = require("./infer-param-nullability");
-const describe_query_1 = require("../describe-query");
-const util_1 = require("./util");
-let counter = 0;
-function freshVar(name, typeVar, selectItem, list) {
-    const param = {
-        kind: 'TypeVar',
-        id: ++counter,
-        name,
-        type: typeVar
-    };
-    if (list) {
-        param.list = true;
-    }
-    if (selectItem) {
-        param.selectItem = true;
-    }
-    return param;
-}
-exports.freshVar = freshVar;
-function analiseTree(tree, dbSchema, namedParameters) {
-    var _a, _b, _c;
-    if (tree instanceof ts_mysql_parser_1.QueryContext) {
-        const selectStatement = (_a = tree.simpleStatement()) === null || _a === void 0 ? void 0 : _a.selectStatement();
-        if (selectStatement) {
-            return analiseSelectStatement(selectStatement, dbSchema, namedParameters);
-        }
-        const insertStatement = (_b = tree.simpleStatement()) === null || _b === void 0 ? void 0 : _b.insertStatement();
-        if (insertStatement) {
-            const insertStmt = analiseInsertStatement(insertStatement, dbSchema);
-            const TypeInfer = {
-                columns: [],
-                parameters: insertStmt.parameters.map(param => param.columnType)
-            };
-            return TypeInfer;
-        }
-        const updateStatement = (_c = tree.simpleStatement()) === null || _c === void 0 ? void 0 : _c.updateStatement();
-        if (updateStatement) {
-            const updateStmt = analiseUpdateStatement(updateStatement, dbSchema);
-            const TypeInfer = {
-                columns: [],
-                parameters: updateStmt.data.map(param => param.columnType)
-            };
-            return TypeInfer;
-        }
-    }
-    throw Error('invalid type of tree');
-}
-exports.analiseTree = analiseTree;
-function analiseInsertStatement(insertStatement, dbSchema) {
-    const valuesContext = insertStatement.insertFromConstructor().insertValues().valueList().values()[0];
-    const insertColumns = getInsertColumns(insertStatement, dbSchema);
-    const allParameters = [];
-    const exprOrDefaultList = [];
-    valuesContext.DEFAULT_SYMBOL().forEach(terminalNode => {
-        exprOrDefaultList.push(terminalNode);
-    });
-    valuesContext.expr().forEach(expr => {
-        exprOrDefaultList.push(expr);
-    });
-    //order the tokens based on sql position
-    exprOrDefaultList.sort((token1, token2) => token1.sourceInterval.a - token2.sourceInterval.a);
-    exprOrDefaultList.forEach((expr, index) => {
-        const context = {
-            dbSchema,
-            constraints: [],
-            parameters: [],
-            fromColumns: []
-        };
-        const column = insertColumns[index];
-        if (expr instanceof ts_mysql_parser_1.ExprContext) {
-            const exprType = walkExpr(context, expr);
-            context.constraints.push({
-                expression: expr.text,
-                type1: freshVar(column.column, column.column_type),
-                type2: exprType.kind == 'TypeOperator' ? exprType.types[0] : exprType
-            });
-        }
-        const typeInfo = generateTypeInfo(context.parameters, context.constraints);
-        typeInfo.forEach(param => {
-            allParameters.push({
-                name: 'param' + (allParameters.length + 1),
-                columnType: describe_query_1.verifyNotInferred(param),
-                notNull: column.notNull
-            });
-        });
-    });
-    const typeInferenceResult = {
-        kind: 'Insert',
-        parameters: allParameters
-    };
-    return typeInferenceResult;
-}
-exports.analiseInsertStatement = analiseInsertStatement;
-function analiseDeleteStatement(deleteStatement, dbSchema) {
-    var _a;
-    const whereExpr = (_a = deleteStatement.whereClause()) === null || _a === void 0 ? void 0 : _a.expr();
-    const deleteColumns = getDeleteColumns(deleteStatement, dbSchema);
-    const allParameters = [];
-    if (whereExpr) {
-        const context = {
-            fromColumns: deleteColumns,
-            parameters: [],
-            constraints: [],
-            dbSchema
-        };
-        walkExpr(context, whereExpr);
-        const typeInfo = generateTypeInfo(context.parameters, context.constraints);
-        const paramNullability = infer_param_nullability_1.inferParamNullability(whereExpr);
-        typeInfo.forEach((param, paramIndex) => {
-            allParameters.push({
-                name: 'param' + (allParameters.length + 1),
-                columnType: describe_query_1.verifyNotInferred(param),
-                notNull: paramNullability[paramIndex]
-            });
-        });
-    }
-    const typeInferenceResult = {
-        kind: 'Delete',
-        parameters: allParameters
-    };
-    return typeInferenceResult;
-}
-exports.analiseDeleteStatement = analiseDeleteStatement;
-function analiseUpdateStatement(updateStatement, dbSchema) {
-    var _a;
-    const updateElement = updateStatement.updateList().updateElement();
-    const updateColumns = getUpdateColumns(updateStatement, dbSchema);
-    const dataParameters = [];
-    const whereParameters = [];
-    updateElement.forEach(updateElement => {
-        const expr = updateElement.expr();
-        if (expr) {
-            const context = {
-                dbSchema,
-                parameters: [],
-                constraints: [],
-                fromColumns: updateColumns
-            };
-            const result = walkExpr(context, expr);
-            const columnName = updateElement.columnRef().text;
-            const field = select_columns_1.splitName(columnName);
-            const column = select_columns_1.findColumn(field, updateColumns);
-            context.constraints.push({
-                expression: updateStatement.text,
-                type1: result,
-                type2: freshVar(column.table, column.columnType)
-            });
-            const typeInfo = generateTypeInfo(context.parameters, context.constraints);
-            typeInfo.forEach(param => {
-                dataParameters.push({
-                    name: column.columnName,
-                    columnType: describe_query_1.verifyNotInferred(param),
-                    notNull: column.notNull
-                });
-            });
-        }
-    });
-    const whereExpr = (_a = updateStatement.whereClause()) === null || _a === void 0 ? void 0 : _a.expr();
-    if (whereExpr) {
-        const context = {
-            dbSchema,
-            parameters: [],
-            constraints: [],
-            fromColumns: updateColumns
-        };
-        walkExpr(context, whereExpr);
-        const typeInfo = generateTypeInfo(context.parameters, context.constraints);
-        const paramNullability = infer_param_nullability_1.inferParamNullability(whereExpr);
-        typeInfo.forEach((param, paramIndex) => {
-            whereParameters.push({
-                name: 'param' + (whereParameters.length + 1),
-                columnType: describe_query_1.verifyNotInferred(param),
-                notNull: paramNullability[paramIndex]
-            });
-        });
-    }
-    const typeInferenceResult = {
-        kind: 'Update',
-        data: dataParameters,
-        parameters: whereParameters
-    };
-    return typeInferenceResult;
-}
-exports.analiseUpdateStatement = analiseUpdateStatement;
-function getInsertColumns(insertStatement, dbSchema) {
-    var _a, _b;
-    const insertIntoTable = select_columns_1.splitName(insertStatement.tableRef().text).name;
-    const fields = (_b = (_a = insertStatement.insertFromConstructor()) === null || _a === void 0 ? void 0 : _a.fields()) === null || _b === void 0 ? void 0 : _b.insertIdentifier().map(insertIdentifier => {
-        const colRef = insertIdentifier.columnRef();
-        if (colRef) {
-            const fieldName = select_columns_1.splitName(colRef.text);
-            const column = select_columns_1.findColumn2(fieldName, insertIntoTable, dbSchema);
-            return column;
-        }
-        throw Error('Invalid sql');
-    });
-    //check insert stmt without fields (only values). Ex.: insert into mytable values()
-    if (!fields) {
-        return dbSchema.filter(column => column.table == insertIntoTable);
-    }
-    return fields;
-}
-exports.getInsertColumns = getInsertColumns;
-function getUpdateColumns(updateStatement, dbSchema) {
-    const insertIntoTable = select_columns_1.splitName(updateStatement.tableReferenceList().tableReference()[0].text).name;
-    const columns = dbSchema
-        .filter(col => col.table == insertIntoTable)
-        .map(col => {
-        const colDef = {
-            table: col.table,
-            column: col.column,
-            columnName: col.column,
-            columnType: col.column_type,
-            columnKey: col.columnKey,
-            notNull: col.notNull,
-            tableAlias: ''
-        };
-        return colDef;
-    });
-    return columns;
-}
-exports.getUpdateColumns = getUpdateColumns;
-function getDeleteColumns(deleteStatement, dbSchema) {
-    var _a, _b;
-    const tableNameStr = (_a = deleteStatement.tableRef()) === null || _a === void 0 ? void 0 : _a.text;
-    const tableAlias = (_b = deleteStatement.tableAlias()) === null || _b === void 0 ? void 0 : _b.text;
-    const tableName = select_columns_1.splitName(tableNameStr).name;
-    const columns = dbSchema
-        .filter(col => col.table == tableName)
-        .map(col => {
-        const colDef = {
-            table: col.table,
-            column: col.column,
-            columnName: col.column,
-            columnType: col.column_type,
-            columnKey: col.columnKey,
-            notNull: col.notNull,
-            tableAlias: tableAlias
-        };
-        return colDef;
-    });
-    return columns;
-}
-exports.getDeleteColumns = getDeleteColumns;
-function analiseSelectStatement(selectStatement, dbSchema, namedParameters) {
-    const querySpec = parse_1.getQuerySpecificationsFromSelectStatement(selectStatement);
-    const fromColumns = select_columns_1.getColumnsFrom(querySpec[0], dbSchema);
-    let result = analiseQuerySpecification(querySpec[0], dbSchema, namedParameters, fromColumns);
-    for (let index = 1; index < querySpec.length; index++) {
-        const unionQuery = querySpec[index];
-        const fromColumns2 = select_columns_1.getColumnsFrom(unionQuery, dbSchema);
-        const result2 = analiseQuerySpecification(unionQuery, dbSchema, namedParameters, fromColumns2);
-        result = unionResult(result, result2);
-    }
-    return result;
-}
-exports.analiseSelectStatement = analiseSelectStatement;
-function unionResult(typeInference1, typeInference2) {
-    const resultColumnTypes = typeInference1.columns.map((col1, index) => {
-        const col2 = typeInference2.columns[index];
-        const resultType = unionTypeResult(col1, col2);
-        return resultType;
-    });
-    return {
-        columns: resultColumnTypes,
-        parameters: [...typeInference1.parameters, ...typeInference2.parameters] //TODO-INVERSE?
-    };
-}
-function unionTypeResult(type1, type2) {
-    const typeOrder = ['tinyint', 'smallint', 'mediumint', 'int', 'bigint', 'float', 'double', 'varchar'];
-    const indexType1 = typeOrder.indexOf(type1);
-    const indexType2 = typeOrder.indexOf(type2);
-    const max = Math.max(indexType1, indexType2);
-    return typeOrder[max];
-}
-exports.unionTypeResult = unionTypeResult;
-function analiseQuerySpecification(querySpec, dbSchema, namedParameters, fromColumns) {
-    const context = {
-        dbSchema,
-        parameters: [],
-        constraints: [],
-        fromColumns: fromColumns
-    };
-    const queryTypes = walkQuerySpecification(context, querySpec);
-    const paramIndexes = util_1.getParameterIndexes(namedParameters); //for [a, a, b, a] will return a: [0, 1, 3]; b: [2]
-    paramIndexes.forEach(paramIndex => {
-        util_1.getPairWise(paramIndex.indexes, (cur, next) => {
-            context.constraints.push({
-                expression: paramIndex.paramName,
-                type1: context.parameters[cur],
-                type2: context.parameters[next]
-            });
-        });
-    });
-    // console.log("namedNodes");
-    // console.dir(namedNodes, { depth: null });
-    // console.log("constraints2=");
-    // console.dir(constraints, { depth: null });
-    const substitutions = {};
-    unify_1.unify(context.constraints, substitutions);
-    const parameters = context.parameters.map(param => getVarType(substitutions, param));
-    const columnTypes = queryTypes.types.map(param => getVarType(substitutions, param));
-    const querySpecResult = {
-        parameters: parameters,
-        columns: columnTypes
-    };
-    return querySpecResult;
-}
-exports.analiseQuerySpecification = analiseQuerySpecification;
-function generateTypeInfo(namedNodes, constraints) {
-    const substitutions = {};
-    unify_1.unify(constraints, substitutions);
-    const parameters = namedNodes.map(param => getVarType(substitutions, param));
-    return parameters;
-}
-exports.generateTypeInfo = generateTypeInfo;
-function getVarType(substitutions, typeVar) {
-    if (typeVar.kind == 'TypeVar') {
-        const type = substitutions[typeVar.id];
-        if (!type) {
-            return typeVar.type;
-        }
-        const resultType = typeVar.list ? type.type + '[]' : type.type;
-        return resultType;
-    }
-    return '?';
-}
-function walkQuerySpecification(context, querySpec) {
-    const listType = [];
-    if (querySpec.selectItemList().MULT_OPERATOR()) {
-        context.fromColumns.forEach(col => {
-            const colType = freshVar(col.columnName, col.columnType);
-            listType.push(colType);
-        });
-    }
-    querySpec.selectItemList().selectItem().forEach(selectItem => {
-        const tableWild = selectItem.tableWild(); //ex. t1.*
-        if (tableWild === null || tableWild === void 0 ? void 0 : tableWild.MULT_OPERATOR()) {
-            tableWild.identifier().forEach(tabWild => {
-                const prefix = tabWild.text;
-                const columns = select_columns_1.selectAllColumns(prefix, context.fromColumns);
-                columns.forEach(col => {
-                    const colType = freshVar(col.columnName, col.columnType);
-                    listType.push(colType);
-                });
-            });
-        }
-        else {
-            const expr = selectItem.expr();
-            if (expr) {
-                const exprType = walkExpr(context, expr);
-                if (exprType.kind == 'TypeOperator') {
-                    const subqueryType = exprType.types[0];
-                    listType.push(subqueryType);
-                }
-                else {
-                    listType.push(exprType);
-                }
-            }
-        }
-    });
-    const typeOperator = {
-        kind: 'TypeOperator',
-        selectItem: true,
-        types: listType
-    };
-    const fromClause = querySpec.fromClause();
-    if (fromClause) {
-        walkFromClause(context, fromClause);
-    }
-    const whereClause = querySpec.whereClause();
-    //TODO - HAVING, BLAH
-    if (whereClause) {
-        const whereExpr = whereClause === null || whereClause === void 0 ? void 0 : whereClause.expr();
-        walkExpr(context, whereExpr);
-    }
-    return typeOperator;
-}
-exports.walkQuerySpecification = walkQuerySpecification;
-function walkFromClause(context, fromClause) {
-    var _a;
-    const tableReferences = (_a = fromClause.tableReferenceList()) === null || _a === void 0 ? void 0 : _a.tableReference();
-    tableReferences === null || tableReferences === void 0 ? void 0 : tableReferences.forEach(tabeRef => {
-        tabeRef.joinedTable().forEach(joinedTable => {
-            const onExpr = joinedTable.expr();
-            if (onExpr) {
-                walkExpr(context, onExpr);
-            }
-        });
-    });
-}
-function walkExpr(context, expr) {
-    if (expr instanceof ts_mysql_parser_1.ExprIsContext) {
-        const boolPri = expr.boolPri();
-        const boolPriType = walkBoolPri(context, boolPri);
-        return boolPriType;
-    }
-    if (expr instanceof ts_mysql_parser_1.ExprNotContext) {
-        return freshVar(expr.text, 'tinyint');
-        ;
-    }
-    if (expr instanceof ts_mysql_parser_1.ExprAndContext || expr instanceof ts_mysql_parser_1.ExprXorContext || expr instanceof ts_mysql_parser_1.ExprOrContext) {
-        const exprLeft = expr.expr()[0];
-        walkExpr(context, exprLeft);
-        const exprRight = expr.expr()[1];
-        walkExpr(context, exprRight);
-        return freshVar(expr.text, 'tinyint');
-    }
-    throw Error('invalid type');
-}
-function walkBoolPri(context, boolPri) {
-    if (boolPri instanceof ts_mysql_parser_1.PrimaryExprPredicateContext) {
-        const predicate = boolPri.predicate();
-        const predicateType = walkPredicate(context, predicate);
-        return predicateType;
-    }
-    if (boolPri instanceof ts_mysql_parser_1.PrimaryExprIsNullContext) {
-        const boolPri2 = boolPri.boolPri();
-        walkBoolPri(context, boolPri2);
-        return freshVar(boolPri.text, '?');
-    }
-    if (boolPri instanceof ts_mysql_parser_1.PrimaryExprCompareContext) {
-        const compareLeft = boolPri.boolPri();
-        const compareRight = boolPri.predicate();
-        const typeLeft = walkBoolPri(context, compareLeft);
-        const typeRight = walkPredicate(context, compareRight);
-        context.constraints.push({
-            expression: boolPri.text,
-            type1: typeLeft,
-            type2: typeRight
-        });
-        return freshVar(boolPri.text, 'tinyint');
-    }
-    if (boolPri instanceof ts_mysql_parser_1.PrimaryExprAllAnyContext) {
-        const compareLeft = boolPri.boolPri();
-        const compareRight = boolPri.subquery();
-        const typeLeft = walkBoolPri(context, compareLeft);
-        const typeRight = walkSubquery(context, compareRight);
-        context.constraints.push({
-            expression: boolPri.text,
-            type1: typeLeft,
-            type2: typeRight
-        });
-        return freshVar(boolPri.text, 'tinyint');
-    }
-    throw Error('invalid sql');
-}
-function walkPredicate(context, predicate) {
-    const bitExpr = predicate.bitExpr()[0];
-    const bitExprType = walkBitExpr(context, bitExpr);
-    const predicateOperations = predicate.predicateOperations();
-    if (predicateOperations) {
-        const rightType = walkpredicateOperations(context, bitExprType, predicateOperations);
-        context.constraints.push({
-            expression: predicateOperations.text,
-            type1: bitExprType,
-            type2: rightType,
-            mostGeneralType: true
-        });
-        return rightType;
-    }
-    // return freshVar(predicateOperations.text, 'tinyint');
-    return bitExprType;
-}
-function walkpredicateOperations(context, parentType, predicateOperations) {
-    if (predicateOperations instanceof ts_mysql_parser_1.PredicateExprInContext) {
-        const subquery = predicateOperations.subquery();
-        if (subquery) {
-            const rightType = walkSubquery(context, subquery);
-            return rightType;
-        }
-        const exprList = predicateOperations.exprList();
-        if (exprList) {
-            const rightType = walkExprList(context, exprList);
-            return rightType;
-        }
-    }
-    if (predicateOperations instanceof ts_mysql_parser_1.PredicateExprLikeContext) {
-        const simpleExpr = predicateOperations.simpleExpr()[0];
-        const rightType = walkSimpleExpr(context, simpleExpr);
-        context.constraints.push({
-            expression: simpleExpr.text,
-            type1: parentType,
-            type2: rightType
-        });
-        return rightType;
-    }
-    throw Error("Not expected");
-}
-function walkExprList(context, exprList) {
-    const listType = exprList.expr().map(item => {
-        const exprType = walkExpr(context, item);
-        return exprType;
-    });
-    const type = {
-        kind: 'TypeOperator',
-        types: listType
-    };
-    return type;
-}
-function walkBitExpr(context, bitExpr) {
-    const simpleExpr = bitExpr.simpleExpr();
-    if (simpleExpr) {
-        return walkSimpleExpr(context, simpleExpr);
-    }
-    if (bitExpr.bitExpr().length == 2) {
-        const bitExprType = freshVar(bitExpr.text, 'number');
-        const bitExprLeft = bitExpr.bitExpr()[0];
-        const typeLeftTemp = walkBitExpr(context, bitExprLeft);
-        const typeLeft = typeLeftTemp.kind == 'TypeOperator' ? typeLeftTemp.types[0] : typeLeftTemp;
-        //const newTypeLeft = typeLeft.name == '?'? freshVar('?', 'bigint') : typeLeft;
-        const bitExprRight = bitExpr.bitExpr()[1];
-        const typeRightTemp = walkBitExpr(context, bitExprRight);
-        //In the expression 'id + (value + 2) + ?' the '(value+2)' is treated as a SimpleExprListContext and return a TypeOperator
-        const typeRight = typeRightTemp.kind == 'TypeOperator' ? typeRightTemp.types[0] : typeRightTemp;
-        //const newTypeRight = typeRight.name == '?'? freshVar('?', 'bigint') : typeRight;
-        context.constraints.push({
-            expression: bitExpr.text,
-            type1: typeLeft,
-            type2: typeRight,
-            mostGeneralType: true,
-            coercionType: 'Sum'
-        });
-        context.constraints.push({
-            expression: bitExpr.text,
-            type1: bitExprType,
-            type2: typeLeft,
-            mostGeneralType: true,
-            coercionType: 'Sum'
-        });
-        context.constraints.push({
-            expression: bitExpr.text,
-            type1: bitExprType,
-            type2: typeRight,
-            mostGeneralType: true,
-            coercionType: 'Sum'
-        });
-        return bitExprType;
-    }
-    if (bitExpr.INTERVAL_SYMBOL()) {
-        const bitExpr2 = bitExpr.bitExpr()[0];
-        const leftType = walkBitExpr(context, bitExpr2);
-        const expr = bitExpr.expr(); //expr interval
-        walkExpr(context, expr);
-        context.constraints.push({
-            expression: bitExpr.text,
-            type1: leftType,
-            type2: freshVar('datetime', 'datetime')
-        });
-        return freshVar('datetime', 'datetime');
-    }
-    throw Error('Invalid sql');
-}
-function walkSimpleExpr(context, simpleExpr) {
-    var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k, _l, _m, _o, _p;
-    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprColumnRefContext) {
-        const fieldName = select_columns_1.splitName(simpleExpr.text);
-        const columnType = select_columns_1.findColumn(fieldName, context.fromColumns).columnType;
-        const type = freshVar(simpleExpr.text, columnType);
-        return type;
-    }
-    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprRuntimeFunctionContext) {
-        const runtimeFunctionCall = simpleExpr.runtimeFunctionCall();
-        if (runtimeFunctionCall.NOW_SYMBOL()) {
-            return freshVar(simpleExpr.text, 'datetime');
-        }
-        if (runtimeFunctionCall.CURDATE_SYMBOL()) {
-            return freshVar(simpleExpr.text, 'date');
-        }
-        if (runtimeFunctionCall.CURTIME_SYMBOL()) {
-            return freshVar(simpleExpr.text, 'time');
-        }
-        if (runtimeFunctionCall.REPLACE_SYMBOL()) {
-            const exprList = runtimeFunctionCall.expr();
-            exprList.forEach(expr => {
-                const exprType = walkExpr(context, expr);
-                context.constraints.push({
-                    expression: expr.text,
-                    type1: exprType,
-                    type2: freshVar('varchar', 'varchar')
-                });
-            });
-            return freshVar('varchar', 'varchar');
-        }
-        if (runtimeFunctionCall.YEAR_SYMBOL() || runtimeFunctionCall.MONTH_SYMBOL() || runtimeFunctionCall.DAY_SYMBOL()) {
-            const expr = (_a = runtimeFunctionCall.exprWithParentheses()) === null || _a === void 0 ? void 0 : _a.expr();
-            if (expr) {
-                const paramType = walkExpr(context, expr);
-                if (paramType.kind == 'TypeVar' && isDateTimeLiteral(paramType.name)) {
-                    paramType.type = 'datetime';
-                }
-                if (paramType.kind == 'TypeVar' && isDateLiteral(paramType.name)) {
-                    paramType.type = 'date';
-                }
-                context.constraints.push({
-                    expression: expr.text,
-                    type1: paramType,
-                    type2: freshVar(simpleExpr.text, 'date')
-                });
-            }
-            const returnType = runtimeFunctionCall.YEAR_SYMBOL() ? 'year' : 'tinyint';
-            return freshVar(simpleExpr.text, returnType);
-        }
-        if (runtimeFunctionCall.HOUR_SYMBOL() || runtimeFunctionCall.MINUTE_SYMBOL() || runtimeFunctionCall.SECOND_SYMBOL()) {
-            const expr = (_b = runtimeFunctionCall.exprWithParentheses()) === null || _b === void 0 ? void 0 : _b.expr();
-            if (expr) {
-                const paramType = walkExpr(context, expr);
-                if (paramType.kind == 'TypeVar' && isTimeLiteral(paramType.name)) {
-                    paramType.type = 'time';
-                }
-                if (paramType.kind == 'TypeVar' && isDateLiteral(paramType.name)) {
-                    paramType.type = 'date';
-                }
-                if (paramType.kind == 'TypeVar' && isDateTimeLiteral(paramType.name)) {
-                    paramType.type = 'datetime';
-                }
-                context.constraints.push({
-                    expression: expr.text,
-                    type1: paramType,
-                    type2: freshVar(simpleExpr.text, 'time')
-                });
-            }
-            //HOUR can return values greater than 23. Ex.: SELECT HOUR('272:59:59');
-            //https://dev.mysql.com/doc/refman/8.0/en/date-and-time-functions.html#function_hour
-            const returnType = runtimeFunctionCall.HOUR_SYMBOL() ? 'int' : 'tinyint';
-            return freshVar(simpleExpr.text, returnType);
-        }
-        const trimFunction = runtimeFunctionCall.trimFunction();
-        if (trimFunction) {
-            const exprList = trimFunction.expr();
-            if (exprList.length == 1) {
-                const exprType = walkExpr(context, exprList[0]);
-                context.constraints.push({
-                    expression: exprList[0].text,
-                    type1: exprType,
-                    type2: freshVar('varchar', 'varchar')
-                });
-            }
-            if (exprList.length == 2) {
-                const exprType = walkExpr(context, exprList[0]);
-                const expr2Type = walkExpr(context, exprList[1]);
-                context.constraints.push({
-                    expression: exprList[0].text,
-                    type1: exprType,
-                    type2: freshVar('varchar', 'varchar')
-                });
-                context.constraints.push({
-                    expression: exprList[1].text,
-                    type1: expr2Type,
-                    type2: freshVar('varchar', 'varchar')
-                });
-            }
-            return freshVar('varchar', 'varchar');
-        }
-        const substringFunction = runtimeFunctionCall.substringFunction();
-        if (substringFunction) {
-            const exprList = substringFunction.expr();
-            const varcharParam = freshVar('varchar', 'varchar');
-            const intParam = freshVar('int', 'int');
-            const params = {
-                kind: 'FixedLengthParams',
-                paramsType: [varcharParam, intParam, intParam]
-            };
-            walkExprListParameters(context, exprList, params);
-            return varcharParam;
-        }
-        if (runtimeFunctionCall.ADDDATE_SYMBOL()
-            || runtimeFunctionCall.DATE_ADD_SYMBOL()
-            || runtimeFunctionCall.SUBDATE_SYMBOL()
-            || runtimeFunctionCall.DATE_SUB_SYMBOL()) {
-            //SELECT ADDDATE('2008-01-02', INTERVAL 31 DAY)
-            //SELECT ADDDATE('2008-01-02', 31)
-            const expr1 = runtimeFunctionCall.expr()[0];
-            const expr2 = runtimeFunctionCall.expr()[1];
-            const typeExpr1 = walkExpr(context, expr1);
-            const typeExpr2 = walkExpr(context, expr2);
-            if (typeExpr1.kind == 'TypeVar' && (isDateLiteral(typeExpr1.name) || isDateTimeLiteral(typeExpr1.name))) {
-                typeExpr1.type = 'datetime';
-            }
-            context.constraints.push({
-                expression: expr1.text,
-                type1: typeExpr1,
-                type2: freshVar('datetime', 'datetime')
-            });
-            context.constraints.push({
-                expression: expr2.text,
-                type1: typeExpr2,
-                type2: freshVar('bigint', 'bigint')
-            });
-            return freshVar('datetime', 'datetime');
-        }
-        if (runtimeFunctionCall.COALESCE_SYMBOL()) {
-            const exprList = (_c = runtimeFunctionCall.exprListWithParentheses()) === null || _c === void 0 ? void 0 : _c.exprList().expr();
-            if (exprList) {
-                const paramType = freshVar('?', '?');
-                const params = {
-                    kind: 'VariableLengthParams',
-                    paramType: 'any'
-                };
-                const paramsTypeList = walkExprListParameters(context, exprList, params);
-                paramsTypeList.forEach((typeVar, paramIndex) => {
-                    context.constraints.push({
-                        expression: runtimeFunctionCall.text + '_param' + (paramIndex + 1),
-                        type1: paramType,
-                        type2: typeVar,
-                        mostGeneralType: true,
-                        coercionType: 'Coalesce'
-                    });
-                });
-                return paramType;
-            }
-        }
-        //MOD (number, number): number
-        if (runtimeFunctionCall.MOD_SYMBOL()) {
-            const functionType = freshVar('number', 'number');
-            const exprList = runtimeFunctionCall.expr();
-            const param1 = walkExpr(context, exprList[0]);
-            const param2 = walkExpr(context, exprList[1]);
-            context.constraints.push({
-                expression: simpleExpr.text,
-                type1: freshVar('number', 'number'),
-                type2: param1,
-                mostGeneralType: true
-            });
-            context.constraints.push({
-                expression: simpleExpr.text,
-                type1: freshVar('number', 'number'),
-                type2: param2,
-                mostGeneralType: true
-            });
-            context.constraints.push({
-                expression: simpleExpr.text,
-                type1: functionType,
-                type2: param1,
-                mostGeneralType: true
-            });
-            context.constraints.push({
-                expression: simpleExpr.text,
-                type1: functionType,
-                type2: param2,
-                mostGeneralType: true
-            });
-            return functionType;
-        }
-        throw Error('Function not supported: ' + runtimeFunctionCall.text);
-    }
-    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprFunctionContext) {
-        const functionIdentifier = getFunctionName(simpleExpr);
-        if (functionIdentifier === 'concat_ws' || (functionIdentifier === null || functionIdentifier === void 0 ? void 0 : functionIdentifier.toLowerCase()) === 'concat') {
-            const varcharType = freshVar(simpleExpr.text, 'varchar');
-            const params = {
-                kind: 'VariableLengthParams',
-                paramType: '?'
-            };
-            walkFunctionParameters(context, simpleExpr, params);
-            return varcharType;
-        }
-        if (functionIdentifier === 'avg') {
-            const functionType = freshVar(simpleExpr.text, '?');
-            context.constraints.push({
-                expression: simpleExpr.text,
-                type1: functionType,
-                type2: freshVar('decimal', 'decimal'),
-                mostGeneralType: true
-            });
-            const params = {
-                kind: 'FixedLengthParams',
-                paramsType: [functionType]
-            };
-            walkFunctionParameters(context, simpleExpr, params);
-            return functionType;
-        }
-        if (functionIdentifier === 'round') {
-            const functionType = freshVar(simpleExpr.text, '?');
-            const params = {
-                kind: 'FixedLengthParams',
-                paramsType: [functionType]
-            };
-            const paramsType = walkFunctionParameters(context, simpleExpr, params);
-            //The return value has the same type as the first argument
-            context.constraints.push({
-                expression: simpleExpr.text,
-                type1: functionType,
-                type2: paramsType[0],
-                mostGeneralType: true
-            });
-            return functionType;
-        }
-        if (functionIdentifier === 'floor') {
-            const doubleParam = freshVar('double', 'double');
-            const params = {
-                kind: 'FixedLengthParams',
-                paramsType: [doubleParam, doubleParam]
-            };
-            walkFunctionParameters(context, simpleExpr, params);
-            return freshVar(simpleExpr.text, 'bigint');
-        }
-        if (functionIdentifier === 'str_to_date') {
-            const varcharParam = freshVar('varchar', 'varchar');
-            const params = {
-                kind: 'FixedLengthParams',
-                paramsType: [varcharParam, varcharParam]
-            };
-            walkFunctionParameters(context, simpleExpr, params);
-            return freshVar(simpleExpr.text, 'date');
-        }
-        if (functionIdentifier === 'datediff') {
-            const udfExprList = (_d = simpleExpr.functionCall().udfExprList()) === null || _d === void 0 ? void 0 : _d.udfExpr();
-            if (udfExprList) {
-                udfExprList.forEach((inExpr) => {
-                    const expr = inExpr.expr();
-                    const exprType = walkExpr(context, expr);
-                    const newType = verifyDateTypesCoercion(exprType);
-                    context.constraints.push({
-                        expression: expr.text,
-                        type1: newType,
-                        type2: freshVar('date', 'date'),
-                        mostGeneralType: true
-                    });
-                });
-            }
-            return freshVar(simpleExpr.text, 'bigint');
-        }
-        if (functionIdentifier === 'lpad' || functionIdentifier == 'rpad') {
-            const varcharParam = freshVar('varchar', 'varchar');
-            const intParam = freshVar('int', 'int');
-            const params = {
-                kind: 'FixedLengthParams',
-                paramsType: [varcharParam, intParam, varcharParam]
-            };
-            walkFunctionParameters(context, simpleExpr, params);
-            return varcharParam;
-        }
-        if (functionIdentifier === 'lower'
-            || functionIdentifier === 'lcase'
-            || functionIdentifier === 'upper'
-            || functionIdentifier === 'ucase'
-            || functionIdentifier === 'ltrim'
-            || functionIdentifier === 'rtrim') {
-            const varcharParam = freshVar('varchar', 'varchar');
-            const params = {
-                kind: 'FixedLengthParams',
-                paramsType: [varcharParam]
-            };
-            walkFunctionParameters(context, simpleExpr, params);
-            return varcharParam;
-        }
-        if (functionIdentifier === 'length' || functionIdentifier == 'char_length') {
-            const varcharParam = freshVar('varchar', 'varchar');
-            const params = {
-                kind: 'FixedLengthParams',
-                paramsType: [varcharParam]
-            };
-            walkFunctionParameters(context, simpleExpr, params);
-            return freshVar('int', 'int');
-        }
-        if (functionIdentifier === 'abs') {
-            const functionType = freshVar('number', 'number');
-            const udfExprList = (_e = simpleExpr.functionCall().udfExprList()) === null || _e === void 0 ? void 0 : _e.udfExpr();
-            udfExprList === null || udfExprList === void 0 ? void 0 : udfExprList.forEach(expr => {
-                const param1 = walkExpr(context, expr.expr());
-                context.constraints.push({
-                    expression: simpleExpr.text,
-                    type1: functionType,
-                    type2: param1,
-                    mostGeneralType: true
-                });
-            });
-            return functionType;
-        }
-        if (functionIdentifier == 'ceiling' || functionIdentifier == 'ceil') {
-            const functionType = freshVar('number', 'number');
-            const udfExprList = (_f = simpleExpr.functionCall().udfExprList()) === null || _f === void 0 ? void 0 : _f.udfExpr();
-            udfExprList === null || udfExprList === void 0 ? void 0 : udfExprList.forEach(expr => {
-                const param1 = walkExpr(context, expr.expr());
-                context.constraints.push({
-                    expression: simpleExpr.text,
-                    type1: functionType,
-                    type2: param1,
-                    mostGeneralType: true,
-                    coercionType: 'Ceiling'
-                });
-            });
-            return functionType;
-        }
-        if (functionIdentifier == 'timestampdiff') {
-            const udfExprList = (_g = simpleExpr.functionCall().udfExprList()) === null || _g === void 0 ? void 0 : _g.udfExpr();
-            if (udfExprList) {
-                const [first, ...rest] = udfExprList;
-                const unit = first.text.trim().toLowerCase();
-                rest.forEach((inExpr, paramIndex) => {
-                    const expr = inExpr.expr();
-                    const exprType = walkExpr(context, expr);
-                    const newType = verifyDateTypesCoercion(exprType);
-                    //const expectedType = ['hour', 'minute', 'second'].includes(unit)? 'time' : 'datetime'
-                    context.constraints.push({
-                        expression: expr.text,
-                        type1: newType,
-                        type2: freshVar('datetime', 'datetime'),
-                        mostGeneralType: true
-                    });
-                });
-            }
-            return freshVar('int', 'int');
-        }
-        if (functionIdentifier == 'ifnull') {
-            const functionType = freshVar(simpleExpr.text, '?');
-            const udfExprList = (_h = simpleExpr.functionCall().udfExprList()) === null || _h === void 0 ? void 0 : _h.udfExpr();
-            if (udfExprList) {
-                const [expr1, expr2] = udfExprList;
-                walkExpr(context, expr1.expr());
-                const expr2Type = walkExpr(context, expr2.expr());
-                context.constraints.push({
-                    expression: simpleExpr.text,
-                    type1: functionType,
-                    type2: expr2Type
-                });
-            }
-            return functionType;
-        }
-        throw Error('Function not supported: ' + functionIdentifier); //TODO ifnull
-    }
-    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprParamMarkerContext) {
-        const param = freshVar('?', '?');
-        context.parameters.push(param);
-        return param;
-    }
-    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprSumContext) {
-        if (simpleExpr.sumExpr().MAX_SYMBOL() || simpleExpr.sumExpr().MIN_SYMBOL()) {
-            const functionType = freshVar(simpleExpr.text, '?');
-            const inSumExpr = (_j = simpleExpr.sumExpr().inSumExpr()) === null || _j === void 0 ? void 0 : _j.expr();
-            if (inSumExpr) {
-                const inSumExprType = walkExpr(context, inSumExpr);
-                context.constraints.push({
-                    expression: simpleExpr.text,
-                    type1: functionType,
-                    type2: inSumExprType,
-                    mostGeneralType: true
-                });
-            }
-            return functionType;
-        }
-        if (simpleExpr.sumExpr().COUNT_SYMBOL()) {
-            const functionType = freshVar(simpleExpr.text, 'bigint');
-            const inSumExpr = (_k = simpleExpr.sumExpr().inSumExpr()) === null || _k === void 0 ? void 0 : _k.expr();
-            if (inSumExpr) {
-                walkExpr(context, inSumExpr);
-            }
-            return functionType;
-        }
-        if (simpleExpr.sumExpr().SUM_SYMBOL() || simpleExpr.sumExpr().AVG_SYMBOL()) {
-            const functionType = freshVar(simpleExpr.text, '?');
-            const inSumExpr = (_l = simpleExpr.sumExpr().inSumExpr()) === null || _l === void 0 ? void 0 : _l.expr();
-            if (inSumExpr) {
-                const inSumExprType = walkExpr(context, inSumExpr);
-                context.constraints.push({
-                    expression: simpleExpr.text,
-                    type1: functionType,
-                    type2: inSumExprType,
-                    mostGeneralType: true,
-                    coercionType: 'SumFunction'
-                });
-            }
-            return functionType;
-        }
-    }
-    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprLiteralContext) {
-        const literal = simpleExpr.literal();
-        if (literal.textLiteral()) {
-            const text = ((_m = literal.textLiteral()) === null || _m === void 0 ? void 0 : _m.text.slice(1, -1)) || ''; //remove quotes
-            return freshVar(text, 'varchar');
-        }
-        const numLiteral = literal.numLiteral();
-        if (numLiteral) {
-            return freshVar(numLiteral.text, 'bigint');
-            // addNamedNode(simpleExpr, freshVar('bigint', 'bigint'), namedNodes)
-            // if(numLiteral.INT_NUMBER()) {
-            //     const typeInt = freshVar('int', 'int');
-            //     addNamedNode(simpleExpr, typeInt, namedNodes)
-            // }
-            // if(numLiteral.DECIMAL_NUMBER()) {
-            //     const typeDecimal = freshVar('decimal', 'decimal');
-            //     addNamedNode(simpleExpr, typeDecimal, namedNodes)
-            // }
-            // if(numLiteral.FLOAT_NUMBER()) {
-            //     const typeFloat = freshVar('float', 'float');
-            //     addNamedNode(simpleExpr, typeFloat, namedNodes)
-            // }
-            ;
-        }
-        const boolLiteral = literal.boolLiteral();
-        if (boolLiteral) {
-            return freshVar(boolLiteral.text, 'bit');
-        }
-        const nullLiteral = literal.nullLiteral();
-        if (nullLiteral) {
-            return freshVar(nullLiteral.text, '?');
-        }
-        throw Error('literal not supported:' + literal.text);
-        //...
-    }
-    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprListContext) {
-        const exprList = simpleExpr.exprList();
-        const listType = exprList.expr().map(item => {
-            const exprType = walkExpr(context, item);
-            return exprType;
-        });
-        const resultType = {
-            kind: 'TypeOperator',
-            types: listType
-        };
-        return resultType;
-    }
-    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprSubQueryContext) {
-        const subquery = simpleExpr.subquery();
-        const subqueryType = walkSubquery(context, subquery);
-        return subqueryType;
-    }
-    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprCaseContext) {
-        //case when expr then expr else expr
-        const caseType = freshVar(simpleExpr.text, '?');
-        simpleExpr.whenExpression().forEach(whenExprCont => {
-            const whenExpr = whenExprCont.expr();
-            const whenType = walkExpr(context, whenExpr);
-            context.constraints.push({
-                expression: whenExpr.text,
-                type1: whenType.kind == 'TypeOperator' ? whenType.types[0] : whenType,
-                type2: freshVar('tinyint', 'tinyint') //bool
-            });
-        });
-        const thenTypes = simpleExpr.thenExpression().map(thenExprCtx => {
-            const thenExpr = thenExprCtx.expr();
-            const thenType = walkExpr(context, thenExpr);
-            context.constraints.push({
-                expression: thenExprCtx.text,
-                type1: caseType,
-                type2: thenType.kind == 'TypeOperator' ? thenType.types[0] : thenType,
-                mostGeneralType: true,
-            });
-            return thenType;
-        });
-        const elseExpr = (_o = simpleExpr.elseExpression()) === null || _o === void 0 ? void 0 : _o.expr();
-        if (elseExpr) {
-            const elseType = walkExpr(context, elseExpr);
-            context.constraints.push({
-                expression: (_p = simpleExpr.elseExpression()) === null || _p === void 0 ? void 0 : _p.text,
-                type1: caseType,
-                type2: elseType.kind == 'TypeOperator' ? elseType.types[0] : elseType,
-                mostGeneralType: true
-            });
-            thenTypes.forEach(thenType => {
-                var _a;
-                context.constraints.push({
-                    expression: (_a = simpleExpr.elseExpression()) === null || _a === void 0 ? void 0 : _a.text,
-                    type1: thenType,
-                    type2: elseType.kind == 'TypeOperator' ? elseType.types[0] : elseType,
-                    mostGeneralType: true
-                });
-            });
-        }
-        return caseType;
-    }
-    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprIntervalContext) {
-        const exprList = simpleExpr.expr();
-        const exprLeft = exprList[0];
-        const exprRight = exprList[1];
-        const typeLeft = walkExpr(context, exprLeft);
-        const typeRight = walkExpr(context, exprRight);
-        context.constraints.push({
-            expression: exprLeft.text,
-            type1: typeLeft,
-            type2: freshVar('bigint', 'bigint')
-        });
-        if (typeRight.kind == 'TypeVar' && (isDateLiteral(typeRight.name) || isDateTimeLiteral(typeRight.name))) {
-            typeRight.type = 'datetime';
-        }
-        context.constraints.push({
-            expression: exprRight.text,
-            type1: typeRight,
-            type2: freshVar('datetime', 'datetime')
-        });
-        return freshVar('datetime', 'datetime');
-    }
-    throw Error('Invalid expression');
-}
-function verifyDateTypesCoercion(type) {
-    if (type.kind == 'TypeVar' && isDateTimeLiteral(type.name)) {
-        type.type = 'datetime';
-    }
-    if (type.kind == 'TypeVar' && isDateLiteral(type.name)) {
-        type.type = 'date';
-    }
-    if (type.kind == 'TypeVar' && isTimeLiteral(type.name)) {
-        type.type = 'time';
-    }
-    return type;
-}
-function isTimeLiteral(literal) {
-    return moment_1.default(literal, 'HH:mm:ss', true).isValid() || moment_1.default(literal, 'HH:mm', true).isValid();
-}
-function isDateTimeLiteral(literal) {
-    return moment_1.default(literal, 'YYYY-MM-DD HH:mm:ss', true).isValid();
-}
-function isDateLiteral(literal) {
-    return moment_1.default(literal, "YYYY-MM-DD", true).isValid();
-}
-function getFunctionName(simpleExprFunction) {
-    var _a, _b;
-    return ((_a = simpleExprFunction.functionCall().pureIdentifier()) === null || _a === void 0 ? void 0 : _a.text.toLowerCase()) || ((_b = simpleExprFunction.functionCall().qualifiedIdentifier()) === null || _b === void 0 ? void 0 : _b.text.toLowerCase());
-}
-function walkExprListParameters(context, exprList, params) {
-    return exprList.map((expr, paramIndex) => {
-        const exprType = walkExpr(context, expr);
-        const paramType = params.kind == 'FixedLengthParams' ? params.paramsType[paramIndex] : freshVar(params.paramType, params.paramType);
-        context.constraints.push({
-            expression: expr.text,
-            type1: exprType,
-            type2: paramType,
-            mostGeneralType: true
-        });
-        return paramType;
-    });
-}
-function walkFunctionParameters(context, simpleExprFunction, params) {
-    var _a, _b;
-    const functionName = getFunctionName(simpleExprFunction);
-    const udfExprList = (_a = simpleExprFunction.functionCall().udfExprList()) === null || _a === void 0 ? void 0 : _a.udfExpr();
-    if (udfExprList) {
-        const paramTypes = udfExprList
-            .filter((undefined, paramIndex) => {
-            return functionName == 'timestampdiff' ? paramIndex != 0 : true; //filter the first parameter of timestampdiff function
-        })
-            .map((inExpr, paramIndex) => {
-            const expr = inExpr.expr();
-            const exprType = walkExpr(context, expr);
-            context.constraints.push({
-                expression: expr.text,
-                type1: exprType,
-                type2: params.kind == 'FixedLengthParams' ? params.paramsType[paramIndex] : freshVar(params.paramType, params.paramType),
-                mostGeneralType: true
-            });
-            return exprType;
-        });
-        return paramTypes;
-    }
-    const exprList = (_b = simpleExprFunction.functionCall().exprList()) === null || _b === void 0 ? void 0 : _b.expr();
-    if (exprList) {
-        const paramTypes = exprList.map((inExpr, paramIndex) => {
-            const inSumExprType = walkExpr(context, inExpr);
-            context.constraints.push({
-                expression: inExpr.text,
-                type1: params.kind == 'FixedLengthParams' ? params.paramsType[paramIndex] : freshVar(params.paramType, params.paramType),
-                type2: inSumExprType,
-                mostGeneralType: true
-            });
-            return inSumExprType;
-        });
-        return paramTypes;
-    }
-    throw Error('Error in walkFunctionParameters');
-}
-function walkSubquery(context, queryExpressionParens) {
-    const querySpec = parse_1.getQuerySpecificationsFromSelectStatement(queryExpressionParens);
-    const subqueryColumns = select_columns_1.getColumnsFrom(querySpec[0], context.dbSchema);
-    const newContext = Object.assign(Object.assign({}, context), { fromColumns: context.fromColumns.concat(subqueryColumns) });
-    const typeInferResult = walkQuerySpecification(newContext, querySpec[0]);
-    for (let queryIndex = 1; queryIndex < querySpec.length; queryIndex++) { //union (if have any)
-        const unionColumns = select_columns_1.getColumnsFrom(querySpec[queryIndex], context.dbSchema);
-        const unionNewContext = Object.assign(Object.assign({}, context), { fromColumns: context.fromColumns.concat(unionColumns) });
-        const unionResult = walkQuerySpecification(unionNewContext, querySpec[queryIndex]);
-        typeInferResult.types.forEach((field, fieldIndex) => {
-            context.constraints.push({
-                expression: querySpec[queryIndex].text,
-                type1: typeInferResult.types[fieldIndex],
-                type2: unionResult.types[fieldIndex],
-                mostGeneralType: true
-            });
-        });
-    }
-    //Should retrun the union result type, not the first query from result
-    return typeInferResult;
-}
-exports.walkSubquery = walkSubquery;
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.walkSubquery = exports.walkQuerySpecification = exports.generateTypeInfo = exports.analiseQuerySpecification = exports.unionTypeResult = exports.analiseSelectStatement = exports.getDeleteColumns = exports.getUpdateColumns = exports.getInsertColumns = exports.analiseUpdateStatement = exports.analiseDeleteStatement = exports.analiseInsertStatement = exports.analiseTree = exports.freshVar = void 0;
+const moment_1 = __importDefault(require("moment"));
+const ts_mysql_parser_1 = require("ts-mysql-parser");
+const select_columns_1 = require("./select-columns");
+const parse_1 = require("./parse");
+const unify_1 = require("./unify");
+const infer_param_nullability_1 = require("./infer-param-nullability");
+const describe_query_1 = require("../describe-query");
+const util_1 = require("./util");
+let counter = 0;
+function freshVar(name, typeVar, selectItem, list) {
+    const param = {
+        kind: 'TypeVar',
+        id: ++counter,
+        name,
+        type: typeVar
+    };
+    if (list) {
+        param.list = true;
+    }
+    if (selectItem) {
+        param.selectItem = true;
+    }
+    return param;
+}
+exports.freshVar = freshVar;
+function analiseTree(tree, dbSchema, namedParameters) {
+    var _a, _b, _c;
+    if (tree instanceof ts_mysql_parser_1.QueryContext) {
+        const selectStatement = (_a = tree.simpleStatement()) === null || _a === void 0 ? void 0 : _a.selectStatement();
+        if (selectStatement) {
+            return analiseSelectStatement(selectStatement, dbSchema, namedParameters);
+        }
+        const insertStatement = (_b = tree.simpleStatement()) === null || _b === void 0 ? void 0 : _b.insertStatement();
+        if (insertStatement) {
+            const insertStmt = analiseInsertStatement(insertStatement, dbSchema);
+            const TypeInfer = {
+                columns: [],
+                parameters: insertStmt.parameters.map(param => param.columnType)
+            };
+            return TypeInfer;
+        }
+        const updateStatement = (_c = tree.simpleStatement()) === null || _c === void 0 ? void 0 : _c.updateStatement();
+        if (updateStatement) {
+            const updateStmt = analiseUpdateStatement(updateStatement, dbSchema);
+            const TypeInfer = {
+                columns: [],
+                parameters: updateStmt.data.map(param => param.columnType)
+            };
+            return TypeInfer;
+        }
+    }
+    throw Error('invalid type of tree');
+}
+exports.analiseTree = analiseTree;
+function analiseInsertStatement(insertStatement, dbSchema) {
+    const valuesContext = insertStatement.insertFromConstructor().insertValues().valueList().values()[0];
+    const insertColumns = getInsertColumns(insertStatement, dbSchema);
+    const allParameters = [];
+    const exprOrDefaultList = [];
+    valuesContext.DEFAULT_SYMBOL().forEach(terminalNode => {
+        exprOrDefaultList.push(terminalNode);
+    });
+    valuesContext.expr().forEach(expr => {
+        exprOrDefaultList.push(expr);
+    });
+    //order the tokens based on sql position
+    exprOrDefaultList.sort((token1, token2) => token1.sourceInterval.a - token2.sourceInterval.a);
+    exprOrDefaultList.forEach((expr, index) => {
+        const context = {
+            dbSchema,
+            constraints: [],
+            parameters: [],
+            fromColumns: []
+        };
+        const column = insertColumns[index];
+        if (expr instanceof ts_mysql_parser_1.ExprContext) {
+            const exprType = walkExpr(context, expr);
+            context.constraints.push({
+                expression: expr.text,
+                type1: freshVar(column.column, column.column_type),
+                type2: exprType.kind == 'TypeOperator' ? exprType.types[0] : exprType
+            });
+        }
+        const typeInfo = generateTypeInfo(context.parameters, context.constraints);
+        typeInfo.forEach(param => {
+            allParameters.push({
+                name: 'param' + (allParameters.length + 1),
+                columnType: (0, describe_query_1.verifyNotInferred)(param),
+                notNull: column.notNull
+            });
+        });
+    });
+    const typeInferenceResult = {
+        kind: 'Insert',
+        parameters: allParameters
+    };
+    return typeInferenceResult;
+}
+exports.analiseInsertStatement = analiseInsertStatement;
+function analiseDeleteStatement(deleteStatement, dbSchema) {
+    var _a;
+    const whereExpr = (_a = deleteStatement.whereClause()) === null || _a === void 0 ? void 0 : _a.expr();
+    const deleteColumns = getDeleteColumns(deleteStatement, dbSchema);
+    const allParameters = [];
+    if (whereExpr) {
+        const context = {
+            fromColumns: deleteColumns,
+            parameters: [],
+            constraints: [],
+            dbSchema
+        };
+        walkExpr(context, whereExpr);
+        const typeInfo = generateTypeInfo(context.parameters, context.constraints);
+        const paramNullability = (0, infer_param_nullability_1.inferParamNullability)(whereExpr);
+        typeInfo.forEach((param, paramIndex) => {
+            allParameters.push({
+                name: 'param' + (allParameters.length + 1),
+                columnType: (0, describe_query_1.verifyNotInferred)(param),
+                notNull: paramNullability[paramIndex]
+            });
+        });
+    }
+    const typeInferenceResult = {
+        kind: 'Delete',
+        parameters: allParameters
+    };
+    return typeInferenceResult;
+}
+exports.analiseDeleteStatement = analiseDeleteStatement;
+function analiseUpdateStatement(updateStatement, dbSchema) {
+    var _a;
+    const updateElement = updateStatement.updateList().updateElement();
+    const updateColumns = getUpdateColumns(updateStatement, dbSchema);
+    const dataParameters = [];
+    const whereParameters = [];
+    updateElement.forEach(updateElement => {
+        const expr = updateElement.expr();
+        if (expr) {
+            const context = {
+                dbSchema,
+                parameters: [],
+                constraints: [],
+                fromColumns: updateColumns
+            };
+            const result = walkExpr(context, expr);
+            const columnName = updateElement.columnRef().text;
+            const field = (0, select_columns_1.splitName)(columnName);
+            const column = (0, select_columns_1.findColumn)(field, updateColumns);
+            context.constraints.push({
+                expression: updateStatement.text,
+                type1: result,
+                type2: freshVar(column.table, column.columnType)
+            });
+            const typeInfo = generateTypeInfo(context.parameters, context.constraints);
+            typeInfo.forEach(param => {
+                dataParameters.push({
+                    name: column.columnName,
+                    columnType: (0, describe_query_1.verifyNotInferred)(param),
+                    notNull: column.notNull
+                });
+            });
+        }
+    });
+    const whereExpr = (_a = updateStatement.whereClause()) === null || _a === void 0 ? void 0 : _a.expr();
+    if (whereExpr) {
+        const context = {
+            dbSchema,
+            parameters: [],
+            constraints: [],
+            fromColumns: updateColumns
+        };
+        walkExpr(context, whereExpr);
+        const typeInfo = generateTypeInfo(context.parameters, context.constraints);
+        const paramNullability = (0, infer_param_nullability_1.inferParamNullability)(whereExpr);
+        typeInfo.forEach((param, paramIndex) => {
+            whereParameters.push({
+                name: 'param' + (whereParameters.length + 1),
+                columnType: (0, describe_query_1.verifyNotInferred)(param),
+                notNull: paramNullability[paramIndex]
+            });
+        });
+    }
+    const typeInferenceResult = {
+        kind: 'Update',
+        data: dataParameters,
+        parameters: whereParameters
+    };
+    return typeInferenceResult;
+}
+exports.analiseUpdateStatement = analiseUpdateStatement;
+function getInsertColumns(insertStatement, dbSchema) {
+    var _a, _b;
+    const insertIntoTable = (0, select_columns_1.splitName)(insertStatement.tableRef().text).name;
+    const fields = (_b = (_a = insertStatement.insertFromConstructor()) === null || _a === void 0 ? void 0 : _a.fields()) === null || _b === void 0 ? void 0 : _b.insertIdentifier().map(insertIdentifier => {
+        const colRef = insertIdentifier.columnRef();
+        if (colRef) {
+            const fieldName = (0, select_columns_1.splitName)(colRef.text);
+            const column = (0, select_columns_1.findColumn2)(fieldName, insertIntoTable, dbSchema);
+            return column;
+        }
+        throw Error('Invalid sql');
+    });
+    //check insert stmt without fields (only values). Ex.: insert into mytable values()
+    if (!fields) {
+        return dbSchema.filter(column => column.table == insertIntoTable);
+    }
+    return fields;
+}
+exports.getInsertColumns = getInsertColumns;
+function getUpdateColumns(updateStatement, dbSchema) {
+    const insertIntoTable = (0, select_columns_1.splitName)(updateStatement.tableReferenceList().tableReference()[0].text).name;
+    const columns = dbSchema
+        .filter(col => col.table == insertIntoTable)
+        .map(col => {
+        const colDef = {
+            table: col.table,
+            column: col.column,
+            columnName: col.column,
+            columnType: col.column_type,
+            columnKey: col.columnKey,
+            notNull: col.notNull,
+            tableAlias: ''
+        };
+        return colDef;
+    });
+    return columns;
+}
+exports.getUpdateColumns = getUpdateColumns;
+function getDeleteColumns(deleteStatement, dbSchema) {
+    var _a, _b;
+    const tableNameStr = (_a = deleteStatement.tableRef()) === null || _a === void 0 ? void 0 : _a.text;
+    const tableAlias = (_b = deleteStatement.tableAlias()) === null || _b === void 0 ? void 0 : _b.text;
+    const tableName = (0, select_columns_1.splitName)(tableNameStr).name;
+    const columns = dbSchema
+        .filter(col => col.table == tableName)
+        .map(col => {
+        const colDef = {
+            table: col.table,
+            column: col.column,
+            columnName: col.column,
+            columnType: col.column_type,
+            columnKey: col.columnKey,
+            notNull: col.notNull,
+            tableAlias: tableAlias
+        };
+        return colDef;
+    });
+    return columns;
+}
+exports.getDeleteColumns = getDeleteColumns;
+function analiseSelectStatement(selectStatement, dbSchema, namedParameters) {
+    const querySpec = (0, parse_1.getQuerySpecificationsFromSelectStatement)(selectStatement);
+    const fromColumns = (0, select_columns_1.getColumnsFrom)(querySpec[0], dbSchema);
+    let result = analiseQuerySpecification(querySpec[0], dbSchema, namedParameters, fromColumns);
+    for (let index = 1; index < querySpec.length; index++) {
+        const unionQuery = querySpec[index];
+        const fromColumns2 = (0, select_columns_1.getColumnsFrom)(unionQuery, dbSchema);
+        const result2 = analiseQuerySpecification(unionQuery, dbSchema, namedParameters, fromColumns2);
+        result = unionResult(result, result2);
+    }
+    return result;
+}
+exports.analiseSelectStatement = analiseSelectStatement;
+function unionResult(typeInference1, typeInference2) {
+    const resultColumnTypes = typeInference1.columns.map((col1, index) => {
+        const col2 = typeInference2.columns[index];
+        const resultType = unionTypeResult(col1, col2);
+        return resultType;
+    });
+    return {
+        columns: resultColumnTypes,
+        parameters: [...typeInference1.parameters, ...typeInference2.parameters] //TODO-INVERSE?
+    };
+}
+function unionTypeResult(type1, type2) {
+    const typeOrder = ['tinyint', 'smallint', 'mediumint', 'int', 'bigint', 'float', 'double', 'varchar'];
+    const indexType1 = typeOrder.indexOf(type1);
+    const indexType2 = typeOrder.indexOf(type2);
+    const max = Math.max(indexType1, indexType2);
+    return typeOrder[max];
+}
+exports.unionTypeResult = unionTypeResult;
+function analiseQuerySpecification(querySpec, dbSchema, namedParameters, fromColumns) {
+    const context = {
+        dbSchema,
+        parameters: [],
+        constraints: [],
+        fromColumns: fromColumns
+    };
+    const queryTypes = walkQuerySpecification(context, querySpec);
+    const paramIndexes = (0, util_1.getParameterIndexes)(namedParameters); //for [a, a, b, a] will return a: [0, 1, 3]; b: [2]
+    paramIndexes.forEach(paramIndex => {
+        (0, util_1.getPairWise)(paramIndex.indexes, (cur, next) => {
+            context.constraints.push({
+                expression: paramIndex.paramName,
+                type1: context.parameters[cur],
+                type2: context.parameters[next]
+            });
+        });
+    });
+    // console.log("namedNodes");
+    // console.dir(namedNodes, { depth: null });
+    // console.log("constraints2=");
+    // console.dir(constraints, { depth: null });
+    const substitutions = {};
+    (0, unify_1.unify)(context.constraints, substitutions);
+    const parameters = context.parameters.map(param => getVarType(substitutions, param));
+    const columnTypes = queryTypes.types.map(param => getVarType(substitutions, param));
+    const querySpecResult = {
+        parameters: parameters,
+        columns: columnTypes
+    };
+    return querySpecResult;
+}
+exports.analiseQuerySpecification = analiseQuerySpecification;
+function generateTypeInfo(namedNodes, constraints) {
+    const substitutions = {};
+    (0, unify_1.unify)(constraints, substitutions);
+    const parameters = namedNodes.map(param => getVarType(substitutions, param));
+    return parameters;
+}
+exports.generateTypeInfo = generateTypeInfo;
+function getVarType(substitutions, typeVar) {
+    if (typeVar.kind == 'TypeVar') {
+        const type = substitutions[typeVar.id];
+        if (!type) {
+            return typeVar.type;
+        }
+        const resultType = typeVar.list ? type.type + '[]' : type.type;
+        return resultType;
+    }
+    return '?';
+}
+function walkQuerySpecification(context, querySpec) {
+    const listType = [];
+    if (querySpec.selectItemList().MULT_OPERATOR()) {
+        context.fromColumns.forEach(col => {
+            const colType = freshVar(col.columnName, col.columnType);
+            listType.push(colType);
+        });
+    }
+    querySpec.selectItemList().selectItem().forEach(selectItem => {
+        const tableWild = selectItem.tableWild(); //ex. t1.*
+        if (tableWild === null || tableWild === void 0 ? void 0 : tableWild.MULT_OPERATOR()) {
+            tableWild.identifier().forEach(tabWild => {
+                const prefix = tabWild.text;
+                const columns = (0, select_columns_1.selectAllColumns)(prefix, context.fromColumns);
+                columns.forEach(col => {
+                    const colType = freshVar(col.columnName, col.columnType);
+                    listType.push(colType);
+                });
+            });
+        }
+        else {
+            const expr = selectItem.expr();
+            if (expr) {
+                const exprType = walkExpr(context, expr);
+                if (exprType.kind == 'TypeOperator') {
+                    const subqueryType = exprType.types[0];
+                    listType.push(subqueryType);
+                }
+                else {
+                    listType.push(exprType);
+                }
+            }
+        }
+    });
+    const typeOperator = {
+        kind: 'TypeOperator',
+        selectItem: true,
+        types: listType
+    };
+    const fromClause = querySpec.fromClause();
+    if (fromClause) {
+        walkFromClause(context, fromClause);
+    }
+    const whereClause = querySpec.whereClause();
+    //TODO - HAVING, BLAH
+    if (whereClause) {
+        const whereExpr = whereClause === null || whereClause === void 0 ? void 0 : whereClause.expr();
+        walkExpr(context, whereExpr);
+    }
+    return typeOperator;
+}
+exports.walkQuerySpecification = walkQuerySpecification;
+function walkFromClause(context, fromClause) {
+    var _a;
+    const tableReferences = (_a = fromClause.tableReferenceList()) === null || _a === void 0 ? void 0 : _a.tableReference();
+    tableReferences === null || tableReferences === void 0 ? void 0 : tableReferences.forEach(tabeRef => {
+        tabeRef.joinedTable().forEach(joinedTable => {
+            const onExpr = joinedTable.expr();
+            if (onExpr) {
+                walkExpr(context, onExpr);
+            }
+        });
+    });
+}
+function walkExpr(context, expr) {
+    if (expr instanceof ts_mysql_parser_1.ExprIsContext) {
+        const boolPri = expr.boolPri();
+        const boolPriType = walkBoolPri(context, boolPri);
+        return boolPriType;
+    }
+    if (expr instanceof ts_mysql_parser_1.ExprNotContext) {
+        return freshVar(expr.text, 'tinyint');
+        ;
+    }
+    if (expr instanceof ts_mysql_parser_1.ExprAndContext || expr instanceof ts_mysql_parser_1.ExprXorContext || expr instanceof ts_mysql_parser_1.ExprOrContext) {
+        const exprLeft = expr.expr()[0];
+        walkExpr(context, exprLeft);
+        const exprRight = expr.expr()[1];
+        walkExpr(context, exprRight);
+        return freshVar(expr.text, 'tinyint');
+    }
+    throw Error('invalid type');
+}
+function walkBoolPri(context, boolPri) {
+    if (boolPri instanceof ts_mysql_parser_1.PrimaryExprPredicateContext) {
+        const predicate = boolPri.predicate();
+        const predicateType = walkPredicate(context, predicate);
+        return predicateType;
+    }
+    if (boolPri instanceof ts_mysql_parser_1.PrimaryExprIsNullContext) {
+        const boolPri2 = boolPri.boolPri();
+        walkBoolPri(context, boolPri2);
+        return freshVar(boolPri.text, '?');
+    }
+    if (boolPri instanceof ts_mysql_parser_1.PrimaryExprCompareContext) {
+        const compareLeft = boolPri.boolPri();
+        const compareRight = boolPri.predicate();
+        const typeLeft = walkBoolPri(context, compareLeft);
+        const typeRight = walkPredicate(context, compareRight);
+        context.constraints.push({
+            expression: boolPri.text,
+            type1: typeLeft,
+            type2: typeRight
+        });
+        return freshVar(boolPri.text, 'tinyint');
+    }
+    if (boolPri instanceof ts_mysql_parser_1.PrimaryExprAllAnyContext) {
+        const compareLeft = boolPri.boolPri();
+        const compareRight = boolPri.subquery();
+        const typeLeft = walkBoolPri(context, compareLeft);
+        const typeRight = walkSubquery(context, compareRight);
+        context.constraints.push({
+            expression: boolPri.text,
+            type1: typeLeft,
+            type2: typeRight
+        });
+        return freshVar(boolPri.text, 'tinyint');
+    }
+    throw Error('invalid sql');
+}
+function walkPredicate(context, predicate) {
+    const bitExpr = predicate.bitExpr()[0];
+    const bitExprType = walkBitExpr(context, bitExpr);
+    const predicateOperations = predicate.predicateOperations();
+    if (predicateOperations) {
+        const rightType = walkpredicateOperations(context, bitExprType, predicateOperations);
+        context.constraints.push({
+            expression: predicateOperations.text,
+            type1: bitExprType,
+            type2: rightType,
+            mostGeneralType: true
+        });
+        return rightType;
+    }
+    // return freshVar(predicateOperations.text, 'tinyint');
+    return bitExprType;
+}
+function walkpredicateOperations(context, parentType, predicateOperations) {
+    if (predicateOperations instanceof ts_mysql_parser_1.PredicateExprInContext) {
+        const subquery = predicateOperations.subquery();
+        if (subquery) {
+            const rightType = walkSubquery(context, subquery);
+            return rightType;
+        }
+        const exprList = predicateOperations.exprList();
+        if (exprList) {
+            const rightType = walkExprList(context, exprList);
+            return rightType;
+        }
+    }
+    if (predicateOperations instanceof ts_mysql_parser_1.PredicateExprLikeContext) {
+        const simpleExpr = predicateOperations.simpleExpr()[0];
+        const rightType = walkSimpleExpr(context, simpleExpr);
+        context.constraints.push({
+            expression: simpleExpr.text,
+            type1: parentType,
+            type2: rightType
+        });
+        return rightType;
+    }
+    throw Error("Not expected");
+}
+function walkExprList(context, exprList) {
+    const listType = exprList.expr().map(item => {
+        const exprType = walkExpr(context, item);
+        return exprType;
+    });
+    const type = {
+        kind: 'TypeOperator',
+        types: listType
+    };
+    return type;
+}
+function walkBitExpr(context, bitExpr) {
+    const simpleExpr = bitExpr.simpleExpr();
+    if (simpleExpr) {
+        return walkSimpleExpr(context, simpleExpr);
+    }
+    if (bitExpr.bitExpr().length == 2) {
+        const bitExprType = freshVar(bitExpr.text, 'number');
+        const bitExprLeft = bitExpr.bitExpr()[0];
+        const typeLeftTemp = walkBitExpr(context, bitExprLeft);
+        const typeLeft = typeLeftTemp.kind == 'TypeOperator' ? typeLeftTemp.types[0] : typeLeftTemp;
+        //const newTypeLeft = typeLeft.name == '?'? freshVar('?', 'bigint') : typeLeft;
+        const bitExprRight = bitExpr.bitExpr()[1];
+        const typeRightTemp = walkBitExpr(context, bitExprRight);
+        //In the expression 'id + (value + 2) + ?' the '(value+2)' is treated as a SimpleExprListContext and return a TypeOperator
+        const typeRight = typeRightTemp.kind == 'TypeOperator' ? typeRightTemp.types[0] : typeRightTemp;
+        //const newTypeRight = typeRight.name == '?'? freshVar('?', 'bigint') : typeRight;
+        context.constraints.push({
+            expression: bitExpr.text,
+            type1: typeLeft,
+            type2: typeRight,
+            mostGeneralType: true,
+            coercionType: 'Sum'
+        });
+        context.constraints.push({
+            expression: bitExpr.text,
+            type1: bitExprType,
+            type2: typeLeft,
+            mostGeneralType: true,
+            coercionType: 'Sum'
+        });
+        context.constraints.push({
+            expression: bitExpr.text,
+            type1: bitExprType,
+            type2: typeRight,
+            mostGeneralType: true,
+            coercionType: 'Sum'
+        });
+        return bitExprType;
+    }
+    if (bitExpr.INTERVAL_SYMBOL()) {
+        const bitExpr2 = bitExpr.bitExpr()[0];
+        const leftType = walkBitExpr(context, bitExpr2);
+        const expr = bitExpr.expr(); //expr interval
+        walkExpr(context, expr);
+        context.constraints.push({
+            expression: bitExpr.text,
+            type1: leftType,
+            type2: freshVar('datetime', 'datetime')
+        });
+        return freshVar('datetime', 'datetime');
+    }
+    throw Error('Invalid sql');
+}
+function walkSimpleExpr(context, simpleExpr) {
+    var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k, _l, _m, _o, _p;
+    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprColumnRefContext) {
+        const fieldName = (0, select_columns_1.splitName)(simpleExpr.text);
+        const columnType = (0, select_columns_1.findColumn)(fieldName, context.fromColumns).columnType;
+        const type = freshVar(simpleExpr.text, columnType);
+        return type;
+    }
+    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprRuntimeFunctionContext) {
+        const runtimeFunctionCall = simpleExpr.runtimeFunctionCall();
+        if (runtimeFunctionCall.NOW_SYMBOL()) {
+            return freshVar(simpleExpr.text, 'datetime');
+        }
+        if (runtimeFunctionCall.CURDATE_SYMBOL()) {
+            return freshVar(simpleExpr.text, 'date');
+        }
+        if (runtimeFunctionCall.CURTIME_SYMBOL()) {
+            return freshVar(simpleExpr.text, 'time');
+        }
+        if (runtimeFunctionCall.REPLACE_SYMBOL()) {
+            const exprList = runtimeFunctionCall.expr();
+            exprList.forEach(expr => {
+                const exprType = walkExpr(context, expr);
+                context.constraints.push({
+                    expression: expr.text,
+                    type1: exprType,
+                    type2: freshVar('varchar', 'varchar')
+                });
+            });
+            return freshVar('varchar', 'varchar');
+        }
+        if (runtimeFunctionCall.YEAR_SYMBOL() || runtimeFunctionCall.MONTH_SYMBOL() || runtimeFunctionCall.DAY_SYMBOL()) {
+            const expr = (_a = runtimeFunctionCall.exprWithParentheses()) === null || _a === void 0 ? void 0 : _a.expr();
+            if (expr) {
+                const paramType = walkExpr(context, expr);
+                if (paramType.kind == 'TypeVar' && isDateTimeLiteral(paramType.name)) {
+                    paramType.type = 'datetime';
+                }
+                if (paramType.kind == 'TypeVar' && isDateLiteral(paramType.name)) {
+                    paramType.type = 'date';
+                }
+                context.constraints.push({
+                    expression: expr.text,
+                    type1: paramType,
+                    type2: freshVar(simpleExpr.text, 'date')
+                });
+            }
+            const returnType = runtimeFunctionCall.YEAR_SYMBOL() ? 'year' : 'tinyint';
+            return freshVar(simpleExpr.text, returnType);
+        }
+        if (runtimeFunctionCall.HOUR_SYMBOL() || runtimeFunctionCall.MINUTE_SYMBOL() || runtimeFunctionCall.SECOND_SYMBOL()) {
+            const expr = (_b = runtimeFunctionCall.exprWithParentheses()) === null || _b === void 0 ? void 0 : _b.expr();
+            if (expr) {
+                const paramType = walkExpr(context, expr);
+                if (paramType.kind == 'TypeVar' && isTimeLiteral(paramType.name)) {
+                    paramType.type = 'time';
+                }
+                if (paramType.kind == 'TypeVar' && isDateLiteral(paramType.name)) {
+                    paramType.type = 'date';
+                }
+                if (paramType.kind == 'TypeVar' && isDateTimeLiteral(paramType.name)) {
+                    paramType.type = 'datetime';
+                }
+                context.constraints.push({
+                    expression: expr.text,
+                    type1: paramType,
+                    type2: freshVar(simpleExpr.text, 'time')
+                });
+            }
+            //HOUR can return values greater than 23. Ex.: SELECT HOUR('272:59:59');
+            //https://dev.mysql.com/doc/refman/8.0/en/date-and-time-functions.html#function_hour
+            const returnType = runtimeFunctionCall.HOUR_SYMBOL() ? 'int' : 'tinyint';
+            return freshVar(simpleExpr.text, returnType);
+        }
+        const trimFunction = runtimeFunctionCall.trimFunction();
+        if (trimFunction) {
+            const exprList = trimFunction.expr();
+            if (exprList.length == 1) {
+                const exprType = walkExpr(context, exprList[0]);
+                context.constraints.push({
+                    expression: exprList[0].text,
+                    type1: exprType,
+                    type2: freshVar('varchar', 'varchar')
+                });
+            }
+            if (exprList.length == 2) {
+                const exprType = walkExpr(context, exprList[0]);
+                const expr2Type = walkExpr(context, exprList[1]);
+                context.constraints.push({
+                    expression: exprList[0].text,
+                    type1: exprType,
+                    type2: freshVar('varchar', 'varchar')
+                });
+                context.constraints.push({
+                    expression: exprList[1].text,
+                    type1: expr2Type,
+                    type2: freshVar('varchar', 'varchar')
+                });
+            }
+            return freshVar('varchar', 'varchar');
+        }
+        const substringFunction = runtimeFunctionCall.substringFunction();
+        if (substringFunction) {
+            const exprList = substringFunction.expr();
+            const varcharParam = freshVar('varchar', 'varchar');
+            const intParam = freshVar('int', 'int');
+            const params = {
+                kind: 'FixedLengthParams',
+                paramsType: [varcharParam, intParam, intParam]
+            };
+            walkExprListParameters(context, exprList, params);
+            return varcharParam;
+        }
+        if (runtimeFunctionCall.ADDDATE_SYMBOL()
+            || runtimeFunctionCall.DATE_ADD_SYMBOL()
+            || runtimeFunctionCall.SUBDATE_SYMBOL()
+            || runtimeFunctionCall.DATE_SUB_SYMBOL()) {
+            //SELECT ADDDATE('2008-01-02', INTERVAL 31 DAY)
+            //SELECT ADDDATE('2008-01-02', 31)
+            const expr1 = runtimeFunctionCall.expr()[0];
+            const expr2 = runtimeFunctionCall.expr()[1];
+            const typeExpr1 = walkExpr(context, expr1);
+            const typeExpr2 = walkExpr(context, expr2);
+            if (typeExpr1.kind == 'TypeVar' && (isDateLiteral(typeExpr1.name) || isDateTimeLiteral(typeExpr1.name))) {
+                typeExpr1.type = 'datetime';
+            }
+            context.constraints.push({
+                expression: expr1.text,
+                type1: typeExpr1,
+                type2: freshVar('datetime', 'datetime')
+            });
+            context.constraints.push({
+                expression: expr2.text,
+                type1: typeExpr2,
+                type2: freshVar('bigint', 'bigint')
+            });
+            return freshVar('datetime', 'datetime');
+        }
+        if (runtimeFunctionCall.COALESCE_SYMBOL()) {
+            const exprList = (_c = runtimeFunctionCall.exprListWithParentheses()) === null || _c === void 0 ? void 0 : _c.exprList().expr();
+            if (exprList) {
+                const paramType = freshVar('?', '?');
+                const params = {
+                    kind: 'VariableLengthParams',
+                    paramType: 'any'
+                };
+                const paramsTypeList = walkExprListParameters(context, exprList, params);
+                paramsTypeList.forEach((typeVar, paramIndex) => {
+                    context.constraints.push({
+                        expression: runtimeFunctionCall.text + '_param' + (paramIndex + 1),
+                        type1: paramType,
+                        type2: typeVar,
+                        mostGeneralType: true,
+                        coercionType: 'Coalesce'
+                    });
+                });
+                return paramType;
+            }
+        }
+        //MOD (number, number): number
+        if (runtimeFunctionCall.MOD_SYMBOL()) {
+            const functionType = freshVar('number', 'number');
+            const exprList = runtimeFunctionCall.expr();
+            const param1 = walkExpr(context, exprList[0]);
+            const param2 = walkExpr(context, exprList[1]);
+            context.constraints.push({
+                expression: simpleExpr.text,
+                type1: freshVar('number', 'number'),
+                type2: param1,
+                mostGeneralType: true
+            });
+            context.constraints.push({
+                expression: simpleExpr.text,
+                type1: freshVar('number', 'number'),
+                type2: param2,
+                mostGeneralType: true
+            });
+            context.constraints.push({
+                expression: simpleExpr.text,
+                type1: functionType,
+                type2: param1,
+                mostGeneralType: true
+            });
+            context.constraints.push({
+                expression: simpleExpr.text,
+                type1: functionType,
+                type2: param2,
+                mostGeneralType: true
+            });
+            return functionType;
+        }
+        throw Error('Function not supported: ' + runtimeFunctionCall.text);
+    }
+    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprFunctionContext) {
+        const functionIdentifier = getFunctionName(simpleExpr);
+        if (functionIdentifier === 'concat_ws' || (functionIdentifier === null || functionIdentifier === void 0 ? void 0 : functionIdentifier.toLowerCase()) === 'concat') {
+            const varcharType = freshVar(simpleExpr.text, 'varchar');
+            const params = {
+                kind: 'VariableLengthParams',
+                paramType: '?'
+            };
+            walkFunctionParameters(context, simpleExpr, params);
+            return varcharType;
+        }
+        if (functionIdentifier === 'avg') {
+            const functionType = freshVar(simpleExpr.text, '?');
+            context.constraints.push({
+                expression: simpleExpr.text,
+                type1: functionType,
+                type2: freshVar('decimal', 'decimal'),
+                mostGeneralType: true
+            });
+            const params = {
+                kind: 'FixedLengthParams',
+                paramsType: [functionType]
+            };
+            walkFunctionParameters(context, simpleExpr, params);
+            return functionType;
+        }
+        if (functionIdentifier === 'round') {
+            const functionType = freshVar(simpleExpr.text, '?');
+            const params = {
+                kind: 'FixedLengthParams',
+                paramsType: [functionType]
+            };
+            const paramsType = walkFunctionParameters(context, simpleExpr, params);
+            //The return value has the same type as the first argument
+            context.constraints.push({
+                expression: simpleExpr.text,
+                type1: functionType,
+                type2: paramsType[0],
+                mostGeneralType: true
+            });
+            return functionType;
+        }
+        if (functionIdentifier === 'floor') {
+            const doubleParam = freshVar('double', 'double');
+            const params = {
+                kind: 'FixedLengthParams',
+                paramsType: [doubleParam, doubleParam]
+            };
+            walkFunctionParameters(context, simpleExpr, params);
+            return freshVar(simpleExpr.text, 'bigint');
+        }
+        if (functionIdentifier === 'str_to_date') {
+            const varcharParam = freshVar('varchar', 'varchar');
+            const params = {
+                kind: 'FixedLengthParams',
+                paramsType: [varcharParam, varcharParam]
+            };
+            walkFunctionParameters(context, simpleExpr, params);
+            return freshVar(simpleExpr.text, 'date');
+        }
+        if (functionIdentifier === 'datediff') {
+            const udfExprList = (_d = simpleExpr.functionCall().udfExprList()) === null || _d === void 0 ? void 0 : _d.udfExpr();
+            if (udfExprList) {
+                udfExprList.forEach((inExpr) => {
+                    const expr = inExpr.expr();
+                    const exprType = walkExpr(context, expr);
+                    const newType = verifyDateTypesCoercion(exprType);
+                    context.constraints.push({
+                        expression: expr.text,
+                        type1: newType,
+                        type2: freshVar('date', 'date'),
+                        mostGeneralType: true
+                    });
+                });
+            }
+            return freshVar(simpleExpr.text, 'bigint');
+        }
+        if (functionIdentifier === 'lpad' || functionIdentifier == 'rpad') {
+            const varcharParam = freshVar('varchar', 'varchar');
+            const intParam = freshVar('int', 'int');
+            const params = {
+                kind: 'FixedLengthParams',
+                paramsType: [varcharParam, intParam, varcharParam]
+            };
+            walkFunctionParameters(context, simpleExpr, params);
+            return varcharParam;
+        }
+        if (functionIdentifier === 'lower'
+            || functionIdentifier === 'lcase'
+            || functionIdentifier === 'upper'
+            || functionIdentifier === 'ucase'
+            || functionIdentifier === 'ltrim'
+            || functionIdentifier === 'rtrim') {
+            const varcharParam = freshVar('varchar', 'varchar');
+            const params = {
+                kind: 'FixedLengthParams',
+                paramsType: [varcharParam]
+            };
+            walkFunctionParameters(context, simpleExpr, params);
+            return varcharParam;
+        }
+        if (functionIdentifier === 'length' || functionIdentifier == 'char_length') {
+            const varcharParam = freshVar('varchar', 'varchar');
+            const params = {
+                kind: 'FixedLengthParams',
+                paramsType: [varcharParam]
+            };
+            walkFunctionParameters(context, simpleExpr, params);
+            return freshVar('int', 'int');
+        }
+        if (functionIdentifier === 'abs') {
+            const functionType = freshVar('number', 'number');
+            const udfExprList = (_e = simpleExpr.functionCall().udfExprList()) === null || _e === void 0 ? void 0 : _e.udfExpr();
+            udfExprList === null || udfExprList === void 0 ? void 0 : udfExprList.forEach(expr => {
+                const param1 = walkExpr(context, expr.expr());
+                context.constraints.push({
+                    expression: simpleExpr.text,
+                    type1: functionType,
+                    type2: param1,
+                    mostGeneralType: true
+                });
+            });
+            return functionType;
+        }
+        if (functionIdentifier == 'ceiling' || functionIdentifier == 'ceil') {
+            const functionType = freshVar('number', 'number');
+            const udfExprList = (_f = simpleExpr.functionCall().udfExprList()) === null || _f === void 0 ? void 0 : _f.udfExpr();
+            udfExprList === null || udfExprList === void 0 ? void 0 : udfExprList.forEach(expr => {
+                const param1 = walkExpr(context, expr.expr());
+                context.constraints.push({
+                    expression: simpleExpr.text,
+                    type1: functionType,
+                    type2: param1,
+                    mostGeneralType: true,
+                    coercionType: 'Ceiling'
+                });
+            });
+            return functionType;
+        }
+        if (functionIdentifier == 'timestampdiff') {
+            const udfExprList = (_g = simpleExpr.functionCall().udfExprList()) === null || _g === void 0 ? void 0 : _g.udfExpr();
+            if (udfExprList) {
+                const [first, ...rest] = udfExprList;
+                const unit = first.text.trim().toLowerCase();
+                rest.forEach((inExpr, paramIndex) => {
+                    const expr = inExpr.expr();
+                    const exprType = walkExpr(context, expr);
+                    const newType = verifyDateTypesCoercion(exprType);
+                    //const expectedType = ['hour', 'minute', 'second'].includes(unit)? 'time' : 'datetime'
+                    context.constraints.push({
+                        expression: expr.text,
+                        type1: newType,
+                        type2: freshVar('datetime', 'datetime'),
+                        mostGeneralType: true
+                    });
+                });
+            }
+            return freshVar('int', 'int');
+        }
+        if (functionIdentifier == 'ifnull') {
+            const functionType = freshVar(simpleExpr.text, '?');
+            const udfExprList = (_h = simpleExpr.functionCall().udfExprList()) === null || _h === void 0 ? void 0 : _h.udfExpr();
+            if (udfExprList) {
+                const [expr1, expr2] = udfExprList;
+                walkExpr(context, expr1.expr());
+                const expr2Type = walkExpr(context, expr2.expr());
+                context.constraints.push({
+                    expression: simpleExpr.text,
+                    type1: functionType,
+                    type2: expr2Type
+                });
+            }
+            return functionType;
+        }
+        throw Error('Function not supported: ' + functionIdentifier); //TODO ifnull
+    }
+    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprParamMarkerContext) {
+        const param = freshVar('?', '?');
+        context.parameters.push(param);
+        return param;
+    }
+    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprSumContext) {
+        if (simpleExpr.sumExpr().MAX_SYMBOL() || simpleExpr.sumExpr().MIN_SYMBOL()) {
+            const functionType = freshVar(simpleExpr.text, '?');
+            const inSumExpr = (_j = simpleExpr.sumExpr().inSumExpr()) === null || _j === void 0 ? void 0 : _j.expr();
+            if (inSumExpr) {
+                const inSumExprType = walkExpr(context, inSumExpr);
+                context.constraints.push({
+                    expression: simpleExpr.text,
+                    type1: functionType,
+                    type2: inSumExprType,
+                    mostGeneralType: true
+                });
+            }
+            return functionType;
+        }
+        if (simpleExpr.sumExpr().COUNT_SYMBOL()) {
+            const functionType = freshVar(simpleExpr.text, 'bigint');
+            const inSumExpr = (_k = simpleExpr.sumExpr().inSumExpr()) === null || _k === void 0 ? void 0 : _k.expr();
+            if (inSumExpr) {
+                walkExpr(context, inSumExpr);
+            }
+            return functionType;
+        }
+        if (simpleExpr.sumExpr().SUM_SYMBOL() || simpleExpr.sumExpr().AVG_SYMBOL()) {
+            const functionType = freshVar(simpleExpr.text, '?');
+            const inSumExpr = (_l = simpleExpr.sumExpr().inSumExpr()) === null || _l === void 0 ? void 0 : _l.expr();
+            if (inSumExpr) {
+                const inSumExprType = walkExpr(context, inSumExpr);
+                context.constraints.push({
+                    expression: simpleExpr.text,
+                    type1: functionType,
+                    type2: inSumExprType,
+                    mostGeneralType: true,
+                    coercionType: 'SumFunction'
+                });
+            }
+            return functionType;
+        }
+    }
+    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprLiteralContext) {
+        const literal = simpleExpr.literal();
+        if (literal.textLiteral()) {
+            const text = ((_m = literal.textLiteral()) === null || _m === void 0 ? void 0 : _m.text.slice(1, -1)) || ''; //remove quotes
+            return freshVar(text, 'varchar');
+        }
+        const numLiteral = literal.numLiteral();
+        if (numLiteral) {
+            return freshVar(numLiteral.text, 'bigint');
+            // addNamedNode(simpleExpr, freshVar('bigint', 'bigint'), namedNodes)
+            // if(numLiteral.INT_NUMBER()) {
+            //     const typeInt = freshVar('int', 'int');
+            //     addNamedNode(simpleExpr, typeInt, namedNodes)
+            // }
+            // if(numLiteral.DECIMAL_NUMBER()) {
+            //     const typeDecimal = freshVar('decimal', 'decimal');
+            //     addNamedNode(simpleExpr, typeDecimal, namedNodes)
+            // }
+            // if(numLiteral.FLOAT_NUMBER()) {
+            //     const typeFloat = freshVar('float', 'float');
+            //     addNamedNode(simpleExpr, typeFloat, namedNodes)
+            // }
+            ;
+        }
+        const boolLiteral = literal.boolLiteral();
+        if (boolLiteral) {
+            return freshVar(boolLiteral.text, 'bit');
+        }
+        const nullLiteral = literal.nullLiteral();
+        if (nullLiteral) {
+            return freshVar(nullLiteral.text, '?');
+        }
+        throw Error('literal not supported:' + literal.text);
+        //...
+    }
+    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprListContext) {
+        const exprList = simpleExpr.exprList();
+        const listType = exprList.expr().map(item => {
+            const exprType = walkExpr(context, item);
+            return exprType;
+        });
+        const resultType = {
+            kind: 'TypeOperator',
+            types: listType
+        };
+        return resultType;
+    }
+    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprSubQueryContext) {
+        const subquery = simpleExpr.subquery();
+        const subqueryType = walkSubquery(context, subquery);
+        return subqueryType;
+    }
+    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprCaseContext) {
+        //case when expr then expr else expr
+        const caseType = freshVar(simpleExpr.text, '?');
+        simpleExpr.whenExpression().forEach(whenExprCont => {
+            const whenExpr = whenExprCont.expr();
+            const whenType = walkExpr(context, whenExpr);
+            context.constraints.push({
+                expression: whenExpr.text,
+                type1: whenType.kind == 'TypeOperator' ? whenType.types[0] : whenType,
+                type2: freshVar('tinyint', 'tinyint') //bool
+            });
+        });
+        const thenTypes = simpleExpr.thenExpression().map(thenExprCtx => {
+            const thenExpr = thenExprCtx.expr();
+            const thenType = walkExpr(context, thenExpr);
+            context.constraints.push({
+                expression: thenExprCtx.text,
+                type1: caseType,
+                type2: thenType.kind == 'TypeOperator' ? thenType.types[0] : thenType,
+                mostGeneralType: true,
+            });
+            return thenType;
+        });
+        const elseExpr = (_o = simpleExpr.elseExpression()) === null || _o === void 0 ? void 0 : _o.expr();
+        if (elseExpr) {
+            const elseType = walkExpr(context, elseExpr);
+            context.constraints.push({
+                expression: (_p = simpleExpr.elseExpression()) === null || _p === void 0 ? void 0 : _p.text,
+                type1: caseType,
+                type2: elseType.kind == 'TypeOperator' ? elseType.types[0] : elseType,
+                mostGeneralType: true
+            });
+            thenTypes.forEach(thenType => {
+                var _a;
+                context.constraints.push({
+                    expression: (_a = simpleExpr.elseExpression()) === null || _a === void 0 ? void 0 : _a.text,
+                    type1: thenType,
+                    type2: elseType.kind == 'TypeOperator' ? elseType.types[0] : elseType,
+                    mostGeneralType: true
+                });
+            });
+        }
+        return caseType;
+    }
+    if (simpleExpr instanceof ts_mysql_parser_1.SimpleExprIntervalContext) {
+        const exprList = simpleExpr.expr();
+        const exprLeft = exprList[0];
+        const exprRight = exprList[1];
+        const typeLeft = walkExpr(context, exprLeft);
+        const typeRight = walkExpr(context, exprRight);
+        context.constraints.push({
+            expression: exprLeft.text,
+            type1: typeLeft,
+            type2: freshVar('bigint', 'bigint')
+        });
+        if (typeRight.kind == 'TypeVar' && (isDateLiteral(typeRight.name) || isDateTimeLiteral(typeRight.name))) {
+            typeRight.type = 'datetime';
+        }
+        context.constraints.push({
+            expression: exprRight.text,
+            type1: typeRight,
+            type2: freshVar('datetime', 'datetime')
+        });
+        return freshVar('datetime', 'datetime');
+    }
+    throw Error('Invalid expression');
+}
+function verifyDateTypesCoercion(type) {
+    if (type.kind == 'TypeVar' && isDateTimeLiteral(type.name)) {
+        type.type = 'datetime';
+    }
+    if (type.kind == 'TypeVar' && isDateLiteral(type.name)) {
+        type.type = 'date';
+    }
+    if (type.kind == 'TypeVar' && isTimeLiteral(type.name)) {
+        type.type = 'time';
+    }
+    return type;
+}
+function isTimeLiteral(literal) {
+    return (0, moment_1.default)(literal, 'HH:mm:ss', true).isValid() || (0, moment_1.default)(literal, 'HH:mm', true).isValid();
+}
+function isDateTimeLiteral(literal) {
+    return (0, moment_1.default)(literal, 'YYYY-MM-DD HH:mm:ss', true).isValid();
+}
+function isDateLiteral(literal) {
+    return (0, moment_1.default)(literal, "YYYY-MM-DD", true).isValid();
+}
+function getFunctionName(simpleExprFunction) {
+    var _a, _b;
+    return ((_a = simpleExprFunction.functionCall().pureIdentifier()) === null || _a === void 0 ? void 0 : _a.text.toLowerCase())
+        || ((_b = simpleExprFunction.functionCall().qualifiedIdentifier()) === null || _b === void 0 ? void 0 : _b.text.toLowerCase());
+}
+function walkExprListParameters(context, exprList, params) {
+    return exprList.map((expr, paramIndex) => {
+        const exprType = walkExpr(context, expr);
+        const paramType = params.kind == 'FixedLengthParams' ? params.paramsType[paramIndex] : freshVar(params.paramType, params.paramType);
+        context.constraints.push({
+            expression: expr.text,
+            type1: exprType,
+            type2: paramType,
+            mostGeneralType: true
+        });
+        return paramType;
+    });
+}
+function walkFunctionParameters(context, simpleExprFunction, params) {
+    var _a, _b;
+    const functionName = getFunctionName(simpleExprFunction);
+    const udfExprList = (_a = simpleExprFunction.functionCall().udfExprList()) === null || _a === void 0 ? void 0 : _a.udfExpr();
+    if (udfExprList) {
+        const paramTypes = udfExprList
+            .filter((undefined, paramIndex) => {
+            return functionName == 'timestampdiff' ? paramIndex != 0 : true; //filter the first parameter of timestampdiff function
+        })
+            .map((inExpr, paramIndex) => {
+            const expr = inExpr.expr();
+            const exprType = walkExpr(context, expr);
+            context.constraints.push({
+                expression: expr.text,
+                type1: exprType,
+                type2: params.kind == 'FixedLengthParams' ? params.paramsType[paramIndex] : freshVar(params.paramType, params.paramType),
+                mostGeneralType: true
+            });
+            return exprType;
+        });
+        return paramTypes;
+    }
+    const exprList = (_b = simpleExprFunction.functionCall().exprList()) === null || _b === void 0 ? void 0 : _b.expr();
+    if (exprList) {
+        const paramTypes = exprList.map((inExpr, paramIndex) => {
+            const inSumExprType = walkExpr(context, inExpr);
+            context.constraints.push({
+                expression: inExpr.text,
+                type1: params.kind == 'FixedLengthParams' ? params.paramsType[paramIndex] : freshVar(params.paramType, params.paramType),
+                type2: inSumExprType,
+                mostGeneralType: true
+            });
+            return inSumExprType;
+        });
+        return paramTypes;
+    }
+    throw Error('Error in walkFunctionParameters');
+}
+function walkSubquery(context, queryExpressionParens) {
+    const querySpec = (0, parse_1.getQuerySpecificationsFromSelectStatement)(queryExpressionParens);
+    const subqueryColumns = (0, select_columns_1.getColumnsFrom)(querySpec[0], context.dbSchema);
+    const newContext = Object.assign(Object.assign({}, context), { fromColumns: context.fromColumns.concat(subqueryColumns) });
+    const typeInferResult = walkQuerySpecification(newContext, querySpec[0]);
+    for (let queryIndex = 1; queryIndex < querySpec.length; queryIndex++) { //union (if have any)
+        const unionColumns = (0, select_columns_1.getColumnsFrom)(querySpec[queryIndex], context.dbSchema);
+        const unionNewContext = Object.assign(Object.assign({}, context), { fromColumns: context.fromColumns.concat(unionColumns) });
+        const unionResult = walkQuerySpecification(unionNewContext, querySpec[queryIndex]);
+        typeInferResult.types.forEach((field, fieldIndex) => {
+            context.constraints.push({
+                expression: querySpec[queryIndex].text,
+                type1: typeInferResult.types[fieldIndex],
+                type2: unionResult.types[fieldIndex],
+                mostGeneralType: true
+            });
+        });
+    }
+    //Should retrun the union result type, not the first query from result
+    return typeInferResult;
+}
+exports.walkSubquery = walkSubquery;
 //# sourceMappingURL=collect-constraints.js.map