Module jEdit

Package 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

An implementation of jeditresource:/ url protocol. Can be used for accessing jEdit core resources as well.

Field Summary

Fields inherited from class java.net.URLConnection

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

Constructor Summary

Constructors

Constructor	Description
PluginResURLConnection(URL url)

Method Summary

Modifier and Type	Method	Description
void	connect()
String	getHeaderField(String name)
InputStream	getInputStream()

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

Methods inherited from class java.lang.Object

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

Constructor Details

PluginResURLConnection

public PluginResURLConnection(URL url)
                       throws IOException

Throws:

IOException

Method Details

connect

public void connect()
             throws IOException,
FileNotFoundException

Specified by:

connect in class URLConnection

Throws:

IOException - on error

FileNotFoundException - if resource is not found

getInputStream

@Nonnull
public InputStream getInputStream()
                           throws IOException,
FileNotFoundException

Overrides:

getInputStream in class URLConnection

Returns:

input stream to read the resource's contents. never null

Throws:

IOException - on error

FileNotFoundException - if resource is not found

getHeaderField

public String getHeaderField(String name)

Overrides:

getHeaderField in class URLConnection