| 1,29 → 1,62 |
|---|
| /* |
| * This file contains the PluginManagerInterface interface. |
| /* This file contains only the PluginManagerInterface class. |
| * |
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.34 $ |
| * |
| * Last modification: $Date: 2003/07/13 14:57:49 $ |
| * software practice |
| * ss_2003 |
| * group project: XML-Editor |
| * $Id: PluginManagerInterface.java,v 1.2 2003/07/13 16:24:18 swalkenh Exp $ |
| */ |
| |
| //TODO who has commited this bullshit ?! - no name, super |
| ///* |
| // * This file contains the PluginManagerInterface interface. |
| // * |
| // * Coded by: Group 5, software practice summer 2003 |
| // * University of Bielefeld, Germany |
| // * |
| // * @version $Revision: 1.2 $ |
| // * |
| // * Last modification: $Date: 2003/07/13 16:24:18 $ |
| // */ |
| |
| package src.plugins; |
| |
| import javax.swing.event.TreeSelectionListener; |
| |
| |
| /** |
| * ... |
| * |
| * status: first try |
| * TODO comments |
| * |
| * 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 |
| * to the <code>PluginManager</code>. |
| * |
| * status: ready |
| * |
| * @author Sascha Walkenhorst |
| * |
| * Last Revision: 05-Jul-2003 |
| * Last Revision: 13-Jul-2003 |
| */ |
| public interface PluginManagerInterface { |
| |
| public TreeSelectionListener getTreeSelectionListener(); |
| } |
| /** |
| * Delivers a <code>TreeSelectionListener</code>. This method is needed to |
| * deliver a <code>TreeSelectionListener</code> to a object which has knowledge |
| * of selections made in the <code>PopUpJTree</code>. |
| * |
| * @author Sascha Walkenhorst |
| * |
| * Last Revision: 13-Jul-2003 by Sascha W. |
| */ |
| public TreeSelectionListener getTreeSelectionListener(); |
| |
| |
| /** |
| * This method is called if the active document has been closed. |
| * |
| * @param closedDocumentName The name of the closed document. |
| * |
| * @author Sascha Walkenhorst |
| * |
| * Last Revision: 13-Jul-2003 by Sascha W. |
| */ |
| public void documentClosed(String closedDocumentName); |
| |
| } |