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
static boolean	dontPrompt

Constructor Summary

Shell()

Method Summary

static Consumer	getOutputConsumer(OutPort out) Return a Consumer that formats using the appropriate format.
static void	printError(java.lang.Throwable ex, SourceMessages messages, OutPort perr)
static boolean	run(Language language, Environment env)
static boolean	run(Language language, Environment env, InPort inp, Consumer out, OutPort perr, java.net.URL url)
static java.lang.Throwable	run(Language language, Environment env, InPort inp, Consumer out, OutPort perr, java.net.URL url, SourceMessages messages)
static java.lang.Throwable	run(Language language, Environment env, InPort inp, OutPort pout, OutPort perr, SourceMessages messages)
static boolean	runFile(java.lang.String fname, int skipLines)
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

dontPrompt

public static boolean dontPrompt

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 boolean run(Language language,
                          Environment env)

run

public static java.lang.Throwable run(Language language,
                                      Environment env,
                                      InPort inp,
                                      OutPort pout,
                                      OutPort perr,
                                      SourceMessages messages)

run

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

run

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

printError

public static void printError(java.lang.Throwable ex,
                              SourceMessages messages,
                              OutPort perr)

runFile

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