Skip to content

Commit 64eb9ca

Browse files
author
dlsmith
committed
Initial revision
git-svn-id: file:///tmp/test-svn/trunk@3443 fe72c1cf-3628-48e9-8b72-1c46755d3cff
1 parent 96ed7f7 commit 64eb9ca

24 files changed

+4204
-0
lines changed

‎eclipse/.classpath‎

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<classpath>
3+
<classpathentry kind="src" path="src/"/>
4+
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
5+
<classpathentry kind="var" path="ECLIPSE_HOME/plugins/org.eclipse.core.boot_2.1.0/boot.jar"/>
6+
<classpathentry kind="var" path="ECLIPSE_HOME/plugins/org.eclipse.core.resources_2.1.0/resources.jar"/>
7+
<classpathentry kind="var" path="ECLIPSE_HOME/plugins/org.eclipse.core.runtime_2.1.0/runtime.jar"/>
8+
<classpathentry kind="var" path="ECLIPSE_HOME/plugins/org.eclipse.debug.ui_2.1.0/dtui.jar"/>
9+
<classpathentry kind="var" path="ECLIPSE_HOME/plugins/org.eclipse.jface_2.1.0/jface.jar"/>
10+
<classpathentry kind="var" path="ECLIPSE_HOME/plugins/org.eclipse.search_2.1.0/search.jar"/>
11+
<classpathentry kind="var" path="ECLIPSE_HOME/plugins/org.eclipse.swt.gtk_2.1.0/ws/gtk/swt.jar"/>
12+
<classpathentry kind="var" path="ECLIPSE_HOME/plugins/org.eclipse.ui_2.1.0/ui.jar"/>
13+
<classpathentry kind="var" path="ECLIPSE_HOME/plugins/org.eclipse.ui.views_2.1.0/views.jar"/>
14+
<classpathentry kind="var" path="ECLIPSE_HOME/plugins/org.eclipse.ui.workbench_2.1.0/workbench.jar"/>
15+
<classpathentry kind="var" path="ECLIPSE_HOME/plugins/org.eclipse.jdt.ui_2.1.0/jdt.jar"/>
16+
<classpathentry kind="lib" path="/home/creis/Desktop/drjava-beta-20030306.jar"/>
17+
<classpathentry kind="output" path="bin"/>
18+
</classpath>

‎eclipse/.project‎

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<projectDescription>
3+
<name>edu.rice.cs.drjava.plugins.eclipse</name>
4+
<comment>DrJava Plugin for Eclipse</comment>
5+
<projects>
6+
</projects>
7+
<buildSpec>
8+
<buildCommand>
9+
<name>org.eclipse.jdt.core.javabuilder</name>
10+
<arguments>
11+
</arguments>
12+
</buildCommand>
13+
<buildCommand>
14+
<name>org.eclipse.pde.ManifestBuilder</name>
15+
<arguments>
16+
</arguments>
17+
</buildCommand>
18+
<buildCommand>
19+
<name>org.eclipse.pde.SchemaBuilder</name>
20+
<arguments>
21+
</arguments>
22+
</buildCommand>
23+
</buildSpec>
24+
<natures>
25+
<nature>org.eclipse.pde.PluginNature</nature>
26+
<nature>org.eclipse.jdt.core.javanature</nature>
27+
</natures>
28+
</projectDescription>

‎eclipse/LICENSE‎

Lines changed: 345 additions & 0 deletions
Large diffs are not rendered by default.

‎eclipse/README‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
DrJava Plug-in for Eclipse
2+
3+
4+
About ----
5+
This plug-in for IBM's Eclipse platform integrates features from the
6+
DrJava development environment. The plug-in provides an Interactions Pane
7+
and a simplified user interface to Eclipse.
8+
9+
10+
Installation ----
11+
Copy this directory into the "plugins" directory of your Eclipse
12+
installation. After you restart Eclipse, DrJava will appear in the list
13+
of available Perspectives. (Window->Open Perspective->Other...)

‎eclipse/README.dev-tips‎

Lines changed: 61 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,61 @@
1+
DrJava Plug-in for Eclipse Development Tips -----
2+
3+
4+
How to compile and package the plug-in:
5+
6+
- Adapt "eclipse.sh" to match your system.
7+
- Run "source eclipse.sh"
8+
- Run "ant clean-eclipse package-eclipse"
9+
- This will generate a zip file in plugins/eclipse/packages
10+
- Unzip this to the plugins directory of your Eclipse installation to run.
11+
12+
13+
How to commit changes:
14+
15+
- Note: these are temporary instructions. DO NOT USE "ant commit"!
16+
- Change to the plugins/eclipse directory and run "cvs commit".
17+
- Commit the build.xml if the version number has changed.
18+
- If it's a release, tag the plugins/eclipse directory.
19+
- To do:
20+
- The ant script needs to be modified to work at the top level.
21+
Ideally, all DrJava development could be done from that build.xml,
22+
and src/edu/rice/cs/drjava/build.xml could be deleted.
23+
A commit-eclipse target should be created, which would run the tests.
24+
25+
26+
How to run the plug-in tests:
27+
28+
- The tests create Eclipse objects, which require extra libraries.
29+
There is currently no ant target for running the plug-in tests,
30+
so it's best to run them by hand.
31+
- To do:
32+
- Add instructions for specifying these libraries to this document.
33+
34+
35+
How to update the version number:
36+
37+
- Edit plugins/eclipse/plugin.xml:
38+
- Change version attribute in the plugin tag.
39+
- Edit build.xml in top level:
40+
- Change eclipse_plugin_version property to new version.
41+
42+
43+
How to add a preference to the plug-in:
44+
45+
- Add a constant to DrJavaConstants
46+
- In DrJavaPreferencePage:
47+
- Add a field in createFieldEditors()
48+
- Add a default value to EclipsePlugin
49+
- Add an IPropertyChangeListener to the PreferenceStore
50+
(EclipsePlugin.getDefault().getPreferenceStore())
51+
- Specifically, in InteractionsController:
52+
- Add a variable to remember preference
53+
- Make action dependent on variable
54+
- Add a line to _updatePreferences
55+
56+
57+
Special note for font preferences:
58+
- Fonts are added to FontRegistry in plugin.xml (via an extension point)
59+
- Use JFaceResources to access the FontRegistry
60+
(see InteractionsController, InteractionsView)
61+

‎eclipse/build.properties‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
source.drjava-eclipse.jar = src/
2+
bin.includes = plugin.xml,\
3+
*.jar

‎eclipse/icons/drjava16.gif‎

968 Bytes
Loading

‎eclipse/icons/drjava16.png‎

623 Bytes
Loading

‎eclipse/plugin.xml‎

Lines changed: 85 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,85 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<?eclipse version="3.0"?>
3+
<plugin
4+
id="edu.rice.cs.drjava"
5+
name="DrJava"
6+
version="0.9.5"
7+
provider-name="Rice University"
8+
class="edu.rice.cs.drjava.plugins.eclipse.EclipsePlugin">
9+
10+
<runtime>
11+
<library name="drjava-eclipse.jar"/>
12+
</runtime>
13+
<requires>
14+
<import plugin="org.eclipse.core.resources"/>
15+
<import plugin="org.eclipse.ui"/>
16+
<import plugin="org.eclipse.debug.ui"/>
17+
<import plugin="org.eclipse.jdt.ui"/>
18+
<import plugin="org.eclipse.jdt.core"/>
19+
<import plugin="org.eclipse.ui.console"/>
20+
<import plugin="org.eclipse.core.runtime.compatibility"/>
21+
<import plugin="org.eclipse.search"/>
22+
</requires>
23+
24+
25+
<extension
26+
point="org.eclipse.ui.views">
27+
<category
28+
name="DrJava"
29+
id="edu.rice.cs.drjava">
30+
</category>
31+
<view
32+
name="Interactions Pane"
33+
icon="icons/drjava16.gif"
34+
category="edu.rice.cs.drjava"
35+
class="edu.rice.cs.drjava.plugins.eclipse.views.InteractionsView"
36+
id="edu.rice.cs.drjava.InteractionsView">
37+
</view>
38+
</extension>
39+
40+
41+
<extension
42+
point="org.eclipse.ui.perspectives">
43+
<perspective
44+
name="DrJava"
45+
icon="icons/drjava16.gif"
46+
class="edu.rice.cs.drjava.plugins.eclipse.DrJavaPerspective"
47+
id="edu.rice.cs.drjava.DrJavaPerspective">
48+
</perspective>
49+
</extension>
50+
<extension
51+
point="org.eclipse.ui.perspectiveExtensions">
52+
<perspectiveExtension
53+
targetID="org.eclipse.jdt.ui.JavaPerspective">
54+
<perspectiveShortcut
55+
id="edu.rice.cs.drjava.DrJavaPerspective">
56+
</perspectiveShortcut>
57+
</perspectiveExtension>
58+
<perspectiveExtension
59+
targetID="org.eclipse.debug.ui.DebugPerspective">
60+
<perspectiveShortcut
61+
id="edu.rice.cs.drjava.DrJavaPerspective">
62+
</perspectiveShortcut>
63+
</perspectiveExtension>
64+
</extension>
65+
66+
<extension
67+
point="org.eclipse.ui.preferencePages">
68+
<page id="edu.rice.cs.drjava.Page1"
69+
class="edu.rice.cs.drjava.plugins.eclipse.DrJavaPreferencePage"
70+
name="DrJava">
71+
</page>
72+
</extension>
73+
74+
<extension point="org.eclipse.ui.fontDefinitions">
75+
<fontDefinition
76+
id="edu.rice.cs.drjava.InteractionsFont"
77+
label="DrJava Interactions Font"
78+
defaultsTo="org.eclipse.jdt.ui.editors.textfont">
79+
<description>
80+
The font used in DrJava's Interactions Pane.
81+
</description>
82+
</fontDefinition>
83+
</extension>
84+
85+
</plugin>

‎eclipse/src/edu/rice/cs/drjava/plugins/eclipse/DrJavaConstants.java‎

Lines changed: 85 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,85 @@
1+
/*BEGIN_COPYRIGHT_BLOCK
2+
*
3+
* This file is a part of DrJava. Current versions of this project are available
4+
* at http://sourceforge.net/projects/drjava
5+
*
6+
* Copyright (C) 2001-2002 JavaPLT group at Rice University (javaplt@rice.edu)
7+
*
8+
* DrJava is free software; you can redistribute it and/or modify
9+
* it under the terms of the GNU General Public License as published by
10+
* the Free Software Foundation; either version 2 of the License, or
11+
* (at your option) any later version.
12+
*
13+
* DrJava is distributed in the hope that it will be useful,
14+
* but WITHOUT ANY WARRANTY; without even the implied warranty of
15+
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16+
* GNU General Public License for more details.
17+
*
18+
* You should have received a copy of the GNU General Public License
19+
* along with this program; if not, write to the Free Software
20+
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21+
* or see http://www.gnu.org/licenses/gpl.html
22+
*
23+
* In addition, as a special exception, the JavaPLT group at Rice University
24+
* (javaplt@rice.edu) gives permission to link the code of DrJava with
25+
* the classes in the gj.util package, even if they are provided in binary-only
26+
* form, and distribute linked combinations including the DrJava and the
27+
* gj.util package. You must obey the GNU General Public License in all
28+
* respects for all of the code used other than these classes in the gj.util
29+
* package: Dictionary, HashtableEntry, ValueEnumerator, Enumeration,
30+
* KeyEnumerator, Vector, Hashtable, Stack, VectorEnumerator.
31+
*
32+
* If you modify this file, you may extend this exception to your version of the
33+
* file, but you are not obligated to do so. If you do not wish to
34+
* do so, delete this exception statement from your version. (However, the
35+
* present version of DrJava depends on these classes, so you'd want to
36+
* remove the dependency first!)
37+
*
38+
END_COPYRIGHT_BLOCK*/
39+
40+
package edu.rice.cs.drjava.plugins.eclipse;
41+
42+
/**
43+
* A collection of preference names relevant to the DrJava Plug-in for Eclipse.
44+
* This file is a blatant duplication of portions of OptionConstants, which
45+
* cannot be used in Eclipse because of generics and our custom configuration
46+
* framework.
47+
*
48+
* @version $Id$
49+
*/
50+
public interface DrJavaConstants {
51+
52+
/**
53+
* The font used in the interactions pane.
54+
* (This is managed by the FontRegistry and an extension point in plugin.xml,
55+
* unlike the other preferences.)
56+
*/
57+
public static final String FONT_MAIN = "edu.rice.cs.drjava.InteractionsFont";
58+
59+
/**
60+
* Whether to prompt before resetting the interactions pane.
61+
*/
62+
public static final String INTERACTIONS_RESET_PROMPT =
63+
"interactions.reset.prompt";
64+
65+
/**
66+
* Whether to allow users to access to all members in the Interactions Pane.
67+
*/
68+
public static final String ALLOW_PRIVATE_ACCESS = "allow.private.access";
69+
70+
/**
71+
* Whether to prompt when the interactions pane is unexpectedly reset.
72+
*/
73+
public static final String INTERACTIONS_EXIT_PROMPT =
74+
"interactions.exit.prompt";
75+
76+
/**
77+
* Number of lines to remember in the Interactions History.
78+
*/
79+
public static final String HISTORY_MAX_SIZE = "history.max.size";
80+
81+
/**
82+
* Optional arguments to the interpreter JVM.
83+
*/
84+
public static final String JVM_ARGS = "jvm.args";
85+
}

0 commit comments

Comments
 (0)