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

ClauseNode

interface ClauseNode : SyntaxNode

One full-stop-terminated Prolog expression in a theory or parse session.

Properties

abstract val children: List<SyntaxNode>

Immediate syntax children in source order.

abstract val expression: ExpressionNode

clause expression without the terminator

abstract val kind: SyntaxKind

Stable structural category of this node.

abstract val span: SourceSpan

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

terminatorTokenId

abstract val terminatorTokenId: Int

absolute ID of the terminating full-stop token

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 clause to SyntaxNodeVisitor.visitClause.