/**
 * @module SourceReader
 * @author Alan Rodas Bonjour <alanrodas@gmail.com>
 */
import { SourcePosition } from './SourcePosition';
/**
 * A {@link SourceSpan} delimitates a span in a {@link SourceReader.SourceInput}.
 * To do that, it has {@link SourceSpan.start | start} and {@link SourceSpan.end | end} positions, indicating
 * where the span of input starts and ends, respectively.
 *
 * **REPRESENTATION INVARIANT: (not verified)**
 * * both start and end positions belongs to the same {@link SourceReader}
 * * start position appears before end position, if both of them are not Unkwnown.
 *
 * @privateRemarks
 * Properties {@link SourceSpan.start | start} and {@link SourceSpan.end | end} indicate
 * where the span of input starts and ends, respectively.
 * If the span only spans over 1 characters, the end position may not be specified.
 * If the start position is unknown, the end position should also be unknown.
 * Those conditions are guaranteed on construction.
 */
export declare class SourceSpan {
    /**
     * The start position of the span.
     */
    readonly start: SourcePosition;
    /**
     * The end position of the span.
     */
    readonly end: SourcePosition;
    /**
     * A Span represents a span of a SourceInput.
     * Either both start and end are known, or both are unknown.
     * If end is unknown but not the start, they are made equal (the span is a single position).
     * If start is unknown but not the end, the end is considered an incorrect value,
     * and made unknown.
     */
    constructor(start?: SourcePosition, end?: SourcePosition);
}
//# sourceMappingURL=SourceSpan.d.ts.map