package jcircus.complementaryenvs;

import java.util.HashMap;
import java.util.Iterator;
import java.util.LinkedHashMap;

import net.sourceforge.czt.circus.ast.CircusProcess;
import net.sourceforge.czt.circus.ast.ProcessPara;

//Integer/*String*/
//String/*Integer*/
//CircusProcess/*ProcessPara*/
//ProcessPara/*CircusProcess*/
public class ProcProcessParaEnv {
	private HashMap <String/*Integer*/, ProcessPara/*CircusProcess*/> map;
	public ProcProcessParaEnv () {
		map = new LinkedHashMap <String/*Integer*/, ProcessPara/*CircusProcess*/> ();
	}
	public void put (String/*Integer*/ process, ProcessPara/*CircusProcess*/ processPara) {
		this.map.put(process, processPara);
	}
	public ProcessPara/*CircusProcess*/ get (String/*Integer*/ process) {
		return this.map.get(process);
	}
	public String getKey (ProcessPara p) {
		Iterator it = this.iteratorKeys();
		String st = "";
		while (it.hasNext()) {
			String str = it.next().toString();
			if (this.map.get(str).equals(p)) {
				st = str;
				break;
			}
		}
		return st;
	}
	public Iterator <String> iteratorKeys () {
		return map.keySet().iterator();
	}
	public Iterator <ProcessPara> iteratorValues () {
		return map.values().iterator();
	}	
}