redscript-mc 1.2.29 → 2.0.0

package/dist/src/typechecker/index.d.ts

@@ -0,0 +1,61 @@
+/**
+ * RedScript Type Checker
+ *
+ * Performs basic type checking between Parser and Lowering phases.
+ * Collects errors but doesn't block compilation (warn mode).
+ */
+import type { Program } from '../ast/types';
+import { DiagnosticError } from '../diagnostics';
+export declare class TypeChecker {
+    private collector;
+    private functions;
+    private implMethods;
+    private structs;
+    private enums;
+    private consts;
+    private currentFn;
+    private currentReturnType;
+    private scope;
+    private selfTypeStack;
+    private readonly richTextBuiltins;
+    constructor(source?: string, filePath?: string);
+    private getNodeLocation;
+    private report;
+    /**
+     * Type check a program. Returns collected errors.
+     */
+    check(program: Program): DiagnosticError[];
+    private checkFunction;
+    private checkFunctionDecorators;
+    private checkBlock;
+    private checkStmt;
+    private checkLetStmt;
+    private checkReturnStmt;
+    private checkExpr;
+    private checkCallExpr;
+    private checkRichTextBuiltinCall;
+    private checkInvokeExpr;
+    private checkFunctionCallArgs;
+    private checkTpCall;
+    private checkMemberExpr;
+    private checkStaticCallExpr;
+    private checkLambdaExpr;
+    private checkIfBranches;
+    private getThenBranchNarrowing;
+    private inferType;
+    private inferLambdaType;
+    /** Infer entity type from a selector */
+    private inferEntityTypeFromSelector;
+    private resolveInstanceMethod;
+    /** Check if childType is a subtype of parentType */
+    private isEntitySubtype;
+    /** Push a new self type context */
+    private pushSelfType;
+    /** Pop self type context */
+    private popSelfType;
+    /** Get current @s type */
+    private getCurrentSelfType;
+    private typesMatch;
+    private typeToString;
+    private normalizeType;
+}