package java.util.regex;
import org.checkerframework.checker.lock.qual.*;
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;
// pure wrt equals(@GuardSatisfied Pattern this) but not ==
public static Pattern compile(String a1) { throw new RuntimeException("skeleton method"); }
// pure wrt equals(@GuardSatisfied Pattern this) but not ==
public static Pattern compile(String a1, int a2) { throw new RuntimeException("skeleton method"); }
public String pattern() { throw new RuntimeException("skeleton method"); }
public String toString(@GuardSatisfied Pattern this) { throw new RuntimeException("skeleton method"); }
public 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"); }
}