package jcircus.complementaryenvs; import java.util.HashMap; import java.util.LinkedHashMap; public class ProcMuIndexEnv { HashMap > mapmu; HashMap > mapnparams; public ProcMuIndexEnv () { this.mapmu = new LinkedHashMap > (); this.mapnparams = new LinkedHashMap > (); } public void putmu (String process, HashMap mu) { this.mapmu.put(process, mu); } public void putmu (String process, String muname, Integer index) { if (this.mapmu.get(process) == null) { this.mapmu.put(process, new HashMap ()); } this.mapmu.get(process).put(muname, index); } public void putnparams (String process, HashMap mu) { this.mapnparams.put(process, mu); } public void putnparams (String process, String muname, Integer index) { if (this.mapnparams.get(process) == null) { this.mapnparams.put(process, new HashMap ()); } this.mapnparams.get(process).put(muname, index); } public HashMap getmu (String process) { return this.mapmu.get(process); } public Integer getmu (String process, String muaction) { HashMap mumap = this.mapmu.get(process); if (mumap == null) { System.out.print (""); } return mumap.get (muaction); } public HashMap getnparams (String process) { return this.mapnparams.get(process); } public Integer getnparams (String process, String muaction) { HashMap mumap = this.mapnparams.get(process); if (mumap == null) { System.out.print (""); } return mumap.get (muaction); } public boolean containsKey (String process, String muaction) { boolean b1 = this.mapmu.get(process) != null; if (b1) { boolean b2 = this.mapmu.get(process).get(muaction) != null; return b2; } return false; } }