Scanner.java

package java.util;
import org.checkerframework.checker.lock.qual.*;

public final class Scanner implements Iterator<String> {
  public Scanner(Readable a1) { throw new RuntimeException("skeleton method"); }
  public Scanner(java.io.InputStream a1) { throw new RuntimeException("skeleton method"); }
  public Scanner(java.io.InputStream a1, String a2) { throw new RuntimeException("skeleton method"); }
  public Scanner(java.io.File a1) throws java.io.FileNotFoundException { throw new RuntimeException("skeleton method"); }
  public Scanner(java.io.File a1, String a2) throws java.io.FileNotFoundException { throw new RuntimeException("skeleton method"); }
  public Scanner(String a1) { throw new RuntimeException("skeleton method"); }
  public Scanner(java.nio.channels.ReadableByteChannel a1) { throw new RuntimeException("skeleton method"); }
  public Scanner(java.nio.channels.ReadableByteChannel a1, String a2) { throw new RuntimeException("skeleton method"); }
  public void close() { throw new RuntimeException("skeleton method"); }
  public java.io. IOException ioException() { throw new RuntimeException("skeleton method"); }
  public java.util.regex.Pattern delimiter() { throw new RuntimeException("skeleton method"); }
  public Scanner useDelimiter(java.util.regex.Pattern a1) { throw new RuntimeException("skeleton method"); }
  public Scanner useDelimiter(String a1) { throw new RuntimeException("skeleton method"); }
  public Locale locale() { throw new RuntimeException("skeleton method"); }
  public Scanner useLocale(Locale a1) { throw new RuntimeException("skeleton method"); }
  public int radix() { throw new RuntimeException("skeleton method"); }
  public Scanner useRadix(int a1) { throw new RuntimeException("skeleton method"); }
  public java.util.regex.MatchResult match() { throw new RuntimeException("skeleton method"); }
   public String toString(@GuardSatisfied Scanner this) { throw new RuntimeException("skeleton method"); }
  public boolean hasNext() { throw new RuntimeException("skeleton method"); }
  public String next() { throw new RuntimeException("skeleton method"); }
  public void remove() { throw new RuntimeException("skeleton method"); }
  public boolean hasNext(String a1) { throw new RuntimeException("skeleton method"); }
  public String next(String a1) { throw new RuntimeException("skeleton method"); }
  public boolean hasNext(java.util.regex.Pattern a1) { throw new RuntimeException("skeleton method"); }
  public String next(java.util.regex.Pattern a1) { throw new RuntimeException("skeleton method"); }
  public boolean hasNextLine() { throw new RuntimeException("skeleton method"); }
  public String nextLine() { throw new RuntimeException("skeleton method"); }
  public String findInLine(String a1) { throw new RuntimeException("skeleton method"); }
  public String findInLine(java.util.regex.Pattern a1) { throw new RuntimeException("skeleton method"); }
  public String findWithinHorizon(String a1, int a2) { throw new RuntimeException("skeleton method"); }
  public String findWithinHorizon(java.util.regex.Pattern a1, int a2) { throw new RuntimeException("skeleton method"); }
  public Scanner skip(java.util.regex.Pattern a1) { throw new RuntimeException("skeleton method"); }
  public Scanner skip(String a1) { throw new RuntimeException("skeleton method"); }
  public boolean hasNextBoolean() { throw new RuntimeException("skeleton method"); }
  public boolean nextBoolean() { throw new RuntimeException("skeleton method"); }
  public boolean hasNextByte() { throw new RuntimeException("skeleton method"); }
  public boolean hasNextByte(int a1) { throw new RuntimeException("skeleton method"); }
  public byte nextByte() { throw new RuntimeException("skeleton method"); }
  public byte nextByte(int a1) { throw new RuntimeException("skeleton method"); }
  public boolean hasNextShort() { throw new RuntimeException("skeleton method"); }
  public boolean hasNextShort(int a1) { throw new RuntimeException("skeleton method"); }
  public short nextShort() { throw new RuntimeException("skeleton method"); }
  public short nextShort(int a1) { throw new RuntimeException("skeleton method"); }
  public boolean hasNextInt() { throw new RuntimeException("skeleton method"); }
  public boolean hasNextInt(int a1) { throw new RuntimeException("skeleton method"); }
  public int nextInt() { throw new RuntimeException("skeleton method"); }
  public int nextInt(int a1) { throw new RuntimeException("skeleton method"); }
  public boolean hasNextLong() { throw new RuntimeException("skeleton method"); }
  public boolean hasNextLong(int a1) { throw new RuntimeException("skeleton method"); }
  public long nextLong() { throw new RuntimeException("skeleton method"); }
  public long nextLong(int a1) { throw new RuntimeException("skeleton method"); }
  public boolean hasNextFloat() { throw new RuntimeException("skeleton method"); }
  public float nextFloat() { throw new RuntimeException("skeleton method"); }
  public boolean hasNextDouble() { throw new RuntimeException("skeleton method"); }
  public double nextDouble() { throw new RuntimeException("skeleton method"); }
  public boolean hasNextBigInteger() { throw new RuntimeException("skeleton method"); }
  public boolean hasNextBigInteger(int a1) { throw new RuntimeException("skeleton method"); }
  public java.math.BigInteger nextBigInteger() { throw new RuntimeException("skeleton method"); }
  public java.math.BigInteger nextBigInteger(int a1) { throw new RuntimeException("skeleton method"); }
  public boolean hasNextBigDecimal() { throw new RuntimeException("skeleton method"); }
  public java.math.BigDecimal nextBigDecimal() { throw new RuntimeException("skeleton method"); }
  public Scanner reset() { throw new RuntimeException("skeleton method"); }
}