Package net.hydromatic.morel

Class Main

java.lang.Object

net.hydromatic.morel.Main

public class Main
extends Object

Standard ML REPL.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	Main.BufferingReader	Reader that snoops which characters have been read and saves them in a buffer until Main.BufferingReader.flush() is called.
(package private) static class	Main.Shell	Shell (or sub-shell created via net.hydromatic.morel.compile.BuiltIn#INTERACT_USE) that can execute commands and handle errors.
(package private) static class	Main.SubShell	Shell that is created via the net.hydromatic.morel.compile.BuiltIn#INTERACT_USE) command.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) File	directory
private boolean	echo
private BufferedReader	in
private PrintWriter	out
(package private) Session	session
(package private) TypeSystem	typeSystem
private Map<String,ForeignValue>	valueMap

Constructor Summary

Constructors

Constructor	Description
Main(List<String> args, InputStream in, PrintStream out, Map<String,ForeignValue> valueMap, File directory)	Creates a Main.
Main(List<String> argList, Reader in, Writer out, Map<String,ForeignValue> valueMap, File directory)	Creates a Main.

Method Summary

Modifier and Type	Method	Description
private static BufferedReader	buffer(Reader in)
private static PrintWriter	buffer(Writer out)
static void	main(String[] args)	Command-line entry point.
void	run()

Methods inherited from class java.lang.Object

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

Field Detail

in

private final BufferedReader in

out

private final PrintWriter out

echo

private final boolean echo

valueMap

private final Map<String,ForeignValue> valueMap

typeSystem

final TypeSystem typeSystem

directory

final File directory

session

final Session session

Constructor Detail

Main

public Main(List<String> args,
            InputStream in,
            PrintStream out,
            Map<String,ForeignValue> valueMap,
            File directory)

Creates a Main.

Main

public Main(List<String> argList,
            Reader in,
            Writer out,
            Map<String,ForeignValue> valueMap,
            File directory)

Creates a Main.

Method Detail

main

public static void main(String[] args)

Command-line entry point.

Parameters:

args - Command-line arguments

buffer

private static PrintWriter buffer(Writer out)

buffer

private static BufferedReader buffer(Reader in)

run

public void run()