001 /** =====================================================================
002 *
003 * File Name : $Id: FaultUpdatedListener.java,v 1.3 2008/01/15 11:08:16 cb Exp $
004 *
005 * Description
006 * -----------
007 *
008 * See javadoc comment
009 *
010 * =====================================================================
011 *
012 * @Author : Craige Bevil
013 * Control Software Group
014 * Isaac Newton Group of Telescopes
015 *
016 * =====================================================================
017 *
018 * Modification Log
019 *
020 * Vers Date Author Reason
021 * ---- ---- ------ ------
022 * 1 C.Bevil First Release
023 *
024 * Commissioning Notes
025 * -------------------
026 *
027 * None
028 *
029 * =====================================================================
030 *
031 * @Version : $Id: FaultUpdatedListener.java,v 1.3 2008/01/15 11:08:16 cb Exp $
032 *
033 * @Author : $Author: cb $
034 *
035 * Header : $Header: /opt/INGsrc/src/CVS/softproj/FaultDatabase/src/FaultDatabase/FaultDatabase/src/GWTApplication/client/FaultUpdatedListener.java,v 1.3 2008/01/15 11:08:16 cb Exp $
036 *
037 * Log : $Log: FaultUpdatedListener.java,v $
038 * Log : Revision 1.3 2008/01/15 11:08:16 cb
039 * Log : Ran through PMD and sorted out the javadoc so that we could export the
040 * Log : javadoc to the javadoc repository.
041 * Log :
042 * Log : Revision 1.2 2007/08/17 14:26:43 cb
043 * Log : Updated for lastest prototype incorporating a lot of Nikos comments
044 * Log :
045 * Log : Revision 1.1 2007/08/01 13:01:31 cb
046 * Log : First version
047 * Log :
048 *
049 * =====================================================================*/
050
051 package GWTApplication.client;
052
053 /**
054 * This interface will be implemented by a class which is interested
055 * in knowing when a fault has been updated or not. See {@link
056 * FaultUpdateMonitor FaultUpdateMonitor} for more information.
057 */
058
059 interface FaultUpdatedListener {
060
061 /**
062 * Is called when a fault is found to have been updated
063 * in the database.
064 * @param faultNumber This is the defect number of the fault which
065 * has been updated in the database.
066 */
067
068 public void faultUpdatedEvent (final int faultNumber);
069 }