import type { Range } from "vscode-languageserver";
import type { RemoteDiagramMessage } from "./remoteDiagramMessage.js";
import type { RemoteMessagePayload } from "@hylimo/diagram-protocol";
/**
 * Message to request the source range of an element
 */
export interface RequestGetSourceRangeMessage extends RemoteDiagramMessage {
    type: typeof RequestGetSourceRangeMessage.type;
    /**
     * The id of the element to get the source range for
     */
    element: string;
}
export declare namespace RequestGetSourceRangeMessage {
    const type = "requestGetSourceRange";
    /**
     * Checks if the given message is a RequestGetSourceRangeMessage
     *
     * @param message the message to check
     * @returns true if the message is a RequestGetSourceRangeMessage
     */
    function is(message: any): message is RequestGetSourceRangeMessage;
}
/**
 * Message to reply to a RequestGetSourceRangeMessage
 */
export interface ReplyGetSourceRangeMessage extends RemoteMessagePayload {
    type: typeof ReplyGetSourceRangeMessage.type;
    /**
     * The source range of the element
     */
    range: Range | undefined;
}
export declare namespace ReplyGetSourceRangeMessage {
    const type = "replyGetSourceRange";
    /**
     * Checks if the given message is a ReplyGetSourceRangeMessage
     *
     * @param message the message to check
     * @returns true if the message is a ReplyGetSourceRangeMessage
     */
    function is(message: any): message is ReplyGetSourceRangeMessage;
}
//# sourceMappingURL=getSourceRangeMessage.d.ts.map