import { Diagnostic, TypeEnv } from './types';
export declare class StaticAnalyzer {
    private diagnostics;
    private globalScope;
    private builtinsReturnType;
    constructor(env?: TypeEnv);
    private registerBuiltins;
    analyze(code: string): Diagnostic[];
    private analyzeBlock;
    private analyzeStmt;
    private analyzeExpr;
    private analyzeLeaf;
    private analyzeNode;
    private isBooleanCompatible;
    private addError;
    private addWarn;
    private getLine;
    private buildFullNameIfLeaf;
}
//# sourceMappingURL=analyzer.d.ts.map