parser-impl/it.unibo.tuprolog.parser.tree/SyntaxTree

SyntaxTree

class SyntaxTree<out T : SyntaxNode> : Representable

Immutable concrete syntax result with a self-contained source and token snapshot.

A tree remains usable after a streaming session releases committed input. Use source and tokens for exact source recovery; semanticTokens adds parser-derived roles for tooling.

val tree = parser.parseClause(lexer.lex(SourceText("f(X).")))
val exactClause = tree.source.text(tree.root.span)
val role = tree.semanticToken(tree.root.terminatorTokenId)?.role

Type Parameters

T

root-node type

Properties

val lexedSource: MaterializedLexedSource

immutable source/token snapshot owned by this tree

val root: T

typed root node

val semanticTokens: List<SemanticToken>

semantic annotations in token order

val source: SourceText

Immutable source fragment owned by this tree.

val tokens: TokenStore

Absolute-ID-addressable tokens owned by this tree.

Functions

fun semanticToken(tokenId: Int): SemanticToken?

Returns the semantic annotation for tokenId, or null if it has no semantic role.

toRepresentation

open override fun toRepresentation(): String

Returns the normalized representations of this tree's tokens joined in lexical order.