4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.9 $ |
* @version $Revision: 1.10 $ |
* |
* Last modification: $Date: 2003/07/25 18:18:27 $ |
* $Id: PluginManagerInterface.java,v 1.9 2003/07/25 18:18:27 swalkenh Exp $ |
* Last modification: $Date: 2003/07/26 11:39:28 $ |
* $Id: PluginManagerInterface.java,v 1.10 2003/07/26 11:39:28 swalkenh Exp $ |
*/ |
|
package src.plugins; |
14,9 → 14,7 |
|
import javax.swing.event.TreeSelectionListener; |
|
import org.w3c.dom.Node; |
|
|
/** |
* This class provides methods to deliver a <code>TreeSelectionListener</code> |
* and to tell if a document has been closed. It should be used as the interface |
26,7 → 24,7 |
* |
* @author Sascha Walkenhorst |
* |
* @version $Revision: 1.9 $ Last modification: $Date: 2003/07/25 18:18:27 $ |
* @version $Revision: 1.10 $ Last modification: $Date: 2003/07/26 11:39:28 $ |
*/ |
public interface PluginManagerInterface { |
|
37,7 → 35,7 |
* |
* author Sascha Walkenhorst |
* |
* Last revision: 13-Jul-2003 by Sascha W. |
* Last revision: 13-Jul-2003 by S. Walkenhorst |
*/ |
public TreeSelectionListener getTreeSelectionListener(); |
|
49,7 → 47,7 |
* |
* author Sascha Walkenhorst |
* |
* Last revision: 13-Jul-2003 by Sascha W. |
* Last revision: 13-Jul-2003 by S. Walkenhorst |
*/ |
public void documentClosed(String closedDocumentName); |
|
59,39 → 57,8 |
* |
* author Sascha Walkenhorst |
* |
* Last revision: 26-Jul-2003 by Sascha W. |
* Last revision: 26-Jul-2003 by S. Walkenhorst |
*/ |
public void saveConfiguration(); |
|
|
/** |
* Delivers the name of the associated plugin to given element. |
* If no plugin is explicitly associated with the given element |
* the default plugin is returned. |
* |
* @param element The XML-element. |
* |
* @return The name of the associated plugin. |
* |
* autor Y.Klassen, V.Zudova |
* |
* Last revision: 24-Jul-2003 |
*/ |
public String getAssociatedPlugin(String element); |
|
|
/** |
* Transforms given node for specified plugin |
* |
* @param associatedPlugin name of associated plugin for the node |
* @param node the node |
* |
* @return the transformed node |
* |
* autor Y.Klassen, V.Zudova |
* |
* Last revision: 24-Jul-2003 |
*/ |
public Node transformsNode(String associatedPlugin, Node node); |
|
} |