/**
 * @module SourceReader/SourcePositions
 * @author Alan Rodas Bonjour <alanrodas@gmail.com>
 */
import { AbstractKnownSourcePosition } from './AbstractKnownSourcePosition';
import { SourcePosition } from '../SourcePosition';
import { SourceReader } from '../SourceReader';
/**
 * An {@link EndOfInputSourcePosition} points to the EndOfInput position in a
 * specific {@link SourceReader}.
 * That position is reached when all input documents have been processed.
 * It is a special position, because it does not point to a particular position
 * inside a document in the source input, but to the end of it.
 */
export declare class EndOfInputSourcePosition extends AbstractKnownSourcePosition implements SourcePosition {
    /**
     * @inheritdoc
     * @group API: Properties
     */
    readonly isEndOfInput = true;
    /**
     * Constructs the EndOfInput position 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
     *
     * @param sourceReader - The {@link SourceReader} of the input this position belongs to.
     */
    constructor(sourceReader: SourceReader);
    /**
     * @inheritdoc
     */
    get isEndOfDocument(): boolean;
    /**
     * @inheritdoc
     */
    get line(): number;
    /**
     * @inheritdoc
     */
    get column(): number;
    /**
     * @inheritdoc
     */
    get regions(): string[];
    /**
     * @inheritdoc
     */
    get documentName(): string;
    /**
     * @inheritdoc
     */
    get fullDocumentContents(): string;
    /**
     * @inheritdoc
     */
    get visibleDocumentContents(): string;
    /**
     * @inheritdoc
     */
    documentContextBefore(_lines: number): string[];
    /**
     * @inheritdoc
     */
    documentContextAfter(_lines: number): string[];
    /**
     * @inheritdoc
     */
    toString(): string;
    /**
     * @inheritdoc
     */
    protected _fullContentsTo(_to: AbstractKnownSourcePosition): string;
    /**
     * @inheritdoc
     */
    protected _visibleContentsTo(_to: AbstractKnownSourcePosition): string;
}
//# sourceMappingURL=EndOfInputSourcePosition.d.ts.map