Class Characters

java/com/google/re2j/Characters.java:10–20

Wraps Character methods to be overridden for GWT.

/** Wraps Character methods to be overridden for GWT. */
final class Characters {
  private Characters() {}

  static int toLowerCase(int codePoint) {
    return Character.toLowerCase(codePoint);
  }

  static int toUpperCase(int codePoint) {
    return Character.toUpperCase(codePoint);
  }
}