chord.project
Class Boot

java.lang.Object
  chord.project.Boot

public class Boot
extends java.lang.Object

Entry point of Chord before JVM settings are resolved. Resolves JVM settings and spawns Chord in a fresh JVM process with those settings. The system properties in the current JVM are altered as follows (in order): 1. Property chord.main.dir is set to the directory containing file chord.jar from which this class is loaded. 2. All properties from file "[chord.main.dir]/chord.properties" are loaded, if the file exists. 3. Property chord.work.dir is set to "[user.dir]" unless the user has defined it; in either case, its value is canonicalized, and Chord exits if it is not a valid existing directory. 4. All properties from file "[chord.work.dir]/chord.properties" are loaded, if the file exists, unless the user has defined property chord.props.file, in which case all properties from the file specified by that property are loaded; in the latter case, Chord exits if the file cannot be read. 5. The following properties are set to the following values unless the user has already defined them: Property name Default value chord.max.heap "2048m" chord.max.stack "32m" chord.jvmargs "-ea -Xmx[chord.max.heap] -Xss[chord.max.stack]" chord.classic "true" chord.std.java.analysis.path "[chord.main.dir]/chord.jar" chord.ext.java.analysis.path "" chord.java.analysis.path "[chord.std.java.analysis.path]:[chord.ext.java.analysis.path]" chord.std.dlog.analysis.path "[chord.main.dir]/chord.jar" chord.ext.dlog.analysis.path "" chord.dlog.analysis.path "[chord.std.dlog.analysis.path]:[chord.ext.dlog.analysis.path]" chord.class.path "" 6. Property user.dir is set to "[chord.work.dir]". 7. Property java.class.path is set to "[chord.main.dir]/chord.jar:[chord.java.analysis.path]:[chord.dlog.analysis.path]:[chord.class.path]". The above altered properties plus all other system properties in the current JVM are passed on to the new JVM.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Field Summary

static boolean

SPELLCHECK_ON

Constructor Summary

Boot()

Method Summary

static void

main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

SPELLCHECK_ON

public static boolean SPELLCHECK_ON

Constructor Detail

Boot

public Boot()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.Throwable

Throws:

java.lang.Throwable