claude-code-emacs-mcp-server/dist/schemas/diagnostic-schema.d.ts

MCP server for Claude Code Emacs integration

import { z } from 'zod';
export declare const getDiagnosticsInputSchema: z.ZodObject<{
    buffer: z.ZodString;
}, "strip", z.ZodTypeAny, {
    buffer: string;
}, {
    buffer: string;
}>;
declare const diagnosticSchema: z.ZodObject<{
    range: z.ZodObject<{
        start: z.ZodObject<{
            line: z.ZodNumber;
            character: z.ZodNumber;
        }, "strip", z.ZodTypeAny, {
            line: number;
            character: number;
        }, {
            line: number;
            character: number;
        }>;
        end: z.ZodObject<{
            line: z.ZodNumber;
            character: z.ZodNumber;
        }, "strip", z.ZodTypeAny, {
            line: number;
            character: number;
        }, {
            line: number;
            character: number;
        }>;
    }, "strip", z.ZodTypeAny, {
        start: {
            line: number;
            character: number;
        };
        end: {
            line: number;
            character: number;
        };
    }, {
        start: {
            line: number;
            character: number;
        };
        end: {
            line: number;
            character: number;
        };
    }>;
    severity: z.ZodString;
    message: z.ZodString;
    source: z.ZodOptional<z.ZodString>;
    code: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNumber]>>;
}, "strip", z.ZodTypeAny, {
    message: string;
    range: {
        start: {
            line: number;
            character: number;
        };
        end: {
            line: number;
            character: number;
        };
    };
    severity: string;
    code?: string | number | undefined;
    source?: string | undefined;
}, {
    message: string;
    range: {
        start: {
            line: number;
            character: number;
        };
        end: {
            line: number;
            character: number;
        };
    };
    severity: string;
    code?: string | number | undefined;
    source?: string | undefined;
}>;
export declare const getDiagnosticsOutputSchema: z.ZodObject<{
    diagnostics: z.ZodArray<z.ZodObject<{
        file: z.ZodString;
        diagnostics: z.ZodArray<z.ZodObject<{
            range: z.ZodObject<{
                start: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, "strip", z.ZodTypeAny, {
                    line: number;
                    character: number;
                }, {
                    line: number;
                    character: number;
                }>;
                end: z.ZodObject<{
                    line: z.ZodNumber;
                    character: z.ZodNumber;
                }, "strip", z.ZodTypeAny, {
                    line: number;
                    character: number;
                }, {
                    line: number;
                    character: number;
                }>;
            }, "strip", z.ZodTypeAny, {
                start: {
                    line: number;
                    character: number;
                };
                end: {
                    line: number;
                    character: number;
                };
            }, {
                start: {
                    line: number;
                    character: number;
                };
                end: {
                    line: number;
                    character: number;
                };
            }>;
            severity: z.ZodString;
            message: z.ZodString;
            source: z.ZodOptional<z.ZodString>;
            code: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNumber]>>;
        }, "strip", z.ZodTypeAny, {
            message: string;
            range: {
                start: {
                    line: number;
                    character: number;
                };
                end: {
                    line: number;
                    character: number;
                };
            };
            severity: string;
            code?: string | number | undefined;
            source?: string | undefined;
        }, {
            message: string;
            range: {
                start: {
                    line: number;
                    character: number;
                };
                end: {
                    line: number;
                    character: number;
                };
            };
            severity: string;
            code?: string | number | undefined;
            source?: string | undefined;
        }>, "many">;
    }, "strip", z.ZodTypeAny, {
        diagnostics: {
            message: string;
            range: {
                start: {
                    line: number;
                    character: number;
                };
                end: {
                    line: number;
                    character: number;
                };
            };
            severity: string;
            code?: string | number | undefined;
            source?: string | undefined;
        }[];
        file: string;
    }, {
        diagnostics: {
            message: string;
            range: {
                start: {
                    line: number;
                    character: number;
                };
                end: {
                    line: number;
                    character: number;
                };
            };
            severity: string;
            code?: string | number | undefined;
            source?: string | undefined;
        }[];
        file: string;
    }>, "many">;
}, "strip", z.ZodTypeAny, {
    diagnostics: {
        diagnostics: {
            message: string;
            range: {
                start: {
                    line: number;
                    character: number;
                };
                end: {
                    line: number;
                    character: number;
                };
            };
            severity: string;
            code?: string | number | undefined;
            source?: string | undefined;
        }[];
        file: string;
    }[];
}, {
    diagnostics: {
        diagnostics: {
            message: string;
            range: {
                start: {
                    line: number;
                    character: number;
                };
                end: {
                    line: number;
                    character: number;
                };
            };
            severity: string;
            code?: string | number | undefined;
            source?: string | undefined;
        }[];
        file: string;
    }[];
}>;
export type GetDiagnosticsArgs = z.infer<typeof getDiagnosticsInputSchema>;
export type GetDiagnosticsResult = z.infer<typeof getDiagnosticsOutputSchema>;
export type Diagnostic = z.infer<typeof diagnosticSchema>;
export {};
//# sourceMappingURL=diagnostic-schema.d.ts.map