|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.erights.e.elang.interp.Rune
Untamed: The main, non-interactive, E read-eval interpreter loop.
Constructor Summary | |
private |
Rune()
prevent instantiation |
Method Summary | |
static ConstList |
doProps(ConstList args)
Enabled: Processes eprops.txt and initial "-Dprop=value" arguments into the system properties. |
(package private) static void |
errorExit(TextWriter errs,
Throwable problem)
|
static void |
main(String[] argArray)
Enabled: |
(package private) static void |
okExit(TextWriter errs)
Called to successfully exit the process. |
static void |
printTime(long start,
double percentile)
Enabled: |
static void |
reportProblem(Throwable t,
TextWriter errs,
boolean showsJStack,
boolean showsEStack)
Enabled: |
private static boolean |
testProperty(String propName,
boolean dflt)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
private Rune()
Method Detail |
public static ConstList doProps(ConstList args) throws IOException
For use by this and other E-oriented main() methods. If there's no eprops.txt file, then sets those properties that are necessary for running the E installer script.
Normally, all "-Dprop=value" options would occur to the left of the main class name, and therefore be processed by the Java launcher before launching the main class. However, this may be difficult using some IDEs (like Cafe), so we also process such options ourselves.
IOException
public static void reportProblem(Throwable t, TextWriter errs, boolean showsJStack, boolean showsEStack)
public static void printTime(long start, double percentile)
private static boolean testProperty(String propName, boolean dflt)
propName
- dflt
- default answer
static void okExit(TextWriter errs)
If e.gui-launch is true and e.onOkGuiExit is "prompt", then this prompts for a character to be typed before exiting.
errs
- static void errorExit(TextWriter errs, Throwable problem)
public static void main(String[] argArray)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |