/**
 * @module SourceReader/SourcePositions
 * @author Alan Rodas Bonjour <alanrodas@gmail.com>
 */
import { AbstractDocumentSourcePosition } from './AbstractDocumentSourcePosition';
import { SourcePosition } from '../SourcePosition';
import { SourceReader } from '../SourceReader';
/**
 * A {@link DocumentSourcePosition} points to a particular position, different
 * from EndOfDocument, inside a particular document.
 */
export declare class DocumentSourcePosition extends AbstractDocumentSourcePosition implements SourcePosition {
    /**
     * @inheritdoc
     */
    readonly isEndOfDocument: boolean;
    /**
     * Constructs a defined position different from the end of a document in an
     * input source.
     * It is intended to be used only by {@link SourceReader}.
     *
     * **PRECONDITIONS:** (not verified during execution)
     *  * all numbers are >= 0
     *  * numbers are consistent with the reader state
     */
    constructor(sourceReader: SourceReader, line: number, column: number, regions: string[], documentIndex: number, charIndex: number, visibleCharIndex: number);
    /**
     * @inheritdoc
     */
    toString(): string;
    /**
     * @inheritdoc
     */
    protected _documentContextBefore(lines: number): string[];
    /**
     * @inheritdoc
     */
    protected _documentContextAfter(lines: number): string[];
}
//# sourceMappingURL=DocumentSourcePosition.d.ts.map