Searched refs:rangeIDRegex (Results 1 – 3 of 3) sorted by relevance
48 static EST_Regex rangeIDRegex(".*#id(w\\([0-9]+\\)).*id(w\\([0-9]+\\))"); variable187 else if (val.matches(rangeIDRegex, 0, starts, ends)) in extract_ids()
59 static EST_Regex rangeIDRegex("[^#]*#id(\\([a-z]*\\)\\([0-9]*\\)\\(-\\([0-9]+\\)\\)*).*id(\\([a-z]*… variable266 else if (val.matches(rangeIDRegex, 0, starts, ends)) in extract_ids()
48 static EST_Regex rangeIDRegex(".*#id(w\\([0-9]+\\)).*id(w\\([0-9]+\\))"); variable