354355356357358359360361
* * @param stateNames <String,Integer> Map that assigns each state name an integer ID */ public void registerOutputStateNames(Map<String, Integer> stateNames) { if (stateNames != null) { outputStateNames = new TreeBidiMap(stateNames); } }
59606162636465
* @throws fr.xlim.ssd.capmanipulator.library.exceptions.IllegalDestinationValue * * @throws IllegalValueException */ public ByteCodeConverter(String xmlConf) { this.mBytecode = new TreeBidiMap(new ByteCodeConfiguration().getmBytecode()); }