HttpURLConnection.java

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

import java.io.InputStream;
import java.io.IOException;
import java.security.Permission;

abstract public class HttpURLConnection extends URLConnection {
    protected HttpURLConnection (URL u) {
        super(u);
        throw new RuntimeException("skeleton method");
    }

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

    public void setFixedLengthStreamingMode (int contentLength) {
        throw new RuntimeException("skeleton method");
    }

    public void setFixedLengthStreamingMode(long contentLength) {
        throw new RuntimeException("skeleton method");
    }

    public void setChunkedStreamingMode (int chunklen) {
        throw new RuntimeException("skeleton method");
    }

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

    public static void setFollowRedirects(boolean set) {
        throw new RuntimeException("skeleton method");
    }

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

    public void setInstanceFollowRedirects(boolean followRedirects) {
        throw new RuntimeException("skeleton method");
    }

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

    public void setRequestMethod(String method) throws ProtocolException {
        throw new RuntimeException("skeleton method");
    }

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

    public int getResponseCode() throws IOException {
        throw new RuntimeException("skeleton method");
    }

    public String getResponseMessage() throws IOException {
        throw new RuntimeException("skeleton method");
    }

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

    public abstract void disconnect();

    public abstract boolean usingProxy();

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

    public InputStream getErrorStream() @ReadOnly {
        throw new RuntimeException("skeleton method");
    }

    public static final int HTTP_OK = 200;
    public static final int HTTP_CREATED = 201;
    public static final int HTTP_ACCEPTED = 202;
    public static final int HTTP_NOT_AUTHORITATIVE = 203;
    public static final int HTTP_NO_CONTENT = 204;
    public static final int HTTP_RESET = 205;
    public static final int HTTP_PARTIAL = 206;
    public static final int HTTP_MULT_CHOICE = 300;
    public static final int HTTP_MOVED_PERM = 301;
    public static final int HTTP_MOVED_TEMP = 302;
    public static final int HTTP_SEE_OTHER = 303;
    public static final int HTTP_NOT_MODIFIED = 304;
    public static final int HTTP_USE_PROXY = 305;
    public static final int HTTP_BAD_REQUEST = 400;
    public static final int HTTP_UNAUTHORIZED = 401;
    public static final int HTTP_PAYMENT_REQUIRED = 402;
    public static final int HTTP_FORBIDDEN = 403;
    public static final int HTTP_NOT_FOUND = 404;
    public static final int HTTP_BAD_METHOD = 405;
    public static final int HTTP_NOT_ACCEPTABLE = 406;
    public static final int HTTP_PROXY_AUTH = 407;
    public static final int HTTP_CLIENT_TIMEOUT = 408;
    public static final int HTTP_CONFLICT = 409;
    public static final int HTTP_GONE = 410;
    public static final int HTTP_LENGTH_REQUIRED = 411;
    public static final int HTTP_PRECON_FAILED = 412;
    public static final int HTTP_ENTITY_TOO_LARGE = 413;
    public static final int HTTP_REQ_TOO_LONG = 414;
    public static final int HTTP_UNSUPPORTED_TYPE = 415;
    @Deprecated
    public static final int HTTP_SERVER_ERROR = 500;
    public static final int HTTP_INTERNAL_ERROR = 500;
    public static final int HTTP_NOT_IMPLEMENTED = 501;
    public static final int HTTP_BAD_GATEWAY = 502;
    public static final int HTTP_UNAVAILABLE = 503;
    public static final int HTTP_GATEWAY_TIMEOUT = 504;
    public static final int HTTP_VERSION = 505;
}