Package | Description |
---|---|
de.uni_due.inf.ti.raven.cli |
Console UI Classes.
|
Modifier and Type | Method and Description |
---|---|
static Console |
Console.getConsole()
Returns a command-line console for Raven with the system input stream as input stream and
the default console printer as output stream.
|
static Console |
Console.getConsole(InputStream in,
RavenPrinter out)
Returns a command-line console for Raven.
|
static Console |
Console.getConsole(InputStream in,
RavenPrinter out,
boolean isInteractive)
Returns a command-line console for Raven.
|