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