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();
  	}	
  }