| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.25 $ |
| * @version $Revision: 1.26 $ |
| * |
| * Last modification: $Date: 2003/07/22 19:59:04 $ |
| * $Id: DocumentManagerInterface.java,v 1.25 2003/07/22 19:59:04 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/23 12:05:10 $ |
| * $Id: DocumentManagerInterface.java,v 1.26 2003/07/23 12:05:10 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 18,6 → 18,8 |
|---|
| |
| import org.apache.xerces.dom.DocumentImpl; |
| |
| import src.plugins.PluginManagerInterface; |
| |
| /** |
| * This interface describes the functionality, which an implementation of a |
| * document manager must provide. |
| 24,7 → 26,7 |
|---|
| * |
| * @see src.control.DocumentManager |
| * |
| * @version $Revision: 1.25 $ Last modification: $Date: 2003/07/22 19:59:04 $ |
| * @version $Revision: 1.26 $ Last modification: $Date: 2003/07/23 12:05:10 $ |
| */ |
| public interface DocumentManagerInterface { |
| |
| 209,4 → 211,13 |
|---|
| * @see src.control.DocumentManager#saveActualDocumentAs |
| */ |
| public void saveAll(); |
| |
| /** |
| * Returns the <code>PluginManagerInterface</code> saved in this instance. |
| * Needed to get access for plugins to pluin manager |
| * to perform custom transformation. |
| * |
| * @return The PluginManagerInterface. |
| */ |
| public PluginManagerInterface getPluginManagerInterface(); |
| } |