4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.130 $ |
* @version $Revision: 1.131 $ |
* |
* Last modification: $Date: 2003/07/26 13:05:45 $ |
* $Id: DocumentManager.java,v 1.130 2003/07/26 13:05:45 smcsporr Exp $ |
* Last modification: $Date: 2003/07/26 15:35:48 $ |
* $Id: DocumentManager.java,v 1.131 2003/07/26 15:35:48 smcsporr Exp $ |
*/ |
|
package src.control; |
50,7 → 50,7 |
* |
* @author Group 5 |
* |
* @version $Revision: 1.130 $ Last modification: $Date: 2003/07/26 13:05:45 $ |
* @version $Revision: 1.131 $ Last modification: $Date: 2003/07/26 15:35:48 $ |
*/ |
public class DocumentManager implements ActionListener,DocumentManagerInterface,ChangeListener { |
|
94,6 → 94,9 |
|
/** A parser, in this case used to parse a grammar (DTD or XML schema). */ |
private Parser grammarParser = new Parser(); |
|
/** Needed to check, whether auto validation is used. */ |
private boolean autoValidationFeature = true; |
|
private int unNamedCounter = 0; |
|
455,9 → 458,23 |
* Last revision: 16-Jul-2003 |
*/ |
public File getActualDocumentFile() { |
return actualDocument.getFileName(); |
return actualDocument.getFileName(); |
} |
|
/** |
* Returns the auto validation feature status. |
* |
* The program will validate after loading a file and after selecting another |
* element in the tree structure, if auto validation is enabled. In disabled |
* state, validation can be used by choosing the 'Validate' function manually. |
* |
* @return The current status of the auto validation feature. <code>true</code> if |
* it is enabled, <code>false</code> otherwise. |
*/ |
public boolean getAutoValidationStatus() { |
return autoValidationFeature; |
} |
|
/** |
* Returns the <code>PluginManagerInterface</code> saved in this instance. |
* Needed to get access for plugins to pluin manager |