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(); |
} |