package jcircus.complementaryenvs;
import java.util.HashMap;
import java.util.LinkedHashMap;
public class PId2PNameEnv {
private HashMap <Integer, String> map;
public PId2PNameEnv () {
this.map = new LinkedHashMap <Integer, String> ();
}
public void put (Integer id, String name) {
this.map.put(id, name);
}
public String get (Integer id) {
if (id == -1)
return "$$GUI$$";
return this.map.get(id);
}
}