001 /** =====================================================================
002 *
003 * File Name : $Id: RefreshSearchResultsListener.java,v 1.1 2007/08/22 15:58:38 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: RefreshSearchResultsListener.java,v 1.1 2007/08/22 15:58:38 cb Exp $
032 *
033 * @Author : $Author: cb $
034 *
035 * Header : $Header: /opt/INGsrc/src/CVS/softproj/FaultDatabase/src/FaultDatabase/FaultDatabase/src/GWTApplication/client/RefreshSearchResultsListener.java,v 1.1 2007/08/22 15:58:38 cb Exp $
036 *
037 * Log : $Log: RefreshSearchResultsListener.java,v $
038 * Log : Revision 1.1 2007/08/22 15:58:38 cb
039 * Log : First version
040 * Log :
041 * Log : Revision 1.2 2007/08/17 14:26:43 cb
042 * Log : Updated for lastest prototype incorporating a lot of Nikos comments
043 * Log :
044 * Log : Revision 1.1 2007/08/01 13:01:31 cb
045 * Log : First version
046 * Log :
047 *
048 * =====================================================================*/
049
050 package GWTApplication.client;
051
052 /**
053 * This interface will be implemented by a class which will allow the
054 * results associated with a particular search can be refreshed.
055 */
056
057 interface RefreshSearchResultsListener {
058
059 /**
060 * Is called when the results associated with the search results
061 * displayed by this object are to be completely refreshed.
062 */
063
064 public void refreshResults ();
065 }