4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.10 $ |
* @version $Revision: 1.11 $ |
* |
* Last modification: $Date: 2003/07/15 12:31:40 $ |
* $Id: DocumentManagerInterface.java,v 1.10 2003/07/15 12:31:40 hjokusch Exp $ |
* Last modification: $Date: 2003/07/15 14:39:55 $ |
* $Id: DocumentManagerInterface.java,v 1.11 2003/07/15 14:39:55 hjokusch Exp $ |
*/ |
|
package src.control; |
18,15 → 18,25 |
|
import org.apache.xerces.dom.DocumentImpl; |
|
// TODO JavaDoc-comments |
// TODO JavaDoc interface description |
public interface DocumentManagerInterface { |
|
// TODO JavaDoc-comments |
public boolean changeToDocument(File documentName); |
|
// TODO JavaDoc-comments |
public void closeActualDocument(); |
|
// TODO JavaDoc-comments |
public DocumentImpl getActualDocument(); |
|
// TODO JavaDoc-comments |
public LinkedList getOpendDocumentList(); |
|
// TODO JavaDoc-comments |
public void closeAll(); |
|
/* changed return type from void to boolean to handle approve/cancel actions |
/* Changed return type from void to boolean to handle approve/cancel actions |
S. McSporran 080703 */ |
public boolean loadDocument(); |
|
33,10 → 43,19 |
/* Added 100703 S. McSporran -> Method to change a document's DTD. */ |
public void setNewDTD(); |
|
// TODO JavaDoc-comments |
public void makeNewDocument(); |
|
// TODO JavaDoc-comments |
public void saveActualDocument(); |
|
// TODO JavaDoc-comments |
public void saveActualDocumentAs(); |
|
// TODO JavaDoc-comments |
public void setDocument(DocumentImpl docu); |
|
// TODO JavaDoc-comments |
public void setModified(); |
|
//added 13.07.03 Sascha W., needed by PluginManager |
45,7 → 64,7 |
* |
* @return The name of the actual document (which is also used in the GUI). |
* |
* Last Revision: 13-Jul-2003 by Sascha W. |
* Last revision: 13-Jul-2003 by Sascha W. |
*/ |
public String getActualDocumentName(); |
} |