001/*
002 * Copyright (C) 2009 The Guava Authors
003 *
004 * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except
005 * in compliance with the License. You may obtain a copy of the License at
006 *
007 * http://www.apache.org/licenses/LICENSE-2.0
008 *
009 * Unless required by applicable law or agreed to in writing, software distributed under the License
010 * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
011 * or implied. See the License for the specific language governing permissions and limitations under
012 * the License.
013 */
014
015package com.google.common.base;
016
017import static com.google.common.base.Preconditions.checkArgument;
018import static com.google.common.base.Preconditions.checkNotNull;
019
020import com.google.common.annotations.GwtCompatible;
021import com.google.common.annotations.GwtIncompatible;
022import java.util.ArrayList;
023import java.util.Collections;
024import java.util.Iterator;
025import java.util.LinkedHashMap;
026import java.util.List;
027import java.util.Map;
028import java.util.regex.Pattern;
029import java.util.stream.Stream;
030import java.util.stream.StreamSupport;
031import org.jspecify.annotations.Nullable;
032
033/**
034 * Extracts non-overlapping substrings from an input string, typically by recognizing appearances of
035 * a <i>separator</i> sequence. This separator can be specified as a single {@linkplain #on(char)
036 * character}, fixed {@linkplain #on(String) string}, {@linkplain #onPattern regular expression} or
037 * {@link #on(CharMatcher) CharMatcher} instance. Or, instead of using a separator at all, a
038 * splitter can extract adjacent substrings of a given {@linkplain #fixedLength fixed length}.
039 *
040 * <p>For example, this expression:
041 *
042 * <pre>{@code
043 * Splitter.on(',').split("foo,bar,qux")
044 * }</pre>
045 *
046 * ... produces an {@code Iterable} containing {@code "foo"}, {@code "bar"} and {@code "qux"}, in
047 * that order.
048 *
049 * <p>By default, {@code Splitter}'s behavior is simplistic and unassuming. The following
050 * expression:
051 *
052 * <pre>{@code
053 * Splitter.on(',').split(" foo,,,  bar ,")
054 * }</pre>
055 *
056 * ... yields the substrings {@code [" foo", "", "", " bar ", ""]}. If this is not the desired
057 * behavior, use configuration methods to obtain a <i>new</i> splitter instance with modified
058 * behavior:
059 *
060 * <pre>{@code
061 * private static final Splitter MY_SPLITTER = Splitter.on(',')
062 *     .trimResults()
063 *     .omitEmptyStrings();
064 * }</pre>
065 *
066 * <p>Now {@code MY_SPLITTER.split("foo,,, bar ,")} returns just {@code ["foo", "bar"]}. Note that
067 * the order in which these configuration methods are called is never significant.
068 *
069 * <p><b>Warning:</b> Splitter instances are immutable. Invoking a configuration method has no
070 * effect on the receiving instance; you must store and use the new splitter instance it returns
071 * instead.
072 *
073 * <pre>{@code
074 * // Do NOT do this
075 * Splitter splitter = Splitter.on('/');
076 * splitter.trimResults(); // does nothing!
077 * return splitter.split("wrong / wrong / wrong");
078 * }</pre>
079 *
080 * <p>For separator-based splitters that do not use {@code omitEmptyStrings}, an input string
081 * containing {@code n} occurrences of the separator naturally yields an iterable of size {@code n +
082 * 1}. So if the separator does not occur anywhere in the input, a single substring is returned
083 * containing the entire input. Consequently, all splitters split the empty string to {@code [""]}
084 * (note: even fixed-length splitters).
085 *
086 * <p>Splitter instances are thread-safe immutable, and are therefore safe to store as {@code static
087 * final} constants.
088 *
089 * <p>The {@link Joiner} class provides the inverse operation to splitting, but note that a
090 * round-trip between the two should be assumed to be lossy.
091 *
092 * <p>See the Guava User Guide article on <a
093 * href="https://github.com/google/guava/wiki/StringsExplained#splitter">{@code Splitter}</a>.
094 *
095 * @author Julien Silland
096 * @author Jesse Wilson
097 * @author Kevin Bourrillion
098 * @author Louis Wasserman
099 * @since 1.0
100 */
101@GwtCompatible(emulated = true)
102public final class Splitter {
103  private final CharMatcher trimmer;
104  private final boolean omitEmptyStrings;
105  private final Strategy strategy;
106  private final int limit;
107
108  private Splitter(Strategy strategy) {
109    this(strategy, false, CharMatcher.none(), Integer.MAX_VALUE);
110  }
111
112  private Splitter(Strategy strategy, boolean omitEmptyStrings, CharMatcher trimmer, int limit) {
113    this.strategy = strategy;
114    this.omitEmptyStrings = omitEmptyStrings;
115    this.trimmer = trimmer;
116    this.limit = limit;
117  }
118
119  /**
120   * Returns a splitter that uses the given single-character separator. For example, {@code
121   * Splitter.on(',').split("foo,,bar")} returns an iterable containing {@code ["foo", "", "bar"]}.
122   *
123   * @param separator the character to recognize as a separator
124   * @return a splitter, with default settings, that recognizes that separator
125   */
126  public static Splitter on(char separator) {
127    return on(CharMatcher.is(separator));
128  }
129
130  /**
131   * Returns a splitter that considers any single character matched by the given {@code CharMatcher}
132   * to be a separator. For example, {@code
133   * Splitter.on(CharMatcher.anyOf(";,")).split("foo,;bar,quux")} returns an iterable containing
134   * {@code ["foo", "", "bar", "quux"]}.
135   *
136   * @param separatorMatcher a {@link CharMatcher} that determines whether a character is a
137   *     separator
138   * @return a splitter, with default settings, that uses this matcher
139   */
140  public static Splitter on(CharMatcher separatorMatcher) {
141    checkNotNull(separatorMatcher);
142
143    return new Splitter(
144        (splitter, toSplit) ->
145            new SplittingIterator(splitter, toSplit) {
146              @Override
147              int separatorStart(int start) {
148                return separatorMatcher.indexIn(toSplit, start);
149              }
150
151              @Override
152              int separatorEnd(int separatorPosition) {
153                return separatorPosition + 1;
154              }
155            });
156  }
157
158  /**
159   * Returns a splitter that uses the given fixed string as a separator. For example, {@code
160   * Splitter.on(", ").split("foo, bar,baz")} returns an iterable containing {@code ["foo",
161   * "bar,baz"]}.
162   *
163   * @param separator the literal, nonempty string to recognize as a separator
164   * @return a splitter, with default settings, that recognizes that separator
165   */
166  public static Splitter on(String separator) {
167    checkArgument(separator.length() != 0, "The separator may not be the empty string.");
168    if (separator.length() == 1) {
169      return Splitter.on(separator.charAt(0));
170    }
171    return new Splitter(
172        (splitter, toSplit) ->
173            new SplittingIterator(splitter, toSplit) {
174              @Override
175              public int separatorStart(int start) {
176                int separatorLength = separator.length();
177
178                positions:
179                for (int p = start, last = toSplit.length() - separatorLength; p <= last; p++) {
180                  for (int i = 0; i < separatorLength; i++) {
181                    if (toSplit.charAt(i + p) != separator.charAt(i)) {
182                      continue positions;
183                    }
184                  }
185                  return p;
186                }
187                return -1;
188              }
189
190              @Override
191              public int separatorEnd(int separatorPosition) {
192                return separatorPosition + separator.length();
193              }
194            });
195  }
196
197  /**
198   * Returns a splitter that considers any subsequence matching {@code pattern} to be a separator.
199   * For example, {@code Splitter.on(Pattern.compile("\r?\n")).split(entireFile)} splits a string
200   * into lines whether it uses DOS-style or UNIX-style line terminators.
201   *
202   * @param separatorPattern the pattern that determines whether a subsequence is a separator. This
203   *     pattern may not match the empty string.
204   * @return a splitter, with default settings, that uses this pattern
205   * @throws IllegalArgumentException if {@code separatorPattern} matches the empty string
206   */
207  @GwtIncompatible // java.util.regex
208  public static Splitter on(Pattern separatorPattern) {
209    return onPatternInternal(new JdkPattern(separatorPattern));
210  }
211
212  /** Internal utility; see {@link #on(Pattern)} instead. */
213  static Splitter onPatternInternal(CommonPattern separatorPattern) {
214    checkArgument(
215        !separatorPattern.matcher("").matches(),
216        "The pattern may not match the empty string: %s",
217        separatorPattern);
218
219    return new Splitter(
220        (splitter, toSplit) -> {
221          CommonMatcher matcher = separatorPattern.matcher(toSplit);
222          return new SplittingIterator(splitter, toSplit) {
223            @Override
224            public int separatorStart(int start) {
225              return matcher.find(start) ? matcher.start() : -1;
226            }
227
228            @Override
229            public int separatorEnd(int separatorPosition) {
230              return matcher.end();
231            }
232          };
233        });
234  }
235
236  /**
237   * Returns a splitter that considers any subsequence matching a given pattern (regular expression)
238   * to be a separator. For example, {@code Splitter.onPattern("\r?\n").split(entireFile)} splits a
239   * string into lines whether it uses DOS-style or UNIX-style line terminators. This is equivalent
240   * to {@code Splitter.on(Pattern.compile(pattern))}.
241   *
242   * @param separatorPattern the pattern that determines whether a subsequence is a separator. This
243   *     pattern may not match the empty string.
244   * @return a splitter, with default settings, that uses this pattern
245   * @throws IllegalArgumentException if {@code separatorPattern} matches the empty string or is a
246   *     malformed expression
247   */
248  @GwtIncompatible // java.util.regex
249  public static Splitter onPattern(String separatorPattern) {
250    return onPatternInternal(Platform.compilePattern(separatorPattern));
251  }
252
253  /**
254   * Returns a splitter that divides strings into pieces of the given length. For example, {@code
255   * Splitter.fixedLength(2).split("abcde")} returns an iterable containing {@code ["ab", "cd",
256   * "e"]}. The last piece can be smaller than {@code length} but will never be empty.
257   *
258   * <p><b>Note:</b> if {@link #fixedLength} is used in conjunction with {@link #limit}, the final
259   * split piece <i>may be longer than the specified fixed length</i>. This is because the splitter
260   * will <i>stop splitting when the limit is reached</i>, and just return the final piece as-is.
261   *
262   * <p><b>Exception:</b> for consistency with separator-based splitters, {@code split("")} does not
263   * yield an empty iterable, but an iterable containing {@code ""}. This is the only case in which
264   * {@code Iterables.size(split(input))} does not equal {@code IntMath.divide(input.length(),
265   * length, CEILING)}. To avoid this behavior, use {@code omitEmptyStrings}.
266   *
267   * @param length the desired length of pieces after splitting, a positive integer
268   * @return a splitter, with default settings, that can split into fixed sized pieces
269   * @throws IllegalArgumentException if {@code length} is zero or negative
270   */
271  public static Splitter fixedLength(int length) {
272    checkArgument(length > 0, "The length may not be less than 1");
273
274    return new Splitter(
275        (splitter, toSplit) ->
276            new SplittingIterator(splitter, toSplit) {
277              @Override
278              public int separatorStart(int start) {
279                int nextChunkStart = start + length;
280                return (nextChunkStart < toSplit.length() ? nextChunkStart : -1);
281              }
282
283              @Override
284              public int separatorEnd(int separatorPosition) {
285                return separatorPosition;
286              }
287            });
288  }
289
290  /**
291   * Returns a splitter that behaves equivalently to {@code this} splitter, but automatically omits
292   * empty strings from the results. For example, {@code
293   * Splitter.on(',').omitEmptyStrings().split(",a,,,b,c,,")} returns an iterable containing only
294   * {@code ["a", "b", "c"]}.
295   *
296   * <p>If either {@code trimResults} option is also specified when creating a splitter, that
297   * splitter always trims results first before checking for emptiness. So, for example, {@code
298   * Splitter.on(':').omitEmptyStrings().trimResults().split(": : : ")} returns an empty iterable.
299   *
300   * <p>Note that it is ordinarily not possible for {@link #split(CharSequence)} to return an empty
301   * iterable, but when using this option, it can (if the input sequence consists of nothing but
302   * separators).
303   *
304   * @return a splitter with the desired configuration
305   */
306  public Splitter omitEmptyStrings() {
307    return new Splitter(strategy, true, trimmer, limit);
308  }
309
310  /**
311   * Returns a splitter that behaves equivalently to {@code this} splitter but stops splitting after
312   * it reaches the limit. The limit defines the maximum number of items returned by the iterator,
313   * or the maximum size of the list returned by {@link #splitToList}.
314   *
315   * <p>For example, {@code Splitter.on(',').limit(3).split("a,b,c,d")} returns an iterable
316   * containing {@code ["a", "b", "c,d"]}. When omitting empty strings, the omitted strings do not
317   * count. Hence, {@code Splitter.on(',').limit(3).omitEmptyStrings().split("a,,,b,,,c,d")} returns
318   * an iterable containing {@code ["a", "b", "c,d"]}. When trim is requested, all entries are
319   * trimmed, including the last. Hence {@code Splitter.on(',').limit(3).trimResults().split(" a , b
320   * , c , d ")} results in {@code ["a", "b", "c , d"]}.
321   *
322   * @param maxItems the maximum number of items returned
323   * @return a splitter with the desired configuration
324   * @since 9.0
325   */
326  public Splitter limit(int maxItems) {
327    checkArgument(maxItems > 0, "must be greater than zero: %s", maxItems);
328    return new Splitter(strategy, omitEmptyStrings, trimmer, maxItems);
329  }
330
331  /**
332   * Returns a splitter that behaves equivalently to {@code this} splitter, but automatically
333   * removes leading and trailing {@linkplain CharMatcher#whitespace whitespace} from each returned
334   * substring; equivalent to {@code trimResults(CharMatcher.whitespace())}. For example, {@code
335   * Splitter.on(',').trimResults().split(" a, b ,c ")} returns an iterable containing {@code ["a",
336   * "b", "c"]}.
337   *
338   * @return a splitter with the desired configuration
339   */
340  public Splitter trimResults() {
341    return trimResults(CharMatcher.whitespace());
342  }
343
344  /**
345   * Returns a splitter that behaves equivalently to {@code this} splitter, but removes all leading
346   * or trailing characters matching the given {@code CharMatcher} from each returned substring. For
347   * example, {@code Splitter.on(',').trimResults(CharMatcher.is('_')).split("_a ,_b_ ,c__")}
348   * returns an iterable containing {@code ["a ", "b_ ", "c"]}.
349   *
350   * @param trimmer a {@link CharMatcher} that determines whether a character should be removed from
351   *     the beginning/end of a subsequence
352   * @return a splitter with the desired configuration
353   */
354  // TODO(kevinb): throw if a trimmer was already specified!
355  public Splitter trimResults(CharMatcher trimmer) {
356    checkNotNull(trimmer);
357    return new Splitter(strategy, omitEmptyStrings, trimmer, limit);
358  }
359
360  /**
361   * Splits {@code sequence} into string components and makes them available through an {@link
362   * Iterator}, which may be lazily evaluated. If you want an eagerly computed {@link List}, use
363   * {@link #splitToList(CharSequence)}. Java 8+ users may prefer {@link #splitToStream} instead.
364   *
365   * @param sequence the sequence of characters to split
366   * @return an iteration over the segments split from the parameter
367   */
368  public Iterable<String> split(CharSequence sequence) {
369    checkNotNull(sequence);
370
371    return new Iterable<String>() {
372      @Override
373      public Iterator<String> iterator() {
374        return splittingIterator(sequence);
375      }
376
377      @Override
378      public String toString() {
379        return Joiner.on(", ")
380            .appendTo(new StringBuilder().append('['), this)
381            .append(']')
382            .toString();
383      }
384    };
385  }
386
387  private Iterator<String> splittingIterator(CharSequence sequence) {
388    return strategy.iterator(this, sequence);
389  }
390
391  /**
392   * Splits {@code sequence} into string components and returns them as an immutable list. If you
393   * want an {@link Iterable} which may be lazily evaluated, use {@link #split(CharSequence)}.
394   *
395   * @param sequence the sequence of characters to split
396   * @return an immutable list of the segments split from the parameter
397   * @since 15.0
398   */
399  public List<String> splitToList(CharSequence sequence) {
400    checkNotNull(sequence);
401
402    Iterator<String> iterator = splittingIterator(sequence);
403    List<String> result = new ArrayList<>();
404
405    while (iterator.hasNext()) {
406      result.add(iterator.next());
407    }
408
409    return Collections.unmodifiableList(result);
410  }
411
412  /**
413   * Splits {@code sequence} into string components and makes them available through an {@link
414   * Stream}, which may be lazily evaluated. If you want an eagerly computed {@link List}, use
415   * {@link #splitToList(CharSequence)}.
416   *
417   * @param sequence the sequence of characters to split
418   * @return a stream over the segments split from the parameter
419   * @since 28.2 (but only since 33.4.0 in the Android flavor)
420   */
421  public Stream<String> splitToStream(CharSequence sequence) {
422    // Can't use Streams.stream() from base
423    return StreamSupport.stream(split(sequence).spliterator(), false);
424  }
425
426  /**
427   * Returns a {@code MapSplitter} which splits entries based on this splitter, and splits entries
428   * into keys and values using the specified separator.
429   *
430   * @since 10.0
431   */
432  public MapSplitter withKeyValueSeparator(String separator) {
433    return withKeyValueSeparator(on(separator));
434  }
435
436  /**
437   * Returns a {@code MapSplitter} which splits entries based on this splitter, and splits entries
438   * into keys and values using the specified separator.
439   *
440   * @since 14.0
441   */
442  public MapSplitter withKeyValueSeparator(char separator) {
443    return withKeyValueSeparator(on(separator));
444  }
445
446  /**
447   * Returns a {@code MapSplitter} which splits entries based on this splitter, and splits entries
448   * into keys and values using the specified key-value splitter.
449   *
450   * <p>Note: Any configuration option configured on this splitter, such as {@link #trimResults},
451   * does not change the behavior of the {@code keyValueSplitter}.
452   *
453   * <p>Example:
454   *
455   * <pre>{@code
456   * String toSplit = " x -> y, z-> a ";
457   * Splitter outerSplitter = Splitter.on(',').trimResults();
458   * MapSplitter mapSplitter = outerSplitter.withKeyValueSeparator(Splitter.on("->"));
459   * Map<String, String> result = mapSplitter.split(toSplit);
460   * assertThat(result).isEqualTo(ImmutableMap.of("x ", " y", "z", " a"));
461   * }</pre>
462   *
463   * @since 10.0
464   */
465  public MapSplitter withKeyValueSeparator(Splitter keyValueSplitter) {
466    return new MapSplitter(this, keyValueSplitter);
467  }
468
469  /**
470   * An object that splits strings into maps as {@code Splitter} splits iterables and lists. Like
471   * {@code Splitter}, it is thread-safe and immutable. The common way to build instances is by
472   * providing an additional {@linkplain Splitter#withKeyValueSeparator key-value separator} to
473   * {@link Splitter}.
474   *
475   * @since 10.0
476   */
477  public static final class MapSplitter {
478    private static final String INVALID_ENTRY_MESSAGE = "Chunk [%s] is not a valid entry";
479    private final Splitter outerSplitter;
480    private final Splitter entrySplitter;
481
482    private MapSplitter(Splitter outerSplitter, Splitter entrySplitter) {
483      this.outerSplitter = outerSplitter; // only "this" is passed
484      this.entrySplitter = checkNotNull(entrySplitter);
485    }
486
487    /**
488     * Splits {@code sequence} into substrings, splits each substring into an entry, and returns an
489     * unmodifiable map with each of the entries. For example, {@code
490     * Splitter.on(';').trimResults().withKeyValueSeparator("=>").split("a=>b ; c=>b")} will return
491     * a mapping from {@code "a"} to {@code "b"} and {@code "c"} to {@code "b"}.
492     *
493     * <p>The returned map preserves the order of the entries from {@code sequence}.
494     *
495     * @throws IllegalArgumentException if the specified sequence does not split into valid map
496     *     entries, or if there are duplicate keys
497     */
498    public Map<String, String> split(CharSequence sequence) {
499      Map<String, String> map = new LinkedHashMap<>();
500      for (String entry : outerSplitter.split(sequence)) {
501        Iterator<String> entryFields = entrySplitter.splittingIterator(entry);
502
503        checkArgument(entryFields.hasNext(), INVALID_ENTRY_MESSAGE, entry);
504        String key = entryFields.next();
505        checkArgument(!map.containsKey(key), "Duplicate key [%s] found.", key);
506
507        checkArgument(entryFields.hasNext(), INVALID_ENTRY_MESSAGE, entry);
508        String value = entryFields.next();
509        map.put(key, value);
510
511        checkArgument(!entryFields.hasNext(), INVALID_ENTRY_MESSAGE, entry);
512      }
513      return Collections.unmodifiableMap(map);
514    }
515  }
516
517  private interface Strategy {
518    Iterator<String> iterator(Splitter splitter, CharSequence toSplit);
519  }
520
521  private abstract static class SplittingIterator extends AbstractIterator<String> {
522    final CharSequence toSplit;
523    final CharMatcher trimmer;
524    final boolean omitEmptyStrings;
525
526    /**
527     * Returns the first index in {@code toSplit} at or after {@code start} that contains the
528     * separator.
529     */
530    abstract int separatorStart(int start);
531
532    /**
533     * Returns the first index in {@code toSplit} after {@code separatorPosition} that does not
534     * contain a separator. This method is only invoked after a call to {@code separatorStart}.
535     */
536    abstract int separatorEnd(int separatorPosition);
537
538    int offset = 0;
539    int limit;
540
541    protected SplittingIterator(Splitter splitter, CharSequence toSplit) {
542      this.trimmer = splitter.trimmer;
543      this.omitEmptyStrings = splitter.omitEmptyStrings;
544      this.limit = splitter.limit;
545      this.toSplit = toSplit;
546    }
547
548    @Override
549    protected @Nullable String computeNext() {
550      /*
551       * The returned string will be from the end of the last match to the beginning of the next
552       * one. nextStart is the start position of the returned substring, while offset is the place
553       * to start looking for a separator.
554       */
555      int nextStart = offset;
556      while (offset != -1) {
557        int start = nextStart;
558        int end;
559
560        int separatorPosition = separatorStart(offset);
561        if (separatorPosition == -1) {
562          end = toSplit.length();
563          offset = -1;
564        } else {
565          end = separatorPosition;
566          offset = separatorEnd(separatorPosition);
567        }
568        if (offset == nextStart) {
569          /*
570           * This occurs when some pattern has an empty match, even if it doesn't match the empty
571           * string -- for example, if it requires lookahead or the like. The offset must be
572           * increased to look for separators beyond this point, without changing the start position
573           * of the next returned substring -- so nextStart stays the same.
574           */
575          offset++;
576          if (offset > toSplit.length()) {
577            offset = -1;
578          }
579          continue;
580        }
581
582        while (start < end && trimmer.matches(toSplit.charAt(start))) {
583          start++;
584        }
585        while (end > start && trimmer.matches(toSplit.charAt(end - 1))) {
586          end--;
587        }
588
589        if (omitEmptyStrings && start == end) {
590          // Don't include the (unused) separator in next split string.
591          nextStart = offset;
592          continue;
593        }
594
595        if (limit == 1) {
596          // The limit has been reached, return the rest of the string as the
597          // final item. This is tested after empty string removal so that
598          // empty strings do not count towards the limit.
599          end = toSplit.length();
600          offset = -1;
601          // Since we may have changed the end, we need to trim it again.
602          while (end > start && trimmer.matches(toSplit.charAt(end - 1))) {
603            end--;
604          }
605        } else {
606          limit--;
607        }
608
609        return toSplit.subSequence(start, end).toString();
610      }
611      return endOfData();
612    }
613  }
614}