parser-core/it.unibo.tuprolog.core.parsing/TermReaderImpl

TermReaderImpl

class TermReaderImpl(val scope: Scope, val defaultOperatorSet: OperatorSet, lexerOptions: LexerOptions = LexerOptions(), parserOptions: ParserOptions = ParserOptions()) : TermReader

Configurable JVM implementation of TermReader.

Prefer a TermReader factory unless custom lexer or parser limits are required.

Parameters

lexerOptions

lazy-lexer and retained-token configuration

parserOptions

nesting and ambiguity configuration

Constructors

constructor(scope: Scope, defaultOperatorSet: OperatorSet, lexerOptions: LexerOptions = LexerOptions(), parserOptions: ParserOptions = ParserOptions())

Properties

defaultOperatorSet

open override val defaultOperatorSet: OperatorSet

default operators for overloads that omit them

open override val scope: Scope

scope used to construct terms

Functions

open fun readTerm(inputStream: InputStream): Term?

open fun readTerm(reader: Reader): Term?

open override fun readTerm(inputStream: InputStream, operators: OperatorSet): Term?

open override fun readTerm(reader: Reader, operators: OperatorSet): Term?

open fun readTerms(inputStream: InputStream): Sequence<Term>

open fun readTerms(reader: Reader): Sequence<Term>

open fun readTerms(string: String): Sequence<Term>

open override fun readTerms(inputStream: InputStream, operators: OperatorSet): Sequence<Term>

open override fun readTerms(reader: Reader, operators: OperatorSet): Sequence<Term>

open fun readTerms(string: String, operators: OperatorSet): Sequence<Term>

Returns terms parsed lazily from string using operators.