| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.6 $ |
| * @version $Revision: 1.7 $ |
| * |
| * Last modification: $Date: 2003/07/15 19:27:57 $ |
| * $Id: $ |
| * Last modification: $Date: 2003/07/16 11:02:47 $ |
| * $Id: PluginManagerInterface.java,v 1.7 2003/07/16 11:02:47 swalkenh Exp $ |
| */ |
| |
| package src.plugins; |
| 14,7 → 14,9 |
|---|
| |
| 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 |
| 24,7 → 26,7 |
|---|
| * |
| * @author Sascha Walkenhorst |
| * |
| * @version $Revision: 1.6 $ Last modification: $Date: 2003/07/15 19:27:57 $ |
| * @version $Revision: 1.7 $ Last modification: $Date: 2003/07/16 11:02:47 $ |
| */ |
| public interface PluginManagerInterface { |
| |
| 50,5 → 52,29 |
|---|
| * Last Revision: 13-Jul-2003 by Sascha W. |
| */ |
| public void documentClosed(String closedDocumentName); |
| |
| /** |
| * 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 |
| */ |
| 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 |
| */ |
| public Node transformsNode(String associatedPlugin, Node node); |
| |
| } |