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.

Field Summary

static Object[]
defaultFormatInfo
static java.lang.reflect.Method
defaultFormatMethod
static String
defaultFormatName

Method Summary

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, java.net.URL url)
static void
run(Language language, Environment env, InPort inp, OutPort pout, OutPort perr)
static void
runFile(String fname, int skipLines)
static void
runString(String str, Language language, Environment env)
static void
setDefaultFormat(String name)
Specify the default output format.

Field Details

defaultFormatInfo

public static Object[] defaultFormatInfo

defaultFormatMethod

public static java.lang.reflect.Method defaultFormatMethod

defaultFormatName

public static String defaultFormatName

Method Details

getOutputConsumer

public static Consumer getOutputConsumer(OutPort out)
Return a Consumer that formats using the appropriate format. The format is chosen depending on specified defaults.
Parameters:
out - The output where formatted output is sent to.

run

public static void run(Language language,
                       Environment env)

run

public static void run(Language language,
                       Environment env,
                       InPort inp,
                       Consumer out,
                       OutPort perr,
                       java.net.URL url)

run

public static void run(Language language,
                       Environment env,
                       InPort inp,
                       OutPort pout,
                       OutPort perr)

runFile

public static void runFile(String fname,
                           int skipLines)

runString

public static void runString(String str,
                             Language language,
                             Environment env)

setDefaultFormat

public static void setDefaultFormat(String name)
Specify the default output format.
Parameters:
name - The name of the format, as an entry in the formats table.