DrJava Legacy SVN Repository

This revision adds a check that the active remote control
server is actually run by the same user, so that one user
cannot remote control another user's instance.
If it is detected that another user is already running a
DrJava remote control server on the same port, the user
is presented a dialog to disable remote control or ignore
the problem for now.
M src/edu/rice/cs/drjava/DrJava.java
M src/edu/rice/cs/drjava/RemoteControlServer.java
M src/edu/rice/cs/drjava/RemoteControlClient.java
M src/edu/rice/cs/drjava/ui/MainFrame.java

Changed "Import Package" option so it is disabled by default.
M src/edu/rice/cs/drjava/ui/MainFrame.java

This revision incorporates a "Import Package" checkbox in the
"Auto Import" dialog to import an entire package, e.g. import
java.util.* when selecting java.util.List.

M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java

This revision adds an "automatic import" dialog to the Interactions
Pane. If an undefined class is encountered, the dialog will display
all standard Java API classes and let the user select one. If a
class is selected, then DrJava will import that class and re-execute
the erroneous line. If another undefined class is found, the dialog
will appear again. For example, enter the following line:
List l = new LinkedList()
Both List and LinkedList are undefined. The dialog will appear once
to select the class to import for List (make sure to import
java.util.List, not java.awt.List). Then DrJava will re-execute the
line and show the dialog for LinkedList. Once both classes have
been imported, the line is executed without an error.
The history is also modified to include the inserted imports.

M lib/docs.jar
M src/edu/rice/cs/drjava/model/repl/History.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputModel.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java

Included Javadoc pages for 'Show Javadoc for Class'. Only increases executable size by ~100 KB, and no internet required anymore.

Major refactoring. Eliminated the old interpreter interface in favor of a newer, simplified one. Redesigned environments for type checking and runtime bindings. Introduced DJClass as a level of indirection from Class objects, making type checking in the presense of non-compiled classes possible. Removed much unnecessary code from the koala/dynamicjava subtree (new code was added to edu/rice/cs/dynamicjava).

Added support for Continuations using non-tail recursion. Optimized implementation of Option.unwrap (a number of overloaded methods) to eliminate unnecessary method calls and avoid using a visitor. Added license to newer class files.

This commit contains two new features:
1) Drag-and-drop for Java files. Files from Windows Explorer,
MacOS Finder, and Nautilus on Linux (other file browsers not
tested) can be dragged and dropped into DrJava. Since
drag-and-drop targets are enabled on a per-component basis
and not globally for a frame or application, there are some
parts of DrJava's GUI that are NOT drop targets. However,
most big GUI parts, like the list and tree navigators, the
interactions pane and the definitions pane, are enabled as
drop targets.
2) Connecting to a running DrJava instance to make it open
files. When DrJava is started and a file (or files) is
specified on the command line (or by dragging and dropping
a file over the DrJava exe on Windows), DrJava will attempt
to open the file in an already existing instance of DrJava.
If no running instance is found, a new instance of DrJava
is started and the file opened. This is accomplished by
letting the first instance of DrJava listen on a socket
(default: 4444) and having subsequent instances send a
message to that socket. If there is no response within
250 ms, it is assumed that no "remote control"-enabled
instance of DrJava is running. To force DrJava to always
start a new instance, the -new command line switch can
be used.

M src/edu/rice/cs/drjava/DrJava.java
M src/edu/rice/cs/drjava/DrJavaRoot.java
M src/edu/rice/cs/drjava/model/repl/DynamicJavaAdapter.java
A src/edu/rice/cs/drjava/RemoteControlServer.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/CommandLineTest.java
A src/edu/rice/cs/drjava/RemoteControlClient.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/TabbedPanel.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M src/edu/rice/cs/drjava/ui/AbstractDJPane.java
M src/edu/rice/cs/util/docnavigation/JListSortNavigator.java
M src/edu/rice/cs/util/docnavigation/JTreeSortNavigator.java
M src/edu/rice/cs/util/PreventExitSecurityManager.java
M src/edu/rice/cs/util/newjvm/SlaveJVMRunner.java
M src/edu/rice/cs/util/newjvm/AbstractSlaveJVM.java

Created tag drjava-beta-20071003-2147

Created tag drjava-beta-20071003-0435