Searched refs:Rxxx (Results 1 – 1 of 1) sorted by relevance
1057 for (String Rxxx : Rxxx_to_oldReferences.keySet()) {1058 oldReferences_to_Rxxx.put(Rxxx_to_oldReferences.get(Rxxx), Rxxx); in Rxxx_to_oldReferences.get() argument1081 String Rxxx = reference_to_Rxxx.get(p); in addReference() local1082 if (Rxxx == null) { // add new in addReference()1083 Rxxx = oldReferences_to_Rxxx.get(p); in addReference()1084 if (Rxxx != null) { // if old, just keep number in addReference()1085 p = Rxxx_to_oldReferences.get(Rxxx); in addReference()1088 Rxxx = "R" + (referenceStart++); in addReference()1089 … if (Rxxx_to_reference.get(Rxxx) == null && Rxxx_to_oldReferences.get(Rxxx) == null) { in addReference()1095 reference_to_Rxxx.put(p, Rxxx); in addReference()[all …]