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

Companion

object Companion

Properties

const val STDERR: String

The reserved alias for the standard error channel.

const val STDOUT: String

The reserved alias for the standard output channel.

Functions

fun fromStandard(output: OutputChannel<String> = OutputChannel.stdOut(), error: OutputChannel<String> = OutputChannel.stdErr(), warnings: OutputChannel<Warning> = OutputChannel.warn()): OutputStore

Creates an OutputStore with output (defaulting to OutputChannel.stdOut) as both stdOut and "user_output", error (defaulting to OutputChannel.stdErr) as stdErr, and warnings (defaulting to OutputChannel.warn) as the warnings channel.

fun of(channels: Map<String, OutputChannel<String>>, warnings: OutputChannel<Warning> = OutputChannel.warn()): OutputStore

Creates an OutputStore out of channels, using the STDOUT/STDERR-aliased ones (or the platform defaults if absent) as stdOut/stdErr, and warnings (defaulting to OutputChannel.warn) as the warnings channel.