edu.rice.cs.drjava
Class DrJavaRoot

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

public class DrJavaRoot
extends Object

Main class for DrJava.

Version:

$Id: DrJavaRoot.java 4691 2008-12-02 23:33:27Z dlsmith $

Field Summary

static int	ADVANCED_LEVEL
static int	ELEMENTARY_LEVEL
static int	FULL_JAVA
static int	INTERMEDIATE_LEVEL
static String[]	LANGUAGE_LEVEL_EXTENSIONS
static String	PLASTIC_THEMES_PACKAGE
static String	TEST_DEBUGGER_CLASS Class to probe to see if the debugger is available

Constructor Summary

DrJavaRoot()

Method Summary

static PrintStream	consoleErr() Get the actual System.err stream.
static PrintStream	consoleOut() Get the actual System.out stream.
static void	dragEnter(DropTargetDragEvent dropTargetDragEvent) User dragged something into the component.
static void	drop(DropTargetDropEvent dropTargetDropEvent) User dropped something on the component.
static void	installModalWindowAdapter(Window w, Runnable1<? super WindowEvent> toFrontAction, Runnable1<? super WindowEvent> closeAction) Installs the modal window adapter if available, otherwise installs a non-modal dummy listener.
static void	main(String[] args)
static void	removeModalWindowAdapter(Window w) Removes the modal window adapter.
static void	showDrJavaDebugConsole(MainFrame mf) Shows a separate interactions window with a reference to DrJava's MainFrame defined as "mainFrame".

Methods inherited from class java.lang.Object

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

Field Detail

FULL_JAVA

public static final int FULL_JAVA

See Also:

Constant Field Values

ELEMENTARY_LEVEL

public static final int ELEMENTARY_LEVEL

See Also:

Constant Field Values

INTERMEDIATE_LEVEL

public static final int INTERMEDIATE_LEVEL

See Also:

Constant Field Values

ADVANCED_LEVEL

public static final int ADVANCED_LEVEL

See Also:

Constant Field Values

LANGUAGE_LEVEL_EXTENSIONS

public static final String[] LANGUAGE_LEVEL_EXTENSIONS

TEST_DEBUGGER_CLASS

public static final String TEST_DEBUGGER_CLASS

Class to probe to see if the debugger is available

See Also:

Constant Field Values

PLASTIC_THEMES_PACKAGE

public static final String PLASTIC_THEMES_PACKAGE

See Also:

Constant Field Values

Constructor Detail

DrJavaRoot

public DrJavaRoot()

Method Detail

main

public static void main(String[] args)

showDrJavaDebugConsole

public static void showDrJavaDebugConsole(MainFrame mf)

Shows a separate interactions window with a reference to DrJava's MainFrame defined as "mainFrame". Useful for debugging DrJava.

Parameters:

mf - MainFrame to define in the new window

consoleErr

public static PrintStream consoleErr()

Get the actual System.err stream.

Returns:

System.err

consoleOut

public static PrintStream consoleOut()

Get the actual System.out stream.

Returns:

System.out

dragEnter

public static void dragEnter(DropTargetDragEvent dropTargetDragEvent)

User dragged something into the component.

drop

public static void drop(DropTargetDropEvent dropTargetDropEvent)

User dropped something on the component.

installModalWindowAdapter

public static void installModalWindowAdapter(Window w,
                                             Runnable1<? super WindowEvent> toFrontAction,
                                             Runnable1<? super WindowEvent> closeAction)

Installs the modal window adapter if available, otherwise installs a non-modal dummy listener.

Parameters:

w - window trying to get the modal window listener

toFrontAction - action to be performed after the window has been moved to the front again

closeAction - action to be performed when the window is closing

removeModalWindowAdapter

public static void removeModalWindowAdapter(Window w)

Removes the modal window adapter.

Parameters:

w - window releasing the modal window adapter