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

readTerm

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

Reads the next term from reader, or null at EOF, using operators.

Throws

if reading, lexing, or parsing the next term fails

open fun readTerm(reader: Reader): Term?

open fun readTerm(inputStream: InputStream): Term?

Throws

if reading, lexing, or parsing the next term fails

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

Reads the next term from inputStream, or null at EOF, using operators.

Bytes are decoded using java.io.InputStreamReader's platform-default charset.

Throws

if reading, lexing, or parsing the next term fails