solve/it.unibo.tuprolog.solve.channel/InputStore

InputStore

interface InputStore : ChannelStore<String, InputChannel<String>, InputStore>

A ChannelStore of InputChannels of Strings, as held by a it.unibo.tuprolog.solve.Solver (see it.unibo.tuprolog.solve.ExecutionContextAware.inputChannels).

Types

Companion

object Companion

Properties

current

open val current: InputChannel<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, InputChannel<String>>>

keys

abstract val keys: Set<String>

size

expect abstract val size: Int

stdIn

abstract val stdIn: InputChannel<String>

The channel aliased STDIN, i.e. this store's standard input.

values

abstract val values: Collection<InputChannel<String>>

Functions

aliasesOf

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

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

open fun close(channel: InputChannel<String>): InputStore

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: InputChannel<String>): Boolean

findByTerm

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

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

get

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

isEmpty

expect abstract fun isEmpty(): Boolean

minus

open operator fun minus(other: String): InputStore

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

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

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

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

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

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

plus

open operator fun plus(other: Pair<String, InputChannel<String>>): InputStore

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, InputChannel<String>>>): InputStore

abstract operator fun plus(others: Map<String, InputChannel<String>>): InputStore

open operator fun plus(others: Sequence<Pair<String, InputChannel<String>>>): InputStore

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

open fun plus(first: Pair<String, InputChannel<String>>, vararg others: Pair<String, InputChannel<String>>): InputStore

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

setCurrent

abstract fun setCurrent(channel: InputChannel<String>): InputStore

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

abstract fun setCurrent(alias: String): InputStore

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

setStdIn

abstract fun setStdIn(channel: InputChannel<String>): InputStore

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