edu.rice.cs.drjava
Class DrJava

java.lang.Object
  edu.rice.cs.drjava.DrJava

public class DrJava
extends Object

Startup class for DrJava consisting entirely of static members. The main method reads the .drjava file (creating one if none exists) to get the critical information required to start the main JVM for DrJava: (i) the location of tools.jar in the Java JDK installed on this machine (so DrJava can invoke the javac compiler stored in tools.jar) (ii) the argument string for invoking the main JVM (notably -X options used to determine maximum heap size, etc.)

Version:

$Id: DrJava.java 4693 2008-12-08 16:39:42Z dlsmith $

Field Summary

static File

DEFAULT_PROPERTIES_FILE Default properties file used by the configuration object, i.e.

Constructor Summary

DrJava()

Method Summary

protected static void	_saveConfig() Saves the contents of the config file.
static void	cleanUp()
static void	configureAndLoadDrJavaRoot(String[] args)
static FileConfiguration	getConfig() Returns the configuration object with all customized and default values.
static String[]	getFilesToOpen()
static File	getPropertiesFile() Returns the properties file used by the configuration object.
static boolean	getShowDebugConsole()
static void	main(String[] args) Starts running DrJava.

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_PROPERTIES_FILE

public static final File DEFAULT_PROPERTIES_FILE

Default properties file used by the configuration object, i.e. ".drjava" in the user's home directory.

Constructor Detail

DrJava

public DrJava()

Method Detail

getPropertiesFile

public static File getPropertiesFile()

Returns the properties file used by the configuration object.

getConfig

public static FileConfiguration getConfig()

Returns the configuration object with all customized and default values.

getFilesToOpen

public static String[] getFilesToOpen()

Returns:

an array of the files that were passed on the command line.

getShowDebugConsole

public static boolean getShowDebugConsole()

Returns:

true if the debug console should be enabled

main

public static void main(String[] args)

Starts running DrJava.

Parameters:

args - Command line argument array

configureAndLoadDrJavaRoot

public static void configureAndLoadDrJavaRoot(String[] args)

_saveConfig

protected static void _saveConfig()

Saves the contents of the config file. TO DO: log any IOExceptions that occur.

cleanUp

public static void cleanUp()