package rep;

import java.util.HashMap;

public class EditorList extends HashMap<Integer,Editor> {

	/**
	 * 
	 */
	private static final long serialVersionUID = 1L;
	private int eid_root=0;
	private HashMap<Integer,Editor> waiting= new HashMap<Integer,Editor>();


	public void addWaitingEditor(Editor fw) {
		waiting.put(fw.getEID(),fw);
	}
	
	public void add(Editor fw) {
		put(fw.getEID(),fw);
	}

	public void assignSessionManagerIDtoWaitingSM(int eid) {
		// 待っていたEditorを登録する。
		// に登録する。この後、EditorのPUT/JOINに従って、ACKを送り、EID
		// を確定する。
		Editor waiter;
		if ((waiter=waiting.remove(eid))!=null) {
			put(eid,waiter);
			return;
		}
		assert false;
	}


	public int newEid() {
		return ++eid_root;
	}


	public boolean waiting(Editor editor) {
		return waiting.containsKey(editor.getEID());
	}


	public boolean hasEid(int eid) {
		return containsKey(eid);
	}


}