parser-theory/it.unibo.tuprolog.theory.parsing/ClausesReader

ClausesReader

interface ClausesReader

Reads clauses and theories lazily from JVM character or byte streams.

Lazy clause sequences are backed by one parse session and should be consumed once in order. Reading starts on iteration. The default adapter closes its input at EOF; an InputStream wrapped for decoding is closed with that reader. Parsing and I/O failures are translated to it.unibo.tuprolog.core.parsing.ParseException and identify their zero-based clause index.

See also

Types

object Companion

Properties

defaultOperatorSet

abstract val defaultOperatorSet: OperatorSet

Initial operators used when no explicit set is supplied.

Functions

open fun readClauses(inputStream: InputStream): List<Clause>

open fun readClauses(reader: Reader): List<Clause>

open fun readClauses(inputStream: InputStream, operators: OperatorSet): List<Clause>

Reads all clauses eagerly from inputStream using operators.

open fun readClauses(reader: Reader, operators: OperatorSet): List<Clause>

Reads all clauses eagerly from reader using operators.

readClausesLazily

open fun readClausesLazily(inputStream: InputStream): Sequence<Clause>

open fun readClausesLazily(reader: Reader): Sequence<Clause>

abstract fun readClausesLazily(inputStream: InputStream, operators: OperatorSet): Sequence<Clause>

Returns clauses decoded lazily from inputStream using operators.

abstract fun readClausesLazily(reader: Reader, operators: OperatorSet): Sequence<Clause>

Returns clauses read lazily from reader using operators.

open fun readTheory(inputStream: InputStream): Theory

open fun readTheory(reader: Reader): Theory

open fun readTheory(inputStream: InputStream, operators: OperatorSet): Theory

Reads all clauses from inputStream into a theory using operators.

open fun readTheory(reader: Reader, operators: OperatorSet): Theory

Reads all clauses from reader into a theory using operators.