4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.52 $ |
* @version $Revision: 1.53 $ |
* |
* Last modification: $Date: 2003/07/23 13:12:42 $ |
* $Id: PluginManager.java,v 1.52 2003/07/23 13:12:42 swalkenh Exp $ |
* Last modification: $Date: 2003/07/23 15:16:10 $ |
* $Id: PluginManager.java,v 1.53 2003/07/23 15:16:10 swalkenh Exp $ |
*/ |
|
package src.plugins; |
56,7 → 56,7 |
* |
* @author Sascha Walkenhorst |
* |
* @version $Revision: 1.52 $ Last modification: $Date: 2003/07/23 13:12:42 $ |
* @version $Revision: 1.53 $ Last modification: $Date: 2003/07/23 15:16:10 $ |
*/ |
public class PluginManager implements TreeSelectionListener, |
PluginManagerInterface, |
134,8 → 134,6 |
* needed by the <code>PluginLoader<code>. |
* @param newLogInterface The <code>LogInterface</code> which is needed |
* to write messages to a logging area. |
* @param newParser The <code>Parser</code> which is needed in |
* <code>OurTransformer</code>. |
* |
* author Sascha Walkenhorst |
* |
470,7 → 468,7 |
|
|
/** |
* Opens the Manifest of a given jar-archive and get following informations: |
* Opens the manifest of a given jar-archive and get following informations: |
* pluginName (index: 0), path to main class (index: 1), paths to |
* stylesheets (index: 2,3) |
* |
738,8 → 736,8 |
Object[] options = plugins.keySet().toArray(); |
|
String selected = (String) JOptionPane.showInputDialog(null, |
"which plugin should act as the default plugin", |
"default plugin selection", |
"Which plugin should act as the default plugin ?", |
"Default plugin selection:", |
JOptionPane.QUESTION_MESSAGE, |
null, |
options, |
765,7 → 763,7 |
* This method is used to anable the <code>PluginManager</code> calling |
* the plugin associated with a element. |
* |
* @param TreeSelectionEvent Event fired when selection in a tree changes. |
* @param tSE Event fired when selection in a tree changes. |
* |
* @see javax.swing.event.TreeSelectionListener#valueChanged(javax.swing.event.TreeSelectionEvent) |
* |
910,7 → 908,7 |
* The <code>pluginAssociations</code>-list is used by this method. If no plugin |
* is explicitly associated with the given element the default plugin is returned. |
* |
* @param element: The XML-element. |
* @param element The XML-element. |
* |
* @return The name of the associated plugin. |
* |
941,7 → 939,7 |
* stops the active plugin fo the closed document, because it might have a |
* modified node. |
* |
* @param closedDocumentName: The name of the closed document. |
* @param closedDocumentName The name of the closed document. |
* |
* author Sascha Walkenhorst |
* |
1031,7 → 1029,7 |
* <code>log</code>-method it enables this class to fire messages to |
* the logging area of the XMLEditor. |
* |
* @param log: The instance of the interface. |
* @param log The instance of the interface. |
* |
* author Sascha Walkenhorst |
* |
1045,8 → 1043,8 |
/** |
* Method for logging a message with specific style. |
* |
* @param i: The type of the message. |
* @param message: The message. |
* @param i The type of the message. |
* @param message The message. |
* |
* @see src.gui.LogInterface#log(int, java.lang.String) |
* |
1102,7 → 1100,7 |
* @see src.gui.UpdateView |
* @see src.control.OurEventListener#firedOurEvent(src.control.OurEvent) |
* |
* @param e: The event from a plugin fired. |
* @param e The event from a plugin fired. |
* |
* author Sascha Walkenhorst |
* |
1273,7 → 1271,7 |
* 'reset configuration', 'change default plugin', 'switch to and fro default plugin' |
* and 'show actual configuration'. |
* |
* @param event: The <code>ActionEvent</code> that occured. |
* @param e The <code>ActionEvent</code> that occured. |
* |
* @see java.awt.event.ActionEvent |
* @see java.awt.event.ActionListener |