Pattern.java

package java.util.regex;

import checkers.nullness.quals.*;

public final class Pattern implements java.io.Serializable{
    private static final long serialVersionUID = 0L;
  protected Pattern() {}
  public final static int UNIX_LINES = 1;
  public final static int CASE_INSENSITIVE = 2;
  public final static int COMMENTS = 4;
  public final static int MULTILINE = 8;
  public final static int LITERAL = 16;
  public final static int DOTALL = 32;
  public final static int UNICODE_CASE = 64;
  public final static int CANON_EQ = 128;
  public static @NonNull Pattern compile(String a1) { throw new RuntimeException("skeleton method"); }
  public static @NonNull Pattern compile(String a1, int a2) { throw new RuntimeException("skeleton method"); }
  public String pattern() { throw new RuntimeException("skeleton method"); }
  public String toString() { throw new RuntimeException("skeleton method"); }
  public @NonNull Matcher matcher(CharSequence a1) { throw new RuntimeException("skeleton method"); }
  public int flags() { throw new RuntimeException("skeleton method"); }
  public static boolean matches(String a1, CharSequence a2) { throw new RuntimeException("skeleton method"); }
  public String[] split(CharSequence a1, int a2) { throw new RuntimeException("skeleton method"); }
  public String[] split(CharSequence a1) { throw new RuntimeException("skeleton method"); }
  public static String quote(String a1) { throw new RuntimeException("skeleton method"); }
}