com.github.tmarsteel.ktprolog.parser.source.SourceLocationRange.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of runtime-parser-jvm Show documentation

The newest version!

package com.github.tmarsteel.ktprolog.parser.source

class SourceLocationRange(val start: SourceLocation, val end: SourceLocation) : SourceLocation(start.unit, start.line, start.column, start.sourceIndex) {
    init {
        if (start.unit != end.unit) {
            throw IllegalArgumentException("The two given locations must have the same source unit.")
        }

        if (start.line > end.line || (start.line == end.line && start.column > end.column)) {
            throw IllegalArgumentException("The start must be before the end.")
        }
    }

    override operator fun rangeTo(other: SourceLocation): SourceLocationRange {
        if (other is SourceLocationRange) {
            return SourceLocationRange(this, other.end)
        }
        else {
            return SourceLocationRange(this, other)
        }
    }

    companion object {
        val EOF = SourceLocationRange(SourceLocation.EOF, SourceLocation.EOF)
    }
}