kawa
Class Shell
public class Shell
extends java.lang.Object
Utility functions (static methods) for kawa.repl.
Should probably be merged with kawa.repl. FIXME.
static Consumer | getOutputConsumer(OutPort out) - Return a Consumer that formats using the appropriate format.
|
static void | run(Language language, Environment env)
|
static void | run(Language language, Environment env, InPort inp, Consumer out, OutPort perr)
|
static void | run(Language language, Environment env, InPort inp, OutPort pout, OutPort perr)
|
static void | runFile(String fname)
|
static void | runString(String str, Language language, Environment env)
|
static void | setDefaultFormat(String name) - Specify the default output format.
|
defaultFormatInfo
public static Object[] defaultFormatInfo
defaultFormatMethod
public static java.lang.reflect.Method defaultFormatMethod
defaultFormatName
public static String defaultFormatName
getOutputConsumer
public static Consumer getOutputConsumer(OutPort out)
Return a Consumer that formats using the appropriate format.
The format is chosen depending on specified defaults.
out
- The output where formatted output is sent to.
runFile
public static void runFile(String fname)
setDefaultFormat
public static void setDefaultFormat(String name)
Specify the default output format.
name
- The name of the format, as an entry in the formats table.