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

TheoryNode

interface TheoryNode : SyntaxNode

Complete input parsed as an ordered, possibly empty collection of clauses.

Properties

abstract val children: List<SyntaxNode>

Immediate syntax children in source order.

abstract val clauses: List<ClauseNode>

clauses in source order

abstract val kind: SyntaxKind

Stable structural category of this node.

abstract val span: SourceSpan

End-exclusive range of source characters belonging to this node.

abstract val tokenRange: TokenRange

End-exclusive range of absolute token IDs belonging to this node.

Functions

open override fun <T> accept(visitor: SyntaxNodeVisitor<T>): T

Dispatches this theory to SyntaxNodeVisitor.visitTheory.