kawa
Class Shell

java.lang.Object
  kawa.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 java.lang.Object[]	defaultFormatInfo
static java.lang.reflect.Method	defaultFormatMethod
static java.lang.String	defaultFormatName

Constructor Summary

Shell()

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(java.lang.String fname, int skipLines)
static void	runString(java.lang.String str, Language language, Environment env)
static void	setDefaultFormat(java.lang.String name) Specify the default output format.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

defaultFormatName

public static java.lang.String defaultFormatName

defaultFormatInfo

public static java.lang.Object[] defaultFormatInfo

defaultFormatMethod

public static java.lang.reflect.Method defaultFormatMethod

Constructor Detail

Shell

public Shell()

Method Detail

setDefaultFormat

public static void setDefaultFormat(java.lang.String name)

Specify the default output format.

Parameters:

name - The name of the format, as an entry in the formats table.

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,
                       OutPort pout,
                       OutPort perr)

run

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

runString

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

runFile

public static void runFile(java.lang.String fname,
                           int skipLines)