parser-core/it.unibo.tuprolog.core.parsing/TermReader/readTerms

readTerms

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

Returns terms read lazily from reader using operators.

Throws

during iteration if reading, lexing, or parsing fails

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

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

Throws

during iteration if reading, lexing, or parsing fails

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

Returns terms decoded lazily from inputStream using operators.

Throws

during iteration if reading, lexing, or parsing fails

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

Returns terms parsed lazily from string using operators.

Throws

during iteration if lexing or parsing fails

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

Throws

during iteration if lexing or parsing fails