URLConnection.java

package java.net;
import checkers.javari.quals.*;

import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;
import java.util.Map;
import java.util.List;
import java.security.Permission;

public abstract class URLConnection {
    protected URL url;
    protected boolean doInput;
    protected boolean doOutput;
    protected boolean allowUserInteraction;
    protected boolean useCaches;
    protected long ifModifiedSince;
    protected boolean connected;


    public static synchronized FileNameMap getFileNameMap() {
        throw new RuntimeException("skeleton method");
    }

    public static void setFileNameMap(@ReadOnly FileNameMap map) {
        throw new RuntimeException("skeleton method");
    }

    abstract public void connect() throws IOException;

    public void setConnectTimeout(int timeout) {
        throw new RuntimeException("skeleton method");
    }

    public int getConnectTimeout() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public void setReadTimeout(int timeout) {
        throw new RuntimeException("skeleton method");
    }

    public int getReadTimeout() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    protected URLConnection(@ReadOnly URL url) @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public URL getURL() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public int getContentLength() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public long getContentLengthLong() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public String getContentType() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public String getContentEncoding() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public long getExpiration() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public long getDate() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public long getLastModified() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public String getHeaderField(String name) @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public @ReadOnly Map<String, @ReadOnly List<String>> getHeaderFields() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public int getHeaderFieldInt(String name, int Default) @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public long getHeaderFieldLong(String name, long Default) @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public long getHeaderFieldDate(String name, long Default) @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public String getHeaderFieldKey(int n) @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public String getHeaderField(int n) @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public Object getContent() throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public Object getContent(Class[] classes) throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public Permission getPermission() @ReadOnly throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public InputStream getInputStream() throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public OutputStream getOutputStream() throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public String toString() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public void setDoInput(boolean doinput) {
        throw new RuntimeException("skeleton method");
    }

    public boolean getDoInput() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public void setDoOutput(boolean dooutput) {
        throw new RuntimeException("skeleton method");
    }

    public boolean getDoOutput() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public void setAllowUserInteraction(boolean allowuserinteraction) {
        throw new RuntimeException("skeleton method");
    }

    public boolean getAllowUserInteraction() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public static void setDefaultAllowUserInteraction(boolean defaultallowuserinteraction) {
        throw new RuntimeException("skeleton method");
    }

    public static boolean getDefaultAllowUserInteraction() {
        throw new RuntimeException("skeleton method");
    }

    public void setUseCaches(boolean usecaches) {
        throw new RuntimeException("skeleton method");
    }

    public boolean getUseCaches() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public void setIfModifiedSince(long ifmodifiedsince) {
        throw new RuntimeException("skeleton method");
    }

    public long getIfModifiedSince() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public boolean getDefaultUseCaches() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public void setDefaultUseCaches(boolean defaultusecaches) {
        throw new RuntimeException("skeleton method");
    }

    public void setRequestProperty(String key, String value) {
        throw new RuntimeException("skeleton method");
    }

    public void addRequestProperty(String key, String value) {
        throw new RuntimeException("skeleton method");
    }

    public String getRequestProperty(String key) @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public @ReadOnly Map<String, @ReadOnly List<String>> getRequestProperties() {
        throw new RuntimeException("skeleton method");
    }

    @Deprecated
    public static void setDefaultRequestProperty(String key, String value) {
        throw new RuntimeException("skeleton method");
    }

    @Deprecated
    public static String getDefaultRequestProperty(String key) {
        throw new RuntimeException("skeleton method");
    }

    public static synchronized void setContentHandlerFactory(@ReadOnly ContentHandlerFactory fac) {
        throw new RuntimeException("skeleton method");
    }

    synchronized ContentHandler getContentHandler() throws UnknownServiceException {
        throw new RuntimeException("skeleton method");
    }

    public static String guessContentTypeFromName(String fname) {
        throw new RuntimeException("skeleton method");
    }

    static public String guessContentTypeFromStream(InputStream is) throws IOException {
        throw new RuntimeException("skeleton method");
    }
}