|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--edu.rice.cs.drjava.DrJava
Main class for DrJava.
Field Summary | |
private static FileConfiguration |
_config
Configuration object with all customized and default values. |
private static PrintStream |
_consoleErr
|
private static PrintStream |
_consoleOut
|
private static String[] |
_filesToOpen
|
private static PreventExitSecurityManager |
_manager
|
private static File |
_propertiesFile
Properties file used by the configuration object. |
Constructor Summary | |
DrJava()
|
Method Summary | |
private static boolean |
_userWantsToPickAgain()
|
static void |
beginProgram(String[] args)
Starts running DrJava. |
static PrintStream |
consoleErr()
Get the actual System.err stream. |
static PrintStream |
consoleOut()
Get the actual System.out stream. |
static void |
disableSecurityManager()
|
(package private) static void |
displayUsage()
Displays a usage message about the available options. |
static void |
enableSecurityManager()
|
static FileConfiguration |
getConfig()
Returns the configuration object with all customized and default values. |
static File |
getPropertiesFile()
Returns the properties file used by the configuration object. |
static PreventExitSecurityManager |
getSecurityManager()
|
(package private) static boolean |
handleCommandLineArgs(String[] args)
Handles any command line arguments that have been specified. |
(package private) static void |
initConfig()
Initializes the configuration object with the current notion of the properties file. |
private static Method |
loadMainMethod()
private static Class loadClass(ClassLoader cl, String name) { try { return cl.loadClass(name); } catch(Exception e) { System.err.println("Error in attempt to load "+name+" using "+cl); System.err.println(e.toString()); System.err.println(); System.err.println(); } return null; } private static void testCL(ClassLoader cl) { loadClass(cl,"edu.rice.cs.drjava.DrJava"); loadClass(cl,"com.sun.jdi.Bootstrap"); } |
static void |
main(String[] args)
Main method for DrJava. |
(package private) static void |
openCommandLineFiles(MainFrame mf,
String[] filesToOpen)
Handle the list of files specified on the command line. |
(package private) static void |
setPropertiesFile(String filename)
Switches the config object to use a custom config file. |
(package private) static void |
setupCompilerIfNeeded()
Implements feature req #523222: Prompt user for compiler if none found. |
Methods inherited from class java.lang.Object |
|
Field Detail |
private static final PrintStream _consoleOut
private static final PrintStream _consoleErr
private static PreventExitSecurityManager _manager
private static String[] _filesToOpen
private static File _propertiesFile
private static FileConfiguration _config
Constructor Detail |
public DrJava()
Method Detail |
public static File getPropertiesFile()
public static FileConfiguration getConfig()
public static void main(String[] args) throws Throwable
private static Method loadMainMethod() throws NoSuchMethodException, SecurityException
public static void beginProgram(String[] args)
static boolean handleCommandLineArgs(String[] args)
static void displayUsage()
static void setPropertiesFile(String filename)
static void initConfig() throws IllegalStateException
IllegalStateException
- if config has already been assignedstatic void openCommandLineFiles(MainFrame mf, String[] filesToOpen)
static void setupCompilerIfNeeded()
private static boolean _userWantsToPickAgain()
public static PreventExitSecurityManager getSecurityManager()
public static void enableSecurityManager()
public static void disableSecurityManager()
public static PrintStream consoleErr()
public static PrintStream consoleOut()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |