org.gjt.sp.jedit.proto.jeditresource
Class PluginResURLConnection
java.lang.Object
java.net.URLConnection
org.gjt.sp.jedit.proto.jeditresource.PluginResURLConnection
- public class PluginResURLConnection
- extends URLConnection
Methods inherited from class java.net.URLConnection |
addRequestProperty, getAllowUserInteraction, getContent, getContent, getContentEncoding, getContentLength, getContentType, getDate, getDefaultAllowUserInteraction, getDefaultRequestProperty, getDefaultUseCaches, getDoInput, getDoOutput, getExpiration, getFileNameMap, getHeaderField, getHeaderFieldDate, getHeaderFieldInt, getHeaderFieldKey, getHeaderFields, getIfModifiedSince, getLastModified, getOutputStream, getPermission, getRequestProperties, getRequestProperty, getURL, getUseCaches, guessContentTypeFromName, guessContentTypeFromStream, setAllowUserInteraction, setContentHandlerFactory, setDefaultAllowUserInteraction, setDefaultRequestProperty, setDefaultUseCaches, setDoInput, setDoOutput, setFileNameMap, setIfModifiedSince, setRequestProperty, setUseCaches, toString |
PluginResURLConnection
public PluginResURLConnection(URL url)
throws IOException
connect
public void connect()
throws IOException
- Throws:
IOException
getInputStream
public InputStream getInputStream()
throws IOException
- Throws:
IOException
getHeaderField
public String getHeaderField(String name)