Pipe

replpp.shaded.os.Pipe$
object Pipe extends ProcessInput, ProcessOutput

Pipe the input/output stream to the current process to be used via java.lang.Process#{getInputStream,getOutputStream,getErrorStream}

Attributes

Graph
Supertypes
trait ProcessInput
class Object
trait Matchable
class Any
Self type
Pipe.type

Members list

Value members

Concrete methods

def processInput(stdin: => InputStream): Option[Runnable]
def processOutput(stdin: => OutputStream): Option[Runnable]
def redirectFrom: Redirect
def redirectTo: Redirect