gov.nasa.jpf

Class CachedROHttpConnection

java.lang.Object

java.net.URLConnection

java.net.HttpURLConnection

gov.nasa.jpf.CachedROHttpConnection

public class CachedROHttpConnection
extends HttpURLConnection

this is just a very rough abstraction at this point, which only supports reading static URL contents. The data is cached for subsequent access, to avoid DOS by means of model checking

Field Summary

Fields inherited from class java.net.HttpURLConnection

chunkLength, fixedContentLength, fixedContentLengthLong, HTTP_ACCEPTED, HTTP_BAD_GATEWAY, HTTP_BAD_METHOD, HTTP_BAD_REQUEST, HTTP_CLIENT_TIMEOUT, HTTP_CONFLICT, HTTP_CREATED, HTTP_ENTITY_TOO_LARGE, HTTP_FORBIDDEN, HTTP_GATEWAY_TIMEOUT, HTTP_GONE, HTTP_INTERNAL_ERROR, HTTP_LENGTH_REQUIRED, HTTP_MOVED_PERM, HTTP_MOVED_TEMP, HTTP_MULT_CHOICE, HTTP_NO_CONTENT, HTTP_NOT_ACCEPTABLE, HTTP_NOT_AUTHORITATIVE, HTTP_NOT_FOUND, HTTP_NOT_IMPLEMENTED, HTTP_NOT_MODIFIED, HTTP_OK, HTTP_PARTIAL, HTTP_PAYMENT_REQUIRED, HTTP_PRECON_FAILED, HTTP_PROXY_AUTH, HTTP_REQ_TOO_LONG, HTTP_RESET, HTTP_SEE_OTHER, HTTP_SERVER_ERROR, HTTP_UNAUTHORIZED, HTTP_UNAVAILABLE, HTTP_UNSUPPORTED_TYPE, HTTP_USE_PROXY, HTTP_VERSION, instanceFollowRedirects, method, responseCode, responseMessage

Fields inherited from class java.net.URLConnection

allowUserInteraction, connected, doInput, doOutput, ifModifiedSince, url, useCaches

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CachedROHttpConnection(URL u, Handler handler)
	CachedROHttpConnection(URL u, Proxy p)
	CachedROHttpConnection(URL u, Proxy p, Handler handler)
	CachedROHttpConnection(URL u, String host, int port)

Method Summary

Methods

Modifier and Type	Method and Description
void	connect()
void	disconnect()
InputStream	getInputStream()
boolean	usingProxy()

Methods inherited from class java.net.HttpURLConnection

getErrorStream, getFollowRedirects, getHeaderField, getHeaderFieldDate, getHeaderFieldKey, getInstanceFollowRedirects, getPermission, getRequestMethod, getResponseCode, getResponseMessage, setChunkedStreamingMode, setFixedLengthStreamingMode, setFixedLengthStreamingMode, setFollowRedirects, setInstanceFollowRedirects, setRequestMethod

Methods inherited from class java.net.URLConnection

addRequestProperty, getAllowUserInteraction, getConnectTimeout, getContent, getContent, getContentEncoding, getContentLength, getContentLengthLong, getContentType, getDate, getDefaultAllowUserInteraction, getDefaultRequestProperty, getDefaultUseCaches, getDoInput, getDoOutput, getExpiration, getFileNameMap, getHeaderField, getHeaderFieldInt, getHeaderFieldLong, getHeaderFields, getIfModifiedSince, getLastModified, getOutputStream, getReadTimeout, getRequestProperties, getRequestProperty, getURL, getUseCaches, guessContentTypeFromName, guessContentTypeFromStream, setAllowUserInteraction, setConnectTimeout, setContentHandlerFactory, setDefaultAllowUserInteraction, setDefaultRequestProperty, setDefaultUseCaches, setDoInput, setDoOutput, setFileNameMap, setIfModifiedSince, setReadTimeout, setRequestProperty, setUseCaches, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CachedROHttpConnection

public CachedROHttpConnection(URL u,
                      String host,
                      int port)

CachedROHttpConnection

public CachedROHttpConnection(URL u,
                      Proxy p,
                      Handler handler)

CachedROHttpConnection

public CachedROHttpConnection(URL u,
                      Proxy p)

CachedROHttpConnection

protected CachedROHttpConnection(URL u,
                      Handler handler)
                          throws IOException

Throws:

IOException

Method Detail

disconnect

public void disconnect()

Specified by:

disconnect in class HttpURLConnection

usingProxy

public boolean usingProxy()

Specified by:

usingProxy in class HttpURLConnection

connect

public void connect()
             throws IOException

Specified by:

connect in class URLConnection

Throws:

IOException

getInputStream

public InputStream getInputStream()
                           throws IOException

Overrides:

getInputStream in class URLConnection

Throws:

IOException