FList<TextRange> (@NotNull String name) { int maxOffset = name.length() - myPattern.length(); for (int start = 0; start <= maxOffset; start++) { if (hasMatchAt(name, start)) { return FList.singleton(TextRange.create(start, start + myPattern.length())); } } return null; }