solve/it.unibo.tuprolog.solve.channel

Package-level declarations

Types

Base type abstracting a channel of communication of T-typed elements between a it.unibo.tuprolog.solve.Solver and the outside world, without committing to a specific transport.

ChannelStore

interface ChannelStore<T : Any, C : Channel<T>, Self : ChannelStore<T, C, Self>> : Map<String, C>

An immutable map of Channels keyed by alias, allowing a it.unibo.tuprolog.solve.Solver to hold several named I/O channels at once (e.g. to support Prolog's stream terms for format/3-style I/O redirection), rather than assuming a single channel per direction.

InputChannel

interface InputChannel<T : Any> : Channel<T>

A Channel a it.unibo.tuprolog.solve.Solver reads T-typed elements from, e.g. backing Prolog's read/1 or a solver's standard input.

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).

Listener

typealias Listener<T> = (T) -> Unit

A callback invoked, by a Channel, with every element transiting it (see Channel.addListener).

OutputChannel

interface OutputChannel<T : Any> : Channel<T>

A Channel a it.unibo.tuprolog.solve.Solver writes T-typed elements to, e.g. backing Prolog's write/1, a solver's standard output/error, or warning reporting.

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).

PrintStreamChannel

class PrintStreamChannel<T : Any>(printStream: PrintStream) : AbstractOutputChannel<T>

A JVM AbstractOutputChannel writing every element to printStream via PrintStream.print.

ReaderChannel

class ReaderChannel(val reader: Reader) : AbstractInputChannel<String>

A JVM AbstractInputChannel reading one character at a time from reader (or from inputStream, wrapped into one), reporting available as false (rather than throwing) if the underlying Reader raises an IOException.

WriterChannel

class WriterChannel(writer: Writer) : AbstractOutputChannel<String>

A JVM AbstractOutputChannel writing every String to writer (or to outputStream, wrapped into one).