class IntRange {
    constructor(lower, upper) {
        this.lower = lower;
        this.upper = upper !== undefined ? upper : lower;
    }
    getLower() {
        return this.lower;
    }
    getUpper() {
        return this.upper;
    }
    equals(o) {
        if (!(o instanceof IntRange))
            return false;
        const r = o;
        return this.lower === r.lower && this.upper === r.upper;
    }
    toString() {
        return "[" + this.lower + " - " + this.upper + "]";
    }
}
IntRange.MAX_INT = 2147483647;
IntRange.STAR = new IntRange(0, IntRange.MAX_INT);
IntRange.PLUS = new IntRange(1, IntRange.MAX_INT);
IntRange.OPTIONAL = new IntRange(0, 1);
export { IntRange };
//# sourceMappingURL=IntRange.js.map