package jcircus.complementaryenvs; import java.util.HashMap; import java.util.LinkedHashMap; public class PId2PNameEnv { private HashMap map; public PId2PNameEnv () { this.map = new LinkedHashMap (); } 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); } }