Searched refs:uidRangeMatcher (Results 1 – 1 of 1) sorted by relevance
170 final Matcher uidRangeMatcher = UID_RANGE_PATTERN.matcher(uidSpecifier); in fromString() local171 if (!uidRangeMatcher.matches()) { in fromString()177 Integer.parseInt(uidRangeMatcher.group(1)), in fromString()178 Integer.parseInt(uidRangeMatcher.group(2)))); in fromString()