parser-impl/it.unibo.tuprolog.parser.sources

Package-level declarations

Types

A tokenized source whose token production may be lazy.

An immutable, self-contained token and source snapshot.

interface Source

A possibly partial view of a source document.

data class SourcePosition(val offset: Int, val line: Int, val column: Int)

A position in the complete input.

data class SourceSpan(val start: SourcePosition, val endExclusive: SourcePosition)

End-exclusive range in one source.

class SourceText(val text: String, val id: String? = null, val origin: SourcePosition = SourcePosition(0, 0, 0)) : Source

Immutable source text together with an optional diagnostic identifier.

data class TokenRange(val startInclusive: Int, val endExclusive: Int)

End-exclusive range of absolute token identifiers in a LexedSource.

An ID-addressable token view.