serialize-core/it.unibo.tuprolog.serialize/ReadingTermDeserializer

ReadingTermDeserializer

interface ReadingTermDeserializer : TermDeserializer, ReadingDeserializer<Term>

A JVM-only TermDeserializer that can also read a Term directly from a java.io.Reader, e.g. to load a term from a file or network stream without buffering it into a String first.

See also

for the JVM-only writer-based counterpart.

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
abstract val mimeType: MimeType

The textual format this deserializer consumes.

Functions

Link copied to clipboard
open fun deserialize(string: String): Term

Deserializes a single value of type T from its textual representation string.

abstract fun deserialize(reader: Reader): Term

Deserializes a single value of type T by reading its textual representation from reader.

Link copied to clipboard
open fun deserializeMany(string: String): Iterable<Term>

Deserializes several values of type T from a single textual representation string of all of them.

abstract fun deserializeMany(reader: Reader): Iterable<Term>

Deserializes several values of type T by reading their textual representation from reader.

Generated by Dokka
© 2026 Copyright