1.1 --- a/src/Tools/isac/jEditC/README Tue Aug 31 21:03:11 2010 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,77 +0,0 @@
1.4 -Isabelle/jEdit based on Isabelle/Scala
1.5 -======================================
1.6 -
1.7 -The Isabelle/Scala layer that is already part of Isabelle/Pure
1.8 -provides some general infrastructure for advanced prover interaction
1.9 -and integration. The Isabelle/jEdit application serves as an example
1.10 -for asynchronous proof checking with support for parallel processing.
1.11 -
1.12 -See also the paper:
1.13 -
1.14 - Makarius Wenzel. Asynchronous Proof Processing with Isabelle/Scala
1.15 - and Isabelle/jEdit. In C. Sacerdoti Coen and D. Aspinall, editors,
1.16 - User Interfaces for Theorem Provers (UITP 2010), FLOC 2010 Satellite
1.17 - Workshop, Edinburgh, Scotland, July 2010. To appear in ENTCS.
1.18 - http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf
1.19 -
1.20 -
1.21 -Some limitations of the current implementation (as of Isabelle2009-2):
1.22 -
1.23 - * No provisions for editing multiple theory files.
1.24 -
1.25 - * No reclaiming of old/unused document versions. Memory will fill
1.26 - up eventually, both on the JVM and ML side.
1.27 -
1.28 - * No support for non-local markup, e.g. commands reporting on
1.29 - previous commands (proof end on proof head), or markup produced by
1.30 - loading external files.
1.31 -
1.32 - * Some performance bottlenecks for massive amount of markup,
1.33 - e.g. when processing large ML sections.
1.34 -
1.35 - * General lack of various conveniences known from Proof General.
1.36 -
1.37 -Despite these shortcomings, Isabelle/jEdit already demonstrates that
1.38 -interactive theorem proving can be much more than command-line
1.39 -interaction via TTY or editor front-ends (such as Proof General and
1.40 -its many remakes).
1.41 -
1.42 -
1.43 -Known problems with Mac OS
1.44 -==========================
1.45 -
1.46 -- The MacOSX plugin for jEdit disrupts regular C-X/C/V operations,
1.47 - e.g. between the editor and the Console plugin, which is a standard
1.48 - swing text box. Similar for search boxes etc.
1.49 -
1.50 -- Anti-aliasing does not really work as well as for Linux or Windows.
1.51 - (General Apple/Swing problem?)
1.52 -
1.53 -- Font.createFont mangles the font family of non-regular fonts,
1.54 - e.g. bold. IsabelleText font files need to be installed manually.
1.55 -
1.56 -- ToggleButton selected state is not rendered if window focus is lost,
1.57 - which is probably a genuine feature of the Apple look-and-feel.
1.58 -
1.59 -
1.60 -Windows/Linux
1.61 -=============
1.62 -
1.63 -- Works best with Sun Java 1.6.x -- avoid OpenJDK for now.
1.64 -
1.65 -
1.66 -Licenses and home sites of contributing systems
1.67 -===============================================
1.68 -
1.69 -* Scala: BSD-style
1.70 - http://www.scala-lang.org
1.71 -
1.72 -* jEdit: GPL (with special cases)
1.73 - http://www.jedit.org/
1.74 -
1.75 -* Lobo/Cobra: GPL and LGPL
1.76 - http://lobobrowser.org/
1.77 -
1.78 -
1.79 - Makarius
1.80 - 31-May-2010
2.1 Binary file src/Tools/isac/jEditC/contrib/jEdit/.Untitled-1.marks has changed
3.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/Isac.iml Tue Aug 31 21:03:11 2010 +0200
3.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
3.3 @@ -1,13 +0,0 @@
3.4 -<?xml version="1.0" encoding="UTF-8"?>
3.5 -<module relativePaths="true" type="JAVA_MODULE" version="4">
3.6 - <component name="NewModuleRootManager" inherit-compiler-output="true">
3.7 - <exclude-output />
3.8 - <content url="file://$MODULE_DIR$">
3.9 - <sourceFolder url="file://$MODULE_DIR$" isTestSource="false" />
3.10 - </content>
3.11 - <orderEntry type="inheritedJdk" />
3.12 - <orderEntry type="sourceFolder" forTests="false" />
3.13 - <orderEntry type="module" module-name="jEdit" />
3.14 - </component>
3.15 -</module>
3.16 -
4.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/Isac.java Tue Aug 31 21:03:11 2010 +0200
4.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
4.3 @@ -1,245 +0,0 @@
4.4 -/*
4.5 - * Isac.java
4.6 - * part of the Isac plugin for the jEdit text editor
4.7 - * Copyright (C) 2001 John Gellene
4.8 - * jgellene@nyc.rr.com
4.9 - *
4.10 - * This program is free software; you can redistribute it and/or
4.11 - * modify it under the terms of the GNU General Public License
4.12 - * as published by the Free Software Foundation; either version 2
4.13 - * of the License, or any later version.
4.14 - *
4.15 - * This program is distributed in the hope that it will be useful,
4.16 - * but WITHOUT ANY WARRANTY; without even the implied warranty of
4.17 - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
4.18 - * GNU General Public License for more details.
4.19 - *
4.20 - * You should have received a copy of the GNU General Public License
4.21 - * along with this program; if not, write to the Free Software
4.22 - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
4.23 - *
4.24 - * $Id: Isac.java 12504 2008-04-22 23:12:43Z ezust $
4.25 - */
4.26 -
4.27 -// {{{ imports
4.28 -import java.awt.BorderLayout;
4.29 -import java.awt.Dimension;
4.30 -import java.awt.Font;
4.31 -import java.io.BufferedReader;
4.32 -import java.io.File;
4.33 -import java.io.FileNotFoundException;
4.34 -import java.io.FileReader;
4.35 -import java.io.FileWriter;
4.36 -import java.io.IOException;
4.37 -
4.38 -import javax.swing.JFileChooser;
4.39 -import javax.swing.JPanel;
4.40 -import javax.swing.JScrollPane;
4.41 -
4.42 -import org.gjt.sp.jedit.EBComponent;
4.43 -import org.gjt.sp.jedit.EBMessage;
4.44 -import org.gjt.sp.jedit.EditBus;
4.45 -import org.gjt.sp.jedit.GUIUtilities;
4.46 -import org.gjt.sp.jedit.View;
4.47 -import org.gjt.sp.jedit.jEdit;
4.48 -import org.gjt.sp.jedit.gui.DefaultFocusComponent;
4.49 -import org.gjt.sp.jedit.gui.DockableWindowManager;
4.50 -import org.gjt.sp.jedit.msg.PropertiesChanged;
4.51 -import org.gjt.sp.util.Log;
4.52 -import org.gjt.sp.util.StandardUtilities;
4.53 -// }}}
4.54 -
4.55 -// {{{ Isac class
4.56 -/**
4.57 - *
4.58 - * Isac - a dockable JPanel, a demonstration of a jEdit plugin.
4.59 - *
4.60 - */
4.61 -public class Isac extends JPanel
4.62 - implements EBComponent, IsacActions, DefaultFocusComponent {
4.63 -
4.64 - // {{{ Instance Variables
4.65 - private static final long serialVersionUID = 6412255692894321789L;
4.66 -
4.67 - private String filename;
4.68 -
4.69 - private String defaultFilename;
4.70 -
4.71 - private View view;
4.72 -
4.73 - private boolean floating;
4.74 -
4.75 - private IsacTextArea textArea;
4.76 -
4.77 - private IsacToolPanel toolPanel;
4.78 - // }}}
4.79 -
4.80 - // {{{ Constructor
4.81 - /**
4.82 - *
4.83 - * @param view the current jedit window
4.84 - * @param position a variable passed in from the script in actions.xml,
4.85 - * which can be DockableWindowManager.FLOATING, TOP, BOTTOM, LEFT, RIGHT, etc.
4.86 - * see @ref DockableWindowManager for possible values.
4.87 - */
4.88 - public Isac(View view, String position) {
4.89 - super(new BorderLayout());
4.90 - this.view = view;
4.91 - this.floating = position.equals(DockableWindowManager.FLOATING);
4.92 -
4.93 - if (jEdit.getSettingsDirectory() != null) {
4.94 - this.filename = jEdit.getProperty(IsacPlugin.OPTION_PREFIX
4.95 - + "filepath");
4.96 - if (this.filename == null || this.filename.length() == 0) {
4.97 - this.filename = new String(jEdit.getSettingsDirectory()
4.98 - + File.separator + "qn.txt");
4.99 - jEdit.setProperty(
4.100 - IsacPlugin.OPTION_PREFIX + "filepath",
4.101 - this.filename);
4.102 - }
4.103 - this.defaultFilename = this.filename;
4.104 - }
4.105 -
4.106 - this.toolPanel = new IsacToolPanel(this);
4.107 - add(BorderLayout.NORTH, this.toolPanel);
4.108 -
4.109 - if (floating)
4.110 - this.setPreferredSize(new Dimension(500, 250));
4.111 -
4.112 - textArea = new IsacTextArea();
4.113 - textArea.setFont(IsacOptionPane.makeFont());
4.114 -
4.115 - JScrollPane pane = new JScrollPane(textArea);
4.116 - add(BorderLayout.CENTER, pane);
4.117 -
4.118 - readFile();
4.119 - }
4.120 - // }}}
4.121 -
4.122 - // {{{ Member Functions
4.123 -
4.124 - // {{{ focusOnDefaultComponent
4.125 - public void focusOnDefaultComponent() {
4.126 - textArea.requestFocus();
4.127 - }
4.128 - // }}}
4.129 -
4.130 - // {{{ getFileName
4.131 - public String getFilename() {
4.132 - return filename;
4.133 - }
4.134 - // }}}
4.135 -
4.136 - // EBComponent implementation
4.137 -
4.138 - // {{{ handleMessage
4.139 - public void handleMessage(EBMessage message) {
4.140 - if (message instanceof PropertiesChanged) {
4.141 - propertiesChanged();
4.142 - }
4.143 - }
4.144 - // }}}
4.145 -
4.146 - // {{{ propertiesChanged
4.147 - private void propertiesChanged() {
4.148 - String propertyFilename = jEdit
4.149 - .getProperty(IsacPlugin.OPTION_PREFIX + "filepath");
4.150 - if (!StandardUtilities.objectsEqual(defaultFilename, propertyFilename)) {
4.151 - saveFile();
4.152 - toolPanel.propertiesChanged();
4.153 - defaultFilename = propertyFilename;
4.154 - filename = defaultFilename;
4.155 - readFile();
4.156 - }
4.157 - Font newFont = IsacOptionPane.makeFont();
4.158 - if (!newFont.equals(textArea.getFont())) {
4.159 - textArea.setFont(newFont);
4.160 - }
4.161 - }
4.162 - // }}}
4.163 -
4.164 - // These JComponent methods provide the appropriate points
4.165 - // to subscribe and unsubscribe this object to the EditBus.
4.166 -
4.167 - // {{{ addNotify
4.168 - public void addNotify() {
4.169 - super.addNotify();
4.170 - EditBus.addToBus(this);
4.171 - }
4.172 - // }}}
4.173 -
4.174 - // {{{ removeNotify
4.175 - public void removeNotify() {
4.176 - saveFile();
4.177 - super.removeNotify();
4.178 - EditBus.removeFromBus(this);
4.179 - }
4.180 - // }}}
4.181 -
4.182 - // IsacActions implementation
4.183 -
4.184 - // {{{
4.185 - public void saveFile() {
4.186 - if (filename == null || filename.length() == 0)
4.187 - return;
4.188 - try {
4.189 - FileWriter out = new FileWriter(filename);
4.190 - out.write(textArea.getText());
4.191 - out.close();
4.192 - } catch (IOException ioe) {
4.193 - Log.log(Log.ERROR, Isac.class,
4.194 - "Could not write notepad text to " + filename);
4.195 - }
4.196 - }
4.197 - // }}}
4.198 -
4.199 - // {{{ chooseFile
4.200 - public void chooseFile() {
4.201 - String[] paths = GUIUtilities.showVFSFileDialog(view, null,
4.202 - JFileChooser.OPEN_DIALOG, false);
4.203 - if (paths != null && !paths[0].equals(filename)) {
4.204 - saveFile();
4.205 - filename = paths[0];
4.206 - toolPanel.propertiesChanged();
4.207 - readFile();
4.208 - }
4.209 - }
4.210 - // }}}
4.211 -
4.212 - // {{{ copyToBuffer
4.213 - public void copyToBuffer() {
4.214 - jEdit.newFile(view);
4.215 - //GAdei Test view.getEditPane().getTextArea().setText(textArea.getText());
4.216 - view.getEditPane().getTextArea().setText("Gadei the King");
4.217 - }
4.218 - // }}}
4.219 - // {{{ readFile()
4.220 - /**
4.221 - * Helper method
4.222 - */
4.223 - private void readFile() {
4.224 - if (filename == null || filename.length() == 0)
4.225 - return;
4.226 -
4.227 - BufferedReader bf = null;
4.228 - try {
4.229 - bf = new BufferedReader(new FileReader(filename));
4.230 - StringBuffer sb = new StringBuffer(2048);
4.231 - String str;
4.232 - while ((str = bf.readLine()) != null) {
4.233 - sb.append(str).append('\n');
4.234 - }
4.235 - bf.close();
4.236 - textArea.setText(sb.toString());
4.237 - } catch (FileNotFoundException fnf) {
4.238 - Log.log(Log.ERROR, Isac.class, "notepad file " + filename
4.239 - + " does not exist");
4.240 - } catch (IOException ioe) {
4.241 - Log.log(Log.ERROR, Isac.class,
4.242 - "could not read notepad file " + filename);
4.243 - }
4.244 - }
4.245 - // }}}
4.246 - // }}}
4.247 -}
4.248 -// }}}
5.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacActions.java Tue Aug 31 21:03:11 2010 +0200
5.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
5.3 @@ -1,30 +0,0 @@
5.4 -/*
5.5 - * IsacActions.java
5.6 - * part of the Isac plugin for the jEdit text editor
5.7 - * Copyright Gadei
5.8 - * jgellene@nyc.rr.com
5.9 - *
5.10 - * This program is free software; you can redistribute it and/or
5.11 - * modify it under the terms of the GNU General Public License
5.12 - * as published by the Free Software Foundation; either version 2
5.13 - * of the License, or any later version.
5.14 - *
5.15 - * This program is distributed in the hope that it will be useful,
5.16 - * but WITHOUT ANY WARRANTY; without even the implied warranty of
5.17 - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
5.18 - * GNU General Public License for more details.
5.19 - *
5.20 - * You should have received a copy of the GNU General Public License
5.21 - * along with this program; if not, write to the Free Software
5.22 - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
5.23 - *
5.24 - * $Id: IsacActions.java 12504 2008-04-22 23:12:43Z ezust $
5.25 - */
5.26 -
5.27 -interface IsacActions {
5.28 - void chooseFile();
5.29 -
5.30 - void saveFile();
5.31 -
5.32 - void copyToBuffer();
5.33 -}
6.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacOptionPane.java Tue Aug 31 21:03:11 2010 +0200
6.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
6.3 @@ -1,127 +0,0 @@
6.4 -/*
6.5 - * IsacOptionPane.java
6.6 - * part of the Isac plugin for the jEdit text editor
6.7 - * Copyright (C) 2001 John Gellene
6.8 - * jgellene@nyc.rr.com
6.9 - *
6.10 - * This program is free software; you can redistribute it and/or
6.11 - * modify it under the terms of the GNU General Public License
6.12 - * as published by the Free Software Foundation; either version 2
6.13 - * of the License, or any later version.
6.14 - *
6.15 - * This program is distributed in the hope that it will be useful,
6.16 - * but WITHOUT ANY WARRANTY; without even the implied warranty of
6.17 - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
6.18 - * GNU General Public License for more details.
6.19 - *
6.20 - * You should have received a copy of the GNU General Public License
6.21 - * along with this program; if not, write to the Free Software
6.22 - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
6.23 - *
6.24 - * $Id: IsacOptionPane.java 12504 2008-04-22 23:12:43Z ezust $
6.25 - */
6.26 -
6.27 -import java.awt.BorderLayout;
6.28 -import java.awt.Font;
6.29 -import java.awt.event.ActionEvent;
6.30 -import java.awt.event.ActionListener;
6.31 -
6.32 -import javax.swing.JButton;
6.33 -import javax.swing.JCheckBox;
6.34 -import javax.swing.JFileChooser;
6.35 -import javax.swing.JPanel;
6.36 -import javax.swing.JTextField;
6.37 -
6.38 -import org.gjt.sp.jedit.AbstractOptionPane;
6.39 -import org.gjt.sp.jedit.GUIUtilities;
6.40 -import org.gjt.sp.jedit.jEdit;
6.41 -import org.gjt.sp.jedit.gui.FontSelector;
6.42 -
6.43 -public class IsacOptionPane extends AbstractOptionPane implements
6.44 - ActionListener {
6.45 - private JCheckBox showPath;
6.46 -
6.47 - private JTextField pathName;
6.48 -
6.49 - private FontSelector font;
6.50 -
6.51 - public IsacOptionPane() {
6.52 - super(IsacPlugin.NAME);
6.53 - }
6.54 -
6.55 - public void _init() {
6.56 - showPath = new JCheckBox(jEdit
6.57 - .getProperty(IsacPlugin.OPTION_PREFIX
6.58 - + "show-filepath.title"), jEdit.getProperty(
6.59 - IsacPlugin.OPTION_PREFIX + "show-filepath").equals(
6.60 - "true"));
6.61 - addComponent(showPath);
6.62 -
6.63 - pathName = new JTextField(jEdit
6.64 - .getProperty(IsacPlugin.OPTION_PREFIX + "filepath"));
6.65 - JButton pickPath = new JButton(jEdit
6.66 - .getProperty(IsacPlugin.OPTION_PREFIX + "choose-file"));
6.67 - pickPath.addActionListener(this);
6.68 -
6.69 - JPanel pathPanel = new JPanel(new BorderLayout(0, 0));
6.70 - pathPanel.add(pathName, BorderLayout.CENTER);
6.71 - pathPanel.add(pickPath, BorderLayout.EAST);
6.72 -
6.73 - addComponent(jEdit.getProperty(IsacPlugin.OPTION_PREFIX
6.74 - + "file"), pathPanel);
6.75 -
6.76 - font = new FontSelector(makeFont());
6.77 - addComponent(jEdit.getProperty(IsacPlugin.OPTION_PREFIX
6.78 - + "choose-font"), font);
6.79 - }
6.80 -
6.81 - public void _save() {
6.82 - jEdit.setProperty(IsacPlugin.OPTION_PREFIX + "filepath",
6.83 - pathName.getText());
6.84 - Font _font = font.getFont();
6.85 - jEdit.setProperty(IsacPlugin.OPTION_PREFIX + "font", _font
6.86 - .getFamily());
6.87 - jEdit.setProperty(IsacPlugin.OPTION_PREFIX + "fontsize", String
6.88 - .valueOf(_font.getSize()));
6.89 - jEdit.setProperty(IsacPlugin.OPTION_PREFIX + "fontstyle",
6.90 - String.valueOf(_font.getStyle()));
6.91 - jEdit.setProperty(IsacPlugin.OPTION_PREFIX + "show-filepath",
6.92 - String.valueOf(showPath.isSelected()));
6.93 - }
6.94 -
6.95 - // end AbstractOptionPane implementation
6.96 -
6.97 - // begin ActionListener implementation
6.98 - public void actionPerformed(ActionEvent evt) {
6.99 - String[] paths = GUIUtilities.showVFSFileDialog(null, null,
6.100 - JFileChooser.OPEN_DIALOG, false);
6.101 - if (paths != null) {
6.102 - pathName.setText(paths[0]);
6.103 - }
6.104 - }
6.105 -
6.106 - // helper method to get Font from plugin properties
6.107 - static public Font makeFont() {
6.108 - int style, size;
6.109 - String family = jEdit.getProperty(IsacPlugin.OPTION_PREFIX
6.110 - + "font");
6.111 - try {
6.112 - size = Integer
6.113 - .parseInt(jEdit
6.114 - .getProperty(IsacPlugin.OPTION_PREFIX
6.115 - + "fontsize"));
6.116 - } catch (NumberFormatException nf) {
6.117 - size = 14;
6.118 - }
6.119 - try {
6.120 - style = Integer
6.121 - .parseInt(jEdit
6.122 - .getProperty(IsacPlugin.OPTION_PREFIX
6.123 - + "fontstyle"));
6.124 - } catch (NumberFormatException nf) {
6.125 - style = Font.PLAIN;
6.126 - }
6.127 - return new Font(family, style, size);
6.128 - }
6.129 -
6.130 -}
7.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacPlugin.java Tue Aug 31 21:03:11 2010 +0200
7.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
7.3 @@ -1,34 +0,0 @@
7.4 -/*
7.5 - * IsacPlugin.java
7.6 - * part of the Isac plugin for the jEdit text editor
7.7 - * Copyright (C) 2001 John Gellene
7.8 - * jgellene@nyc.rr.com
7.9 - *
7.10 - * This program is free software; you can redistribute it and/or
7.11 - * modify it under the terms of the GNU General Public License
7.12 - * as published by the Free Software Foundation; either version 2
7.13 - * of the License, or any later version.
7.14 - *
7.15 - * This program is distributed in the hope that it will be useful,
7.16 - * but WITHOUT ANY WARRANTY; without even the implied warranty of
7.17 - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
7.18 - * GNU General Public License for more details.
7.19 - *
7.20 - * You should have received a copy of the GNU General Public License
7.21 - * along with this program; if not, write to the Free Software
7.22 - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
7.23 - *
7.24 - * $Id: IsacPlugin.java 12504 2008-04-22 23:12:43Z ezust $
7.25 - */
7.26 -
7.27 -import org.gjt.sp.jedit.EditPlugin;
7.28 -
7.29 -/**
7.30 - * The Isac plugin
7.31 - *
7.32 - * @author gadei
7.33 - */
7.34 -public class IsacPlugin extends EditPlugin {
7.35 - public static final String NAME = "isac";
7.36 - public static final String OPTION_PREFIX = "options.isac.";
7.37 -}
8.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacTextArea.java Tue Aug 31 21:03:11 2010 +0200
8.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
8.3 @@ -1,34 +0,0 @@
8.4 -/*
8.5 - * IsacTextArea.java
8.6 - * part of the Isac plugin for the jEditTextArea
8.7 - * Gadei
8.8 - *
8.9 - * jgellene@nyc.rr.com
8.10 - *
8.11 - * This program is free software; you can redistribute it and/or
8.12 - * modify it under the terms of the GNU General Public License
8.13 - * as published by the Free Software Foundation; either version 2
8.14 - * of the License, or any later version.
8.15 - *
8.16 - * This program is distributed in the hope that it will be useful,
8.17 - * but WITHOUT ANY WARRANTY; without even the implied warranty of
8.18 - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
8.19 - * GNU General Public License for more details.
8.20 - *
8.21 - * You should have received a copy of the GNU General Public License
8.22 - * along with this program; if not, write to the Free Software
8.23 - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
8.24 - *
8.25 - * $Id: IsacTextArea.java 12504 2008-04-22 23:12:43Z ezust $
8.26 - */
8.27 -
8.28 -import javax.swing.JTextArea;
8.29 -
8.30 -public class IsacTextArea extends JTextArea {
8.31 - public IsacTextArea() {
8.32 - super();
8.33 - setLineWrap(true);
8.34 - setWrapStyleWord(true);
8.35 - setTabSize(4);
8.36 - }
8.37 -}
9.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacToolPanel.java Tue Aug 31 21:03:11 2010 +0200
9.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
9.3 @@ -1,100 +0,0 @@
9.4 -/*
9.5 - * IsacToolPanel.java
9.6 - * part of the Isac plugin for the jEdit text editor
9.7 - * Copyright Gadei
9.8 - * jgellene@nyc.rr.com
9.9 - *
9.10 - * This program is free software; you can redistribute it and/or
9.11 - * modify it under the terms of the GNU General Public License
9.12 - * as published by the Free Software Foundation; either version 2
9.13 - * of the License, or any later version.
9.14 - *
9.15 - * This program is distributed in the hope that it will be useful,
9.16 - * but WITHOUT ANY WARRANTY; without even the implied warranty of
9.17 - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
9.18 - * GNU General Public License for more details.
9.19 - *
9.20 - * You should have received a copy of the GNU General Public License
9.21 - * along with this program; if not, write to the Free Software
9.22 - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
9.23 - *
9.24 - * $Id: IsacToolPanel.java 12504 2008-04-22 23:12:43Z ezust $
9.25 - */
9.26 -
9.27 -import java.awt.event.ActionEvent;
9.28 -import java.awt.event.ActionListener;
9.29 -
9.30 -import javax.swing.AbstractButton;
9.31 -import javax.swing.Box;
9.32 -import javax.swing.BoxLayout;
9.33 -import javax.swing.JLabel;
9.34 -import javax.swing.JPanel;
9.35 -
9.36 -import org.gjt.sp.jedit.GUIUtilities;
9.37 -import org.gjt.sp.jedit.jEdit;
9.38 -import org.gjt.sp.jedit.gui.RolloverButton;
9.39 -
9.40 -public class IsacToolPanel extends JPanel {
9.41 - private Isac pad;
9.42 -
9.43 - private JLabel label;
9.44 -
9.45 - public IsacToolPanel(Isac qnpad) {
9.46 - setLayout(new BoxLayout(this, BoxLayout.X_AXIS));
9.47 - pad = qnpad;
9.48 -
9.49 - Box labelBox = new Box(BoxLayout.Y_AXIS);
9.50 - labelBox.add(Box.createGlue());
9.51 -
9.52 - label = new JLabel(pad.getFilename());
9.53 - label.setVisible(jEdit.getProperty(
9.54 - IsacPlugin.OPTION_PREFIX + "show-filepath").equals(
9.55 - "true"));
9.56 -
9.57 - labelBox.add(label);
9.58 - labelBox.add(Box.createGlue());
9.59 -
9.60 - add(labelBox);
9.61 -
9.62 - add(Box.createGlue());
9.63 -
9.64 - add(makeCustomButton("isac.choose-file", new ActionListener() {
9.65 - public void actionPerformed(ActionEvent evt) {
9.66 - IsacToolPanel.this.pad.chooseFile();
9.67 - }
9.68 - }));
9.69 - add(makeCustomButton("isac.save-file", new ActionListener() {
9.70 - public void actionPerformed(ActionEvent evt) {
9.71 - IsacToolPanel.this.pad.saveFile();
9.72 - }
9.73 - }));
9.74 - add(makeCustomButton("isac.copy-to-buffer",
9.75 - new ActionListener() {
9.76 - public void actionPerformed(ActionEvent evt) {
9.77 - IsacToolPanel.this.pad.copyToBuffer();
9.78 - }
9.79 - }));
9.80 - }
9.81 -
9.82 - void propertiesChanged() {
9.83 - label.setText(pad.getFilename());
9.84 - label.setVisible(jEdit.getProperty(
9.85 - IsacPlugin.OPTION_PREFIX + "show-filepath").equals(
9.86 - "true"));
9.87 - }
9.88 -
9.89 - private AbstractButton makeCustomButton(String name, ActionListener listener) {
9.90 - String toolTip = jEdit.getProperty(name.concat(".label"));
9.91 - AbstractButton b = new RolloverButton(GUIUtilities.loadIcon(jEdit
9.92 - .getProperty(name + ".icon")));
9.93 - if (listener != null) {
9.94 - b.addActionListener(listener);
9.95 - b.setEnabled(true);
9.96 - } else {
9.97 - b.setEnabled(false);
9.98 - }
9.99 - b.setToolTipText(toolTip);
9.100 - return b;
9.101 - }
9.102 -
9.103 -}
10.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/README.txt Tue Aug 31 21:03:11 2010 +0200
10.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
10.3 @@ -1,12 +0,0 @@
10.4 -QUICK NOTEPAD PLUGIN
10.5 -
10.6 -The jEdit source distribution includes source code for an example plugin
10.7 -named 'QuickNotepad', written by John Gellene.
10.8 -
10.9 -The plugin source is discussed in detail in the 'Writing Plugins' part
10.10 -of the user's guide.
10.11 -
10.12 -The source code has been updated to conform the the Plugin API for version 4.0
10.13 -of jEdit. The file changes40.txt outlines the changes that were made from the
10.14 -version distributed with jEdit 3.2.2.
10.15 -
11.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/build.xml Tue Aug 31 21:03:11 2010 +0200
11.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
11.3 @@ -1,29 +0,0 @@
11.4 -<?xml version="1.0"?>
11.5 -<project name="Isac"
11.6 - default="build">
11.7 - <description>
11.8 - This is an ant build.xml file for building the Isac plugin for jEdit.
11.9 - </description>
11.10 -
11.11 - <property file="build.properties"/>
11.12 - <property file="../build.properties"/>
11.13 -
11.14 - <property name="jedit.install.dir"
11.15 - location="../../build" />
11.16 - <property name="user-doc.xml"
11.17 - value="users-guide.xml" />
11.18 -
11.19 - <property name="build.support"
11.20 - value="../../../build-support" />
11.21 - <import file="${build.support}/plugin-build.xml" />
11.22 -
11.23 - <selector id="docSrcFiles">
11.24 - <filename name="users-guide.xml" />
11.25 - </selector>
11.26 -
11.27 - <target name="-pre-jar">
11.28 - <copy file="plugin/dockables.xml" todir="${build.classes.dir}" />
11.29 - <copy file="plugin/actions.xml" todir="${build.classes.dir}" />
11.30 - <copy file="plugin/Isabelle.props" todir="${build.classes.dir}" />
11.31 - </target>
11.32 -</project>
12.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/changes40.txt Tue Aug 31 21:03:11 2010 +0200
12.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
12.3 @@ -1,99 +0,0 @@
12.4 -$Id: changes40.txt 3890 2001-11-11 03:02:31Z jgellene $
12.5 -
12.6 -Changes made to QuickNotepad plugin for jEdit 4.0:
12.7 -
12.8 -(1) Under jEdit 3.2.2 and prior versions, the plugin had a separate class,
12.9 -QuickNotepadDockable, implementing the DockableWindow interface. The class's
12.10 -methods delegated actions to the plugin's top-level visible component, a class
12.11 -derived from JPanel called QuickNotepad. The DockableWindow interface is
12.12 -deprecated in jEdit 4.0, so this class was eliminated. If the top-level
12.13 -component had implemented the DockableWindow interface, it would have been
12.14 -necessary to remove DockableWindow as an implemented interface and the eliminate
12.15 -the getName() and getComponent() methods of that interface in the plugin class.
12.16 -
12.17 -(2) A new file, dockables.xml, was created containing XML markup for the
12.18 -constructor of a plugin component. Under the new plugin API, this file is read
12.19 -to determine the method call or calls for constructing a new instance of a
12.20 -dockable plugin component. The file is quite short:
12.21 -
12.22 -<?xml version="1.0"?>
12.23 -
12.24 -<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
12.25 -
12.26 -<!-- QuickNotepad dockable window -->
12.27 -
12.28 -<DOCKABLES>
12.29 - <DOCKABLE NAME="quicknotepad">
12.30 - new QuickNotepad(view, position);
12.31 - </DOCKABLE>
12.32 -</DOCKABLES>
12.33 -
12.34 -The parameters are those found in the existing version of the QuickNotepad
12.35 -constructor. Both "view" and "position" are defined by the new plugin API in the
12.36 -namespace in which the constructor is called. The value of position is taken
12.37 -from optional properties set by the user. In the absence of a user setting, the
12.38 -position parameter is set to place the plugin component in a floating window.
12.39 -
12.40 -The NAME attribute is taken to conform to the value of the static variable
12.41 -QuickNotepadPlugin.NAME, which is also used to identify the plugin in the user
12.42 -action code contained in actions.xml.
12.43 -
12.44 -By default, the plugin API adds two actions for a plugin. The first is entitled
12.45 -[name of plugin] (in this case, "quicknotepad"), and simply activates the plugin
12.46 -by executing the code contained in the DOCKABLE element. The second action
12.47 -toggles the plugin's visible component, the title of the action is [name of
12.48 -plugin]-toggle (in this case, "quicknotepad-toggle"). The plugin API handles
12.49 -this action internally.
12.50 -
12.51 -To prevent these actions from being created, you can add a NO_ACTIONS="true"
12.52 -attribute to the DOCKABLE element. The NAME and NO_ACTIONS attributes are the
12.53 -only attributes defined for a DOCKABLE entry. A NAME is required; NO_ACTIONS is
12.54 -set to "false" by default.
12.55 -
12.56 -(3) In the actions.xml file, the user action definitions were revised to call
12.57 -DockableWindowManager.getDockable() instead of
12.58 -DockableManager.getDockableWindow(). In addition, the actions for toggling the
12.59 -plugin docking window and bringing the QuickNotepad window to the foreground
12.60 -were eliminated. The toggle action was duplicative of the built-in action
12.61 -supplied through dockables.xml, and the "bring to front" action had become
12.62 -redundant.
12.63 -
12.64 -(4) There were two deletions made in QuickNotepadPlugin, the main plugin class.
12.65 -
12.66 -The handleMessage() method was eliminated because it was only necessary for the
12.67 -plugin to listen for the CreateDockableWindow message. As a result, it is no
12.68 -longer necessary for this plugin to connect to the EditBus, so its derivation
12.69 -was changed from EBPlugin to EditPlugin. Individual instances of the
12.70 -QuickNotepad class still need to listen for a PropertiesChanged message, so that
12.71 -class continues to implement EBComponent.
12.72 -
12.73 -In addition, since the EditBus no longer maintains an active list of windows,
12.74 -the call to EditBus.addToNamedList() is no longer needed in the class's start()
12.75 -method and so was eliminated, leaving an empty start() method.
12.76 -
12.77 -(5) No changes were required in the option pane class, QuickNotepadOptionsPane,
12.78 -or the other other classes defining components of the plugin.
12.79 -
12.80 -(6) Finally, several changes were made to the propoerties file of the plugin,
12.81 -QuickNotepad.props. First, the plugin's dependency properties were changed to
12.82 -make the plugin dependent upon version 4.0 or greater of jEdit:
12.83 -
12.84 -plugin.QuickNotepadPlugin.depend.1=jedit 04.00.00.00
12.85 -
12.86 -Next, the quicknotepad.title property was eliminated, and the "label" properties
12.87 -for the docking window and plugin menu were reorganized into two categories:
12.88 -labels for action created by dockable.xml (quicknotepad.label and
12.89 -quicknotepad-toggle.label), and labels for actions created by actions.xml (the
12.90 -remaining user actions: "choose-file", "save-file" and "copy-to-buffer").
12.91 -
12.92 -The plugin was built using the standard build.xml supplied for plugins,
12.93 -after checking to make sure that the name of the plugin and the location of
12.94 -jedit.jar were correct. It was also necessary to add dockables.xml to the list
12.95 -of files to be archived by the jar utility. Iterations of the build process
12.96 -helped to uncover deprecated API elements.
12.97 -
12.98 -The help file was built from DocBook XML source using xsltproc. The build.xml
12.99 -Ant build file and the users-guide.xsl customization file contain annotations
12.100 -which may be helpful in building plugin documentation. In particular, a few
12.101 -<indexterm> tags were added to the documentation source to provide references
12.102 -for the index to be generated for all plugin files.
13.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/changes42.txt Tue Aug 31 21:03:11 2010 +0200
13.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
13.3 @@ -1,26 +0,0 @@
13.4 -$Id: changes42.txt 4665 2003-04-30 05:28:55Z spestov $
13.5 -
13.6 -Changes made to QuickNotepad plugin for jEdit 4.2:
13.7 -
13.8 -(1) The following property was added:
13.9 -
13.10 - plugin.QuickNotepadPlugin.activate=defer
13.11 -
13.12 -This informs jEdit the plugin is using the new API, and that it should only be
13.13 -loaded the first time it is accessed by the user.
13.14 -
13.15 -(2) The createMenuItems() method of the plugin core class has been removed. The
13.16 -plugin menu is now specified with the following property:
13.17 -
13.18 - plugin.QuickNotepadPlugin.menu=... list of menu items ...
13.19 -
13.20 -(3) The createOptionPanes() method of the plugin core class has been removed. The plugin option pane is now specified with the following property:
13.21 -
13.22 - plugin.QuickNotepadPlugin.option-pane=quicknotepad
13.23 -
13.24 -(4) The QuickNotepad class (the dockable window) implements the new DefaultFocusComponent interface, and the following method was added to this class:
13.25 -
13.26 - public void focusOnDefaultComponent()
13.27 - {
13.28 - textArea.requestFocus();
13.29 - }
14.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/description.html Tue Aug 31 21:03:11 2010 +0200
14.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
14.3 @@ -1,8 +0,0 @@
14.4 -This plugin provides a dockable "scratch pad" for writing
14.5 -and displaying notes, to do lists or similar items as unformatted text.
14.6 -The text is automatically saved upon closing the plugin or exiting
14.7 -jEdit. It can also be saved manually. The user can change the file to be
14.8 -displayed during the current editing session. The path of the default
14.9 -notepad file can be changed as a user option. Finally, the text file can
14.10 -be copied to a new, untitled jEdit buffer so that it can be edited by the
14.11 -main program.
15.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/Isac.props Tue Aug 31 21:03:11 2010 +0200
15.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
15.3 @@ -1,67 +0,0 @@
15.4 -# Properties file for Isac plugin
15.5 -# $Id: Isac.props 6876 2006-09-02 20:39:49Z jchoyt $
15.6 -
15.7 -# jEdit only needs to load the plugin the first time the user accesses it
15.8 -# the presence of this property also tells jEdit the plugin is using the new API
15.9 -plugin.IsacPlugin.activate=defer
15.10 -
15.11 -# These two properties are required for all plugins
15.12 -plugin.IsacPlugin.name=Isac
15.13 -plugin.IsacPlugin.author=gadei
15.14 -
15.15 -# version number == jEdit version number
15.16 -plugin.IsacPlugin.version=4.3
15.17 -
15.18 -# online help
15.19 -plugin.IsacPlugin.docs=index.html
15.20 -
15.21 -# we only have one dependency, jEdit 4.2, since we use the new plugin API
15.22 -plugin.IsacPlugin.depend.0=jedit 04.02.01.00
15.23 -plugin.IsacPlugin.depend.1=jdk 1.6
15.24 -
15.25 -plugin.IsacPlugin.description=This plugin provides a dockable "scratch pad" for writing and displaying notes, to do lists or similar items as unformatted text.
15.26 -# plugin menu
15.27 -plugin.IsacPlugin.menu=isac \
15.28 - - \
15.29 - isac.choose-file \
15.30 - isac.save-file \
15.31 - isac.copy-to-buffer
15.32 -
15.33 -# action labels for actions supplied by dockables.xml
15.34 -isac.label=Isac
15.35 -
15.36 -# action labels for actions supplied by actions.xml
15.37 -Isac.choose-file.label=Choose notepad file
15.38 -Isac.save-file.label=Save notepad file
15.39 -Isac.copy-to-buffer.label=Copy notepad to buffer
15.40 -
15.41 -# plugin option pane
15.42 -plugin.IsacPlugin.option-pane=isac
15.43 -
15.44 -# Option pane activation BeanShell snippet
15.45 -options.isac.code=new IsacOptionPane();
15.46 -
15.47 -# Option pane labels
15.48 -options.isac.label=Isac
15.49 -options.isac.file=File:
15.50 -options.isac.choose-file=Choose
15.51 -options.isac.choose-file.title=Choose a notepad file
15.52 -options.isac.choose-font=Font:
15.53 -options.isac.show-filepath.title=Display notepad file path
15.54 -
15.55 -# window title
15.56 -isac.title=Isac
15.57 -
15.58 -# window toolbar buttons
15.59 -isac.choose-file.icon=Open.png
15.60 -isac.save-file.icon=Save.png
15.61 -isac.copy-to-buffer.icon=CopyToBuffer.png
15.62 -
15.63 -# default settings
15.64 -options.isac.show-filepath=true
15.65 -options.isac.font=Monospaced
15.66 -options.isac.fontstyle=0
15.67 -options.isac.fontsize=14
15.68 -
15.69 -# Setting not defined but supplied for completeness
15.70 -options.isac.filepath=
16.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/actions.xml Tue Aug 31 21:03:11 2010 +0200
16.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
16.3 @@ -1,29 +0,0 @@
16.4 -<!-- Action definition file for Isac plugin -->
16.5 -<!-- $Id: actions.xml 5152 2004-12-05 04:37:06Z spestov $
16.6 --->
16.7 -
16.8 -<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
16.9 -
16.10 -<ACTIONS>
16.11 - <ACTION NAME="isac.choose-file">
16.12 - <CODE>
16.13 - wm.addDockableWindow(IsacPlugin.NAME);
16.14 - wm.getDockableWindow(IsacPlugin.NAME).chooseFile();
16.15 - </CODE>
16.16 - </ACTION>
16.17 -
16.18 - <ACTION NAME="isac.save-file">
16.19 - <CODE>
16.20 - wm.addDockableWindow(IsacPlugin.NAME);
16.21 - wm.getDockableWindow(IsacPlugin.NAME).saveFile();
16.22 - </CODE>
16.23 - </ACTION>
16.24 -
16.25 - <ACTION NAME="isac.copy-to-buffer">
16.26 - <CODE>
16.27 - wm.addDockableWindow(IsacPlugin.NAME);
16.28 - wm.getDockableWindow(IsacPlugin.NAME).copyToBuffer();
16.29 - </CODE>
16.30 - </ACTION>
16.31 -</ACTIONS>
16.32 -
17.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/dockables.xml Tue Aug 31 21:03:11 2010 +0200
17.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
17.3 @@ -1,15 +0,0 @@
17.4 -<?xml version="1.0"?>
17.5 -
17.6 -<!-- Dockable component definition file for Isac plugin -->
17.7 -<!-- $Id: dockables.xml 4474 2003-02-09 20:37:14Z spestov $
17.8 --->
17.9 -
17.10 -<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
17.11 -
17.12 -<!-- Isac dockable windows -->
17.13 -
17.14 -<DOCKABLES>
17.15 - <DOCKABLE NAME="isac">
17.16 - new Isac(view, position);
17.17 - </DOCKABLE>
17.18 -</DOCKABLES>
18.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/users-guide.xml Tue Aug 31 21:03:11 2010 +0200
18.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
18.3 @@ -1,277 +0,0 @@
18.4 -<?xml version="1.0" encoding="UTF-8"?>
18.5 -<!-- Isac .0 help documentation -->
18.6 -<!-- Copyright (C) 2001 John Gellene -->
18.7 -<!DOCTYPE article PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN"
18.8 -"http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd">
18.9 -<article id="Isac">
18.10 - <articleinfo>
18.11 - <author>
18.12 - <firstname>John</firstname>
18.13 -
18.14 - <surname>Gellene</surname>
18.15 -
18.16 - <affiliation>
18.17 - <address><email>jgellene@nyc.rr.com</email></address>
18.18 - </affiliation>
18.19 - </author>
18.20 -
18.21 - <copyright>
18.22 - <year>2001</year>
18.23 -
18.24 - <holder>John Gellene</holder>
18.25 - </copyright>
18.26 -
18.27 - <legalnotice>
18.28 - <title>Legal Notice</title>
18.29 -
18.30 - <para>Permission is granted to copy, distribute and/or modify this
18.31 - document under the terms of the GNU Free Documentation License,
18.32 - Version 1.1 or any later version published by the Free Software
18.33 - Foundation; with no <quote>Invariant Sections</quote>,
18.34 - <quote>Front-Cover Texts</quote> or <quote>Back-Cover Texts</quote>,
18.35 - each as defined in the license. A copy of the license is included in
18.36 - the file <filename>COPYING.DOC.txt</filename> included with the
18.37 - jEdit distribution.</para>
18.38 - </legalnotice>
18.39 -
18.40 - <title>QuickNotepad 4.2</title>
18.41 - </articleinfo>
18.42 -
18.43 - <simplesect>
18.44 - <title>Introduction</title>
18.45 -
18.46 - <indexterm>
18.47 - <primary>QuickNotepad</primary>
18.48 - </indexterm>
18.49 -
18.50 - <para>This plugin provides a dockable <quote>scratch pad</quote> for
18.51 - writing and displaying notes, to do lists or similar items as
18.52 - unformatted text. The text is automatically saved upon closing the
18.53 - plugin or exiting jEdit. It can also be saved manually. The user can
18.54 - change the file to be displayed during the current editing session. The
18.55 - path of the default notepad file can be changed as a user option.
18.56 - Finally, the text file can be copied to a new, untitled jEdit buffer so
18.57 - that it can be edited by the main program.</para>
18.58 -
18.59 - <para>The <citetitle>jEdit Plugin Guide</citetitle> details the
18.60 - development and design of QuickNotepad. It is a simple but functional
18.61 - dockable plugin that incorporates the basic elements of the jEdit plugin
18.62 - architecture.</para>
18.63 -
18.64 - <para>The file <filename>changes42.txt</filename> in the plugin's source
18.65 - code details the changes that were made to the plugin to conform to the
18.66 - new plugin API for jEdit version 4.2.</para>
18.67 -
18.68 - <para>The file <filename>changes40.txt</filename> in the plugin's source
18.69 - code details the changes that were made to the plugin to conform to the
18.70 - new plugin API for jEdit version 4.0.</para>
18.71 - </simplesect>
18.72 -
18.73 - <simplesect>
18.74 - <title>Operation</title>
18.75 -
18.76 - <para><indexterm>
18.77 - <primary>QuickNotepad</primary>
18.78 -
18.79 - <secondary>shortcut keys</secondary>
18.80 - </indexterm> When QuickNotepad is activated, it loads and displays
18.81 - the file stored in its properties as unformatted text. The text can be
18.82 - edited using the keyboard and mouse. The text area component recognizes
18.83 - the following basic editing shortcuts:</para>
18.84 -
18.85 - <!-- Limitations on xsltproc's capabilities require a blank column between -->
18.86 -
18.87 - <!-- the two columns of data to provide spacing for the table. -->
18.88 -
18.89 - <informaltable frame="none">
18.90 - <tgroup align="left" cols="4">
18.91 - <colspec colnum="1" />
18.92 -
18.93 - <!-- blank column -->
18.94 -
18.95 - <colspec colnum="2" />
18.96 -
18.97 - <colspec colnum="3" />
18.98 -
18.99 - <!-- blank column -->
18.100 -
18.101 - <colspec colnum="4" />
18.102 -
18.103 - <tbody>
18.104 - <row>
18.105 - <entry></entry>
18.106 -
18.107 - <entry>Cut</entry>
18.108 -
18.109 - <entry></entry>
18.110 -
18.111 - <entry><keycombo action="simul">
18.112 - <keysym>Ctrl</keysym>
18.113 -
18.114 - <keysym>x</keysym>
18.115 - </keycombo></entry>
18.116 - </row>
18.117 -
18.118 - <row>
18.119 - <entry></entry>
18.120 -
18.121 - <entry>Copy</entry>
18.122 -
18.123 - <entry></entry>
18.124 -
18.125 - <entry><keycombo action="simul">
18.126 - <keysym>Ctrl</keysym>
18.127 -
18.128 - <keysym>c</keysym>
18.129 - </keycombo></entry>
18.130 - </row>
18.131 -
18.132 - <row>
18.133 - <entry></entry>
18.134 -
18.135 - <entry>Paste</entry>
18.136 -
18.137 - <entry></entry>
18.138 -
18.139 - <entry><keycombo action="simul">
18.140 - <keysym>Ctrl</keysym>
18.141 -
18.142 - <keysym>v</keysym>
18.143 - </keycombo></entry>
18.144 - </row>
18.145 -
18.146 - <row>
18.147 - <entry></entry>
18.148 -
18.149 - <entry>Select All</entry>
18.150 -
18.151 - <entry></entry>
18.152 -
18.153 - <entry><keycombo action="simul">
18.154 - <keysym>Ctrl</keysym>
18.155 -
18.156 - <keysym>a</keysym>
18.157 - </keycombo></entry>
18.158 - </row>
18.159 - </tbody>
18.160 - </tgroup>
18.161 - </informaltable>
18.162 -
18.163 - <para>QuickNotepad ignores function keys and other combination key
18.164 - presses.</para>
18.165 - </simplesect>
18.166 -
18.167 - <simplesect>
18.168 - <title>Toolbar buttons</title>
18.169 -
18.170 - <para>Three buttons above the text area provide file management
18.171 - operations:</para>
18.172 -
18.173 - <itemizedlist>
18.174 - <listitem>
18.175 - <para><guilabel>Choose notepad file</guilabel> - this button
18.176 - opens a file selection dialog permitting the user to select a
18.177 - different file to view in the text area. If a new file is
18.178 - selected, the old file is auomatically saved. The selection is
18.179 - valid only for the current editing session; to change the
18.180 - default QuickNotepad file for future sessions, use the <link
18.181 - linkend="options">options dialog</link>.</para>
18.182 - </listitem>
18.183 -
18.184 - <listitem>
18.185 - <para><guilabel>Save notepad file</guilabel> - this button
18.186 - causes QuickNotepad to write the contents of the text area to
18.187 - the designated notepad file. To save the text to another file
18.188 - name, use the <guilabel>Copy notepad to buffer</guilabel>
18.189 - operation.</para>
18.190 - </listitem>
18.191 -
18.192 - <listitem>
18.193 - <para><guilabel>Copy notepad to buffer</guilabel> - this button
18.194 - causes the contents of the text to be written to a newly
18.195 - created, untitled buffer in the main text editing area. This
18.196 - operation does not alter the QuickNotepad text area or write its
18.197 - text to storage. Further changes to either the QuickNotepad text
18.198 - area or the new buffer will not affect the other.</para>
18.199 - </listitem>
18.200 - </itemizedlist>
18.201 -
18.202 - <para>These operations are listed in the menu which appears for
18.203 - QuickNotepad under the <guimenu>Plugins</guimenu> heading. They can also
18.204 - be made the subject of keyboard shortcuts in the <guilabel>Plugin
18.205 - Shortcuts</guilabel> pane of jEdit's options dialog.</para>
18.206 -
18.207 - <para>One other operation is available as a keyboard shortcut.
18.208 - <guilabel>Bring QuickNotepad to front</guilabel> activates the plugin
18.209 - and makes visible if it is currently hidden in a docking window.</para>
18.210 - </simplesect>
18.211 -
18.212 - <simplesect id="options">
18.213 - <title>Options</title>
18.214 -
18.215 - <indexterm>
18.216 - <primary>QuickNotepad</primary>
18.217 -
18.218 - <secondary>options</secondary>
18.219 - </indexterm>
18.220 -
18.221 - <para>There are three options which can be set using the pane for
18.222 - QuickNotepad in the <guilabel>Plugin Shortcuts</guilabel> section of the
18.223 - general options dialog:</para>
18.224 -
18.225 - <itemizedlist>
18.226 - <listitem>
18.227 - <para>A checkbox governs whether the name of the notepad file
18.228 - will be displayed in the toolbar panel above the text area. Even
18.229 - if the file name display is enabled, if the plugin is displayed
18.230 - to the left or right of the main editing area, the notepad file
18.231 - name will likely be partially or completely hidden.</para>
18.232 - </listitem>
18.233 -
18.234 - <listitem>
18.235 - <para>A text field and adjacent button allow the user to choose
18.236 - the path of the default notepad file by typing its name or
18.237 - opening a file chooser dialog. This file will be loaded (and the
18.238 - old file saved) once the plugin's options settings are
18.239 - committed.</para>
18.240 - </listitem>
18.241 -
18.242 - <listitem>
18.243 - <para>A third button shows the name, size and style of the font
18.244 - used by the QuickNotepad text area. Pressing the button summons
18.245 - a font chooser dialog for making a new selection. The text area
18.246 - will be redrawn with the new font once the change is
18.247 - committed.</para>
18.248 - </listitem>
18.249 - </itemizedlist>
18.250 - </simplesect>
18.251 -
18.252 - <simplesect>
18.253 - <title>Legal notices</title>
18.254 -
18.255 - <para>The QuickNotepad plugin is released under the GNU General Public
18.256 - License (either version 2 or any later version, at the user's option). A
18.257 - copy of the GPL is available in the <filename>COPYING.txt</filename>
18.258 - file in the jEdit distribution.</para>
18.259 -
18.260 - <para>The QuickNotepad plugin comes with ABSOLUTELY NO WARRANTY OF ANY
18.261 - KIND; see section 11 and 12 of the GPL for details.</para>
18.262 -
18.263 - <para>Permission is granted to copy, distribute and/or modify this
18.264 - document under the terms of the GNU Free Documentation License, Version
18.265 - 1.1 or any later version published by the Free Software Foundation; with
18.266 - no <quote>Invariant Sections</quote>, <quote>Front-Cover Texts</quote>
18.267 - or <quote>Back-Cover Texts</quote>, each as defined in the license. A
18.268 - copy of the license is included in the file
18.269 - <filename>COPYING.DOC.txt</filename> included with the jEdit
18.270 - distribution.</para>
18.271 - </simplesect>
18.272 -
18.273 - <simplesect>
18.274 - <title>Feedback</title>
18.275 -
18.276 - <para>Comments, bug reports and other feedback may be sent to the <ulink
18.277 - url="mailto:jgellene@nyc.rr.com">author</ulink> or the jEdit-users
18.278 - mailing list.</para>
18.279 - </simplesect>
18.280 -</article>
18.281 \ No newline at end of file
19.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/build/built-jar.properties Tue Aug 31 21:03:11 2010 +0200
19.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
19.3 @@ -1,2 +0,0 @@
19.4 -#Mon Aug 30 22:09:46 CEST 2010
19.5 -/usr/local/isac-jedit/src/Tools/isac/jEditC/contrib/jEdit/jars=
20.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/build/classes/Isac.props Tue Aug 31 21:03:11 2010 +0200
20.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
20.3 @@ -1,67 +0,0 @@
20.4 -# Properties file for Isac plugin
20.5 -# $Id: Isac.props 6876 2006-09-02 20:39:49Z jchoyt $
20.6 -
20.7 -# jEdit only needs to load the plugin the first time the user accesses it
20.8 -# the presence of this property also tells jEdit the plugin is using the new API
20.9 -plugin.IsacPlugin.activate=defer
20.10 -
20.11 -# These two properties are required for all plugins
20.12 -plugin.IsacPlugin.name=Isac
20.13 -plugin.IsacPlugin.author=gadei
20.14 -
20.15 -# version number == jEdit version number
20.16 -plugin.IsacPlugin.version=4.3
20.17 -
20.18 -# online help
20.19 -plugin.IsacPlugin.docs=index.html
20.20 -
20.21 -# we only have one dependency, jEdit 4.2, since we use the new plugin API
20.22 -plugin.IsacPlugin.depend.0=jedit 04.02.01.00
20.23 -plugin.IsacPlugin.depend.1=jdk 1.6
20.24 -
20.25 -plugin.IsacPlugin.description=This plugin provides a dockable "scratch pad" for writing and displaying notes, to do lists or similar items as unformatted text.
20.26 -# plugin menu
20.27 -plugin.IsacPlugin.menu=isac \
20.28 - - \
20.29 - isac.choose-file \
20.30 - isac.save-file \
20.31 - isac.copy-to-buffer
20.32 -
20.33 -# action labels for actions supplied by dockables.xml
20.34 -isac.label=Isac
20.35 -
20.36 -# action labels for actions supplied by actions.xml
20.37 -Isac.choose-file.label=Choose notepad file
20.38 -Isac.save-file.label=Save notepad file
20.39 -Isac.copy-to-buffer.label=Copy notepad to buffer
20.40 -
20.41 -# plugin option pane
20.42 -plugin.IsacPlugin.option-pane=isac
20.43 -
20.44 -# Option pane activation BeanShell snippet
20.45 -options.isac.code=new IsacOptionPane();
20.46 -
20.47 -# Option pane labels
20.48 -options.isac.label=Isac
20.49 -options.isac.file=File:
20.50 -options.isac.choose-file=Choose
20.51 -options.isac.choose-file.title=Choose a notepad file
20.52 -options.isac.choose-font=Font:
20.53 -options.isac.show-filepath.title=Display notepad file path
20.54 -
20.55 -# window title
20.56 -isac.title=Isac
20.57 -
20.58 -# window toolbar buttons
20.59 -isac.choose-file.icon=Open.png
20.60 -isac.save-file.icon=Save.png
20.61 -isac.copy-to-buffer.icon=CopyToBuffer.png
20.62 -
20.63 -# default settings
20.64 -options.isac.show-filepath=true
20.65 -options.isac.font=Monospaced
20.66 -options.isac.fontstyle=0
20.67 -options.isac.fontsize=14
20.68 -
20.69 -# Setting not defined but supplied for completeness
20.70 -options.isac.filepath=
21.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/build/classes/actions.xml Tue Aug 31 21:03:11 2010 +0200
21.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
21.3 @@ -1,29 +0,0 @@
21.4 -<!-- Action definition file for Isac plugin -->
21.5 -<!-- $Id: actions.xml 5152 2004-12-05 04:37:06Z spestov $
21.6 --->
21.7 -
21.8 -<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
21.9 -
21.10 -<ACTIONS>
21.11 - <ACTION NAME="isac.choose-file">
21.12 - <CODE>
21.13 - wm.addDockableWindow(IsacPlugin.NAME);
21.14 - wm.getDockableWindow(IsacPlugin.NAME).chooseFile();
21.15 - </CODE>
21.16 - </ACTION>
21.17 -
21.18 - <ACTION NAME="isac.save-file">
21.19 - <CODE>
21.20 - wm.addDockableWindow(IsacPlugin.NAME);
21.21 - wm.getDockableWindow(IsacPlugin.NAME).saveFile();
21.22 - </CODE>
21.23 - </ACTION>
21.24 -
21.25 - <ACTION NAME="isac.copy-to-buffer">
21.26 - <CODE>
21.27 - wm.addDockableWindow(IsacPlugin.NAME);
21.28 - wm.getDockableWindow(IsacPlugin.NAME).copyToBuffer();
21.29 - </CODE>
21.30 - </ACTION>
21.31 -</ACTIONS>
21.32 -
22.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/build/classes/dockables.xml Tue Aug 31 21:03:11 2010 +0200
22.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
22.3 @@ -1,15 +0,0 @@
22.4 -<?xml version="1.0"?>
22.5 -
22.6 -<!-- Dockable component definition file for Isac plugin -->
22.7 -<!-- $Id: dockables.xml 4474 2003-02-09 20:37:14Z spestov $
22.8 --->
22.9 -
22.10 -<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
22.11 -
22.12 -<!-- Isac dockable windows -->
22.13 -
22.14 -<DOCKABLES>
22.15 - <DOCKABLE NAME="isac">
22.16 - new Isac(view, position);
22.17 - </DOCKABLE>
22.18 -</DOCKABLES>
23.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/dist/README.TXT Tue Aug 31 21:03:11 2010 +0200
23.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
23.3 @@ -1,33 +0,0 @@
23.4 -========================
23.5 -BUILD OUTPUT DESCRIPTION
23.6 -========================
23.7 -
23.8 -When you build an Java application project that has a main class, the IDE
23.9 -automatically copies all of the JAR
23.10 -files on the projects classpath to your projects dist/lib folder. The IDE
23.11 -also adds each of the JAR files to the Class-Path element in the application
23.12 -JAR files manifest file (MANIFEST.MF).
23.13 -
23.14 -To run the project from the command line, go to the dist folder and
23.15 -type the following:
23.16 -
23.17 -java -jar "Isac.jar"
23.18 -
23.19 -To distribute this project, zip up the dist folder (including the lib folder)
23.20 -and distribute the ZIP file.
23.21 -
23.22 -Notes:
23.23 -
23.24 -* If two JAR files on the project classpath have the same name, only the first
23.25 -JAR file is copied to the lib folder.
23.26 -* Only JAR files are copied to the lib folder.
23.27 -If the classpath contains other types of files or folders, none of the
23.28 -classpath elements are copied to the lib folder. In such a case,
23.29 -you need to copy the classpath elements to the lib folder manually after the build.
23.30 -* If a library on the projects classpath also has a Class-Path element
23.31 -specified in the manifest,the content of the Class-Path element has to be on
23.32 -the projects runtime path.
23.33 -* To set a main class in a standard Java project, right-click the project node
23.34 -in the Projects window and choose Properties. Then click Run and enter the
23.35 -class name in the Main Class field. Alternatively, you can manually type the
23.36 -class name in the manifest Main-Class element.
24.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/build-impl.xml Tue Aug 31 21:03:11 2010 +0200
24.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
24.3 @@ -1,794 +0,0 @@
24.4 -<?xml version="1.0" encoding="UTF-8"?>
24.5 -<!--
24.6 -*** GENERATED FROM project.xml - DO NOT EDIT ***
24.7 -*** EDIT ../build.xml INSTEAD ***
24.8 -
24.9 -For the purpose of easier reading the script
24.10 -is divided into following sections:
24.11 -
24.12 - - initialization
24.13 - - compilation
24.14 - - jar
24.15 - - execution
24.16 - - debugging
24.17 - - javadoc
24.18 - - junit compilation
24.19 - - junit execution
24.20 - - junit debugging
24.21 - - applet
24.22 - - cleanup
24.23 -
24.24 - -->
24.25 -<project xmlns:j2seproject1="http://www.netbeans.org/ns/j2se-project/1" xmlns:j2seproject3="http://www.netbeans.org/ns/j2se-project/3" xmlns:jaxrpc="http://www.netbeans.org/ns/j2se-project/jax-rpc" basedir=".." default="default" name="Isac-impl">
24.26 - <fail message="Please build using Ant 1.7.1 or higher.">
24.27 - <condition>
24.28 - <not>
24.29 - <antversion atleast="1.7.1"/>
24.30 - </not>
24.31 - </condition>
24.32 - </fail>
24.33 - <target depends="test,jar,javadoc" description="Build and test whole project." name="default"/>
24.34 - <!--
24.35 - ======================
24.36 - INITIALIZATION SECTION
24.37 - ======================
24.38 - -->
24.39 - <target name="-pre-init">
24.40 - <!-- Empty placeholder for easier customization. -->
24.41 - <!-- You can override this target in the ../build.xml file. -->
24.42 - </target>
24.43 - <target depends="-pre-init" name="-init-private">
24.44 - <property file="nbproject/private/config.properties"/>
24.45 - <property file="nbproject/private/configs/${config}.properties"/>
24.46 - <property file="nbproject/private/private.properties"/>
24.47 - </target>
24.48 - <target depends="-pre-init,-init-private" name="-init-user">
24.49 - <property file="${user.properties.file}"/>
24.50 - <!-- The two properties below are usually overridden -->
24.51 - <!-- by the active platform. Just a fallback. -->
24.52 - <property name="default.javac.source" value="1.4"/>
24.53 - <property name="default.javac.target" value="1.4"/>
24.54 - </target>
24.55 - <target depends="-pre-init,-init-private,-init-user" name="-init-project">
24.56 - <property file="nbproject/configs/${config}.properties"/>
24.57 - <property file="nbproject/project.properties"/>
24.58 - </target>
24.59 - <target depends="-pre-init,-init-private,-init-user,-init-project,-init-macrodef-property" name="-do-init">
24.60 - <available file="${manifest.file}" property="manifest.available"/>
24.61 - <condition property="main.class.available">
24.62 - <and>
24.63 - <isset property="main.class"/>
24.64 - <not>
24.65 - <equals arg1="${main.class}" arg2="" trim="true"/>
24.66 - </not>
24.67 - </and>
24.68 - </condition>
24.69 - <condition property="manifest.available+main.class">
24.70 - <and>
24.71 - <isset property="manifest.available"/>
24.72 - <isset property="main.class.available"/>
24.73 - </and>
24.74 - </condition>
24.75 - <condition property="do.mkdist">
24.76 - <and>
24.77 - <isset property="libs.CopyLibs.classpath"/>
24.78 - <not>
24.79 - <istrue value="${mkdist.disabled}"/>
24.80 - </not>
24.81 - </and>
24.82 - </condition>
24.83 - <condition property="manifest.available+main.class+mkdist.available">
24.84 - <and>
24.85 - <istrue value="${manifest.available+main.class}"/>
24.86 - <isset property="do.mkdist"/>
24.87 - </and>
24.88 - </condition>
24.89 - <condition property="manifest.available+mkdist.available">
24.90 - <and>
24.91 - <istrue value="${manifest.available}"/>
24.92 - <isset property="do.mkdist"/>
24.93 - </and>
24.94 - </condition>
24.95 - <condition property="manifest.available-mkdist.available">
24.96 - <or>
24.97 - <istrue value="${manifest.available}"/>
24.98 - <isset property="do.mkdist"/>
24.99 - </or>
24.100 - </condition>
24.101 - <condition property="manifest.available+main.class-mkdist.available">
24.102 - <or>
24.103 - <istrue value="${manifest.available+main.class}"/>
24.104 - <isset property="do.mkdist"/>
24.105 - </or>
24.106 - </condition>
24.107 - <condition property="have.tests">
24.108 - <or/>
24.109 - </condition>
24.110 - <condition property="have.sources">
24.111 - <or>
24.112 - <available file="${src.Isac.dir}"/>
24.113 - </or>
24.114 - </condition>
24.115 - <condition property="netbeans.home+have.tests">
24.116 - <and>
24.117 - <isset property="netbeans.home"/>
24.118 - <isset property="have.tests"/>
24.119 - </and>
24.120 - </condition>
24.121 - <condition property="no.javadoc.preview">
24.122 - <and>
24.123 - <isset property="javadoc.preview"/>
24.124 - <isfalse value="${javadoc.preview}"/>
24.125 - </and>
24.126 - </condition>
24.127 - <property name="run.jvmargs" value=""/>
24.128 - <property name="javac.compilerargs" value=""/>
24.129 - <property name="work.dir" value="${basedir}"/>
24.130 - <condition property="no.deps">
24.131 - <and>
24.132 - <istrue value="${no.dependencies}"/>
24.133 - </and>
24.134 - </condition>
24.135 - <property name="javac.debug" value="true"/>
24.136 - <property name="javadoc.preview" value="true"/>
24.137 - <property name="application.args" value=""/>
24.138 - <property name="source.encoding" value="${file.encoding}"/>
24.139 - <property name="runtime.encoding" value="${source.encoding}"/>
24.140 - <condition property="javadoc.encoding.used" value="${javadoc.encoding}">
24.141 - <and>
24.142 - <isset property="javadoc.encoding"/>
24.143 - <not>
24.144 - <equals arg1="${javadoc.encoding}" arg2=""/>
24.145 - </not>
24.146 - </and>
24.147 - </condition>
24.148 - <property name="javadoc.encoding.used" value="${source.encoding}"/>
24.149 - <property name="includes" value="**"/>
24.150 - <property name="excludes" value=""/>
24.151 - <property name="do.depend" value="false"/>
24.152 - <condition property="do.depend.true">
24.153 - <istrue value="${do.depend}"/>
24.154 - </condition>
24.155 - <path id="endorsed.classpath.path" path="${endorsed.classpath}"/>
24.156 - <condition else="" property="endorsed.classpath.cmd.line.arg" value="-Xbootclasspath/p:'${toString:endorsed.classpath.path}'">
24.157 - <length length="0" string="${endorsed.classpath}" when="greater"/>
24.158 - </condition>
24.159 - <property name="javac.fork" value="false"/>
24.160 - </target>
24.161 - <target name="-post-init">
24.162 - <!-- Empty placeholder for easier customization. -->
24.163 - <!-- You can override this target in the ../build.xml file. -->
24.164 - </target>
24.165 - <target depends="-pre-init,-init-private,-init-user,-init-project,-do-init" name="-init-check">
24.166 - <fail unless="src.Isac.dir">Must set src.Isac.dir</fail>
24.167 - <fail unless="build.dir">Must set build.dir</fail>
24.168 - <fail unless="dist.dir">Must set dist.dir</fail>
24.169 - <fail unless="build.classes.dir">Must set build.classes.dir</fail>
24.170 - <fail unless="dist.javadoc.dir">Must set dist.javadoc.dir</fail>
24.171 - <fail unless="build.test.classes.dir">Must set build.test.classes.dir</fail>
24.172 - <fail unless="build.test.results.dir">Must set build.test.results.dir</fail>
24.173 - <fail unless="build.classes.excludes">Must set build.classes.excludes</fail>
24.174 - <fail unless="dist.jar">Must set dist.jar</fail>
24.175 - </target>
24.176 - <target name="-init-macrodef-property">
24.177 - <macrodef name="property" uri="http://www.netbeans.org/ns/j2se-project/1">
24.178 - <attribute name="name"/>
24.179 - <attribute name="value"/>
24.180 - <sequential>
24.181 - <property name="@{name}" value="${@{value}}"/>
24.182 - </sequential>
24.183 - </macrodef>
24.184 - </target>
24.185 - <target name="-init-macrodef-javac">
24.186 - <macrodef name="javac" uri="http://www.netbeans.org/ns/j2se-project/3">
24.187 - <attribute default="${src.Isac.dir}" name="srcdir"/>
24.188 - <attribute default="${build.classes.dir}" name="destdir"/>
24.189 - <attribute default="${javac.classpath}" name="classpath"/>
24.190 - <attribute default="${includes}" name="includes"/>
24.191 - <attribute default="${excludes}" name="excludes"/>
24.192 - <attribute default="${javac.debug}" name="debug"/>
24.193 - <attribute default="${empty.dir}" name="sourcepath"/>
24.194 - <attribute default="${empty.dir}" name="gensrcdir"/>
24.195 - <element name="customize" optional="true"/>
24.196 - <sequential>
24.197 - <property location="${build.dir}/empty" name="empty.dir"/>
24.198 - <mkdir dir="${empty.dir}"/>
24.199 - <javac debug="@{debug}" deprecation="${javac.deprecation}" destdir="@{destdir}" encoding="${source.encoding}" excludes="@{excludes}" fork="${javac.fork}" includeantruntime="false" includes="@{includes}" source="${javac.source}" sourcepath="@{sourcepath}" srcdir="@{srcdir}" target="${javac.target}" tempdir="${java.io.tmpdir}">
24.200 - <src>
24.201 - <dirset dir="@{gensrcdir}" erroronmissingdir="false">
24.202 - <include name="*"/>
24.203 - </dirset>
24.204 - </src>
24.205 - <classpath>
24.206 - <path path="@{classpath}"/>
24.207 - </classpath>
24.208 - <compilerarg line="${endorsed.classpath.cmd.line.arg}"/>
24.209 - <compilerarg line="${javac.compilerargs}"/>
24.210 - <customize/>
24.211 - </javac>
24.212 - </sequential>
24.213 - </macrodef>
24.214 - <macrodef name="depend" uri="http://www.netbeans.org/ns/j2se-project/3">
24.215 - <attribute default="${src.Isac.dir}" name="srcdir"/>
24.216 - <attribute default="${build.classes.dir}" name="destdir"/>
24.217 - <attribute default="${javac.classpath}" name="classpath"/>
24.218 - <sequential>
24.219 - <depend cache="${build.dir}/depcache" destdir="@{destdir}" excludes="${excludes}" includes="${includes}" srcdir="@{srcdir}">
24.220 - <classpath>
24.221 - <path path="@{classpath}"/>
24.222 - </classpath>
24.223 - </depend>
24.224 - </sequential>
24.225 - </macrodef>
24.226 - <macrodef name="force-recompile" uri="http://www.netbeans.org/ns/j2se-project/3">
24.227 - <attribute default="${build.classes.dir}" name="destdir"/>
24.228 - <sequential>
24.229 - <fail unless="javac.includes">Must set javac.includes</fail>
24.230 - <pathconvert pathsep="," property="javac.includes.binary">
24.231 - <path>
24.232 - <filelist dir="@{destdir}" files="${javac.includes}"/>
24.233 - </path>
24.234 - <globmapper from="*.java" to="*.class"/>
24.235 - </pathconvert>
24.236 - <delete>
24.237 - <files includes="${javac.includes.binary}"/>
24.238 - </delete>
24.239 - </sequential>
24.240 - </macrodef>
24.241 - </target>
24.242 - <target name="-init-macrodef-junit">
24.243 - <macrodef name="junit" uri="http://www.netbeans.org/ns/j2se-project/3">
24.244 - <attribute default="${includes}" name="includes"/>
24.245 - <attribute default="${excludes}" name="excludes"/>
24.246 - <attribute default="**" name="testincludes"/>
24.247 - <sequential>
24.248 - <junit dir="${work.dir}" errorproperty="tests.failed" failureproperty="tests.failed" fork="true" showoutput="true" tempdir="${build.dir}">
24.249 - <batchtest todir="${build.test.results.dir}"/>
24.250 - <classpath>
24.251 - <path path="${run.test.classpath}"/>
24.252 - </classpath>
24.253 - <syspropertyset>
24.254 - <propertyref prefix="test-sys-prop."/>
24.255 - <mapper from="test-sys-prop.*" to="*" type="glob"/>
24.256 - </syspropertyset>
24.257 - <formatter type="brief" usefile="false"/>
24.258 - <formatter type="xml"/>
24.259 - <jvmarg line="${endorsed.classpath.cmd.line.arg}"/>
24.260 - <jvmarg line="${run.jvmargs}"/>
24.261 - </junit>
24.262 - </sequential>
24.263 - </macrodef>
24.264 - </target>
24.265 - <target depends="-init-debug-args" name="-init-macrodef-nbjpda">
24.266 - <macrodef name="nbjpdastart" uri="http://www.netbeans.org/ns/j2se-project/1">
24.267 - <attribute default="${main.class}" name="name"/>
24.268 - <attribute default="${debug.classpath}" name="classpath"/>
24.269 - <attribute default="" name="stopclassname"/>
24.270 - <sequential>
24.271 - <nbjpdastart addressproperty="jpda.address" name="@{name}" stopclassname="@{stopclassname}" transport="${debug-transport}">
24.272 - <classpath>
24.273 - <path path="@{classpath}"/>
24.274 - </classpath>
24.275 - </nbjpdastart>
24.276 - </sequential>
24.277 - </macrodef>
24.278 - <macrodef name="nbjpdareload" uri="http://www.netbeans.org/ns/j2se-project/1">
24.279 - <attribute default="${build.classes.dir}" name="dir"/>
24.280 - <sequential>
24.281 - <nbjpdareload>
24.282 - <fileset dir="@{dir}" includes="${fix.classes}">
24.283 - <include name="${fix.includes}*.class"/>
24.284 - </fileset>
24.285 - </nbjpdareload>
24.286 - </sequential>
24.287 - </macrodef>
24.288 - </target>
24.289 - <target name="-init-debug-args">
24.290 - <property name="version-output" value="java version "${ant.java.version}"/>
24.291 - <condition property="have-jdk-older-than-1.4">
24.292 - <or>
24.293 - <contains string="${version-output}" substring="java version "1.0"/>
24.294 - <contains string="${version-output}" substring="java version "1.1"/>
24.295 - <contains string="${version-output}" substring="java version "1.2"/>
24.296 - <contains string="${version-output}" substring="java version "1.3"/>
24.297 - </or>
24.298 - </condition>
24.299 - <condition else="-Xdebug" property="debug-args-line" value="-Xdebug -Xnoagent -Djava.compiler=none">
24.300 - <istrue value="${have-jdk-older-than-1.4}"/>
24.301 - </condition>
24.302 - <condition else="dt_socket" property="debug-transport-by-os" value="dt_shmem">
24.303 - <os family="windows"/>
24.304 - </condition>
24.305 - <condition else="${debug-transport-by-os}" property="debug-transport" value="${debug.transport}">
24.306 - <isset property="debug.transport"/>
24.307 - </condition>
24.308 - </target>
24.309 - <target depends="-init-debug-args" name="-init-macrodef-debug">
24.310 - <macrodef name="debug" uri="http://www.netbeans.org/ns/j2se-project/3">
24.311 - <attribute default="${main.class}" name="classname"/>
24.312 - <attribute default="${debug.classpath}" name="classpath"/>
24.313 - <element name="customize" optional="true"/>
24.314 - <sequential>
24.315 - <java classname="@{classname}" dir="${work.dir}" fork="true">
24.316 - <jvmarg line="${endorsed.classpath.cmd.line.arg}"/>
24.317 - <jvmarg line="${debug-args-line}"/>
24.318 - <jvmarg value="-Xrunjdwp:transport=${debug-transport},address=${jpda.address}"/>
24.319 - <jvmarg value="-Dfile.encoding=${runtime.encoding}"/>
24.320 - <redirector errorencoding="${runtime.encoding}" inputencoding="${runtime.encoding}" outputencoding="${runtime.encoding}"/>
24.321 - <jvmarg line="${run.jvmargs}"/>
24.322 - <classpath>
24.323 - <path path="@{classpath}"/>
24.324 - </classpath>
24.325 - <syspropertyset>
24.326 - <propertyref prefix="run-sys-prop."/>
24.327 - <mapper from="run-sys-prop.*" to="*" type="glob"/>
24.328 - </syspropertyset>
24.329 - <customize/>
24.330 - </java>
24.331 - </sequential>
24.332 - </macrodef>
24.333 - </target>
24.334 - <target name="-init-macrodef-java">
24.335 - <macrodef name="java" uri="http://www.netbeans.org/ns/j2se-project/1">
24.336 - <attribute default="${main.class}" name="classname"/>
24.337 - <attribute default="${run.classpath}" name="classpath"/>
24.338 - <element name="customize" optional="true"/>
24.339 - <sequential>
24.340 - <java classname="@{classname}" dir="${work.dir}" fork="true">
24.341 - <jvmarg line="${endorsed.classpath.cmd.line.arg}"/>
24.342 - <jvmarg value="-Dfile.encoding=${runtime.encoding}"/>
24.343 - <redirector errorencoding="${runtime.encoding}" inputencoding="${runtime.encoding}" outputencoding="${runtime.encoding}"/>
24.344 - <jvmarg line="${run.jvmargs}"/>
24.345 - <classpath>
24.346 - <path path="@{classpath}"/>
24.347 - </classpath>
24.348 - <syspropertyset>
24.349 - <propertyref prefix="run-sys-prop."/>
24.350 - <mapper from="run-sys-prop.*" to="*" type="glob"/>
24.351 - </syspropertyset>
24.352 - <customize/>
24.353 - </java>
24.354 - </sequential>
24.355 - </macrodef>
24.356 - </target>
24.357 - <target name="-init-presetdef-jar">
24.358 - <presetdef name="jar" uri="http://www.netbeans.org/ns/j2se-project/1">
24.359 - <jar compress="${jar.compress}" jarfile="${dist.jar}">
24.360 - <j2seproject1:fileset dir="${build.classes.dir}"/>
24.361 - </jar>
24.362 - </presetdef>
24.363 - </target>
24.364 - <target depends="-pre-init,-init-private,-init-user,-init-project,-do-init,-post-init,-init-check,-init-macrodef-property,-init-macrodef-javac,-init-macrodef-junit,-init-macrodef-nbjpda,-init-macrodef-debug,-init-macrodef-java,-init-presetdef-jar" name="init"/>
24.365 - <!--
24.366 - ===================
24.367 - COMPILATION SECTION
24.368 - ===================
24.369 - -->
24.370 - <target name="-deps-jar-init" unless="built-jar.properties">
24.371 - <property location="${build.dir}/built-jar.properties" name="built-jar.properties"/>
24.372 - <delete file="${built-jar.properties}" quiet="true"/>
24.373 - </target>
24.374 - <target if="already.built.jar.${basedir}" name="-warn-already-built-jar">
24.375 - <echo level="warn" message="Cycle detected: Isac was already built"/>
24.376 - </target>
24.377 - <target depends="init,-deps-jar-init" name="deps-jar" unless="no.deps">
24.378 - <mkdir dir="${build.dir}"/>
24.379 - <touch file="${built-jar.properties}" verbose="false"/>
24.380 - <property file="${built-jar.properties}" prefix="already.built.jar."/>
24.381 - <antcall target="-warn-already-built-jar"/>
24.382 - <propertyfile file="${built-jar.properties}">
24.383 - <entry key="${basedir}" value=""/>
24.384 - </propertyfile>
24.385 - </target>
24.386 - <target depends="init,-check-automatic-build,-clean-after-automatic-build" name="-verify-automatic-build"/>
24.387 - <target depends="init" name="-check-automatic-build">
24.388 - <available file="${build.classes.dir}/.netbeans_automatic_build" property="netbeans.automatic.build"/>
24.389 - </target>
24.390 - <target depends="init" if="netbeans.automatic.build" name="-clean-after-automatic-build">
24.391 - <antcall target="clean"/>
24.392 - </target>
24.393 - <target depends="init,deps-jar" name="-pre-pre-compile">
24.394 - <mkdir dir="${build.classes.dir}"/>
24.395 - </target>
24.396 - <target name="-pre-compile">
24.397 - <!-- Empty placeholder for easier customization. -->
24.398 - <!-- You can override this target in the ../build.xml file. -->
24.399 - </target>
24.400 - <target if="do.depend.true" name="-compile-depend">
24.401 - <pathconvert property="build.generated.subdirs">
24.402 - <dirset dir="${build.generated.sources.dir}" erroronmissingdir="false">
24.403 - <include name="*"/>
24.404 - </dirset>
24.405 - </pathconvert>
24.406 - <j2seproject3:depend srcdir="${src.Isac.dir}:${build.generated.subdirs}"/>
24.407 - </target>
24.408 - <target depends="init,deps-jar,-pre-pre-compile,-pre-compile,-compile-depend" if="have.sources" name="-do-compile">
24.409 - <j2seproject3:javac gensrcdir="${build.generated.sources.dir}"/>
24.410 - <copy todir="${build.classes.dir}">
24.411 - <fileset dir="${src.Isac.dir}" excludes="${build.classes.excludes},${excludes}" includes="${includes}"/>
24.412 - </copy>
24.413 - </target>
24.414 - <target name="-post-compile">
24.415 - <!-- Empty placeholder for easier customization. -->
24.416 - <!-- You can override this target in the ../build.xml file. -->
24.417 - </target>
24.418 - <target depends="init,deps-jar,-verify-automatic-build,-pre-pre-compile,-pre-compile,-do-compile,-post-compile" description="Compile project." name="compile"/>
24.419 - <target name="-pre-compile-single">
24.420 - <!-- Empty placeholder for easier customization. -->
24.421 - <!-- You can override this target in the ../build.xml file. -->
24.422 - </target>
24.423 - <target depends="init,deps-jar,-pre-pre-compile" name="-do-compile-single">
24.424 - <fail unless="javac.includes">Must select some files in the IDE or set javac.includes</fail>
24.425 - <j2seproject3:force-recompile/>
24.426 - <j2seproject3:javac excludes="" gensrcdir="${build.generated.sources.dir}" includes="${javac.includes}" sourcepath="${src.Isac.dir}"/>
24.427 - </target>
24.428 - <target name="-post-compile-single">
24.429 - <!-- Empty placeholder for easier customization. -->
24.430 - <!-- You can override this target in the ../build.xml file. -->
24.431 - </target>
24.432 - <target depends="init,deps-jar,-verify-automatic-build,-pre-pre-compile,-pre-compile-single,-do-compile-single,-post-compile-single" name="compile-single"/>
24.433 - <!--
24.434 - ====================
24.435 - JAR BUILDING SECTION
24.436 - ====================
24.437 - -->
24.438 - <target depends="init" name="-pre-pre-jar">
24.439 - <dirname file="${dist.jar}" property="dist.jar.dir"/>
24.440 - <mkdir dir="${dist.jar.dir}"/>
24.441 - </target>
24.442 - <target name="-pre-jar">
24.443 - <!-- Empty placeholder for easier customization. -->
24.444 - <!-- You can override this target in the ../build.xml file. -->
24.445 - </target>
24.446 - <target depends="init,compile,-pre-pre-jar,-pre-jar" name="-do-jar-without-manifest" unless="manifest.available-mkdist.available">
24.447 - <j2seproject1:jar/>
24.448 - </target>
24.449 - <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available" name="-do-jar-with-manifest" unless="manifest.available+main.class-mkdist.available">
24.450 - <j2seproject1:jar manifest="${manifest.file}"/>
24.451 - </target>
24.452 - <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+main.class" name="-do-jar-with-mainclass" unless="manifest.available+main.class+mkdist.available">
24.453 - <j2seproject1:jar manifest="${manifest.file}">
24.454 - <j2seproject1:manifest>
24.455 - <j2seproject1:attribute name="Main-Class" value="${main.class}"/>
24.456 - </j2seproject1:manifest>
24.457 - </j2seproject1:jar>
24.458 - <echo>To run this application from the command line without Ant, try:</echo>
24.459 - <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
24.460 - <property location="${dist.jar}" name="dist.jar.resolved"/>
24.461 - <pathconvert property="run.classpath.with.dist.jar">
24.462 - <path path="${run.classpath}"/>
24.463 - <map from="${build.classes.dir.resolved}" to="${dist.jar.resolved}"/>
24.464 - </pathconvert>
24.465 - <echo>java -cp "${run.classpath.with.dist.jar}" ${main.class}</echo>
24.466 - </target>
24.467 - <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+main.class+mkdist.available" name="-do-jar-with-libraries">
24.468 - <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
24.469 - <pathconvert property="run.classpath.without.build.classes.dir">
24.470 - <path path="${run.classpath}"/>
24.471 - <map from="${build.classes.dir.resolved}" to=""/>
24.472 - </pathconvert>
24.473 - <pathconvert pathsep=" " property="jar.classpath">
24.474 - <path path="${run.classpath.without.build.classes.dir}"/>
24.475 - <chainedmapper>
24.476 - <flattenmapper/>
24.477 - <globmapper from="*" to="lib/*"/>
24.478 - </chainedmapper>
24.479 - </pathconvert>
24.480 - <taskdef classname="org.netbeans.modules.java.j2seproject.copylibstask.CopyLibs" classpath="${libs.CopyLibs.classpath}" name="copylibs"/>
24.481 - <copylibs compress="${jar.compress}" jarfile="${dist.jar}" manifest="${manifest.file}" runtimeclasspath="${run.classpath.without.build.classes.dir}">
24.482 - <fileset dir="${build.classes.dir}"/>
24.483 - <manifest>
24.484 - <attribute name="Main-Class" value="${main.class}"/>
24.485 - <attribute name="Class-Path" value="${jar.classpath}"/>
24.486 - </manifest>
24.487 - </copylibs>
24.488 - <echo>To run this application from the command line without Ant, try:</echo>
24.489 - <property location="${dist.jar}" name="dist.jar.resolved"/>
24.490 - <echo>java -jar "${dist.jar.resolved}"</echo>
24.491 - </target>
24.492 - <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+mkdist.available" name="-do-jar-with-libraries-without-mainclass" unless="main.class.available">
24.493 - <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
24.494 - <pathconvert property="run.classpath.without.build.classes.dir">
24.495 - <path path="${run.classpath}"/>
24.496 - <map from="${build.classes.dir.resolved}" to=""/>
24.497 - </pathconvert>
24.498 - <pathconvert pathsep=" " property="jar.classpath">
24.499 - <path path="${run.classpath.without.build.classes.dir}"/>
24.500 - <chainedmapper>
24.501 - <flattenmapper/>
24.502 - <globmapper from="*" to="lib/*"/>
24.503 - </chainedmapper>
24.504 - </pathconvert>
24.505 - <taskdef classname="org.netbeans.modules.java.j2seproject.copylibstask.CopyLibs" classpath="${libs.CopyLibs.classpath}" name="copylibs"/>
24.506 - <copylibs compress="${jar.compress}" jarfile="${dist.jar}" manifest="${manifest.file}" runtimeclasspath="${run.classpath.without.build.classes.dir}">
24.507 - <fileset dir="${build.classes.dir}"/>
24.508 - <manifest>
24.509 - <attribute name="Class-Path" value="${jar.classpath}"/>
24.510 - </manifest>
24.511 - </copylibs>
24.512 - </target>
24.513 - <target depends="init,compile,-pre-pre-jar,-pre-jar" if="do.mkdist" name="-do-jar-with-libraries-without-manifest" unless="manifest.available">
24.514 - <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
24.515 - <pathconvert property="run.classpath.without.build.classes.dir">
24.516 - <path path="${run.classpath}"/>
24.517 - <map from="${build.classes.dir.resolved}" to=""/>
24.518 - </pathconvert>
24.519 - <pathconvert pathsep=" " property="jar.classpath">
24.520 - <path path="${run.classpath.without.build.classes.dir}"/>
24.521 - <chainedmapper>
24.522 - <flattenmapper/>
24.523 - <globmapper from="*" to="lib/*"/>
24.524 - </chainedmapper>
24.525 - </pathconvert>
24.526 - <taskdef classname="org.netbeans.modules.java.j2seproject.copylibstask.CopyLibs" classpath="${libs.CopyLibs.classpath}" name="copylibs"/>
24.527 - <copylibs compress="${jar.compress}" jarfile="${dist.jar}" runtimeclasspath="${run.classpath.without.build.classes.dir}">
24.528 - <fileset dir="${build.classes.dir}"/>
24.529 - <manifest>
24.530 - <attribute name="Class-Path" value="${jar.classpath}"/>
24.531 - </manifest>
24.532 - </copylibs>
24.533 - </target>
24.534 - <target name="-post-jar">
24.535 - <!-- Empty placeholder for easier customization. -->
24.536 - <!-- You can override this target in the ../build.xml file. -->
24.537 - </target>
24.538 - <target depends="init,compile,-pre-jar,-do-jar-with-manifest,-do-jar-without-manifest,-do-jar-with-mainclass,-do-jar-with-libraries,-do-jar-with-libraries-without-mainclass,-do-jar-with-libraries-without-manifest,-post-jar" description="Build JAR." name="jar"/>
24.539 - <!--
24.540 - =================
24.541 - EXECUTION SECTION
24.542 - =================
24.543 - -->
24.544 - <target depends="init,compile" description="Run a main class." name="run">
24.545 - <j2seproject1:java>
24.546 - <customize>
24.547 - <arg line="${application.args}"/>
24.548 - </customize>
24.549 - </j2seproject1:java>
24.550 - </target>
24.551 - <target name="-do-not-recompile">
24.552 - <property name="javac.includes.binary" value=""/>
24.553 - </target>
24.554 - <target depends="init,compile-single" name="run-single">
24.555 - <fail unless="run.class">Must select one file in the IDE or set run.class</fail>
24.556 - <j2seproject1:java classname="${run.class}"/>
24.557 - </target>
24.558 - <target depends="init,compile-test-single" name="run-test-with-main">
24.559 - <fail unless="run.class">Must select one file in the IDE or set run.class</fail>
24.560 - <j2seproject1:java classname="${run.class}" classpath="${run.test.classpath}"/>
24.561 - </target>
24.562 - <!--
24.563 - =================
24.564 - DEBUGGING SECTION
24.565 - =================
24.566 - -->
24.567 - <target depends="init" if="netbeans.home" name="-debug-start-debugger">
24.568 - <j2seproject1:nbjpdastart name="${debug.class}"/>
24.569 - </target>
24.570 - <target depends="init" if="netbeans.home" name="-debug-start-debugger-main-test">
24.571 - <j2seproject1:nbjpdastart classpath="${debug.test.classpath}" name="${debug.class}"/>
24.572 - </target>
24.573 - <target depends="init,compile" name="-debug-start-debuggee">
24.574 - <j2seproject3:debug>
24.575 - <customize>
24.576 - <arg line="${application.args}"/>
24.577 - </customize>
24.578 - </j2seproject3:debug>
24.579 - </target>
24.580 - <target depends="init,compile,-debug-start-debugger,-debug-start-debuggee" description="Debug project in IDE." if="netbeans.home" name="debug"/>
24.581 - <target depends="init" if="netbeans.home" name="-debug-start-debugger-stepinto">
24.582 - <j2seproject1:nbjpdastart stopclassname="${main.class}"/>
24.583 - </target>
24.584 - <target depends="init,compile,-debug-start-debugger-stepinto,-debug-start-debuggee" if="netbeans.home" name="debug-stepinto"/>
24.585 - <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-single">
24.586 - <fail unless="debug.class">Must select one file in the IDE or set debug.class</fail>
24.587 - <j2seproject3:debug classname="${debug.class}"/>
24.588 - </target>
24.589 - <target depends="init,compile-single,-debug-start-debugger,-debug-start-debuggee-single" if="netbeans.home" name="debug-single"/>
24.590 - <target depends="init,compile-test-single" if="netbeans.home" name="-debug-start-debuggee-main-test">
24.591 - <fail unless="debug.class">Must select one file in the IDE or set debug.class</fail>
24.592 - <j2seproject3:debug classname="${debug.class}" classpath="${debug.test.classpath}"/>
24.593 - </target>
24.594 - <target depends="init,compile-test-single,-debug-start-debugger-main-test,-debug-start-debuggee-main-test" if="netbeans.home" name="debug-test-with-main"/>
24.595 - <target depends="init" name="-pre-debug-fix">
24.596 - <fail unless="fix.includes">Must set fix.includes</fail>
24.597 - <property name="javac.includes" value="${fix.includes}.java"/>
24.598 - </target>
24.599 - <target depends="init,-pre-debug-fix,compile-single" if="netbeans.home" name="-do-debug-fix">
24.600 - <j2seproject1:nbjpdareload/>
24.601 - </target>
24.602 - <target depends="init,-pre-debug-fix,-do-debug-fix" if="netbeans.home" name="debug-fix"/>
24.603 - <!--
24.604 - ===============
24.605 - JAVADOC SECTION
24.606 - ===============
24.607 - -->
24.608 - <target depends="init" name="-javadoc-build">
24.609 - <mkdir dir="${dist.javadoc.dir}"/>
24.610 - <javadoc additionalparam="${javadoc.additionalparam}" author="${javadoc.author}" charset="UTF-8" destdir="${dist.javadoc.dir}" docencoding="UTF-8" encoding="${javadoc.encoding.used}" failonerror="true" noindex="${javadoc.noindex}" nonavbar="${javadoc.nonavbar}" notree="${javadoc.notree}" private="${javadoc.private}" source="${javac.source}" splitindex="${javadoc.splitindex}" use="${javadoc.use}" useexternalfile="true" version="${javadoc.version}" windowtitle="${javadoc.windowtitle}">
24.611 - <classpath>
24.612 - <path path="${javac.classpath}"/>
24.613 - </classpath>
24.614 - <fileset dir="${src.Isac.dir}" excludes="${excludes}" includes="${includes}">
24.615 - <filename name="**/*.java"/>
24.616 - </fileset>
24.617 - <fileset dir="${build.generated.sources.dir}" erroronmissingdir="false">
24.618 - <include name="**/*.java"/>
24.619 - </fileset>
24.620 - </javadoc>
24.621 - </target>
24.622 - <target depends="init,-javadoc-build" if="netbeans.home" name="-javadoc-browse" unless="no.javadoc.preview">
24.623 - <nbbrowse file="${dist.javadoc.dir}/index.html"/>
24.624 - </target>
24.625 - <target depends="init,-javadoc-build,-javadoc-browse" description="Build Javadoc." name="javadoc"/>
24.626 - <!--
24.627 - =========================
24.628 - JUNIT COMPILATION SECTION
24.629 - =========================
24.630 - -->
24.631 - <target depends="init,compile" if="have.tests" name="-pre-pre-compile-test">
24.632 - <mkdir dir="${build.test.classes.dir}"/>
24.633 - </target>
24.634 - <target name="-pre-compile-test">
24.635 - <!-- Empty placeholder for easier customization. -->
24.636 - <!-- You can override this target in the ../build.xml file. -->
24.637 - </target>
24.638 - <target if="do.depend.true" name="-compile-test-depend">
24.639 - <j2seproject3:depend classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" srcdir=""/>
24.640 - </target>
24.641 - <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-compile-test-depend" if="have.tests" name="-do-compile-test">
24.642 - <j2seproject3:javac classpath="${javac.test.classpath}" debug="true" destdir="${build.test.classes.dir}" srcdir=""/>
24.643 - <copy todir="${build.test.classes.dir}"/>
24.644 - </target>
24.645 - <target name="-post-compile-test">
24.646 - <!-- Empty placeholder for easier customization. -->
24.647 - <!-- You can override this target in the ../build.xml file. -->
24.648 - </target>
24.649 - <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-do-compile-test,-post-compile-test" name="compile-test"/>
24.650 - <target name="-pre-compile-test-single">
24.651 - <!-- Empty placeholder for easier customization. -->
24.652 - <!-- You can override this target in the ../build.xml file. -->
24.653 - </target>
24.654 - <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single" if="have.tests" name="-do-compile-test-single">
24.655 - <fail unless="javac.includes">Must select some files in the IDE or set javac.includes</fail>
24.656 - <j2seproject3:force-recompile destdir="${build.test.classes.dir}"/>
24.657 - <j2seproject3:javac classpath="${javac.test.classpath}" debug="true" destdir="${build.test.classes.dir}" excludes="" includes="${javac.includes}" sourcepath="" srcdir=""/>
24.658 - <copy todir="${build.test.classes.dir}"/>
24.659 - </target>
24.660 - <target name="-post-compile-test-single">
24.661 - <!-- Empty placeholder for easier customization. -->
24.662 - <!-- You can override this target in the ../build.xml file. -->
24.663 - </target>
24.664 - <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single,-do-compile-test-single,-post-compile-test-single" name="compile-test-single"/>
24.665 - <!--
24.666 - =======================
24.667 - JUNIT EXECUTION SECTION
24.668 - =======================
24.669 - -->
24.670 - <target depends="init" if="have.tests" name="-pre-test-run">
24.671 - <mkdir dir="${build.test.results.dir}"/>
24.672 - </target>
24.673 - <target depends="init,compile-test,-pre-test-run" if="have.tests" name="-do-test-run">
24.674 - <j2seproject3:junit testincludes="**/*Test.java"/>
24.675 - </target>
24.676 - <target depends="init,compile-test,-pre-test-run,-do-test-run" if="have.tests" name="-post-test-run">
24.677 - <fail if="tests.failed" unless="ignore.failing.tests">Some tests failed; see details above.</fail>
24.678 - </target>
24.679 - <target depends="init" if="have.tests" name="test-report"/>
24.680 - <target depends="init" if="netbeans.home+have.tests" name="-test-browse"/>
24.681 - <target depends="init,compile-test,-pre-test-run,-do-test-run,test-report,-post-test-run,-test-browse" description="Run unit tests." name="test"/>
24.682 - <target depends="init" if="have.tests" name="-pre-test-run-single">
24.683 - <mkdir dir="${build.test.results.dir}"/>
24.684 - </target>
24.685 - <target depends="init,compile-test-single,-pre-test-run-single" if="have.tests" name="-do-test-run-single">
24.686 - <fail unless="test.includes">Must select some files in the IDE or set test.includes</fail>
24.687 - <j2seproject3:junit excludes="" includes="${test.includes}"/>
24.688 - </target>
24.689 - <target depends="init,compile-test-single,-pre-test-run-single,-do-test-run-single" if="have.tests" name="-post-test-run-single">
24.690 - <fail if="tests.failed" unless="ignore.failing.tests">Some tests failed; see details above.</fail>
24.691 - </target>
24.692 - <target depends="init,compile-test-single,-pre-test-run-single,-do-test-run-single,-post-test-run-single" description="Run single unit test." name="test-single"/>
24.693 - <!--
24.694 - =======================
24.695 - JUNIT DEBUGGING SECTION
24.696 - =======================
24.697 - -->
24.698 - <target depends="init,compile-test" if="have.tests" name="-debug-start-debuggee-test">
24.699 - <fail unless="test.class">Must select one file in the IDE or set test.class</fail>
24.700 - <property location="${build.test.results.dir}/TEST-${test.class}.xml" name="test.report.file"/>
24.701 - <delete file="${test.report.file}"/>
24.702 - <mkdir dir="${build.test.results.dir}"/>
24.703 - <j2seproject3:debug classname="org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner" classpath="${ant.home}/lib/ant.jar:${ant.home}/lib/ant-junit.jar:${debug.test.classpath}">
24.704 - <customize>
24.705 - <syspropertyset>
24.706 - <propertyref prefix="test-sys-prop."/>
24.707 - <mapper from="test-sys-prop.*" to="*" type="glob"/>
24.708 - </syspropertyset>
24.709 - <arg value="${test.class}"/>
24.710 - <arg value="showoutput=true"/>
24.711 - <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.BriefJUnitResultFormatter"/>
24.712 - <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,${test.report.file}"/>
24.713 - </customize>
24.714 - </j2seproject3:debug>
24.715 - </target>
24.716 - <target depends="init,compile-test" if="netbeans.home+have.tests" name="-debug-start-debugger-test">
24.717 - <j2seproject1:nbjpdastart classpath="${debug.test.classpath}" name="${test.class}"/>
24.718 - </target>
24.719 - <target depends="init,compile-test-single,-debug-start-debugger-test,-debug-start-debuggee-test" name="debug-test"/>
24.720 - <target depends="init,-pre-debug-fix,compile-test-single" if="netbeans.home" name="-do-debug-fix-test">
24.721 - <j2seproject1:nbjpdareload dir="${build.test.classes.dir}"/>
24.722 - </target>
24.723 - <target depends="init,-pre-debug-fix,-do-debug-fix-test" if="netbeans.home" name="debug-fix-test"/>
24.724 - <!--
24.725 - =========================
24.726 - APPLET EXECUTION SECTION
24.727 - =========================
24.728 - -->
24.729 - <target depends="init,compile-single" name="run-applet">
24.730 - <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail>
24.731 - <j2seproject1:java classname="sun.applet.AppletViewer">
24.732 - <customize>
24.733 - <arg value="${applet.url}"/>
24.734 - </customize>
24.735 - </j2seproject1:java>
24.736 - </target>
24.737 - <!--
24.738 - =========================
24.739 - APPLET DEBUGGING SECTION
24.740 - =========================
24.741 - -->
24.742 - <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-applet">
24.743 - <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail>
24.744 - <j2seproject3:debug classname="sun.applet.AppletViewer">
24.745 - <customize>
24.746 - <arg value="${applet.url}"/>
24.747 - </customize>
24.748 - </j2seproject3:debug>
24.749 - </target>
24.750 - <target depends="init,compile-single,-debug-start-debugger,-debug-start-debuggee-applet" if="netbeans.home" name="debug-applet"/>
24.751 - <!--
24.752 - ===============
24.753 - CLEANUP SECTION
24.754 - ===============
24.755 - -->
24.756 - <target name="-deps-clean-init" unless="built-clean.properties">
24.757 - <property location="${build.dir}/built-clean.properties" name="built-clean.properties"/>
24.758 - <delete file="${built-clean.properties}" quiet="true"/>
24.759 - </target>
24.760 - <target if="already.built.clean.${basedir}" name="-warn-already-built-clean">
24.761 - <echo level="warn" message="Cycle detected: Isac was already built"/>
24.762 - </target>
24.763 - <target depends="init,-deps-clean-init" name="deps-clean" unless="no.deps">
24.764 - <mkdir dir="${build.dir}"/>
24.765 - <touch file="${built-clean.properties}" verbose="false"/>
24.766 - <property file="${built-clean.properties}" prefix="already.built.clean."/>
24.767 - <antcall target="-warn-already-built-clean"/>
24.768 - <propertyfile file="${built-clean.properties}">
24.769 - <entry key="${basedir}" value=""/>
24.770 - </propertyfile>
24.771 - </target>
24.772 - <target depends="init" name="-do-clean">
24.773 - <delete dir="${build.dir}"/>
24.774 - <delete dir="${dist.dir}" followsymlinks="false" includeemptydirs="true"/>
24.775 - </target>
24.776 - <target name="-post-clean">
24.777 - <!-- Empty placeholder for easier customization. -->
24.778 - <!-- You can override this target in the ../build.xml file. -->
24.779 - </target>
24.780 - <target depends="init,deps-clean,-do-clean,-post-clean" description="Clean build products." name="clean"/>
24.781 - <target name="-check-call-dep">
24.782 - <property file="${call.built.properties}" prefix="already.built."/>
24.783 - <condition property="should.call.dep">
24.784 - <not>
24.785 - <isset property="already.built.${call.subproject}"/>
24.786 - </not>
24.787 - </condition>
24.788 - </target>
24.789 - <target depends="-check-call-dep" if="should.call.dep" name="-maybe-call-dep">
24.790 - <ant antfile="${call.script}" inheritall="false" target="${call.target}">
24.791 - <propertyset>
24.792 - <propertyref prefix="transfer."/>
24.793 - <mapper from="transfer.*" to="*" type="glob"/>
24.794 - </propertyset>
24.795 - </ant>
24.796 - </target>
24.797 -</project>
25.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/genfiles.properties Tue Aug 31 21:03:11 2010 +0200
25.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
25.3 @@ -1,8 +0,0 @@
25.4 -nbbuild.xml.data.CRC32=43e9ab59
25.5 -nbbuild.xml.script.CRC32=3cc26b11
25.6 -nbbuild.xml.stylesheet.CRC32=958a1d3e@1.32.1.45
25.7 -# This file is used by a NetBeans-based IDE to track changes in generated files such as build-impl.xml.
25.8 -# Do not edit this file. You may delete it but then the IDE will never regenerate such files for you.
25.9 -nbproject/build-impl.xml.data.CRC32=43e9ab59
25.10 -nbproject/build-impl.xml.script.CRC32=28be3b08
25.11 -nbproject/build-impl.xml.stylesheet.CRC32=576378a2@1.32.1.45
26.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/private/private.properties Tue Aug 31 21:03:11 2010 +0200
26.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
26.3 @@ -1,7 +0,0 @@
26.4 -compile.on.save=true
26.5 -do.depend=false
26.6 -do.jar=true
26.7 -file.reference.jars-QuickNotepad=/usr/local/isac-jedit/src/Tools/isac/jEditC/contrib/jEdit/jars/QuickNotepad
26.8 -javac.debug=true
26.9 -javadoc.preview=true
26.10 -user.properties.file=/home/gadei/.netbeans/6.8/build.properties
27.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/private/private.xml Tue Aug 31 21:03:11 2010 +0200
27.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
27.3 @@ -1,4 +0,0 @@
27.4 -<?xml version="1.0" encoding="UTF-8"?>
27.5 -<project-private xmlns="http://www.netbeans.org/ns/project-private/1">
27.6 - <editor-bookmarks xmlns="http://www.netbeans.org/ns/editor-bookmarks/1"/>
27.7 -</project-private>
28.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/project.properties Tue Aug 31 21:03:11 2010 +0200
28.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
28.3 @@ -1,73 +0,0 @@
28.4 -application.title=Isac
28.5 -application.vendor=gadei
28.6 -build.classes.dir=${build.dir}/classes
28.7 -build.classes.excludes=**/*.java,**/*.form
28.8 -# This directory is removed when the project is cleaned:
28.9 -build.dir=build
28.10 -build.generated.dir=${build.dir}/generated
28.11 -build.generated.sources.dir=${build.dir}/generated-sources
28.12 -# Only compile against the classpath explicitly listed here:
28.13 -build.sysclasspath=ignore
28.14 -build.test.classes.dir=${build.dir}/test/classes
28.15 -build.test.results.dir=${build.dir}/test/results
28.16 -buildfile=nbbuild.xml
28.17 -# Uncomment to specify the preferred debugger connection transport:
28.18 -#debug.transport=dt_socket
28.19 -debug.classpath=\
28.20 - ${run.classpath}
28.21 -debug.test.classpath=\
28.22 - ${run.test.classpath}
28.23 -# This directory is removed when the project is cleaned:
28.24 -dist.dir=dist
28.25 -dist.jar=${dist.dir}/Isac.jar
28.26 -dist.javadoc.dir=${dist.dir}/javadoc
28.27 -endorsed.classpath=
28.28 -excludes=
28.29 -file.reference.jars-QuickNotepad=QuickNotepad
28.30 -file.reference.jEdit.jar=../build/jEdit.jar
28.31 -includes=*.java
28.32 -jar.compress=false
28.33 -javac.classpath=\
28.34 - ${file.reference.jEdit.jar}
28.35 -# Space-separated list of extra javac options
28.36 -javac.compilerargs=
28.37 -javac.deprecation=false
28.38 -javac.source=1.5
28.39 -javac.target=1.5
28.40 -javac.test.classpath=\
28.41 - ${javac.classpath}:\
28.42 - ${build.classes.dir}:\
28.43 - ${libs.junit.classpath}:\
28.44 - ${libs.junit_4.classpath}
28.45 -javadoc.additionalparam=
28.46 -javadoc.author=false
28.47 -javadoc.encoding=${source.encoding}
28.48 -javadoc.noindex=false
28.49 -javadoc.nonavbar=false
28.50 -javadoc.notree=false
28.51 -javadoc.private=false
28.52 -javadoc.splitindex=true
28.53 -javadoc.use=true
28.54 -javadoc.version=false
28.55 -javadoc.windowtitle=
28.56 -jnlp.codebase.type=local
28.57 -jnlp.descriptor=application
28.58 -jnlp.enabled=false
28.59 -jnlp.offline-allowed=false
28.60 -jnlp.signed=false
28.61 -main.class=
28.62 -manifest.file=manifest.mf
28.63 -meta.inf.dir=${src.dir}/META-INF
28.64 -platform.active=default_platform
28.65 -run.classpath=\
28.66 - ${javac.classpath}:\
28.67 - ${build.classes.dir}
28.68 -# Space-separated list of JVM arguments used when running the project
28.69 -# (you may also define separate properties like run-sys-prop.name=value instead of -Dname=value
28.70 -# or test-sys-prop.name=value to set system properties for unit tests):
28.71 -run.jvmargs=
28.72 -run.test.classpath=\
28.73 - ${javac.test.classpath}:\
28.74 - ${build.test.classes.dir}
28.75 -source.encoding=UTF-8
28.76 -src.Isac.dir=Isac
29.1 --- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/project.xml Tue Aug 31 21:03:11 2010 +0200
29.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
29.3 @@ -1,13 +0,0 @@
29.4 -<?xml version="1.0" encoding="UTF-8"?>
29.5 -<project xmlns="http://www.netbeans.org/ns/project/1">
29.6 - <type>org.netbeans.modules.java.j2seproject</type>
29.7 - <configuration>
29.8 - <data xmlns="http://www.netbeans.org/ns/j2se-project/3">
29.9 - <name>Isac</name>
29.10 - <source-roots>
29.11 - <root id="src.Isac.dir"/>
29.12 - </source-roots>
29.13 - <test-roots/>
29.14 - </data>
29.15 - </configuration>
29.16 -</project>
30.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
30.2 +++ b/src/Tools/isac/jEditC/nbproject/private/private.xml Tue Aug 31 21:15:03 2010 +0200
30.3 @@ -0,0 +1,9 @@
30.4 +<?xml version="1.0" encoding="UTF-8"?>
30.5 +<project-private xmlns="http://www.netbeans.org/ns/project-private/1">
30.6 + <editor-bookmarks xmlns="http://www.netbeans.org/ns/editor-bookmarks/1"/>
30.7 + <open-files xmlns="http://www.netbeans.org/ns/projectui-open-files/1">
30.8 + <file>file:/usr/local/isac-jedit/src/Tools/isac/jEditC/build.xml</file>
30.9 + <file>file:/usr/local/isac-jedit/src/Tools/isac/jEditC/src/jedit/IsacPlugin.java</file>
30.10 + <file>file:/usr/local/isac-jedit/src/Tools/isac/jEditC/src/jedit/Isac.java</file>
30.11 + </open-files>
30.12 +</project-private>
31.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
31.2 +++ b/src/Tools/jEdit/nbproject/build-impl.xml Tue Aug 31 21:15:03 2010 +0200
31.3 @@ -0,0 +1,707 @@
31.4 +<?xml version="1.0" encoding="UTF-8"?>
31.5 +<!--
31.6 +*** GENERATED FROM project.xml - DO NOT EDIT ***
31.7 +*** EDIT ../build.xml INSTEAD ***
31.8 +
31.9 +For the purpose of easier reading the script
31.10 +is divided into following sections:
31.11 +
31.12 + - initialization
31.13 + - compilation
31.14 + - jar
31.15 + - execution
31.16 + - debugging
31.17 + - javadoc
31.18 + - junit compilation
31.19 + - junit execution
31.20 + - junit debugging
31.21 + - applet
31.22 + - cleanup
31.23 +
31.24 +
31.25 + -->
31.26 +<project xmlns:jaxrpc="http://www.netbeans.org/ns/scala-project/jax-rpc" xmlns:scalaProject1="http://www.netbeans.org/ns/scala-project/1" basedir=".." default="default" name="Isabelle-jEdit-impl">
31.27 + <target depends="test,jar,javadoc" description="Build and test whole project." name="default"/>
31.28 + <!--
31.29 + ======================
31.30 + INITIALIZATION SECTION
31.31 + ======================
31.32 + -->
31.33 + <target name="-pre-init">
31.34 + <!-- Empty placeholder for easier customization. -->
31.35 + <!-- You can override this target in the ../build.xml file. -->
31.36 + </target>
31.37 + <target depends="-pre-init" name="-init-private">
31.38 + <property file="nbproject/private/config.properties"/>
31.39 + <property file="nbproject/private/configs/${config}.properties"/>
31.40 + <property file="nbproject/private/private.properties"/>
31.41 + <property environment="env"/>
31.42 + <condition property="scala.home" value="${env.SCALA_HOME}">
31.43 + <isset property="env.SCALA_HOME"/>
31.44 + </condition>
31.45 + <fail unless="scala.home">
31.46 + You must set SCALA_HOME or environment property and append "-J-Dscala.home=scalahomepath"
31.47 + property to the end of "netbeans_default_options" in NetBeansInstallationPath/etc/netbeans.conf to point to
31.48 + Scala installation directory.
31.49 + </fail>
31.50 + <property name="scala.compiler" value="${scala.home}/lib/scala-compiler.jar"/>
31.51 + <property name="scala.library" value="${scala.home}/lib/scala-library.jar"/>
31.52 + <property name="scala.lib" value="${scala.home}/lib"/>
31.53 + <taskdef resource="scala/tools/ant/antlib.xml">
31.54 + <classpath>
31.55 + <pathelement location="${scala.compiler}"/>
31.56 + <pathelement location="${scala.library}"/>
31.57 + </classpath>
31.58 + </taskdef>
31.59 + </target>
31.60 + <target depends="-pre-init,-init-private" name="-init-user">
31.61 + <property file="${user.properties.file}"/>
31.62 + <!-- The two properties below are usually overridden -->
31.63 + <!-- by the active platform. Just a fallback. -->
31.64 + <property name="default.javac.source" value="1.5"/>
31.65 + <property name="default.javac.target" value="1.5"/>
31.66 + </target>
31.67 + <target depends="-pre-init,-init-private,-init-user" name="-init-project">
31.68 + <property file="nbproject/configs/${config}.properties"/>
31.69 + <property file="nbproject/project.properties"/>
31.70 + </target>
31.71 + <target depends="-pre-init,-init-private,-init-user,-init-project,-init-macrodef-property" name="-do-init">
31.72 + <available file="${manifest.file}" property="manifest.available"/>
31.73 + <condition property="manifest.available+main.class">
31.74 + <and>
31.75 + <isset property="manifest.available"/>
31.76 + <isset property="main.class"/>
31.77 + <not>
31.78 + <equals arg1="${main.class}" arg2="" trim="true"/>
31.79 + </not>
31.80 + </and>
31.81 + </condition>
31.82 + <condition property="manifest.available+main.class+mkdist.available">
31.83 + <and>
31.84 + <istrue value="${manifest.available+main.class}"/>
31.85 + <isset property="libs.CopyLibs.classpath"/>
31.86 + </and>
31.87 + </condition>
31.88 + <condition property="have.tests">
31.89 + <or/>
31.90 + </condition>
31.91 + <condition property="have.sources">
31.92 + <or>
31.93 + <available file="${src.dir}"/>
31.94 + </or>
31.95 + </condition>
31.96 + <condition property="netbeans.home+have.tests">
31.97 + <and>
31.98 + <isset property="netbeans.home"/>
31.99 + <isset property="have.tests"/>
31.100 + </and>
31.101 + </condition>
31.102 + <condition property="no.javadoc.preview">
31.103 + <and>
31.104 + <isset property="javadoc.preview"/>
31.105 + <isfalse value="${javadoc.preview}"/>
31.106 + </and>
31.107 + </condition>
31.108 + <property name="run.jvmargs" value=""/>
31.109 + <property name="javac.compilerargs" value=""/>
31.110 + <property name="work.dir" value="${basedir}"/>
31.111 + <condition property="no.deps">
31.112 + <and>
31.113 + <istrue value="${no.dependencies}"/>
31.114 + </and>
31.115 + </condition>
31.116 + <property name="javac.debug" value="true"/>
31.117 + <property name="javadoc.preview" value="true"/>
31.118 + <property name="application.args" value=""/>
31.119 + <property name="source.encoding" value="${file.encoding}"/>
31.120 + <condition property="javadoc.encoding.used" value="${javadoc.encoding}">
31.121 + <and>
31.122 + <isset property="javadoc.encoding"/>
31.123 + <not>
31.124 + <equals arg1="${javadoc.encoding}" arg2=""/>
31.125 + </not>
31.126 + </and>
31.127 + </condition>
31.128 + <property name="javadoc.encoding.used" value="${source.encoding}"/>
31.129 + <property name="includes" value="**"/>
31.130 + <property name="excludes" value=""/>
31.131 + <property name="extdirs" value=" "/>
31.132 + <property name="do.depend" value="false"/>
31.133 + <condition property="do.depend.true">
31.134 + <istrue value="${do.depend}"/>
31.135 + </condition>
31.136 + <condition else="" property="javac.compilerargs.jaxws" value="-Djava.endorsed.dirs='${jaxws.endorsed.dir}'">
31.137 + <and>
31.138 + <isset property="jaxws.endorsed.dir"/>
31.139 + <available file="nbproject/jaxws-build.xml"/>
31.140 + </and>
31.141 + </condition>
31.142 + </target>
31.143 + <target name="-post-init">
31.144 + <!-- Empty placeholder for easier customization. -->
31.145 + <!-- You can override this target in the ../build.xml file. -->
31.146 + </target>
31.147 + <target depends="-pre-init,-init-private,-init-user,-init-project,-do-init" name="-init-check">
31.148 + <fail unless="src.dir">Must set src.dir</fail>
31.149 + <fail unless="build.dir">Must set build.dir</fail>
31.150 + <fail unless="dist.dir">Must set dist.dir</fail>
31.151 + <fail unless="build.classes.dir">Must set build.classes.dir</fail>
31.152 + <fail unless="dist.javadoc.dir">Must set dist.javadoc.dir</fail>
31.153 + <fail unless="build.test.classes.dir">Must set build.test.classes.dir</fail>
31.154 + <fail unless="build.test.results.dir">Must set build.test.results.dir</fail>
31.155 + <fail unless="build.classes.excludes">Must set build.classes.excludes</fail>
31.156 + <fail unless="dist.jar">Must set dist.jar</fail>
31.157 + </target>
31.158 + <target name="-init-macrodef-property">
31.159 + <macrodef name="property" uri="http://www.netbeans.org/ns/scala-project/1">
31.160 + <attribute name="name"/>
31.161 + <attribute name="value"/>
31.162 + <sequential>
31.163 + <property name="@{name}" value="${@{value}}"/>
31.164 + </sequential>
31.165 + </macrodef>
31.166 + </target>
31.167 + <target name="-init-macrodef-javac">
31.168 + <macrodef name="javac" uri="http://www.netbeans.org/ns/scala-project/1">
31.169 + <attribute default="${src.dir}" name="srcdir"/>
31.170 + <attribute default="${build.classes.dir}" name="destdir"/>
31.171 + <attribute default="${javac.classpath}" name="classpath"/>
31.172 + <attribute default="${includes}" name="includes"/>
31.173 + <attribute default="${excludes}" name="excludes"/>
31.174 + <attribute default="${javac.debug}" name="debug"/>
31.175 + <attribute default="" name="sourcepath"/>
31.176 + <element name="customize" optional="true"/>
31.177 + <sequential>
31.178 + <javac debug="@{debug}" deprecation="${javac.deprecation}" destdir="@{destdir}" encoding="${source.encoding}" excludes="@{excludes}" includeantruntime="false" includes="@{includes}" source="${javac.source}" sourcepath="@{sourcepath}" srcdir="@{srcdir}" target="${javac.target}">
31.179 + <classpath>
31.180 + <path path="@{classpath}"/>
31.181 + <fileset dir="${scala.lib}">
31.182 + <include name="**/*.jar"/>
31.183 + </fileset>
31.184 + </classpath>
31.185 + <compilerarg line="${javac.compilerargs} ${javac.compilerargs.jaxws}"/>
31.186 + <customize/>
31.187 + </javac>
31.188 + </sequential>
31.189 + </macrodef>
31.190 + <macrodef name="depend" uri="http://www.netbeans.org/ns/scala-project/1">
31.191 + <attribute default="${src.dir}" name="srcdir"/>
31.192 + <attribute default="${build.classes.dir}" name="destdir"/>
31.193 + <attribute default="${javac.classpath}" name="classpath"/>
31.194 + <sequential>
31.195 + <depend cache="${build.dir}/depcache" destdir="@{destdir}" excludes="${excludes}" includes="${includes}" srcdir="@{srcdir}">
31.196 + <classpath>
31.197 + <path>
31.198 + <pathelement path="@{classpath}"/>
31.199 + <fileset dir="${scala.lib}">
31.200 + <include name="**/*.jar"/>
31.201 + </fileset>
31.202 + <pathelement location="${build.classes.dir}"/>
31.203 + </path>
31.204 + </classpath>
31.205 + </depend>
31.206 + </sequential>
31.207 + </macrodef>
31.208 + <macrodef name="force-recompile" uri="http://www.netbeans.org/ns/scala-project/1">
31.209 + <attribute default="${build.classes.dir}" name="destdir"/>
31.210 + <sequential>
31.211 + <fail unless="javac.includes">Must set javac.includes</fail>
31.212 + <pathconvert pathsep="," property="javac.includes.binary">
31.213 + <path>
31.214 + <filelist dir="@{destdir}" files="${javac.includes}"/>
31.215 + </path>
31.216 + <globmapper from="*.java" to="*.class"/>
31.217 + </pathconvert>
31.218 + <delete>
31.219 + <files includes="${javac.includes.binary}"/>
31.220 + </delete>
31.221 + </sequential>
31.222 + </macrodef>
31.223 + </target>
31.224 + <target name="-init-macrodef-scalac">
31.225 + <macrodef name="scalac" uri="http://www.netbeans.org/ns/scala-project/1">
31.226 + <attribute default="${src.dir}" name="srcdir"/>
31.227 + <attribute default="${build.classes.dir}" name="destdir"/>
31.228 + <attribute default="${javac.classpath}" name="classpath"/>
31.229 + <attribute default="${extdirs}" name="extdirs"/>
31.230 + <attribute default="${includes}" name="includes"/>
31.231 + <attribute default="${excludes}" name="excludes"/>
31.232 + <attribute default="${scalac.compilerargs}" name="addparams"/>
31.233 + <attribute default="" name="sourcepath"/>
31.234 + <element name="customize" optional="true"/>
31.235 + <sequential>
31.236 + <scalac addparams="-make:transitive -dependencyfile "${basedir}/${build.dir}/.scala_dependencies" @{addparams}" deprecation="${scalac.deprecation}" destdir="@{destdir}" encoding="${source.encoding}" excludes="@{excludes}" extdirs="@{extdirs}" force="yes" fork="true" includes="@{includes}" sourcepath="@{sourcepath}" srcdir="@{srcdir}" target="jvm-1.5" unchecked="${scalac.unchecked}">
31.237 + <classpath>
31.238 + <path>
31.239 + <pathelement path="@{classpath}"/>
31.240 + <fileset dir="${scala.lib}">
31.241 + <include name="**/*.jar"/>
31.242 + </fileset>
31.243 + <pathelement location="${build.classes.dir}"/>
31.244 + </path>
31.245 + </classpath>
31.246 + <customize/>
31.247 + </scalac>
31.248 + </sequential>
31.249 + </macrodef>
31.250 + <macrodef name="force-recompile" uri="http://www.netbeans.org/ns/scala-project/1">
31.251 + <attribute default="${build.classes.dir}" name="destdir"/>
31.252 + <sequential>
31.253 + <fail unless="javac.includes">Must set javac.includes</fail>
31.254 + <pathconvert pathsep="," property="javac.includes.binary">
31.255 + <path>
31.256 + <filelist dir="@{destdir}" files="${javac.includes}"/>
31.257 + </path>
31.258 + <globmapper from="*.scala" to="*.class"/>
31.259 + </pathconvert>
31.260 + <delete>
31.261 + <files includes="${javac.includes.binary}"/>
31.262 + </delete>
31.263 + </sequential>
31.264 + </macrodef>
31.265 + </target>
31.266 + <target name="-init-macrodef-junit">
31.267 + <macrodef name="junit" uri="http://www.netbeans.org/ns/scala-project/1">
31.268 + <attribute default="${includes}" name="includes"/>
31.269 + <attribute default="${excludes}" name="excludes"/>
31.270 + <attribute default="**" name="testincludes"/>
31.271 + <sequential>
31.272 + <junit dir="${work.dir}" errorproperty="tests.failed" failureproperty="tests.failed" fork="true" showoutput="true">
31.273 + <batchtest todir="${build.test.results.dir}">
31.274 + <fileset dir="${build.test.classes.dir}" excludes="@{excludes},${excludes}" includes="@{includes}">
31.275 + <filename name="@{testincludes}"/>
31.276 + </fileset>
31.277 + </batchtest>
31.278 + <classpath>
31.279 + <path path="${run.test.classpath}"/>
31.280 + <fileset dir="${scala.lib}">
31.281 + <include name="**/*.jar"/>
31.282 + </fileset>
31.283 + </classpath>
31.284 + <syspropertyset>
31.285 + <propertyref prefix="test-sys-prop."/>
31.286 + <mapper from="test-sys-prop.*" to="*" type="glob"/>
31.287 + </syspropertyset>
31.288 + <formatter type="brief" usefile="false"/>
31.289 + <formatter type="xml"/>
31.290 + <jvmarg line="${run.jvmargs}"/>
31.291 + </junit>
31.292 + </sequential>
31.293 + </macrodef>
31.294 + </target>
31.295 + <target name="-init-macrodef-nbjpda">
31.296 + <macrodef name="nbjpdastart" uri="http://www.netbeans.org/ns/scala-project/1">
31.297 + <attribute default="${main.class}" name="name"/>
31.298 + <attribute default="${debug.classpath}" name="classpath"/>
31.299 + <attribute default="" name="stopclassname"/>
31.300 + <sequential>
31.301 + <nbjpdastart addressproperty="jpda.address" name="@{name}" stopclassname="@{stopclassname}" transport="dt_socket">
31.302 + <classpath>
31.303 + <path path="@{classpath}"/>
31.304 + </classpath>
31.305 + </nbjpdastart>
31.306 + </sequential>
31.307 + </macrodef>
31.308 + <macrodef name="nbjpdareload" uri="http://www.netbeans.org/ns/scala-project/1">
31.309 + <attribute default="${build.classes.dir}" name="dir"/>
31.310 + <sequential>
31.311 + <nbjpdareload>
31.312 + <fileset dir="@{dir}" includes="${fix.includes}*.class"/>
31.313 + </nbjpdareload>
31.314 + </sequential>
31.315 + </macrodef>
31.316 + </target>
31.317 + <target name="-init-debug-args">
31.318 + <property name="version-output" value="java version "${ant.java.version}"/>
31.319 + <condition property="have-jdk-older-than-1.4">
31.320 + <or>
31.321 + <contains string="${version-output}" substring="java version "1.0"/>
31.322 + <contains string="${version-output}" substring="java version "1.1"/>
31.323 + <contains string="${version-output}" substring="java version "1.2"/>
31.324 + <contains string="${version-output}" substring="java version "1.3"/>
31.325 + </or>
31.326 + </condition>
31.327 + <condition else="-Xdebug" property="debug-args-line" value="-Xdebug -Xnoagent -Djava.compiler=none">
31.328 + <istrue value="${have-jdk-older-than-1.4}"/>
31.329 + </condition>
31.330 + </target>
31.331 + <target depends="-init-debug-args" name="-init-macrodef-debug">
31.332 + <macrodef name="debug" uri="http://www.netbeans.org/ns/scala-project/1">
31.333 + <attribute default="${main.class}" name="classname"/>
31.334 + <attribute default="${debug.classpath}" name="classpath"/>
31.335 + <element name="customize" optional="true"/>
31.336 + <sequential>
31.337 + <java classname="@{classname}" dir="${work.dir}" fork="true">
31.338 + <jvmarg line="${debug-args-line}"/>
31.339 + <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
31.340 + <jvmarg line="${run.jvmargs}"/>
31.341 + <classpath>
31.342 + <path path="@{classpath}"/>
31.343 + <fileset dir="${scala.lib}">
31.344 + <include name="**/*.jar"/>
31.345 + </fileset>
31.346 + </classpath>
31.347 + <syspropertyset>
31.348 + <propertyref prefix="run-sys-prop."/>
31.349 + <mapper from="run-sys-prop.*" to="*" type="glob"/>
31.350 + </syspropertyset>
31.351 + <customize/>
31.352 + </java>
31.353 + </sequential>
31.354 + </macrodef>
31.355 + </target>
31.356 + <target name="-init-macrodef-java">
31.357 + <macrodef name="java" uri="http://www.netbeans.org/ns/scala-project/1">
31.358 + <attribute default="${main.class}" name="classname"/>
31.359 + <element name="customize" optional="true"/>
31.360 + <sequential>
31.361 + <java classname="@{classname}" dir="${work.dir}" fork="true">
31.362 + <jvmarg line="${run.jvmargs}"/>
31.363 + <classpath>
31.364 + <path path="${run.classpath}"/>
31.365 + <fileset dir="${scala.lib}">
31.366 + <include name="**/*.jar"/>
31.367 + </fileset>
31.368 + </classpath>
31.369 + <syspropertyset>
31.370 + <propertyref prefix="run-sys-prop."/>
31.371 + <mapper from="run-sys-prop.*" to="*" type="glob"/>
31.372 + </syspropertyset>
31.373 + <customize/>
31.374 + </java>
31.375 + </sequential>
31.376 + </macrodef>
31.377 + </target>
31.378 + <target name="-init-presetdef-jar">
31.379 + <presetdef name="jar" uri="http://www.netbeans.org/ns/scala-project/1">
31.380 + <jar compress="${jar.compress}" jarfile="${dist.jar}">
31.381 + <scalaProject1:fileset dir="${build.classes.dir}"/>
31.382 + </jar>
31.383 + </presetdef>
31.384 + </target>
31.385 + <target depends="-pre-init,-init-private ,-init-user,-init-project,-do-init,-post-init,-init-check,-init-macrodef-property,-init-macrodef-javac,-init-macrodef-scalac,-init-macrodef-junit,-init-macrodef-nbjpda,-init-macrodef-debug,-init-macrodef-java,-init-presetdef-jar" name="init"/>
31.386 + <!--
31.387 + ===================
31.388 + COMPILATION SECTION
31.389 + ===================
31.390 + -->
31.391 + <target depends="init" name="deps-jar" unless="no.deps">
31.392 + <ant antfile="${project.jEdit}/build-nb.xml" inheritall="false" target="build"/>
31.393 + </target>
31.394 + <target depends="init,deps-jar" name="-pre-pre-compile">
31.395 + <mkdir dir="${build.classes.dir}"/>
31.396 + </target>
31.397 + <target name="-pre-compile">
31.398 + <!-- Empty placeholder for easier customization. -->
31.399 + <!-- You can override this target in the ../build.xml file. -->
31.400 + </target>
31.401 + <target if="do.depend.true" name="-compile-depend">
31.402 + <scalaProject1:depend/>
31.403 + </target>
31.404 + <target depends="init,deps-jar,-pre-pre-compile,-pre-compile,-compile-depend" if="have.sources" name="-do-compile">
31.405 + <scalaProject1:scalac/>
31.406 + <scalaProject1:javac/>
31.407 + <copy todir="${build.classes.dir}">
31.408 + <fileset dir="${src.dir}" excludes="${build.classes.excludes},${excludes} " includes="${includes}"/>
31.409 + </copy>
31.410 + </target>
31.411 + <target name="-post-compile">
31.412 + <!-- Empty placeholder for easier customization. -->
31.413 + <!-- You can override this target in the ../build.xml file. -->
31.414 + </target>
31.415 + <target depends="init,deps-jar,-pre-pre-compile,-pre-compile,-do-compile,-post-compile" description="Compile project." name="compile"/>
31.416 + <target name="-pre-compile-single">
31.417 + <!-- Empty placeholder for easier customization. -->
31.418 + <!-- You can override this target in the ../build.xml file. -->
31.419 + </target>
31.420 + <target depends="init,deps-jar,-pre-pre-compile" name="-do-compile-single">
31.421 + <fail unless="javac.includes">Must select some files in the IDE or set javac.includes</fail>
31.422 + <scalaProject1:force-recompile/>
31.423 + <scalaProject1:scalac excludes="" includes="${javac.includes}" sourcepath="${src.dir}"/>
31.424 + </target>
31.425 + <target name="-post-compile-single">
31.426 + <!-- Empty placeholder for easier customization. -->
31.427 + <!-- You can override this target in the ../build.xml file. -->
31.428 + </target>
31.429 + <target depends="init,deps-jar,-pre-pre-compile,-pre-compile-single,-do-compile-single,-post-compile-single" name="compile-single"/>
31.430 + <!--
31.431 + ====================
31.432 + JAR BUILDING SECTION
31.433 + ====================
31.434 + -->
31.435 + <target depends="init" name="-pre-pre-jar">
31.436 + <dirname file="${dist.jar}" property="dist.jar.dir"/>
31.437 + <mkdir dir="${dist.jar.dir}"/>
31.438 + </target>
31.439 + <target name="-pre-jar">
31.440 + <!-- Empty placeholder for easier customization. -->
31.441 + <!-- You can override this target in the ../build.xml file. -->
31.442 + </target>
31.443 + <target depends="init,compile,-pre-pre-jar,-pre-jar" name="-do-jar-without-manifest" unless="manifest.available">
31.444 + <scalaProject1:jar/>
31.445 + </target>
31.446 + <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available" name="-do-jar-with-manifest" unless="manifest.available+main.class">
31.447 + <scalaProject1:jar manifest="${manifest.file}"/>
31.448 + </target>
31.449 + <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+main.class" name="-do-jar-with-mainclass" unless="manifest.available+main.class+mkdist.available">
31.450 + <scalaProject1:jar manifest="${manifest.file}">
31.451 + <scalaProject1:manifest>
31.452 + <scalaProject1:attribute name="Main-Class" value="${main.class}"/>
31.453 + </scalaProject1:manifest>
31.454 + </scalaProject1:jar>
31.455 + <echo>To run this application from the command line without Ant, try:</echo>
31.456 + <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
31.457 + <property location="${dist.jar}" name="dist.jar.resolved"/>
31.458 + <pathconvert property="run.classpath.with.dist.jar">
31.459 + <path path="${run.classpath}"/>
31.460 + <map from="${build.classes.dir.resolved}" to="${dist.jar.resolved}"/>
31.461 + </pathconvert>
31.462 + <echo>java -cp "${run.classpath.with.dist.jar}" ${main.class}
31.463 + </echo>
31.464 + </target>
31.465 + <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+main.class+mkdist.available" name="-do-jar-with-libraries">
31.466 + <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
31.467 + <pathconvert property="run.classpath.without.build.classes.dir">
31.468 + <path path="${run.classpath}"/>
31.469 + <map from="${build.classes.dir.resolved}" to=""/>
31.470 + </pathconvert>
31.471 + <pathconvert pathsep=" " property="jar.classpath">
31.472 + <path path="${run.classpath.without.build.classes.dir}"/>
31.473 + <chainedmapper>
31.474 + <flattenmapper/>
31.475 + <globmapper from="*" to="lib/*"/>
31.476 + </chainedmapper>
31.477 + </pathconvert>
31.478 + <taskdef classname="org.netbeans.modules.java.j2seproject.copylibstask.CopyLibs" classpath="${libs.CopyLibs.classpath}" name="copylibs"/>
31.479 + <copylibs compress="${jar.compress}" jarfile="${dist.jar}" manifest="${manifest.file}" runtimeclasspath="${run.classpath.without.build.classes.dir}">
31.480 + <fileset dir="${build.classes.dir}"/>
31.481 + <manifest>
31.482 + <attribute name="Main-Class" value="${main.class}"/>
31.483 + <attribute name="Class-Path" value="${jar.classpath}"/>
31.484 + </manifest>
31.485 + </copylibs>
31.486 + <echo>To run this application from the command line without Ant, try:</echo>
31.487 + <property location="${dist.jar}" name="dist.jar.resolved"/>
31.488 + <echo>java -jar "${dist.jar.resolved}"
31.489 + </echo>
31.490 + </target>
31.491 + <target name="-post-jar">
31.492 + <!-- Empty placeholder for easier customization. -->
31.493 + <!-- You can override this target in the ../build.xml file. -->
31.494 + </target>
31.495 + <target depends="init,compile,-pre-jar,-do-jar-with-manifest,-do-jar-without-manifest,-do-jar-with-mainclass,-do-jar-with-libraries,-post-jar" description="Build JAR." name="jar"/>
31.496 + <!--
31.497 + =================
31.498 + EXECUTION SECTION
31.499 + =================
31.500 + -->
31.501 + <target depends="init,compile" description="Run a main class." name="run">
31.502 + <scalaProject1:java>
31.503 + <customize>
31.504 + <arg line="${application.args}"/>
31.505 + </customize>
31.506 + </scalaProject1:java>
31.507 + </target>
31.508 + <target name="-do-not-recompile">
31.509 + <property name="javac.includes.binary" value=""/>
31.510 + </target>
31.511 + <target depends="init,-do-not-recompile,compile-single" name="run-single">
31.512 + <fail unless="run.class">Must select one file in the IDE or set run.class</fail>
31.513 + <scalaProject1:java classname="${run.class}"/>
31.514 + </target>
31.515 + <!--
31.516 + =================
31.517 + DEBUGGING SECTION
31.518 + =================
31.519 + -->
31.520 + <target depends="init" if="netbeans.home" name="-debug-start-debugger">
31.521 + <scalaProject1:nbjpdastart name="${debug.class}"/>
31.522 + </target>
31.523 + <target depends="init,compile" name="-debug-start-debuggee">
31.524 + <scalaProject1:debug>
31.525 + <customize>
31.526 + <arg line="${application.args}"/>
31.527 + </customize>
31.528 + </scalaProject1:debug>
31.529 + </target>
31.530 + <target depends="init,compile,-debug-start-debugger,-debug-start-debuggee" description="Debug project in IDE." if="netbeans.home" name="debug"/>
31.531 + <target depends="init" if="netbeans.home" name="-debug-start-debugger-stepinto">
31.532 + <scalaProject1:nbjpdastart stopclassname="${main.class}"/>
31.533 + </target>
31.534 + <target depends="init,compile,-debug-start-debugger-stepinto,-debug-start-debuggee" if="netbeans.home" name="debug-stepinto"/>
31.535 + <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-single">
31.536 + <fail unless="debug.class">Must select one file in the IDE or set debug.class</fail>
31.537 + <scalaProject1:debug classname="${debug.class}"/>
31.538 + </target>
31.539 + <target depends="init,-do-not-recompile,compile-single,-debug-start-debugger,-debug-start-debuggee-single" if="netbeans.home" name="debug-single"/>
31.540 + <target depends="init" name="-pre-debug-fix">
31.541 + <fail unless="fix.includes">Must set fix.includes</fail>
31.542 + <property name="javac.includes" value="${fix.includes}.java"/>
31.543 + </target>
31.544 + <target depends="init,-pre-debug-fix,compile-single" if="netbeans.home" name="-do-debug-fix">
31.545 + <scalaProject1:nbjpdareload/>
31.546 + </target>
31.547 + <target depends="init,-pre-debug-fix,-do-debug-fix" if="netbeans.home" name="debug-fix"/>
31.548 + <!--
31.549 + ===============
31.550 + JAVADOC SECTION
31.551 + ===============
31.552 + -->
31.553 + <target depends="init" name="-javadoc-build">
31.554 + <mkdir dir="${dist.javadoc.dir}"/>
31.555 + <scaladoc addparams="${javadoc.additionalparam}" deprecation="yes" destdir="${dist.javadoc.dir}" doctitle="${javadoc.windowtitle}" encoding="${javadoc.encoding.used}" srcdir="${src.dir}" unchecked="yes">
31.556 + <classpath>
31.557 + <path path="${javac.classpath}"/>
31.558 + <fileset dir="${scala.lib}">
31.559 + <include name="**/*.jar"/>
31.560 + </fileset>
31.561 + </classpath>
31.562 + </scaladoc>
31.563 + </target>
31.564 + <target depends="init,-javadoc-build" if="netbeans.home" name="-javadoc-browse" unless="no.javadoc.preview">
31.565 + <nbbrowse file="${dist.javadoc.dir}/index.html"/>
31.566 + </target>
31.567 + <target depends="init,-javadoc-build,-javadoc-browse" description="Build Javadoc." name="javadoc"/>
31.568 + <!--
31.569 + =========================
31.570 + JUNIT COMPILATION SECTION
31.571 + =========================
31.572 + -->
31.573 + <target depends="init,compile" if="have.tests" name="-pre-pre-compile-test">
31.574 + <mkdir dir="${build.test.classes.dir}"/>
31.575 + </target>
31.576 + <target name="-pre-compile-test">
31.577 + <!-- Empty placeholder for easier customization. -->
31.578 + <!-- You can override this target in the ../build.xml file. -->
31.579 + </target>
31.580 + <target if="do.depend.true" name="-compile-test-depend">
31.581 + <scalaProject1:depend classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" srcdir=""/>
31.582 + </target>
31.583 + <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-compile-test-depend" if="have.tests" name="-do-compile-test">
31.584 + <scalaProject1:scalac classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" srcdir=""/>
31.585 + <copy todir="${build.test.classes.dir}"/>
31.586 + </target>
31.587 + <target name="-post-compile-test">
31.588 + <!-- Empty placeholder for easier customization. -->
31.589 + <!-- You can override this target in the ../build.xml file. -->
31.590 + </target>
31.591 + <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-do-compile-test,-post-compile-test" name="compile-test"/>
31.592 + <target name="-pre-compile-test-single">
31.593 + <!-- Empty placeholder for easier customization. -->
31.594 + <!-- You can override this target in the ../build.xml file. -->
31.595 + </target>
31.596 + <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single" if="have.tests" name="-do-compile-test-single">
31.597 + <fail unless="javac.includes">Must select some files in the IDE or set javac.includes</fail>
31.598 + <scalaProject1:force-recompile destdir="${build.test.classes.dir}"/>
31.599 + <scalaProject1:scalac classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" excludes="" includes="${javac.includes}" sourcepath="" srcdir=""/>
31.600 + <copy todir="${build.test.classes.dir}"/>
31.601 + </target>
31.602 + <target name="-post-compile-test-single">
31.603 + <!-- Empty placeholder for easier customization. -->
31.604 + <!-- You can override this target in the ../build.xml file. -->
31.605 + </target>
31.606 + <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single,-do-compile-test-single,-post-compile-test-single" name="compile-test-single"/>
31.607 + <!--
31.608 + =======================
31.609 + JUNIT EXECUTION SECTION
31.610 + =======================
31.611 + -->
31.612 + <target depends="init" if="have.tests" name="-pre-test-run">
31.613 + <mkdir dir="${build.test.results.dir}"/>
31.614 + </target>
31.615 + <target depends="init,compile-test,-pre-test-run" if="have.tests" name="-do-test-run">
31.616 + <scalaProject1:junit testincludes="**/*Test.class"/>
31.617 + </target>
31.618 + <target depends="init,compile-test,-pre-test-run,-do-test-run" if="have.tests" name="-post-test-run">
31.619 + <fail if="tests.failed">Some tests failed; see details above.</fail>
31.620 + </target>
31.621 + <target depends="init" if="have.tests" name="test-report"/>
31.622 + <target depends="init" if="netbeans.home+have.tests" name="-test-browse"/>
31.623 + <target depends="init,compile-test,-pre-test-run,-do-test-run,test-report,-post-test-run,-test-browse" description="Run unit tests." name="test"/>
31.624 + <target depends="init" if="have.tests" name="-pre-test-run-single">
31.625 + <mkdir dir="${build.test.results.dir}"/>
31.626 + </target>
31.627 + <target depends="init,compile-test-single,-pre-test-run-single" if="have.tests" name="-do-test-run-single">
31.628 + <fail unless="test.includes">Must select some files in the IDE or set test.includes</fail>
31.629 + <scalaProject1:junit excludes="" includes="${test.includes}"/>
31.630 + </target>
31.631 + <target depends="init,compile-test-single,-pre-test-run-single,-do-test-run-single" if="have.tests" name="-post-test-run-single">
31.632 + <fail if="tests.failed">Some tests failed; see details above.</fail>
31.633 + </target>
31.634 + <target depends="init,-do-not-recompile,compile-test-single,-pre-test-run-single,-do-test-run-single,-post-test-run-single" description="Run single unit test." name="test-single"/>
31.635 + <!--
31.636 + =======================
31.637 + JUNIT DEBUGGING SECTION
31.638 + =======================
31.639 + -->
31.640 + <target depends="init,compile-test" if="have.tests" name="-debug-start-debuggee-test">
31.641 + <fail unless="test.class">Must select one file in the IDE or set test.class</fail>
31.642 + <property location="${build.test.results.dir}/TEST-${test.class}.xml" name="test.report.file"/>
31.643 + <delete file="${test.report.file}"/>
31.644 + <mkdir dir="${build.test.results.dir}"/>
31.645 + <scalaProject1:debug classname="org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner" classpath="${ant.home}/lib/ant.jar:${ant.home}/lib/ant-junit.jar:${debug.test.classpath}">
31.646 + <customize>
31.647 + <syspropertyset>
31.648 + <propertyref prefix="test-sys-prop."/>
31.649 + <mapper from="test-sys-prop.*" to="*" type="glob"/>
31.650 + </syspropertyset>
31.651 + <arg value="${test.class}"/>
31.652 + <arg value="showoutput=true"/>
31.653 + <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.BriefJUnitResultFormatter"/>
31.654 + <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,${test.report.file}"/>
31.655 + </customize>
31.656 + </scalaProject1:debug>
31.657 + </target>
31.658 + <target depends="init,compile-test" if="netbeans.home+have.tests" name="-debug-start-debugger-test">
31.659 + <scalaProject1:nbjpdastart classpath="${debug.test.classpath}" name="${test.class}"/>
31.660 + </target>
31.661 + <target depends="init,-do-not-recompile,compile-test-single,-debug-start-debugger-test,-debug-start-debuggee-test" name="debug-test"/>
31.662 + <target depends="init,-pre-debug-fix,compile-test-single" if="netbeans.home" name="-do-debug-fix-test">
31.663 + <scalaProject1:nbjpdareload dir="${build.test.classes.dir}"/>
31.664 + </target>
31.665 + <target depends="init,-pre-debug-fix,-do-debug-fix-test" if="netbeans.home" name="debug-fix-test"/>
31.666 + <!--
31.667 + =========================
31.668 + APPLET EXECUTION SECTION
31.669 + =========================
31.670 + -->
31.671 + <target depends="init,compile-single" name="run-applet">
31.672 + <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail>
31.673 + <scalaProject1:java classname="sun.applet.AppletViewer">
31.674 + <customize>
31.675 + <arg value="${applet.url}"/>
31.676 + </customize>
31.677 + </scalaProject1:java>
31.678 + </target>
31.679 + <!--
31.680 + =========================
31.681 + APPLET DEBUGGING SECTION
31.682 + =========================
31.683 + -->
31.684 + <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-applet">
31.685 + <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail>
31.686 + <scalaProject1:debug classname="sun.applet.AppletViewer">
31.687 + <customize>
31.688 + <arg value="${applet.url}"/>
31.689 + </customize>
31.690 + </scalaProject1:debug>
31.691 + </target>
31.692 + <target depends="init,compile-single,-debug-start-debugger,-debug-start-debuggee-applet" if="netbeans.home" name="debug-applet"/>
31.693 + <!--
31.694 + ===============
31.695 + CLEANUP SECTION
31.696 + ===============
31.697 + -->
31.698 + <target depends="init" name="deps-clean" unless="no.deps">
31.699 + <ant antfile="${project.jEdit}/build-nb.xml" inheritall="false" target="clean"/>
31.700 + </target>
31.701 + <target depends="init" name="-do-clean">
31.702 + <delete dir="${build.dir}"/>
31.703 + <delete dir="${dist.dir}"/>
31.704 + </target>
31.705 + <target name="-post-clean">
31.706 + <!-- Empty placeholder for easier customization. -->
31.707 + <!-- You can override this target in the ../build.xml file. -->
31.708 + </target>
31.709 + <target depends="init,deps-clean,-do-clean,-post-clean" description="Clean build products." name="clean"/>
31.710 +</project>