serialize-theory/it.unibo.tuprolog.serialize/WritingTheorySerializer

WritingTheorySerializer

interface WritingTheorySerializer : TheorySerializer, WritingSerializer<Theory>

A JVM-only TheorySerializer that can also write a Theory directly to a java.io.Writer, e.g. to persist a knowledge base to a file or network stream without building the whole String in memory first.

Types

Companion

object Companion

Properties

mimeType

abstract val mimeType: MimeType

Functions

serialize

open fun serialize(value: Theory): String

abstract fun serialize(writer: Writer, value: Theory)

serializeMany

open fun serializeMany(values: Iterable<Theory>): String

open fun serializeMany(values: Sequence<Theory>): String

open fun serializeMany(vararg values: Theory): String

abstract fun serializeMany(writer: Writer, values: Iterable<Theory>)

open fun serializeMany(writer: Writer, values: Sequence<Theory>)

open fun serializeMany(writer: Writer, vararg values: Theory)

WritingTheorySerializer

See also

Types

Properties

Functions