4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.22 $ |
* @version $Revision: 1.23 $ |
* |
* Last modification: $Date: 2003/07/22 11:55:38 $ |
* $Id: DocumentManagerInterface.java,v 1.22 2003/07/22 11:55:38 hjokusch Exp $ |
* Last modification: $Date: 2003/07/22 13:33:44 $ |
* $Id: DocumentManagerInterface.java,v 1.23 2003/07/22 13:33:44 cstollen Exp $ |
*/ |
|
package src.control; |
22,7 → 22,7 |
* This interface describes the functionality, which an implementation of a |
* document manager must provide. |
* |
* @version $Revision: 1.22 $ Last modification: $Date: 2003/07/22 11:55:38 $ |
* @version $Revision: 1.23 $ Last modification: $Date: 2003/07/22 13:33:44 $ |
*/ |
public interface DocumentManagerInterface { |
|
62,7 → 62,7 |
* |
* @see src.document.OurDocument |
*/ |
public LinkedList getOpendDocumentList(); |
public LinkedList getOpenDocumentList(); |
|
/** |
* This method closes all opened documents using the method |