Searched refs:otherRange (Results 1 – 1 of 1) sorted by relevance
96 PageRange otherRange = otherRanges[otherRangeIdx]; in contains() local97 if (otherRange.getStart() > ourRange.getEnd()) { in contains()100 if (otherRange.getStart() < ourRange.getStart() in contains()101 || otherRange.getEnd() > ourRange.getEnd()) { in contains()