Searched refs:nodeTextIndexToPreviousCSMIndex (Results 1 – 1 of 1) sorted by relevance
216 Map<Integer, Integer> nodeTextIndexToPreviousCSMIndex = new HashMap<>(); in extractReshuffledDiffElements() local220 nodeTextIndexToPreviousCSMIndex.put(value, i); in extractReshuffledDiffElements()267 if (nodeTextIndexToPreviousCSMIndex.containsKey(ntIndex)) { in extractReshuffledDiffElements()268 … int indexOfOriginalCSMElement = nodeTextIndexToPreviousCSMIndex.get(ntIndex); in extractReshuffledDiffElements()