4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.59 $ |
* @version $Revision: 1.60 $ |
* |
* Last modification: $Date: 2003/07/28 13:33:08 $ |
* $Id: UpdateView.java,v 1.59 2003/07/28 13:33:08 smcsporr Exp $ |
* Last modification: $Date: 2003/07/28 14:26:22 $ |
* $Id: UpdateView.java,v 1.60 2003/07/28 14:26:22 smcsporr Exp $ |
*/ |
|
package src.gui; |
47,7 → 47,7 |
* |
* @author Christian Stollenwerk |
* |
* @version $Revision: 1.59 $ Last modification: $Date: 2003/07/28 13:33:08 $ |
* @version $Revision: 1.60 $ Last modification: $Date: 2003/07/28 14:26:22 $ |
*/ |
public class UpdateView implements ActionListener, UpdateViewInterface, |
OurEventListener, TreeModelListener, TreeExpansionListener, TreeSelectionListener { |
243,7 → 243,7 |
/** |
* This method sets an internal reference to the GUI. |
* |
* @param g: An object compliant to src.gui.GuiInterface. |
* @param g An object compliant to src.gui.GuiInterface. |
* |
* author Group 5 |
* |
256,7 → 256,7 |
/** |
* This method sets an internal reference to the document manager. |
* |
* @param docManInt: An object compliant to src.control.DocumentManagerInterface. |
* @param docManInt An object compliant to src.control.DocumentManagerInterface. |
* |
* author Group 5 |
* |
267,10 → 267,23 |
} |
|
/** |
* This method sets an internal reference to a <code>Validator</code> instance. |
* |
* @param vali A reference to a src.parser.Validator object. |
* |
* author Group 5 |
* |
* Last revision: 28-Jul-2003 |
*/ |
public void setValidationReference(Validator vali) { |
validator = vali; |
} |
|
/** |
* This method sets an internal reference to the log panel that is used to |
* output logging messages to inform the user about program events. |
* |
* @param log: A log panel implementation compliant to src.gui.LogInterface. |
* @param log A log panel implementation compliant to src.gui.LogInterface. |
* |
* author S. McSporran |
* |
278,14 → 291,12 |
*/ |
public void setLogInterface(LogInterface logInt) { |
logInterface = logInt; |
|
validator = new Validator(logInt, gui.getStatusInterface()); |
} |
|
/** |
* This method sets an internal reference to the plugin manager. |
* |
* @param plugManInt: An object compliant to src.plugins.PluginManagerInterface. |
* @param plugManInt An object compliant to src.plugins.PluginManagerInterface. |
* |
* author Group 5 |
* |