kawa
public class Shell extends Object
| Field Summary | |
|---|---|
| static Object[] | defaultFormatInfo |
| static 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, OutPort pout, OutPort perr) |
| static void | run(Language language, Environment env, InPort inp, Consumer out, OutPort perr, URL url) |
| 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. |
Parameters: out The output where formatted output is sent to.
Parameters: name The name of the format, as an entry in the formats table.