typesql-cli 0.18.4 → 0.18.5

package/postgres-query-analyzer/nullability-checker.js

@@ -0,0 +1,110 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.evaluatesTrueIfNull = evaluatesTrueIfNull;
+const PostgreSQLParser_1 = require("@wsporto/typesql-parser/postgres/PostgreSQLParser");
+const select_columns_1 = require("../mysql-query-analyzer/select-columns");
+const typesql_parser_1 = require("@wsporto/typesql-parser");
+function getSingleColumnRefOrNull(elseExpr) {
+    var _a;
+    if (((_a = elseExpr.children) === null || _a === void 0 ? void 0 : _a.length) != 1) {
+        return null;
+    }
+    const child = elseExpr.children[0];
+    if (child instanceof PostgreSQLParser_1.ColumnrefContext) {
+        return child;
+    }
+    if (child instanceof typesql_parser_1.ParserRuleContext) { //composite
+        return getSingleColumnRefOrNull(child);
+    }
+    return null;
+}
+function evaluatesTrueIfNull(elseExpr, a_expr) {
+    // Can only infer if the elseExpr is a single column;
+    const columnRef = getSingleColumnRefOrNull(elseExpr.a_expr());
+    if (!columnRef) {
+        return false;
+    }
+    const a_expr_qual = a_expr.a_expr_qual();
+    if (a_expr_qual) {
+        return evaluatesTrueIfNull_a_expr_qual(a_expr_qual, (0, select_columns_1.splitName)(columnRef.getText()));
+    }
+    return false;
+}
+function evaluatesTrueIfNull_a_expr_qual(a_expr_qual, field) {
+    const a_expr_lessless = a_expr_qual.a_expr_lessless();
+    if (a_expr_lessless) {
+        return evaluatesTrueIfNull_a_expr_lessless(a_expr_lessless, field);
+    }
+    return false;
+}
+function evaluatesTrueIfNull_a_expr_lessless(a_expr_lessless, field) {
+    const a_expr_or = a_expr_lessless.a_expr_or_list()[0];
+    if (a_expr_or) {
+        return evaluatesTrueIfNull_a_expr_or(a_expr_or, field);
+    }
+    return false;
+}
+//a_expr_or: "valueisnotnulland(id>0orvalueisnotnull)"
+//a_expr_or: "valueisnotnullor(id>0orvalueisnotnull)"
+function evaluatesTrueIfNull_a_expr_or(a_expr_or, field) {
+    const a_expr_and = a_expr_or.a_expr_and_list();
+    if (a_expr_and) {
+        //1. valueisnotnull
+        //2. (id>0orvalueisnotnull)
+        const result = a_expr_and.some(a_expr_and => evaluatesTrueIfNull_a_expr_and(a_expr_and, field));
+        return result;
+    }
+    return false;
+}
+function evaluatesTrueIfNull_a_expr_and(a_expr_and, field) {
+    const a_expr_between_list = a_expr_and.a_expr_between_list();
+    if (a_expr_between_list) {
+        return a_expr_between_list.every(a_expr_between => evaluatesTrueIfNull_a_expr_between(a_expr_between, field));
+    }
+    return false;
+}
+function evaluatesTrueIfNull_a_expr_between(a_expr_between, field) {
+    const a_expr_in = a_expr_between.a_expr_in_list()[0];
+    if (a_expr_in) {
+        return evaluatesTrueIfNull_a_expr_in(a_expr_in, field);
+    }
+    return false;
+}
+function evaluatesTrueIfNull_a_expr_in(a_expr_in, field) {
+    const a_expr_unary_not = a_expr_in.a_expr_unary_not();
+    if (a_expr_unary_not) {
+        return evaluatesTrueIfNull_a_expr_unary_not(a_expr_unary_not, field);
+    }
+    return false;
+}
+function evaluatesTrueIfNull_a_expr_unary_not(a_expr_unary_not, field) {
+    const a_expr_isnull = a_expr_unary_not.a_expr_isnull();
+    if (a_expr_isnull) {
+        return evaluatesTrueIfNull_a_expr_isnull(a_expr_isnull, field);
+    }
+    return false;
+}
+function evaluatesTrueIfNull_a_expr_isnull(a_expr_isnull, field) {
+    const a_expr_is_not = a_expr_isnull.a_expr_is_not();
+    if (a_expr_is_not) {
+        const a_expr_compare = a_expr_is_not.a_expr_compare();
+        if (!a_expr_compare) {
+            return false;
+        }
+        const columnRef = getSingleColumnRefOrNull(a_expr_compare);
+        if (!columnRef) {
+            return false;
+        }
+        const fieldName = (0, select_columns_1.splitName)(columnRef.getText());
+        if (fieldName.name === field.name && (field.prefix === fieldName.prefix || fieldName.prefix === '' || field.prefix === '')
+            && a_expr_is_not.IS() && a_expr_is_not.NULL_P()) {
+            if (a_expr_is_not.NOT()) {
+                return false;
+            }
+            return true;
+        }
+        return false;
+    }
+    return false;
+}
+//# sourceMappingURL=nullability-checker.js.map

package/postgres-query-analyzer/nullability-checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullability-checker.js","sourceRoot":"","sources":["../../../src/postgres-query-analyzer/nullability-checker.ts"],"names":[],"mappings":";;AAmBA,kDAWC;AA9BD,wFAAkS;AAElS,2EAAmE;AACnE,4DAA4D;AAE5D,SAAS,wBAAwB,CAAC,QAA2B;;IAC5D,IAAI,CAAA,MAAA,QAAQ,CAAC,QAAQ,0CAAE,MAAM,KAAI,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,KAAK,YAAY,mCAAgB,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACd,CAAC;IACD,IAAI,KAAK,YAAY,kCAAiB,EAAE,CAAC,CAAC,WAAW;QACpD,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAgB,mBAAmB,CAAC,QAA6B,EAAE,MAAqB;IACvF,qDAAqD;IACrD,MAAM,SAAS,GAAG,wBAAwB,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9D,IAAI,CAAC,SAAS,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACzC,IAAI,WAAW,EAAE,CAAC;QACjB,OAAO,+BAA+B,CAAC,WAAW,EAAE,IAAA,0BAAS,EAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,+BAA+B,CAAC,WAA+B,EAAE,KAAgB;IACzF,MAAM,eAAe,GAAG,WAAW,CAAC,eAAe,EAAE,CAAC;IACtD,IAAI,eAAe,EAAE,CAAC;QACrB,OAAO,mCAAmC,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,mCAAmC,CAAC,eAAuC,EAAE,KAAgB;IACrG,MAAM,SAAS,GAAG,eAAe,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,SAAS,EAAE,CAAC;QACf,OAAO,6BAA6B,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,sDAAsD;AACtD,qDAAqD;AACrD,SAAS,6BAA6B,CAAC,SAA2B,EAAE,KAAgB;IACnF,MAAM,UAAU,GAAG,SAAS,CAAC,eAAe,EAAE,CAAC;IAC/C,IAAI,UAAU,EAAE,CAAC;QAChB,mBAAmB;QACnB,2BAA2B;QAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,8BAA8B,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;QAChG,OAAO,MAAM,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,8BAA8B,CAAC,UAA6B,EAAE,KAAgB;IACtF,MAAM,mBAAmB,GAAG,UAAU,CAAC,mBAAmB,EAAE,CAAC;IAC7D,IAAI,mBAAmB,EAAE,CAAC;QACzB,OAAO,mBAAmB,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC,kCAAkC,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/G,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,kCAAkC,CAAC,cAAqC,EAAE,KAAgB;IAClG,MAAM,SAAS,GAAG,cAAc,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,SAAS,EAAE,CAAC;QACf,OAAO,6BAA6B,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,6BAA6B,CAAC,SAA2B,EAAE,KAAgB;IACnF,MAAM,gBAAgB,GAAG,SAAS,CAAC,gBAAgB,EAAE,CAAC;IACtD,IAAI,gBAAgB,EAAE,CAAC;QACtB,OAAO,oCAAoC,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,oCAAoC,CAAC,gBAAyC,EAAE,KAAgB;IACxG,MAAM,aAAa,GAAG,gBAAgB,CAAC,aAAa,EAAE,CAAC;IACvD,IAAI,aAAa,EAAE,CAAC;QACnB,OAAO,iCAAiC,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,iCAAiC,CAAC,aAAmC,EAAE,KAAgB;IAC/F,MAAM,aAAa,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC;IACpD,IAAI,aAAa,EAAE,CAAC;QACnB,MAAM,cAAc,GAAG,aAAa,CAAC,cAAc,EAAE,CAAC;QACtD,IAAI,CAAC,cAAc,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC;QACd,CAAC;QACD,MAAM,SAAS,GAAG,wBAAwB,CAAC,cAAc,CAAC,CAAC;QAC3D,IAAI,CAAC,SAAS,EAAE,CAAC;YAChB,OAAO,KAAK,CAAC;QACd,CAAC;QACD,MAAM,SAAS,GAAG,IAAA,0BAAS,EAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;QACjD,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,MAAM,KAAK,EAAE,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE,CAAC;eACtH,aAAa,CAAC,EAAE,EAAE,IAAI,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC;YAClD,IAAI,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC;gBACzB,OAAO,KAAK,CAAC;YACd,CAAC;YACD,OAAO,IAAI,CAAC;QACb,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC"}

package/postgres-query-analyzer/traverse.d.ts

@@ -4,7 +4,7 @@ import { DynamicSqlInfo2 } from '../mysql-query-analyzer/types';
 import { QueryType } from '../types';
 import { Relation2 } from '../sqlite-query-analyzer/sqlite-describe-nested-query';
 import { CheckConstraintResult } from '../drivers/postgres';
-import { JsonType, PostgresSimpleType } from '../sqlite-query-analyzer/types';
+import { JsonType, PostgresEnumType, PostgresSimpleType } from '../sqlite-query-analyzer/types';
 import { UserFunctionSchema } from './types';
 export type NotNullInfo = {
     table_schema: string;
@@ -32,7 +32,7 @@ export type PostgresTraverseResult = {
 };
 export type ParamInfo = {
     isNotNull: boolean;
-    checkConstraint?: string;
+    checkConstraint?: PostgresEnumType;
 };
 export type Relation3 = {
     name: string;

package/postgres-query-analyzer/traverse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"traverse.d.ts","sourceRoot":"","sources":["../../../src/postgres-query-analyzer/traverse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgxC,WAAW,EAA4L,MAAM,mDAAmD,CAAC;AAExhD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,EAAE,eAAe,EAAa,MAAM,+BAA+B,CAAC;AAC3E,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,MAAM,uDAAuD,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAA+C,QAAQ,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAE3H,OAAO,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAE7C,MAAM,MAAM,WAAW,GAAG;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,OAAO,CAAC;IACrB,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,cAAc,CAAC,EAAE,IAAI,CAAC;IACtB,UAAU,CAAC,EAAE,KAAK,GAAG,KAAK,GAAG,EAAE,CAAC;IAChC,IAAI,EAAE,kBAAkB,CAAC;IACzB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC;CAC5B,CAAA;AAGD,MAAM,MAAM,sBAAsB,GAAG;IACpC,SAAS,EAAE,SAAS,CAAC;IACrB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,qBAAqB,EAAE,SAAS,EAAE,CAAC;IACnC,yBAAyB,CAAC,EAAE,SAAS,EAAE,CAAC;IACxC,aAAa,EAAE,OAAO,EAAE,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC;IACxB,gBAAgB,CAAC,EAAE,eAAe,CAAC;CACnC,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACvB,SAAS,EAAE,OAAO,CAAC;IACnB,eAAe,CAAC,EAAE,MAAM,CAAC;CACzB,CAAA;AA2BD,MAAM,MAAM,SAAS,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC7B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,uBAAuB,CAAC,EAAE,OAAO,CAAC;CAClC,CAAA;AAED,wBAAgB,cAAc,IAAI,eAAe,CAKhD;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,aAAa,EAAE,kBAAkB,EAAE,EAAE,OAAO,EAAE,eAAe,GAAG,sBAAsB,CAmD/M;AA2lDD,MAAM,MAAM,eAAe,GAAG;IAC7B,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC7B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACd,CAAC;AAWF,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG,eAAe,CAAC;AAEnE,wBAAgB,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,kBAAkB,CA6BtE"}
+{"version":3,"file":"traverse.d.ts","sourceRoot":"","sources":["../../../src/postgres-query-analyzer/traverse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqyC,WAAW,EAA4L,MAAM,mDAAmD,CAAC;AAE7iD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,EAAE,eAAe,EAAa,MAAM,+BAA+B,CAAC;AAC3E,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,MAAM,uDAAuD,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAA8D,QAAQ,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAE5J,OAAO,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAG7C,MAAM,MAAM,WAAW,GAAG;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,OAAO,CAAC;IACrB,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,cAAc,CAAC,EAAE,IAAI,CAAC;IACtB,UAAU,CAAC,EAAE,KAAK,GAAG,KAAK,GAAG,EAAE,CAAC;IAChC,IAAI,EAAE,kBAAkB,CAAC;IACzB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC;CAC5B,CAAA;AAGD,MAAM,MAAM,sBAAsB,GAAG;IACpC,SAAS,EAAE,SAAS,CAAC;IACrB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,qBAAqB,EAAE,SAAS,EAAE,CAAC;IACnC,yBAAyB,CAAC,EAAE,SAAS,EAAE,CAAC;IACxC,aAAa,EAAE,OAAO,EAAE,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC;IACxB,gBAAgB,CAAC,EAAE,eAAe,CAAC;CACnC,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACvB,SAAS,EAAE,OAAO,CAAC;IACnB,eAAe,CAAC,EAAE,gBAAgB,CAAC;CACnC,CAAA;AA2BD,MAAM,MAAM,SAAS,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC7B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,uBAAuB,CAAC,EAAE,OAAO,CAAC;CAClC,CAAA;AAED,wBAAgB,cAAc,IAAI,eAAe,CAKhD;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,aAAa,EAAE,kBAAkB,EAAE,EAAE,OAAO,EAAE,eAAe,GAAG,sBAAsB,CAmD/M;AA2rDD,MAAM,MAAM,eAAe,GAAG;IAC7B,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC7B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACd,CAAC;AAWF,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG,eAAe,CAAC;AAEnE,wBAAgB,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,kBAAkB,CA6BtE"}

package/postgres-query-analyzer/traverse.js

@@ -7,6 +7,7 @@ const PostgreSQLParser_1 = require("@wsporto/typesql-parser/postgres/PostgreSQLP
 const typesql_parser_1 = require("@wsporto/typesql-parser");
 const select_columns_1 = require("../mysql-query-analyzer/select-columns");
 const postgres_1 = require("@wsporto/typesql-parser/postgres");
+const case_nullability_checker_1 = require("./case-nullability-checker");
 function defaultOptions() {
     return {
         collectNestedInfo: false,
@@ -358,7 +359,7 @@ function traverse_target_el(target_el, context, traverseResult) {
                 parameters
             });
         }
-        return Object.assign(Object.assign({ column_name: alias || exprResult.column_name, is_nullable: exprResult.is_nullable && exprResult.column_default !== true, table_name: exprResult.table_name, table_schema: exprResult.table_schema, type: exprResult.type }, (exprResult.column_key != null && { column_key: exprResult.column_key })), (exprResult.jsonType != null && { jsonType: exprResult.jsonType }));
+        return Object.assign(Object.assign(Object.assign({ column_name: alias || exprResult.column_name, is_nullable: exprResult.is_nullable, table_name: exprResult.table_name, table_schema: exprResult.table_schema, type: exprResult.type }, (exprResult.column_default != null) && { column_default: exprResult.column_default }), (exprResult.column_key != null && { column_key: exprResult.column_key })), (exprResult.jsonType != null && { jsonType: exprResult.jsonType }));
     }
     throw Error('Column not found');
 }
@@ -831,13 +832,15 @@ function traversec_expr(c_expr, context, traverseResult) {
         const select_with_parens = c_expr.select_with_parens();
         if (select_with_parens) {
             const result = traverse_select_with_parens(select_with_parens, Object.assign(Object.assign({}, context), { parentColumns: context.fromColumns, fromColumns: [] }), traverseResult);
+            const jsonType = result.columns[0].jsonType;
+            const is_nullable = jsonType == null ? true : jsonType.name !== 'json[]' && jsonType.name !== 'json_map'; //json[], json_map are not nullable
             return {
                 column_name: '?column?',
-                is_nullable: result.columns[0].jsonType ? result.columns[0].is_nullable : true,
+                is_nullable,
                 table_name: '',
                 table_schema: '',
                 type: result.columns[0].type,
-                jsonType: result.columns[0].jsonType
+                jsonType: jsonType != null && jsonType.name === 'json' ? Object.assign(Object.assign({}, jsonType), { notNull: !is_nullable }) : jsonType
             };
         }
         const a_expr_in_parens = c_expr._a_expr_in_parens;
@@ -902,23 +905,37 @@ function excludeColumns(fromColumns, excludeList) {
     });
 }
 function traversec_expr_case(c_expr_case, context, traverseResult) {
-    var _a, _b;
+    var _a;
     const case_expr = c_expr_case.case_expr();
-    const whenResult = case_expr.when_clause_list().when_clause_list().map(when_clause => traversewhen_clause(when_clause, context, traverseResult));
-    const whenIsNotNull = whenResult.every(when => when);
-    const elseExpr = (_a = case_expr.case_default()) === null || _a === void 0 ? void 0 : _a.a_expr();
-    const elseResult = elseExpr ? traverse_a_expr(elseExpr, Object.assign({}, context), traverseResult) : null;
-    const elseIsNotNull = (elseResult === null || elseResult === void 0 ? void 0 : elseResult.is_nullable) === false || false;
+    const whenClauseList = case_expr.when_clause_list().when_clause_list();
+    const whenResult = whenClauseList.map(when_clause => traversewhen_clause(when_clause, context, traverseResult));
+    const whenIsNotNull = whenResult.every(when => !when.is_nullable);
+    const elseExpr = case_expr.case_default();
+    const elseResult = elseExpr ? traverse_a_expr(elseExpr.a_expr(), Object.assign({}, context), traverseResult) : null;
+    const branchNotNull = elseResult ? evaluateBranches(whenClauseList, elseExpr, whenResult.map(col => !col.is_nullable)) : false;
+    const elseIsNotNull = (elseResult === null || elseResult === void 0 ? void 0 : elseResult.is_nullable) === false || branchNotNull;
     const notNull = elseIsNotNull && whenIsNotNull;
     return {
         column_name: '?column?',
         is_nullable: !notNull,
         table_name: '',
         table_schema: '',
-        type: (_b = whenResult[0].type) !== null && _b !== void 0 ? _b : 'unknown',
+        type: (_a = whenResult[0].type) !== null && _a !== void 0 ? _a : 'unknown',
         jsonType: allJsonTypesMatch(whenResult, elseResult) ? whenResult[0].jsonType : undefined
     };
 }
+function evaluateBranches(whenClauseList, elseExpr, whenIsNotNull) {
+    const exprIndex = whenClauseList.findIndex(when => {
+        const whenExpr = when.a_expr(0);
+        const evaluatesIfNull = (0, case_nullability_checker_1.evaluatesTrueIfNull)(elseExpr, whenExpr);
+        if (evaluatesIfNull) {
+            return true;
+        }
+        return false;
+    });
+    const result = exprIndex !== -1 ? whenIsNotNull[exprIndex] : false;
+    return result;
+}
 function allJsonTypesMatch(whenResultList, elseResult) {
     var _a;
     const firstType = (_a = whenResultList[0]) === null || _a === void 0 ? void 0 : _a.jsonType;
@@ -936,7 +953,7 @@ function traversewhen_clause(when_clause, context, traverseResult) {
         const thenExprResult = traverse_a_expr(thenExpr, Object.assign(Object.assign({}, context), { filter_expr: whenExprList[index] }), traverseResult);
         return thenExprResult;
     });
-    const notNull = whenExprResult.every(res => res);
+    const notNull = whenExprResult.every(res => !res.is_nullable);
     return {
         column_name: '?column?',
         is_nullable: !notNull,
@@ -987,7 +1004,9 @@ function mapJsonBuildArgsToJsonProperty(args, filterExpr) {
     return properties;
 }
 function inferJsonNullability(columns, filterExpr) {
-    const tables = columns.filter(col => filterExpr && col.original_is_nullable === false && isNotNull_a_expr(col, filterExpr)).map(col => col.table_name);
+    const tables = columns.filter(col => filterExpr && col.original_is_nullable === false
+        && isNotNull_a_expr({ name: col.column_name, prefix: col.table_name }, filterExpr))
+        .map(col => col.table_name);
     const fields = columns.map(col => {
         return col.original_is_nullable != null && tables.includes(col.table_name) ? !col.original_is_nullable : !col.is_nullable;
     });
@@ -996,19 +1015,20 @@ function inferJsonNullability(columns, filterExpr) {
 function transformFieldsToJsonObjType(fields) {
     const jsonObject = {
         name: 'json',
+        notNull: true,
         properties: fields.map(col => mapFieldToPropertyDef(col))
     };
     return jsonObject;
 }
 function mapFieldToPropertyDef(field) {
     const prop = {
-        key: field.name,
+        key: field.column_name,
         type: transformFieldToJsonField(field)
     };
     return prop;
 }
 function transformFieldToJsonField(field) {
-    const jsonField = { name: 'json_field', type: field.type, notNull: field.notNull };
+    const jsonField = field.jsonType ? field.jsonType : { name: 'json_field', type: field.type, notNull: !field.is_nullable };
     return jsonField;
 }
 function traverse_json_build_obj_func(func_application, context, traverseResult) {
@@ -1024,6 +1044,7 @@ function traverse_json_build_obj_func(func_application, context, traverseResult)
         type: 'json',
         jsonType: {
             name: 'json',
+            notNull: true,
             properties: mapJsonBuildArgsToJsonProperty(argsResult, context.filter_expr),
         }
     };
@@ -1040,23 +1061,26 @@ function traverse_json_agg(func_application, context, traverseResult) {
         table_name: '',
         table_schema: '',
         type: 'json[]',
-        jsonType: {
-            name: 'json[]',
-            properties: createJsonTypeForJsonAgg(argsResult[0], context.filter_expr)
-        }
+        jsonType: createJsonTypeForJsonAgg(argsResult[0], context.filter_expr)
     };
     return result;
 }
 function createJsonTypeForJsonAgg(arg, filter_expr) {
     if (arg.recordTypes) {
         const jsonType = mapRecordsToJsonType(arg.recordTypes, filter_expr);
-        return [jsonType];
+        return {
+            name: 'json[]',
+            properties: [jsonType]
+        };
     }
-    return [arg.jsonType || { name: 'json_field', type: arg.type, notNull: !arg.is_nullable }];
+    const jsonType = arg.jsonType ? { name: 'json[]', properties: [arg.jsonType] } : undefined;
+    const fieldType = { name: 'json[]', properties: [{ name: 'json_field', type: arg.type, notNull: !arg.is_nullable }] };
+    const result = jsonType || fieldType;
+    return result;
 }
 function mapRecordsToJsonType(recordTypes, filterExpr) {
     const jsonNullability = inferJsonNullability(recordTypes, filterExpr);
-    const fields = recordTypes.map((col, index) => ({ name: col.column_name ? col.column_name : `f${index + 1}`, type: col.type, notNull: jsonNullability[index] }));
+    const fields = recordTypes.map((col, index) => (Object.assign(Object.assign({}, col), { column_name: col.column_name ? col.column_name : `f${index + 1}`, is_nullable: !jsonNullability[index] })));
     const jsonType = transformFieldsToJsonObjType(fields);
     return jsonType;
 }
@@ -1212,6 +1236,15 @@ function traversefunc_application(func_application, context, traverseResult) {
             }
         };
     }
+    if (functionName === 'unnest') {
+        return {
+            column_name: functionName,
+            is_nullable: argsResult[0].is_nullable,
+            type: argsResult[0].type,
+            table_name: '',
+            table_schema: ''
+        };
+    }
     return {
         column_name: functionName,
         is_nullable: true,
@@ -1271,7 +1304,7 @@ function traverse_array_expr(array_expr, context, traverseResult) {
     const expr_list = array_expr.expr_list();
     if (expr_list) {
         const traverse_expr_list_result = traverse_expr_list(expr_list, context, traverseResult);
-        return Object.assign(Object.assign({}, traverse_expr_list_result[0]), { column_name: '?column?', table_name: '', table_schema: '' });
+        return Object.assign(Object.assign({}, traverse_expr_list_result[0]), { is_nullable: traverse_expr_list_result.some(expr => expr.is_nullable), column_name: '?column?', table_name: '', table_schema: '' });
     }
     const array_expr_list = array_expr.array_expr_list();
     if (array_expr_list) {
@@ -1293,17 +1326,21 @@ function traverse_array_expr_list(array_expr_list, context, traverseResult) {
     return result;
 }
 function findColumn(fieldName, fromColumns) {
-    const col = fromColumns.find(col => (fieldName.prefix === '' || col.table_name.toLowerCase() === fieldName.prefix.toLowerCase()) && col.column_name.toLowerCase() === fieldName.name.toLowerCase());
+    const col = findColumnOrNull(fieldName, fromColumns);
     if (col == null) {
         throw Error('Column not found: ' + fieldNameToString(fieldName));
     }
     return col;
 }
+function findColumnOrNull(fieldName, fromColumns) {
+    const col = fromColumns.find(col => (fieldName.prefix === '' || col.table_name.toLowerCase() === fieldName.prefix.toLowerCase()) && col.column_name.toLowerCase() === fieldName.name.toLowerCase());
+    return col;
+}
 function fieldNameToString(fieldName) {
     return fieldName.prefix !== '' ? `${fieldName.prefix}.${fieldName.name}` : fieldName.name;
 }
 function checkIsNullable(where_clause, field) {
-    const isNotNullResult = !field.is_nullable || isNotNull(field, where_clause);
+    const isNotNullResult = !field.is_nullable || isNotNull({ name: field.column_name, prefix: field.table_name }, where_clause);
     const col = Object.assign(Object.assign({}, field), { is_nullable: !isNotNullResult });
     return col;
 }
@@ -1331,6 +1368,37 @@ function getFromColumns(tableName, withColumns, dbSchema) {
     const filteredSchema = filteredWithColumns.length > 0 ? filteredWithColumns : dbSchema.filter(col => col.table_name.toLowerCase() === tableName.name.toLowerCase());
     return filteredSchema;
 }
+function checkLeftJoinIsNullable(leftJoin, subsequentJoins, fromColumns) {
+    if (!leftJoin.joinQual) {
+        return true; // No condition = always nullable
+    }
+    const leftTable = getTableName(leftJoin.tableRef);
+    const leftJoinColumns = getJoinColumns(leftJoin.joinQual)
+        .filter(col => {
+        if (col.prefix === leftTable.name && col.prefix === leftTable.alias) {
+            return true;
+        }
+        if (findColumnOrNull(col, fromColumns)) { //column without table reference (ex: fk_user)
+            return true;
+        }
+        return false;
+    });
+    for (const join of subsequentJoins) {
+        // Only INNER JOINs can cancel nullability
+        if (!(join.joinType === null || join.joinType.INNER_P())) {
+            continue;
+        }
+        const joinConditionColumns = getJoinColumns(join.joinQual);
+        const filteredJoinColumnsFromLeft = joinConditionColumns.filter(col => leftJoinColumns.some(lc => lc.prefix === col.prefix));
+        // Are *all* columns from the left join used in not-null filtering?
+        const referencesLeftJoin = filteredJoinColumnsFromLeft.length > 0 &&
+            filteredJoinColumnsFromLeft.every(col => { var _a; return isNotNull_a_expr(col, (_a = join.joinQual) === null || _a === void 0 ? void 0 : _a.a_expr()); });
+        if (referencesLeftJoin) {
+            return false; // LEFT JOIN is effectively filtered by INNER JOIN — not nullable
+        }
+    }
+    return true; // No INNER JOIN filtered it — remains nullable
+}
 function traverse_table_ref(table_ref, context, traverseResult) {
     var _a, _b, _c, _d, _e, _f, _g;
     const allColumns = [];
@@ -1363,14 +1431,21 @@ function traverse_table_ref(table_ref, context, traverseResult) {
             collectDynamicQueryInfoTableRef(table_ref, null, null, fromColumnsResult, [], traverseResult);
         }
         const joinList = extractJoins(table_ref);
-        const joinColumns = joinList.flatMap((join) => {
+        const joinColumns = joinList.flatMap((join, index) => {
             const joinType = join.joinType; //INNER, LEFT
             const joinQual = join.joinQual;
             const numParamsBefore = traverseResult.parameters.length;
-            const joinTableRefResult = traverse_table_ref(join.tableRef, context, traverseResult);
+            const parentColumns = join.tableRef.LATERAL_P() ? fromColumnsResult : [];
+            const joinTableRefResult = traverse_table_ref(join.tableRef, Object.assign(Object.assign({}, context), { parentColumns }), traverseResult);
             const isLeftJoin = joinType === null || joinType === void 0 ? void 0 : joinType.LEFT();
             const filteredColumns = joinQual && (joinQual === null || joinQual === void 0 ? void 0 : joinQual.USING()) ? filterUsingColumns(joinTableRefResult.columns, joinQual) : joinTableRefResult.columns;
-            const resultColumns = isLeftJoin ? filteredColumns.map(col => (Object.assign(Object.assign({}, col), { is_nullable: true, original_is_nullable: col.is_nullable }))) : filteredColumns;
+            const subsequentJoints = joinList.slice(index + 1);
+            const checkIsNullable = isLeftJoin ? checkLeftJoinIsNullable(join, subsequentJoints, filteredColumns) : false;
+            ;
+            const resultColumns = isLeftJoin ? filteredColumns.map(col => {
+                const colResult = Object.assign(Object.assign({}, col), { is_nullable: checkIsNullable ? true : col.is_nullable, original_is_nullable: col.is_nullable });
+                return colResult;
+            }) : filteredColumns;
             if (context.collectNestedInfo && joinQual) {
                 collectNestedInfo(joinQual, resultColumns, traverseResult);
             }
@@ -1395,13 +1470,7 @@ function traverse_table_ref(table_ref, context, traverseResult) {
     const select_with_parens = table_ref.select_with_parens();
     if (select_with_parens) {
         const columns = traverse_select_with_parens(select_with_parens, Object.assign(Object.assign({}, context), { collectDynamicQueryInfo: false }), traverseResult);
-        const withAlias = columns.columns.map((col, i) => ({
-            column_name: (aliasNameList === null || aliasNameList === void 0 ? void 0 : aliasNameList[i]) || col.column_name,
-            is_nullable: col.is_nullable,
-            table_name: alias || col.table_name,
-            table_schema: col.table_schema,
-            type: col.type
-        }));
+        const withAlias = columns.columns.map((col, i) => (Object.assign(Object.assign({}, col), { column_name: (aliasNameList === null || aliasNameList === void 0 ? void 0 : aliasNameList[i]) || col.column_name, table_name: alias || col.table_name })));
         return {
             columns: withAlias,
             singleRow: false
@@ -1720,7 +1789,7 @@ function traverseDeletestmt(deleteStmt, dbSchema, traverseResult) {
     return result;
 }
 function addConstraintIfNotNull(checkConstraint) {
-    return checkConstraint !== undefined ? { checkConstraint } : {};
+    return checkConstraint !== undefined ? { checkConstraint } : undefined;
 }
 function traverseUpdatestmt(updatestmt, traverseContext, traverseResult) {
     var _a;
@@ -1853,7 +1922,14 @@ function isNotNull_a_expr_unary_not(a_expr_unary_not, field) {
 function isNotNull_a_expr_isnull(a_expr_isnull, field) {
     const a_expr_is_not = a_expr_isnull.a_expr_is_not();
     if (a_expr_is_not) {
-        return isNotNull_a_expr_is_not(a_expr_is_not, field);
+        const isNotNull = isNotNull_a_expr_is_not(a_expr_is_not, field);
+        if (isNotNull && a_expr_is_not.IS() && a_expr_is_not.NOT() && a_expr_is_not.NULL_P()) {
+            return true;
+        }
+        if (a_expr_is_not.IS() && a_expr_is_not.NULL_P()) {
+            return false;
+        }
+        return isNotNull;
     }
     return false;
 }
@@ -1977,7 +2053,7 @@ function isNotNull_c_expr(c_expr, field) {
         const columnref = c_expr.columnref();
         if (columnref) {
             const fieldName = (0, select_columns_1.splitName)(columnref.getText());
-            return (fieldName.name === field.column_name && (fieldName.prefix === '' || field.table_name === fieldName.prefix));
+            return (fieldName.name === field.name && (fieldName.prefix === '' || field.prefix === fieldName.prefix));
         }
         const aexprconst = c_expr.aexprconst();
         if (aexprconst) {
@@ -2004,7 +2080,7 @@ function isParameter(str) {
     return paramPattern.test(str);
 }
 function isSingleRowResult(selectstmt, fromColumns) {
-    var _a, _b;
+    var _a;
     const limit = checkLimit(selectstmt);
     if (limit === 1) {
         return true;
@@ -2018,11 +2094,11 @@ function isSingleRowResult(selectstmt, fromColumns) {
     const simple_select_pramary = simple_select_pramary_list[0];
     const from_clause = simple_select_pramary.from_clause();
     if (!from_clause) {
-        const hasSetReturningFunction = (_b = simple_select_pramary.target_list_()) === null || _b === void 0 ? void 0 : _b.target_list().target_el_list().some(target_el => isSetReturningFunction_target_el(target_el));
+        const hasSetReturningFunction = hasFunction(simple_select_pramary, fun => isSetReturningFunction(fun));
         return !hasSetReturningFunction;
     }
     if (!simple_select_pramary.group_clause()) {
-        const agreegateFunction = hasAggregateFunction(simple_select_pramary);
+        const agreegateFunction = hasFunction(simple_select_pramary, fun => isAggregateFunction(fun));
         if (agreegateFunction) {
             return true;
         }
@@ -2042,28 +2118,32 @@ function isSingleRowResult(selectstmt, fromColumns) {
     }
     return false;
 }
-function hasAggregateFunction(simple_select_pramary) {
+function hasFunction(simple_select_pramary, checkFunction) {
     const target_list_ = simple_select_pramary.target_list_();
     if (target_list_) {
-        return target_list_.target_list().target_el_list().some(target_el => isAggregateFunction_target_el(target_el));
+        return target_list_.target_list().target_el_list().some(target_el => checkFunction_target_el(target_el, checkFunction));
     }
     const target_list = simple_select_pramary.target_list();
-    return target_list.target_el_list().some(target_el => isAggregateFunction_target_el(target_el));
+    if (target_list) {
+        return target_list.target_el_list().some(target_el => checkFunction_target_el(target_el, checkFunction));
+    }
+    return false;
 }
 function getTableName(table_ref) {
     const relation_expr = table_ref.relation_expr();
-    const tableName = relation_expr.qualified_name().getText();
+    if (relation_expr) {
+        return traverse_relation_expr(relation_expr);
+    }
     const aliasClause = table_ref.alias_clause();
-    const tableAlias = aliasClause ? aliasClause.colid().getText() : '';
     return {
-        name: tableName,
-        alias: tableAlias
+        name: aliasClause.colid().getText(),
+        alias: ''
     };
 }
-function isAggregateFunction_target_el(target_el) {
+function checkFunction_target_el(target_el, checkFunction) {
     if (target_el instanceof PostgreSQLParser_1.Target_labelContext) {
         const c_expr_list = collectContextsOfType(target_el, PostgreSQLParser_1.Func_exprContext, false);
-        const aggrFunction = c_expr_list.some(func_expr => isAggregateFunction_c_expr(func_expr));
+        const aggrFunction = c_expr_list.some(func_expr => checkFunction(func_expr));
         return aggrFunction;
     }
     return false;
@@ -2116,25 +2196,98 @@ const aggregateFunctions = new Set([
     'variance',
     'xmlagg'
 ]);
-function isAggregateFunction_c_expr(func_expr) {
+function isAggregateFunction(func_expr) {
     var _a, _b, _c;
     const funcName = (_c = (_b = (_a = func_expr === null || func_expr === void 0 ? void 0 : func_expr.func_application()) === null || _a === void 0 ? void 0 : _a.func_name()) === null || _b === void 0 ? void 0 : _b.getText()) === null || _c === void 0 ? void 0 : _c.toLowerCase();
     // RANK(), DENSE_RANK(), PERCENT_RANK() - they are window functions, not aggregate functions, 
     // even though your query is returning them from a join involving pg_aggregate.
     return !func_expr.over_clause() && aggregateFunctions.has(funcName);
 }
-function isSetReturningFunction_target_el(target_el) {
-    if (target_el instanceof PostgreSQLParser_1.Target_labelContext) {
-        const c_expr_list = collectContextsOfType(target_el, PostgreSQLParser_1.Func_exprContext);
-        const setReturningFunction = c_expr_list.some(func_expr => isSetReturningFunction_c_expr(func_expr));
-        return setReturningFunction;
-    }
-    return false;
-}
-function isSetReturningFunction_c_expr(func_expr) {
+// SELECT distinct '''' || p.proname || ''',' AS function_name
+// FROM pg_proc p
+// JOIN pg_namespace n ON p.pronamespace = n.oid
+// WHERE p.proretset = true
+// ORDER BY function_name;
+function isSetReturningFunction(func_expr) {
     var _a, _b, _c;
     const funcName = (_c = (_b = (_a = func_expr === null || func_expr === void 0 ? void 0 : func_expr.func_application()) === null || _a === void 0 ? void 0 : _a.func_name()) === null || _b === void 0 ? void 0 : _b.getText()) === null || _c === void 0 ? void 0 : _c.toLowerCase();
-    return funcName === 'generate_series';
+    const setReturning = new Set([
+        '_pg_expandarray',
+        'aclexplode',
+        'generate_series',
+        'generate_subscripts',
+        'get_clients_with_addresses',
+        'get_mytable1',
+        'get_mytable1_by_id',
+        'get_mytable1_with_nested_function',
+        'get_mytable_plpgsql',
+        'get_users_with_posts',
+        'get_users_with_posts_plpgsql',
+        'json_array_elements',
+        'json_array_elements_text',
+        'json_each',
+        'json_each_text',
+        'json_object_keys',
+        'json_populate_recordset',
+        'json_to_recordset',
+        'jsonb_array_elements',
+        'jsonb_array_elements_text',
+        'jsonb_each',
+        'jsonb_each_text',
+        'jsonb_object_keys',
+        'jsonb_path_query',
+        'jsonb_populate_recordset',
+        'jsonb_to_recordset',
+        'pg_available_extension_versions',
+        'pg_available_extensions',
+        'pg_config',
+        'pg_cursor',
+        'pg_event_trigger_ddl_commands',
+        'pg_event_trigger_dropped_objects',
+        'pg_extension_update_paths',
+        'pg_get_keywords',
+        'pg_get_multixact_members',
+        'pg_get_publication_tables',
+        'pg_get_replication_slots',
+        'pg_hba_file_rules',
+        'pg_listening_channels',
+        'pg_lock_status',
+        'pg_logical_slot_get_binary_changes',
+        'pg_logical_slot_get_changes',
+        'pg_logical_slot_peek_binary_changes',
+        'pg_logical_slot_peek_changes',
+        'pg_ls_archive_statusdir',
+        'pg_ls_dir',
+        'pg_ls_logdir',
+        'pg_ls_tmpdir',
+        'pg_ls_waldir',
+        'pg_mcv_list_items',
+        'pg_options_to_table',
+        'pg_partition_ancestors',
+        'pg_partition_tree',
+        'pg_prepared_statement',
+        'pg_prepared_xact',
+        'pg_show_all_file_settings',
+        'pg_show_all_settings',
+        'pg_show_replication_origin_status',
+        'pg_stat_get_activity',
+        'pg_stat_get_backend_idset',
+        'pg_stat_get_progress_info',
+        'pg_stat_get_wal_senders',
+        'pg_stop_backup',
+        'pg_tablespace_databases',
+        'pg_timezone_abbrevs',
+        'pg_timezone_names',
+        'regexp_matches',
+        'regexp_split_to_table',
+        'ts_debug',
+        'ts_parse',
+        'ts_stat',
+        'ts_token_type',
+        'txid_snapshot_xip',
+        'unnest'
+    ]);
+    return setReturning.has(funcName);
 }
 function isSingleRowResult_where(a_expr, uniqueKeys) {
     var _a, _b;