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

SuspendingPrologParseSession

Stateful clause-by-clause parsing whose input chunks are obtained asynchronously.

The session is single-consumer and its operator table may be updated between calls. Always call close, preferably from finally, to release the underlying asynchronous source.

Properties

currentPosition

abstract val currentPosition: SourcePosition

Start position of the next candidate clause.

isAtEnd

abstract val isAtEnd: Boolean

True only after EOF has been observed and no candidate clause remains.

operators

abstract val operators: MutableOperatorTable

Session-local operators used for subsequent clauses.

Functions

abstract suspend fun close()

Closes the underlying chunk source; repeated calls are safe.

parseNextClause

abstract suspend fun parseNextClause(): SyntaxTree<ClauseNode>?

Parses and commits the next clause, or returns null at EOF.