| /sun/xmleditor/trunk/src/gui/GUI.java |
|---|
| 4,10 → 4,10 |
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.85 $ |
| * @version $Revision: 1.86 $ |
| * |
| * Last modification: $Date: 2003/07/26 10:49:54 $ |
| * $Id: GUI.java,v 1.85 2003/07/26 10:49:54 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/26 15:35:37 $ |
| * $Id: GUI.java,v 1.86 2003/07/26 15:35:37 smcsporr Exp $ |
| */ |
| package src.gui; |
| 51,7 → 51,7 |
| * |
| * @author group 5 |
| * |
| * @version $Revision: 1.85 $ Last modification: $Date: 2003/07/26 10:49:54 $ |
| * @version $Revision: 1.86 $ Last modification: $Date: 2003/07/26 15:35:37 $ |
| */ |
| public class GUI |
| extends JFrame implements GuiInterface,WindowListener { |
| 325,6 → 325,8 |
| autoValidate = new JCheckBoxMenuItem("Auto validation", true); |
| /* Help text for auto validation feature. */ |
| autoValidate.setToolTipText("select to enable auto validation"); |
| /* Register auto validation button events with docManager. */ |
| autoValidate.addActionListener(docManager); |
| documentMenu.add(autoValidate); |
| documentMenu.addSeparator(); |
| /sun/xmleditor/trunk/src/parser/Validator.java |
|---|
| 4,10 → 4,10 |
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.53 $ |
| * @version $Revision: 1.54 $ |
| * |
| * Last modification: $Date: 2003/07/25 11:41:53 $ |
| * $Id: Validator.java,v 1.53 2003/07/25 11:41:53 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/25 11:52:30 $ |
| * $Id: Validator.java,v 1.54 2003/07/25 11:52:30 smcsporr Exp $ |
| */ |
| package src.parser; |
| 53,7 → 53,7 |
| * |
| * @author S. McSporran |
| * |
| * @version $Revision: 1.53 $ Last modification: $Date: 2003/07/25 11:41:53 $ |
| * @version $Revision: 1.54 $ Last modification: $Date: 2003/07/25 11:52:30 $ |
| */ |
| public class Validator { |
| 130,7 → 130,7 |
| eHandler.setStatusInterface(statInterfaceReference); |
| /* Activate the needed parser features. */ |
| activateNamespaceProcessing(); |
| //activateNamespaceProcessing(); |
| activateValidation(); |
| activateSchemaSupport(); |
| } |
| 149,7 → 149,7 |
| eHandler.setLogInterface(logInterfaceReference); |
| /* Activate the needed parser features. */ |
| activateNamespaceProcessing(); |
| //activateNamespaceProcessing(); |
| activateValidation(); |
| activateSchemaSupport(); |
| } |
| 407,7 → 407,7 |
| try { |
| /* Use the StringBuffer as a new InputSource for parsing. */ |
| InputSource inputSrc = new InputSource(new StringReader(buffer.toString())); |
| if (docFile != null) { |
| if ((docFile != null)) { |
| inputSrc.setSystemId(docFile.getPath()); |
| } |
| activeParser.parse(inputSrc); |
| /sun/xmleditor/trunk/src/control/DocumentManager.java |
|---|
| 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 |