Matcher.java

package java.util.regex;

import org.checkerframework.dataflow.qual.Pure;
import org.checkerframework.dataflow.qual.SideEffectFree;
import org.checkerframework.checker.nullness.qual.Nullable;

public final class Matcher implements MatchResult {
  protected Matcher() {}
  public Pattern pattern() { throw new RuntimeException("skeleton method"); }
  public MatchResult toMatchResult() { throw new RuntimeException("skeleton method"); }
  public Matcher usePattern(Pattern a1) { throw new RuntimeException("skeleton method"); }
  public Matcher reset() { throw new RuntimeException("skeleton method"); }
  public Matcher reset(CharSequence a1) { throw new RuntimeException("skeleton method"); }
  @Pure
  public int start() { throw new RuntimeException("skeleton method"); }
  @Pure
  public int start(int a1) { throw new RuntimeException("skeleton method"); }
  @Pure
  public int end() { throw new RuntimeException("skeleton method"); }
  @Pure
  public int end(int a1) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree
  public String group() { throw new RuntimeException("skeleton method"); }
  @SideEffectFree
  public @Nullable String group(int a1) { throw new RuntimeException("skeleton method"); }
  @Pure
  public int groupCount() { throw new RuntimeException("skeleton method"); }
  public boolean matches() { throw new RuntimeException("skeleton method"); }
  public boolean find() { throw new RuntimeException("skeleton method"); }
  public boolean find(int a1) { throw new RuntimeException("skeleton method"); }
  public boolean lookingAt() { throw new RuntimeException("skeleton method"); }
  public static String quoteReplacement(String a1) { throw new RuntimeException("skeleton method"); }
  public Matcher appendReplacement(StringBuffer a1, String a2) { throw new RuntimeException("skeleton method"); }
  public StringBuffer appendTail(StringBuffer a1) { throw new RuntimeException("skeleton method"); }
  public String replaceAll(String a1) { throw new RuntimeException("skeleton method"); }
  public String replaceFirst(String a1) { throw new RuntimeException("skeleton method"); }
  public Matcher region(int a1, int a2) { throw new RuntimeException("skeleton method"); }
  @Pure
  public int regionStart() { throw new RuntimeException("skeleton method"); }
  @Pure
  public int regionEnd() { throw new RuntimeException("skeleton method"); }
  @Pure
  public boolean hasTransparentBounds() { throw new RuntimeException("skeleton method"); }
  public Matcher useTransparentBounds(boolean a1) { throw new RuntimeException("skeleton method"); }
  @Pure
  public boolean hasAnchoringBounds() { throw new RuntimeException("skeleton method"); }
  public Matcher useAnchoringBounds(boolean a1) { throw new RuntimeException("skeleton method"); }
  @SideEffectFree public String toString() { throw new RuntimeException("skeleton method"); }
  @Pure
  public boolean hitEnd() { throw new RuntimeException("skeleton method"); }
  @Pure
  public boolean requireEnd() { throw new RuntimeException("skeleton method"); }
}