ClassLoader.java

package java.lang;

import checkers.nullness.quals.*;

@checkers.quals.DefaultQualifier("checkers.nullness.quals.NonNull")

public abstract class ClassLoader{
  protected ClassLoader() {}
  public Class<?> loadClass(String a1) throws ClassNotFoundException { throw new RuntimeException("skeleton method"); }
  protected Class<?> loadClass(String a1, boolean a2) throws ClassNotFoundException { throw new RuntimeException("skeleton method"); }
  public @Nullable java.net.URL getResource(String a1) { throw new RuntimeException("skeleton method"); }
  public java.util.Enumeration<java.net.URL> getResources(String a1) throws java.io.IOException { throw new RuntimeException("skeleton method"); }
  public static @Nullable java.net.URL getSystemResource(String a1) { throw new RuntimeException("skeleton method"); }
  public static java.util.Enumeration<java.net.URL> getSystemResources(String a1) throws java.io.IOException { throw new RuntimeException("skeleton method"); }
  public @Nullable java.io.InputStream getResourceAsStream(String a1) { throw new RuntimeException("skeleton method"); }
  public static @Nullable java.io.InputStream getSystemResourceAsStream(String a1) { throw new RuntimeException("skeleton method"); }
  public final @Nullable ClassLoader getParent() { throw new RuntimeException("skeleton method"); }
  public static @Nullable ClassLoader getSystemClassLoader() { throw new RuntimeException("skeleton method"); }
  public synchronized void setDefaultAssertionStatus(boolean a1) { throw new RuntimeException("skeleton method"); }
  public synchronized void setPackageAssertionStatus(@Nullable String a1, boolean a2) { throw new RuntimeException("skeleton method"); }
  public synchronized void setClassAssertionStatus(String a1, boolean a2) { throw new RuntimeException("skeleton method"); }
  public synchronized void clearAssertionStatus() { throw new RuntimeException("skeleton method"); }
  protected Class<?> defineClass(byte[] b, int off, int len) throws ClassFormatError { throw new RuntimeException("skeleton method"); }
  protected Class<?> defineClass(@Nullable String name, byte[] b, int off, int len) throws ClassFormatError { throw new RuntimeException("skeleton method"); }
  protected Class<?> defineClass(@Nullable String name, byte[] b, int off, int len, @Nullable java.security.ProtectionDomain protectionDomain) throws ClassFormatError { throw new RuntimeException("skeleton method"); }
  protected Class<?> defineClass(@Nullable String name, java.nio.ByteBuffer b, @Nullable java.security.ProtectionDomain protectionDomain) throws ClassFormatError { throw new RuntimeException("skeleton method"); }
  protected void resolveClass(@NonNull Class<?> c) { throw new RuntimeException("skeleton method"); }
    protected final Class<?> findLoadedClass(String name) { throw new RuntimeException("skeleton method"); }
    
}