typescript-to-gdscript 0.1.0

package/dist/converter/gd-to-ts/helpers/explicit-convert.js

@@ -0,0 +1,173 @@
+/**
+ * Explicit convert helper for GD-to-TS post-processing.
+ * Collects variant-type assignment errors and produces gd.as(value, Target) fixes.
+ */
+import ts from 'typescript';
+/** Map TS primitive type names back to Godot type names for registry lookups. */
+export const TS_TO_GD_TYPE_NAMES = new Map([
+    ['string', 'String'],
+    ['boolean', 'bool'],
+    ['number', 'float'],
+]);
+/** TS error codes for argument/assignment type mismatches */
+export const TS_ASSIGNMENT_ERROR_CODES = new Set([
+    2345, // Argument of type 'X' is not assignable to parameter of type 'Y'.
+    2322, // Type 'X' is not assignable to type 'Y'.
+    2739, // Type 'X' is missing the following properties from type 'Y': ...
+    2740, // Type 'X' is missing the following properties from type 'Y': ..., and N more.
+    2741, // Property 'p' is missing in type 'X' but required in type 'Y'.
+]);
+/**
+ * Extract source and target type names from a TS assignment-like error message.
+ * Supported formats:
+ *   "Argument of type 'Vector2' is not assignable to parameter of type 'Vector2i'."
+ *   "Type 'Vector2' is not assignable to type 'Vector2i'."
+ *   "Type '[]' is missing the following properties from type 'PackedVector2Array': ..."
+ *   "Property 'x' is missing in type '[]' but required in type 'PackedVector2Array'."
+ */
+export function extractAssignmentTypes(messageText) {
+    const text = typeof messageText === 'string' ? messageText : messageText.messageText;
+    const notAssignable = text.match(/type '([^']+)' is not assignable to (?:parameter of )?type '([^']+)'/);
+    if (notAssignable) {
+        return {
+            source: notAssignable[1],
+            target: notAssignable[2].replace(/\s*\|\s*null$/, ''),
+        };
+    }
+    const missingProps = text.match(/Type '([^']+)' is missing the following properties from type '([^']+)'/);
+    if (missingProps) {
+        return {
+            source: missingProps[1],
+            target: missingProps[2].replace(/\s*\|\s*null$/, ''),
+        };
+    }
+    const missingProp = text.match(/Property '[^']+' is missing in type '([^']+)' but required in type '([^']+)'/);
+    if (missingProp) {
+        return {
+            source: missingProp[1],
+            target: missingProp[2].replace(/\s*\|\s*null$/, ''),
+        };
+    }
+    return null;
+}
+/**
+ * Strip TypeScript type qualifiers to get the base class name.
+ * Examples:
+ *   "Vector2 | null"   -> "Vector2"
+ *   "readonly Vector2" -> "Vector2"
+ *   "Array<Color>"     -> "Array"
+ *   "Color[]"          -> "Array"
+ */
+export function simplifyTypeName(type) {
+    let t = type
+        .replace(/\s*\|\s*null$/, '')
+        .replace(/\s*\|\s*undefined$/, '')
+        .replace(/^readonly\s+/, '')
+        .trim();
+    // Normalize all array forms (including the empty-array literal type `[]`)
+    // to bare "Array" for registry lookup.
+    if (t === '[]' ||
+        /\[\]$/.test(t) ||
+        /^Array</.test(t) ||
+        /^ReadonlyArray</.test(t)) {
+        return 'Array';
+    }
+    // Strip generic parameters from any other qualified type
+    return t.replace(/<.*>$/, '');
+}
+/**
+ * Find the node at a given position -- used for argument expressions.
+ * Returns the smallest node that covers exactly the given position+length.
+ */
+export function findNodeAt(sourceFile, pos, length) {
+    const end = pos + length;
+    function visit(node) {
+        if (node.getStart(sourceFile) > pos || node.getEnd() < end)
+            return undefined;
+        for (const child of node.getChildren(sourceFile)) {
+            const found = visit(child);
+            if (found)
+                return found;
+        }
+        return node;
+    }
+    return visit(sourceFile);
+}
+/**
+ * Collect variant-type assignment errors and produce `gd.as(value, Target)` fixes.
+ */
+export function collectExplicitConvertFixes(program, filePaths, registry) {
+    const fixesByFile = new Map();
+    for (const sourceFile of program.getSourceFiles()) {
+        const fileName = sourceFile.fileName;
+        if (!filePaths.has(fileName))
+            continue;
+        const diagnostics = program.getSemanticDiagnostics(sourceFile);
+        const fixedRanges = [];
+        function overlapsExisting(start, end) {
+            return fixedRanges.some((r) => (start >= r.start && start < r.end) ||
+                (end > r.start && end <= r.end) ||
+                (start <= r.start && end >= r.end));
+        }
+        for (const diag of diagnostics) {
+            if (!TS_ASSIGNMENT_ERROR_CODES.has(diag.code))
+                continue;
+            if (diag.start === undefined || diag.length === undefined)
+                continue;
+            const types = extractAssignmentTypes(diag.messageText);
+            if (!types)
+                continue;
+            const source = simplifyTypeName(types.source);
+            const target = simplifyTypeName(types.target);
+            if (source === target)
+                continue;
+            // Both must be variant types and target must accept source as a variant convert.
+            // Map TS primitive names back to Godot names for registry lookup.
+            const gdSource = TS_TO_GD_TYPE_NAMES.get(source) ?? source;
+            const gdTarget = TS_TO_GD_TYPE_NAMES.get(target) ?? target;
+            if (!registry.canVariantConvert(gdSource, gdTarget))
+                continue;
+            let node = findNodeAt(sourceFile, diag.start, diag.length);
+            if (!node)
+                continue;
+            // Some diagnostics point at the LHS / keyword rather than the value
+            // expression. Redirect to the actual value we want to wrap.
+            {
+                const parent = node.parent;
+                if (ts.isIdentifier(node) &&
+                    (ts.isVariableDeclaration(parent) ||
+                        ts.isPropertyDeclaration(parent)) &&
+                    parent.name === node &&
+                    parent.initializer) {
+                    // Variable/property name -> use initializer
+                    node = parent.initializer;
+                }
+                else if (ts.isBinaryExpression(parent) &&
+                    parent.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+                    parent.left === node) {
+                    // Assignment LHS -> use RHS
+                    node = parent.right;
+                }
+                else if (ts.isReturnStatement(parent) && parent.expression) {
+                    // `return` keyword -> use returned expression
+                    node = parent.expression;
+                }
+            }
+            const start = node.getStart(sourceFile);
+            const end = node.getEnd();
+            if (overlapsExisting(start, end))
+                continue;
+            const valueText = node.getText(sourceFile);
+            const replacement = `gd.as(${valueText}, ${target})`;
+            let fixes = fixesByFile.get(fileName);
+            if (!fixes) {
+                fixes = [];
+                fixesByFile.set(fileName, fixes);
+            }
+            fixes.push({ start, end, replacement });
+            fixedRanges.push({ start, end });
+        }
+    }
+    return fixesByFile;
+}
+//# sourceMappingURL=explicit-convert.js.map

package/dist/converter/gd-to-ts/helpers/explicit-convert.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"explicit-convert.js","sourceRoot":"","sources":["../../../../src/converter/gd-to-ts/helpers/explicit-convert.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,iFAAiF;AACjF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAiB;IACzD,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,SAAS,EAAE,MAAM,CAAC;IACnB,CAAC,QAAQ,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC;AAEH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IAC/C,IAAI,EAAE,mEAAmE;IACzE,IAAI,EAAE,0CAA0C;IAChD,IAAI,EAAE,kEAAkE;IACxE,IAAI,EAAE,+EAA+E;IACrF,IAAI,EAAE,gEAAgE;CACvE,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CACpC,WAA+C;IAE/C,MAAM,IAAI,GACR,OAAO,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC;IAE1E,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAC9B,sEAAsE,CACvE,CAAC;IACF,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO;YACL,MAAM,EAAE,aAAa,CAAC,CAAC,CAAE;YACzB,MAAM,EAAE,aAAa,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;SACvD,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAC7B,wEAAwE,CACzE,CAAC;IACF,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO;YACL,MAAM,EAAE,YAAY,CAAC,CAAC,CAAE;YACxB,MAAM,EAAE,YAAY,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;SACtD,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAC5B,8EAA8E,CAC/E,CAAC;IACF,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO;YACL,MAAM,EAAE,WAAW,CAAC,CAAC,CAAE;YACvB,MAAM,EAAE,WAAW,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;SACrD,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,IAAI,CAAC,GAAG,IAAI;SACT,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;SAC5B,OAAO,CAAC,oBAAoB,EAAE,EAAE,CAAC;SACjC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;SAC3B,IAAI,EAAE,CAAC;IACV,0EAA0E;IAC1E,uCAAuC;IACvC,IACE,CAAC,KAAK,IAAI;QACV,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACf,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QACjB,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EACzB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,yDAAyD;IACzD,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAChC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,UAAyB,EACzB,GAAW,EACX,MAAc;IAEd,MAAM,GAAG,GAAG,GAAG,GAAG,MAAM,CAAC;IACzB,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG;YACxD,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3B,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,2BAA2B,CACzC,OAAmB,EACnB,SAAsB,EACtB,QAA4B;IAE5B,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEnD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QAEvC,MAAM,WAAW,GAAG,OAAO,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAE/D,MAAM,WAAW,GAA0C,EAAE,CAAC;QAC9D,SAAS,gBAAgB,CAAC,KAAa,EAAE,GAAW;YAClD,OAAO,WAAW,CAAC,IAAI,CACrB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC;gBACnC,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC;gBAC/B,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CACrC,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YAEpE,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACvD,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,MAAM,KAAK,MAAM;gBAAE,SAAS;YAEhC,iFAAiF;YACjF,kEAAkE;YAClE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC;YAC3D,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC;YAC3D,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBAAE,SAAS;YAE9D,IAAI,IAAI,GAAG,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YAC3D,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,oEAAoE;YACpE,4DAA4D;YAC5D,CAAC;gBACC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAC3B,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;oBACrB,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;wBAC/B,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC;oBACnC,MAAM,CAAC,IAAI,KAAK,IAAI;oBACpB,MAAM,CAAC,WAAW,EAClB,CAAC;oBACD,4CAA4C;oBAC5C,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC;gBAC5B,CAAC;qBAAM,IACL,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;oBAC7B,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;oBACvD,MAAM,CAAC,IAAI,KAAK,IAAI,EACpB,CAAC;oBACD,4BAA4B;oBAC5B,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC;gBACtB,CAAC;qBAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBAC7D,8CAA8C;oBAC9C,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC;gBAC3B,CAAC;YACH,CAAC;YAED,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACxC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YAC1B,IAAI,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC;gBAAE,SAAS;YAE3C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAC3C,MAAM,WAAW,GAAG,SAAS,SAAS,KAAK,MAAM,GAAG,CAAC;YAErD,IAAI,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,KAAK,GAAG,EAAE,CAAC;gBACX,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACnC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC;YACxC,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/converter/gd-to-ts/helpers/nullable-return.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Nullable return type helper.
+ *
+ * Detects TS2322 "Type 'null' is not assignable to type 'X'" on return
+ * statements where X is a class type, and adds `| null` to the function's
+ * return type annotation.
+ */
+import ts from 'typescript';
+export interface SourceFix {
+    start: number;
+    end: number;
+    replacement: string;
+}
+/**
+ * Collect fixes for functions that return null but have a non-nullable
+ * return type annotation. Adds `| null` to the return type.
+ */
+export declare function collectNullableReturnFixes(program: ts.Program, filePaths: Set<string>): Map<string, SourceFix[]>;
+//# sourceMappingURL=nullable-return.d.ts.map

package/dist/converter/gd-to-ts/helpers/nullable-return.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable-return.d.ts","sourceRoot":"","sources":["../../../../src/converter/gd-to-ts/helpers/nullable-return.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,GACrB,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAyD1B"}

package/dist/converter/gd-to-ts/helpers/nullable-return.js

@@ -0,0 +1,116 @@
+/**
+ * Nullable return type helper.
+ *
+ * Detects TS2322 "Type 'null' is not assignable to type 'X'" on return
+ * statements where X is a class type, and adds `| null` to the function's
+ * return type annotation.
+ */
+import ts from 'typescript';
+/**
+ * Collect fixes for functions that return null but have a non-nullable
+ * return type annotation. Adds `| null` to the return type.
+ */
+export function collectNullableReturnFixes(program, filePaths) {
+    const fixesByFile = new Map();
+    for (const sourceFile of program.getSourceFiles()) {
+        const fileName = sourceFile.fileName;
+        if (!filePaths.has(fileName))
+            continue;
+        const diagnostics = program.getSemanticDiagnostics(sourceFile);
+        const fixedPositions = new Set();
+        const fixes = [];
+        for (const diag of diagnostics) {
+            // TS2322: Type 'X' is not assignable to type 'Y'
+            if (diag.code !== 2322)
+                continue;
+            if (diag.start === undefined || diag.length === undefined)
+                continue;
+            // Check if the error is about null assignment
+            if (!isNullReturnError(diag.messageText))
+                continue;
+            // Find the node at the diagnostic position — should be a return keyword
+            const node = findNodeAt(sourceFile, diag.start, diag.length);
+            if (!node)
+                continue;
+            // Walk up to find the return statement
+            let returnStmt;
+            let current = node;
+            while (current) {
+                if (ts.isReturnStatement(current)) {
+                    returnStmt = current;
+                    break;
+                }
+                current = current.parent;
+            }
+            if (!returnStmt)
+                continue;
+            // Find the enclosing function with a return type annotation
+            const func = findEnclosingFunction(returnStmt);
+            if (!func?.type)
+                continue;
+            // Skip if already has `| null` in return type
+            const typeText = func.type.getText(sourceFile);
+            if (typeText.includes('null'))
+                continue;
+            // Insert `| null` after the return type annotation
+            const typeEnd = func.type.getEnd();
+            if (fixedPositions.has(typeEnd))
+                continue;
+            fixedPositions.add(typeEnd);
+            fixes.push({ start: typeEnd, end: typeEnd, replacement: ' | null' });
+        }
+        if (fixes.length > 0) {
+            fixesByFile.set(fileName, fixes);
+        }
+    }
+    return fixesByFile;
+}
+/**
+ * Check if a TS2322 diagnostic is about returning null.
+ * Looks for "Type 'null' is not assignable to type" in the message chain.
+ */
+function isNullReturnError(messageText) {
+    if (typeof messageText === 'string') {
+        return /type 'null' is not assignable to type/i.test(messageText);
+    }
+    if (/type 'null' is not assignable to type/i.test(messageText.messageText)) {
+        return true;
+    }
+    if (messageText.next) {
+        for (const sub of messageText.next) {
+            if (isNullReturnError(sub))
+                return true;
+        }
+    }
+    return false;
+}
+/** Find the smallest AST node covering a position+length. */
+function findNodeAt(sourceFile, pos, length) {
+    const end = pos + length;
+    function visit(node) {
+        if (node.getStart(sourceFile) > pos || node.getEnd() < end)
+            return undefined;
+        for (const child of node.getChildren(sourceFile)) {
+            const found = visit(child);
+            if (found)
+                return found;
+        }
+        return node;
+    }
+    return visit(sourceFile);
+}
+/** Find the enclosing function/method/arrow declaration. */
+function findEnclosingFunction(node) {
+    let current = node;
+    while (current) {
+        if (ts.isFunctionDeclaration(current) ||
+            ts.isMethodDeclaration(current) ||
+            ts.isArrowFunction(current) ||
+            ts.isFunctionExpression(current)) {
+            return current;
+        }
+        current = current.parent;
+    }
+    return undefined;
+}
+//# sourceMappingURL=nullable-return.js.map

package/dist/converter/gd-to-ts/helpers/nullable-return.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable-return.js","sourceRoot":"","sources":["../../../../src/converter/gd-to-ts/helpers/nullable-return.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAQ5B;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAAmB,EACnB,SAAsB;IAEtB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEnD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QAEvC,MAAM,WAAW,GAAG,OAAO,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAC/D,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QACzC,MAAM,KAAK,GAAgB,EAAE,CAAC;QAE9B,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,iDAAiD;YACjD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,SAAS;YACjC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YAEpE,8CAA8C;YAC9C,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC;gBAAE,SAAS;YAEnD,wEAAwE;YACxE,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,uCAAuC;YACvC,IAAI,UAA0C,CAAC;YAC/C,IAAI,OAAO,GAAwB,IAAI,CAAC;YACxC,OAAO,OAAO,EAAE,CAAC;gBACf,IAAI,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;oBAClC,UAAU,GAAG,OAAO,CAAC;oBACrB,MAAM;gBACR,CAAC;gBACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YAC3B,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,4DAA4D;YAC5D,MAAM,IAAI,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;YAC/C,IAAI,CAAC,IAAI,EAAE,IAAI;gBAAE,SAAS;YAE1B,8CAA8C;YAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAC/C,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,SAAS;YAExC,mDAAmD;YACnD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACnC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC1C,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAE5B,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC;QACvE,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CACxB,WAA+C;IAE/C,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,wCAAwC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,wCAAwC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;YACnC,IAAI,iBAAiB,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6DAA6D;AAC7D,SAAS,UAAU,CACjB,UAAyB,EACzB,GAAW,EACX,MAAc;IAEd,MAAM,GAAG,GAAG,GAAG,GAAG,MAAM,CAAC;IACzB,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG;YAAE,OAAO,SAAS,CAAC;QAC7E,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3B,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC;AAC3B,CAAC;AAED,4DAA4D;AAC5D,SAAS,qBAAqB,CAC5B,IAAa;IAEb,IAAI,OAAO,GAAwB,IAAI,CAAC;IACxC,OAAO,OAAO,EAAE,CAAC;QACf,IACE,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;YAC/B,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAChC,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/converter/gd-to-ts/helpers/nullable.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Nullable helper for GD-to-TS post-processing.
+ *
+ * Handles `T | null` widening and narrowing at OUT and IN positions. Emit-time
+ * IN widening is done separately in the converter (`widenInType` in
+ * `../functions.ts`). Four phases run in order every pass:
+ *
+ *   A  AST-only, both modes. Class fields with a reference-type annotation
+ *      that are never assigned (no initializer, no constructor assignment,
+ *      no `_ready` assignment) are rewritten to `field: T | null = null`.
+ *
+ *   B  AST-only, addon mode only. Reference-typed OUT positions that don't
+ *      benefit from type-checker feedback — assigned field annotations and
+ *      local-variable annotations — get widened up-front via text-based
+ *      classification. Function / method / arrow / getter return types are
+ *      NOT widened here; they fall through to Phase C like user mode so
+ *      narrowing done by Phase D can influence whether they actually need
+ *      `| null`.
+ *
+ *   C  Type-checker driven, both modes, iterative. TS2322 "Type '...null...'
+ *      is not assignable to type 'X'" where X is a reference class → widen
+ *      the declared type at the assignment target (return annotation, field
+ *      annotation, or local variable annotation).
+ *
+ *   D  Type-checker driven, both modes, iterative. Inverse of Phase C for
+ *      parameters: TS2531 / TS18047 "possibly null" on an identifier that
+ *      resolves to a parameter declaration → strip `| null` from the
+ *      parameter's annotation. Runs AFTER Phase C each pass so return-type
+ *      flow (which can depend on params) settles first.
+ *
+ * Replaces the former `nullable-return.ts` helper — its return-null case is
+ * subsumed by Phase C.
+ */
+import ts from 'typescript';
+import type { GodotClassRegistry } from '../../../typings/godot-registry.ts';
+import type { SourceFix } from '../ts-helpers.ts';
+export interface NullableHelperOptions {
+    addonMode: boolean;
+}
+export declare function collectNullableFixes(program: ts.Program, filePaths: Set<string>, registry: GodotClassRegistry, options: NullableHelperOptions): Map<string, SourceFix[]>;
+//# sourceMappingURL=nullable.d.ts.map

package/dist/converter/gd-to-ts/helpers/nullable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable.d.ts","sourceRoot":"","sources":["../../../../src/converter/gd-to-ts/helpers/nullable.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAsflD,MAAM,WAAW,qBAAqB;IACpC,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EACtB,QAAQ,EAAE,kBAAkB,EAC5B,OAAO,EAAE,qBAAqB,GAC7B,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CA6B1B"}