public class JevaUW
extends java.lang.Object
Constructor and Description |
---|
JevaUW(JevaUW old)
Create a new Jeva wrapper, using the old Jeva wrapper's tracefile,
and standard input and output.
|
JevaUW(java.lang.String traceFileName,
java.lang.String initStatements)
Create a new Jeva wrapper, using the provided traceFileName as a
trace file.
|
Modifier and Type | Method and Description |
---|---|
static void |
fileIn(java.lang.String fromFile)
Start a new read-eval-print-loop, with the initial statements coming
from the given fromFile.
|
static void |
main(java.lang.String[] args) |
void |
repl()
Start the read-eval-print-loop and go forever.
|
void |
repl(java.lang.String inFileName)
Start a read-eval-printloop, using the contents of the given file
as initial statements.
|
public JevaUW(java.lang.String traceFileName, java.lang.String initStatements) throws java.io.IOException
java.io.IOException
public JevaUW(JevaUW old)
public void repl() throws java.lang.Throwable
java.lang.Throwable
public void repl(java.lang.String inFileName) throws java.lang.Throwable
java.lang.Throwable
public static void fileIn(java.lang.String fromFile)
public static void main(java.lang.String[] args)