/**
  * File: 		PropertiesListener.java
  * Content: 	part of the RMI specification of sensei domains
  *           Defines the interface to be implemented by applications listening to property changes
  * Author: 	LuisM Pena
  * Date: 		27th October 2001
  * Version:  0.51.00
  * Last change:
  *
  **/


package sensei.middleware.domains;

import java.rmi.Remote;
import java.rmi.RemoteException;

/**
  * Defines the interface to be implemented by applications listening to property changes
  */
public interface PropertiesListener extends Remote
{
  /**
   * Only are received the notifications from the members who update their properties.
   */
  public void propertiesUpdated (int loc) throws RemoteException;
}