solve/it.unibo.tuprolog.solve.channel/OutputStore

OutputStore

interface OutputStore : ChannelStore<String, OutputChannel<String>, OutputStore>

A ChannelStore of OutputChannels of Strings (plus a dedicated warnings channel), as held by a it.unibo.tuprolog.solve.Solver (see it.unibo.tuprolog.solve.ExecutionContextAware.outputChannels).

Types

Companion

object Companion

Properties

current

open val current: OutputChannel<String>?

The channel aliased as CURRENT in this store, or null if none is set.

currentAliases

open val currentAliases: Sequence<String>

Every alias, other than CURRENT itself, under which current is also reachable.

entries

abstract val entries: Set<Map.Entry<String, OutputChannel<String>>>

keys

abstract val keys: Set<String>

size

expect abstract val size: Int

stdErr

abstract val stdErr: OutputChannel<String>

The channel aliased STDERR, i.e. this store's standard error.

stdOut

abstract val stdOut: OutputChannel<String>

The channel aliased STDOUT, i.e. this store's standard output.

values

abstract val values: Collection<OutputChannel<String>>

warnings

abstract val warnings: OutputChannel<Warning>

The channel it.unibo.tuprolog.solve.exception.Warnings are reported to.

Functions

aliasesOf

abstract fun aliasesOf(channel: OutputChannel<String>): Sequence<String>

Returns every alias under which channel is reachable in this store, excluding CURRENT.

open fun close(channel: OutputChannel<String>): OutputStore

Channel.closes channel and returns a copy of this store without any alias pointing to it.

containsKey

abstract fun containsKey(key: String): Boolean

containsValue

abstract fun containsValue(value: OutputChannel<String>): Boolean

findByTerm

abstract fun findByTerm(streamTerm: Term): Sequence<OutputChannel<String>>

Returns every channel in this store whose Channel.streamTerm unifies with streamTerm.

get

abstract operator fun get(key: String): OutputChannel<String>?

isEmpty

expect abstract fun isEmpty(): Boolean

minus

open operator fun minus(other: String): OutputStore

Returns a copy of this store without the entry aliased other (if any).

open operator fun minus(others: Iterable<String>): OutputStore

abstract operator fun minus(others: Sequence<String>): OutputStore

Returns a copy of this store without the entries aliased in others.

open fun minus(other: String, vararg others: String): OutputStore

Returns a copy of this store without the entries aliased other or in others.

plus

open operator fun plus(other: Pair<String, OutputChannel<String>>): OutputStore

Returns a copy of this store with other added (overriding an existing entry with the same alias).

open operator fun plus(others: Iterable<Pair<String, OutputChannel<String>>>): OutputStore

abstract operator fun plus(others: Map<String, OutputChannel<String>>): OutputStore

open operator fun plus(others: Sequence<Pair<String, OutputChannel<String>>>): OutputStore

Returns a copy of this store with every entry of others added (overriding same-named existing ones).

open fun plus(first: Pair<String, OutputChannel<String>>, vararg others: Pair<String, OutputChannel<String>>): OutputStore

Returns a copy of this store with first and others added (overriding same-named existing entries).

setCurrent

abstract fun setCurrent(channel: OutputChannel<String>): OutputStore

Returns a copy of this store with CURRENT pointing to channel.

abstract fun setCurrent(alias: String): OutputStore

Returns a copy of this store with CURRENT pointing to the channel already aliased as alias.

setStdErr

abstract fun setStdErr(channel: OutputChannel<String>): OutputStore

Returns a copy of this store with stdErr (and the STDERR alias) replaced by channel.

setStdOut

abstract fun setStdOut(channel: OutputChannel<String>): OutputStore

Returns a copy of this store with stdOut (and the STDOUT alias) replaced by channel.

setWarnings

abstract fun setWarnings(channel: OutputChannel<Warning>): OutputStore

Returns a copy of this store with warnings replaced by channel.