// // used to initialize the infoTable table (see below) // private static void addInfo(String name, int opcode, String args) { InsnInfo info = new InsnInfo(); info.name = name; info.opcode = opcode; info.args = args; infoTable.put(name, info); }