Subversion Repositories general

Compare Revisions

Ignore whitespace Rev 492 → Rev 493

/sun/xmleditor/trunk/src/control/DocumentManagerInterface.java
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();
}