Skip to content

Commit 7d79bd8

Browse files
author
dlsmith
committed
Eclipse: Updated documentation and licensing.
git-svn-id: file:///tmp/test-svn/trunk@4698 fe72c1cf-3628-48e9-8b72-1c46755d3cff
1 parent fb8f9ae commit 7d79bd8

14 files changed

Lines changed: 405 additions & 767 deletions

‎eclipse/LICENSE‎

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
DrJava Eclipse Plug-in BSD License
2+
3+
Copyright (c) 2007-2008 JavaPLT group at Rice University
4+
All rights reserved.
5+
6+
Developed by: Java Programming Languages Team
7+
Rice University
8+
http://www.cs.rice.edu/~javaplt/
9+
10+
Redistribution and use in source and binary forms, with or without modification, are permitted
11+
provided that the following conditions are met:
12+
13+
- Redistributions of source code must retain the above copyright notice, this list of conditions
14+
and the following disclaimer.
15+
- Redistributions in binary form must reproduce the above copyright notice, this list of
16+
conditions and the following disclaimer in the documentation and/or other materials provided
17+
with the distribution.
18+
- Neither the name of DrJava, the JavaPLT group, Rice University, nor the names of software
19+
contributors may be used to endorse or promote products derived from this software without
20+
specific prior written permission.
21+
22+
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR
23+
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
24+
FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS AND
25+
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26+
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
27+
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
28+
IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
29+
OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

‎eclipse/README.dev-tips‎

Lines changed: 0 additions & 39 deletions
This file was deleted.

‎eclipse/packaging/release/LICENSE‎

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

‎eclipse/packaging/release/README‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
DrJava Plug-in for Eclipse
22

3-
43
About ----
54
This plug-in for IBM's Eclipse platform integrates features from the
65
DrJava development environment. The plug-in provides an Interactions Pane
76
and a simplified user interface to Eclipse.
87

9-
108
Installation ----
119
Copy edu.rice.cs.drjava_[version].jar into the "plugins" directory of
1210
your Eclipse installation. After you restart Eclipse, DrJava will appear
13-
in the list of available Perspectives. (Window->Open Perspective->Other...)
11+
in the list of available Perspectives (Window->Open Perspective->Other...).
12+
The Interactions view can be opened by itself as well (Window->Show View->
13+
Other...).

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

Lines changed: 33 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -1,41 +1,36 @@
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-2008 JavaPLT group at Rice University (drjava@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-
* (drjava@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*/
1+
/*BEGIN_COPYRIGHT_BLOCK*
2+
3+
DrJava Eclipse Plug-in BSD License
4+
5+
Copyright (c) 2007-2008 JavaPLT group at Rice University
6+
All rights reserved.
7+
8+
Developed by: Java Programming Languages Team
9+
Rice University
10+
http://www.cs.rice.edu/~javaplt/
11+
12+
Redistribution and use in source and binary forms, with or without modification, are permitted
13+
provided that the following conditions are met:
14+
15+
- Redistributions of source code must retain the above copyright notice, this list of conditions
16+
and the following disclaimer.
17+
- Redistributions in binary form must reproduce the above copyright notice, this list of
18+
conditions and the following disclaimer in the documentation and/or other materials provided
19+
with the distribution.
20+
- Neither the name of DrJava, the JavaPLT group, Rice University, nor the names of software
21+
contributors may be used to endorse or promote products derived from this software without
22+
specific prior written permission.
23+
24+
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR
25+
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
26+
FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS AND
27+
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28+
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
29+
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
30+
IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
31+
OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32+
33+
*END_COPYRIGHT_BLOCK*/
3934

4035
package edu.rice.cs.drjava.plugins.eclipse;
4136

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

Lines changed: 33 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -1,41 +1,36 @@
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-2008 JavaPLT group at Rice University (drjava@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-
* (drjava@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*/
1+
/*BEGIN_COPYRIGHT_BLOCK*
2+
3+
DrJava Eclipse Plug-in BSD License
4+
5+
Copyright (c) 2007-2008 JavaPLT group at Rice University
6+
All rights reserved.
7+
8+
Developed by: Java Programming Languages Team
9+
Rice University
10+
http://www.cs.rice.edu/~javaplt/
11+
12+
Redistribution and use in source and binary forms, with or without modification, are permitted
13+
provided that the following conditions are met:
14+
15+
- Redistributions of source code must retain the above copyright notice, this list of conditions
16+
and the following disclaimer.
17+
- Redistributions in binary form must reproduce the above copyright notice, this list of
18+
conditions and the following disclaimer in the documentation and/or other materials provided
19+
with the distribution.
20+
- Neither the name of DrJava, the JavaPLT group, Rice University, nor the names of software
21+
contributors may be used to endorse or promote products derived from this software without
22+
specific prior written permission.
23+
24+
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR
25+
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
26+
FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS AND
27+
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28+
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
29+
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
30+
IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
31+
OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32+
33+
*END_COPYRIGHT_BLOCK*/
3934

4035
package edu.rice.cs.drjava.plugins.eclipse;
4136

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

Lines changed: 47 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -1,41 +1,36 @@
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-2008 JavaPLT group at Rice University (drjava@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-
* (drjava@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*/
1+
/*BEGIN_COPYRIGHT_BLOCK*
2+
3+
DrJava Eclipse Plug-in BSD License
4+
5+
Copyright (c) 2007-2008 JavaPLT group at Rice University
6+
All rights reserved.
7+
8+
Developed by: Java Programming Languages Team
9+
Rice University
10+
http://www.cs.rice.edu/~javaplt/
11+
12+
Redistribution and use in source and binary forms, with or without modification, are permitted
13+
provided that the following conditions are met:
14+
15+
- Redistributions of source code must retain the above copyright notice, this list of conditions
16+
and the following disclaimer.
17+
- Redistributions in binary form must reproduce the above copyright notice, this list of
18+
conditions and the following disclaimer in the documentation and/or other materials provided
19+
with the distribution.
20+
- Neither the name of DrJava, the JavaPLT group, Rice University, nor the names of software
21+
contributors may be used to endorse or promote products derived from this software without
22+
specific prior written permission.
23+
24+
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR
25+
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
26+
FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS AND
27+
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28+
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
29+
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
30+
IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
31+
OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32+
33+
*END_COPYRIGHT_BLOCK*/
3934

4035
package edu.rice.cs.drjava.plugins.eclipse;
4136

@@ -51,6 +46,20 @@
5146
/**
5247
* A preference page that allows the user to customize settings for
5348
* the DrJava Plug-in for Eclipse.
49+
*
50+
* How to add a preference to the plug-in:<ul>
51+
* <li>Add a constant to DrJavaConstants</li>
52+
* <li>In DrJavaPreferencePage, add a field in createFieldEditors()</li>
53+
* <li>Add a default value to EclipsePlugin</li>
54+
* <li>Add an IPropertyChangeListener to the PreferenceStore
55+
* ({@code EclipsePlugin.getDefault().getPreferenceStore()})</li>
56+
* <li>Specifically, in InteractionsController:<ul>
57+
* <li>Add a variable to remember preference</li>
58+
* <li>Make action dependent on variable</li>
59+
* <li>Add a line to _updatePreferences</li>
60+
* </li>
61+
* </ul>
62+
*
5463
* @version $Id$
5564
*/
5665
public class DrJavaPreferencePage extends FieldEditorPreferencePage

0 commit comments

Comments
 (0)