/**
  * File: 		CoordinatorElector.java
  * Content: 	part of the RMI specification of sensei domains
  *           Defines the interface to be implemented by applications electing the coordinator
  * 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 electing the coordinator
  */
public interface CoordinatorElector extends Remote
{
  public int getCoordinator (int loc, CoordinatorInformation[] info) throws RemoteException;
}