package rep;

import java.util.HashMap;

public class EditorList extends HashMap<Integer,Editor> {

	/**
	 * 
	 */
	private static final long serialVersionUID = 1L;
	private int eid_root=0;
	
	public void add(Editor fw) {
		put(fw.getEID(),fw);
	}


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



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


}