agda-web-docs-lib/dist/indexer.d.ts

Library for enhancing Agda-generated HTML documentation

import { PositionMappings } from './types';
export declare class AgdaDocsIndexer {
    private static globalPositionMappings;
    /**
     * Gets the global position-to-line mappings for all files
     * Used for passing mappings to worker threads
     */
    static getGlobalMappings(): PositionMappings;
    /**
     * Sets the global position-to-line mappings
     * Used for receiving mappings in worker threads
     */
    static setGlobalMappings(mappings: PositionMappings): void;
    /**
     * Builds position-to-line mappings for the Agda documentation
     * @param inputDir Directory containing the HTML files
     * @param progressCallback Optional callback function for progress reporting
     */
    static buildPositionMappings(inputDir: string, progressCallback?: (current: number, total: number) => void): Promise<void>;
    /**
     * Adds line numbers to code blocks in a document
     * Static version used during pre-processing
     */
    private static addLineNumbersToElementsInDocument;
    /**
     * Static version of findLineNumberForElement used during pre-processing
     */
    private static findLineNumberForElement;
}