4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.12 $ |
* @version $Revision: 1.13 $ |
* |
* Last modification: $Date: 2003/07/15 17:13:28 $ |
* $Id: DocumentManagerInterface.java,v 1.12 2003/07/15 17:13:28 smcsporr Exp $ |
* Last modification: $Date: 2003/07/15 22:23:21 $ |
* $Id: DocumentManagerInterface.java,v 1.13 2003/07/15 22:23:21 ioklasse Exp $ |
*/ |
|
package src.control; |
21,7 → 21,19 |
// TODO JavaDoc interface description |
public interface DocumentManagerInterface { |
|
// TODO JavaDoc-comments |
/** |
* The methode<code>changeToDocument</code> changes the actual |
* document to the document with the file name specified. |
* |
* @param fileName: The name of the file belonging to a parsed document in the |
* <code>openDocumentList</code> which should be the new actual document. |
* |
// TODO * @return ??? |
* |
* author Group 5 |
* |
* Last revision: 16-Jul-2003 |
*/ |
public boolean changeToDocument(File documentName); |
|
// TODO JavaDoc-comments |
36,20 → 48,58 |
// TODO JavaDoc-comments |
public void closeAll(); |
|
/* Changed return type from void to boolean to handle approve/cancel actions |
S. McSporran 080703 */ |
/** |
* This method displays a <code>JFileChooser</code> and parses a file if the user |
* chooses one. |
* |
* @return Returns <code>true</code>, if a file has been chosen, false otherwise. |
* |
* author Group 5 |
* |
* Last revision: 08-Jul-2003 |
*/ |
public boolean loadDocument(); |
|
/* Added 100703 S. McSporran -> Method to change a document's DTD. */ |
/** |
* <code>setNewDTD</code> launches a method that changes a document's DTD grammar. |
* |
* author S. McSporran |
* |
* Last revision: 11-Jul-2003 |
*/ |
public void setNewDTD(); |
|
/** |
* <code>setNewSchema</code> launches a method that changes a document's XML schema. |
* |
* author S. McSporran |
* |
* Last revision: 14-Jul-2003 |
*/ |
public void setNewSchema(); |
|
// TODO JavaDoc-comments |
public void makeNewDocument(); |
|
// TODO JavaDoc-comments |
/** |
* <code>saveActualDocument</code> launches a method that saves the active document. |
* This is a kind of a quicksave function and can only be used if the corresponding |
* file name of the current document is available. |
* |
* author S. McSporran |
* |
* Last revision: 08-Jul-2003 |
*/ |
public void saveActualDocument(); |
|
// TODO JavaDoc-comments |
/** |
* <code>saveActualDocumentAs</code> saves the active document in a specified file |
* chosen by the user. |
* |
* author S. McSporran |
* |
* Last revision: 08-Jul-2003 |
*/ |
public void saveActualDocumentAs(); |
|
// TODO JavaDoc-comments |
58,7 → 108,6 |
// TODO JavaDoc-comments |
public void setModified(); |
|
//added 13.07.03 Sascha W., needed by PluginManager |
/** |
* Delivers the name of the actual document. |
* |
68,11 → 117,12 |
*/ |
public String getActualDocumentName(); |
|
// 15.07.2003 added Y.Klassen, V.Zudova |
/** |
* returns file of the actual document |
* |
* @return file of the actual document |
*/ |
/** |
* Returns the <code>File</code> object belonging to the actual document |
* |
* @return The file's path and name from which the actual document has been parsed. |
* |
* Last revision: 16-Jul-2003 |
*/ |
public File getActualDocumentFile(); |
} |