private int replacePid(IntIntMap replaceSpec, int pid) { int newPid = pid; if (replaceSpec.contains(pid)) { newPid = replaceSpec.get(pid); } System.out.println("[" + pid + "->" + newPid + "]"); return newPid; }
private static void printPat(PATSection pat) { IntIntMap programs = pat.getPrograms(); System.out.print("PAT: "); int[] keys = programs.keys(); for (int i : keys) { System.out.print(i + ":" + programs.get(i) + ", "); } }