/*
 * Created on 2004-7-17
 *
 * To change the template for this generated file go to
 * Window - Preferences - Java - Code Generation - Code and Comments
 */
package workflow.wfmc.pm;

import java.util.Iterator;

import workflow.wfmc.xpdl.XPDLElement;

/**
 * @author reic
 *
 * To change the template for this generated type comment go to
 * Window - Preferences - Java - Code Generation - Code and Comments
 */
public interface Role extends XPDLElement
{
	// ------------------------------------------------------------- Properties
	 /**
		* Return the set of {@link Participant}s that are members of this role.
		*/
	 public Iterator getParticipants();
	
	 // --------------------------------------------------------- Public Method
	 /**
		* Add a new {@link Participant} to this role.
		*
		* @param user The new user
		*/
	 public void addPaticipant(Participant user);
  
	 /**
		* Remove a {@link Participant} from this role.
		*
		* @param user The old user
		*/
	 public void removeParticipant(Participant user);


	 /**
		* Remove all {@link Participant}s from this role.
		*/
	 public void removeParticipants();
 
}
