4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.14 $ |
* @version $Revision: 1.15 $ |
* |
* Last modification: $Date: 2003/07/16 19:23:16 $ |
* $Id: DocumentManagerInterface.java,v 1.14 2003/07/16 19:23:16 smcsporr Exp $ |
* Last modification: $Date: 2003/07/18 14:20:19 $ |
* $Id: DocumentManagerInterface.java,v 1.15 2003/07/18 14:20:19 hjokusch Exp $ |
*/ |
|
package src.control; |
15,6 → 15,7 |
import java.io.File; |
|
import java.util.LinkedList; |
import java.util.Enumeration; |
|
import org.apache.xerces.dom.DocumentImpl; |
|
48,6 → 49,10 |
// TODO JavaDoc-comments |
public void closeAll(); |
|
public void setActualVisibleTree(Enumeration en); |
|
public Enumeration getActualVisibleTree(); |
|
/** |
* This method displays a <code>JFileChooser</code> and parses a file if the user |
* chooses one. |