| 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 |