| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.135 $ |
| * @version $Revision: 1.136 $ |
| * |
| * Last modification: $Date: 2003/07/28 13:25:30 $ |
| * $Id: DocumentManager.java,v 1.135 2003/07/28 13:25:30 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/28 13:27:18 $ |
| * $Id: DocumentManager.java,v 1.136 2003/07/28 13:27:18 hjokusch Exp $ |
| */ |
| |
| package src.control; |
| 50,7 → 50,7 |
|---|
| * |
| * @author Group 5 |
| * |
| * @version $Revision: 1.135 $ Last modification: $Date: 2003/07/28 13:25:30 $ |
| * @version $Revision: 1.136 $ Last modification: $Date: 2003/07/28 13:27:18 $ |
| */ |
| public class DocumentManager implements ActionListener, DocumentManagerInterface, |
| ChangeListener { |
| 99,9 → 99,6 |
|---|
| /** A parser, in this case used to parse a grammar (DTD or XML schema). */ |
| private Parser grammarParser = new Parser(); |
| |
| /** Indicates, if the auto validation feature is activated. */ |
| private boolean autoValidationOn = true; |
| |
| private int unNamedCounter = 0; |
| |
| /** Instance variables for used file filters. */ |
| 322,13 → 319,6 |
|---|
| } |
| } |
| |
| /**/ |
| if (event.getID() == ActionEvent.ITEM_EVENT_MASK) { |
| |
| log(LogInterface.TYPE_INFO, event.getActionCommand()); |
| log(LogInterface.TYPE_INFO, event.toString()); |
| } |
| |
| /* Actions to perform if the user choosed to change the curent document's DTD. */ |
| if (event.getActionCommand() == "Set DTD") { |
| setNewDTD(); |
| 1458,17 → 1448,4 |
|---|
| return false; |
| } |
| } |
| |
| /** |
| * Returns the status of the auto validation feature. |
| * |
| * The auto validation feature controls, whether the program will validate |
| * automatically after loading a file and when updating the treeview. |
| * |
| * @return A <code>boolean</code> value indicating if the auto validation |
| * feature is activated. |
| */ |
| public boolean getAutoValidation() { |
| return autoValidationOn; |
| } |
| } |