Class PluginResURLConnection
- java.lang.Object
-
- java.net.URLConnection
-
- org.gjt.sp.jedit.proto.jeditresource.PluginResURLConnection
-
public class PluginResURLConnection extends java.net.URLConnectionAn implementation of jeditresource:/ url protocol. Can be used for accessing jEdit core resources as well.
-
-
Constructor Summary
Constructors Constructor Description PluginResURLConnection(java.net.URL url)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidconnect()java.lang.StringgetHeaderField(java.lang.String name)java.io.InputStreamgetInputStream()-
Methods inherited from class java.net.URLConnection
addRequestProperty, getAllowUserInteraction, getConnectTimeout, getContent, getContent, getContentEncoding, getContentLength, getContentLengthLong, getContentType, getDate, getDefaultAllowUserInteraction, getDefaultRequestProperty, getDefaultUseCaches, getDefaultUseCaches, getDoInput, getDoOutput, getExpiration, getFileNameMap, getHeaderField, getHeaderFieldDate, getHeaderFieldInt, getHeaderFieldKey, getHeaderFieldLong, getHeaderFields, getIfModifiedSince, getLastModified, getOutputStream, getPermission, getReadTimeout, getRequestProperties, getRequestProperty, getURL, getUseCaches, guessContentTypeFromName, guessContentTypeFromStream, setAllowUserInteraction, setConnectTimeout, setContentHandlerFactory, setDefaultAllowUserInteraction, setDefaultRequestProperty, setDefaultUseCaches, setDefaultUseCaches, setDoInput, setDoOutput, setFileNameMap, setIfModifiedSince, setReadTimeout, setRequestProperty, setUseCaches, toString
-
-
-
-
Method Detail
-
connect
public void connect() throws java.io.IOException, java.io.FileNotFoundException- Specified by:
connectin classjava.net.URLConnection- Throws:
java.io.IOException- on errorjava.io.FileNotFoundException- if resource is not found
-
getInputStream
@Nonnull public java.io.InputStream getInputStream() throws java.io.IOException, java.io.FileNotFoundException- Overrides:
getInputStreamin classjava.net.URLConnection- Returns:
- input stream to read the resource's contents. never null
- Throws:
java.io.IOException- on errorjava.io.FileNotFoundException- if resource is not found
-
getHeaderField
public java.lang.String getHeaderField(java.lang.String name)
- Overrides:
getHeaderFieldin classjava.net.URLConnection
-
-