private int getFsAddrForXmiId(int xmiId) { //first check shared data (but if we're doing a merge, do so only //for xmi:ids below the merge point) if (mergePoint < 0 || !isNewFS(xmiId) ) { int addr = sharedData.getFsAddrForXmiId(xmiId); if (addr > 0) { return addr; } else { throw new java.util.NoSuchElementException(); } } else { //if we're merging, then we use a local id map for FSs above the //merge point, since each of the different XMI CASes being merged //can use these same ids for different FSs. return localXmiIdToFsAddrMap.get(xmiId); // if (localAddr != null) { // return localAddr.intValue(); // } else { // throw new java.util.NoSuchElementException(); // } } }