Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

javax.ide.extension.spi
Interface ExtensionSource  view ExtensionSource download ExtensionSource.java

All Known Implementing Classes:
JARExtensionSource

public interface ExtensionSource

Represents an extension source. An extension source is typically a JAR file in an IDE specific location for extension jar files. However, an ExtensionSource could potentially be some other abstract representation of an extension. One example would be an as-yet unbundled extension manifest launched from the extension development runtime of an IDE.

A default implementation of this interface is provided in JARExtensionSource.


Method Summary
 java.net.URI getClasspathEntry()
          Get the classpath entry for this extension source.
 java.io.InputStream getInputStream()
          Get an input stream for this sources manifest.
 java.net.URI getManifestURI()
          Get the URI of the manifest file contained in this source.
 java.lang.String getName()
          Get the name of this source.
 java.net.URI getURI()
          Get the URI of this source.
 java.net.URI resolvePath(javax.ide.extension.Extension extension, java.lang.String path)
          Resolve a (relative) path referenced in the manifest file for this extension source.
 

Method Detail

getClasspathEntry

public java.net.URI getClasspathEntry()
Get the classpath entry for this extension source. This is the (optional) entry that should be added to the classpath prior to processing this extension.


resolvePath

public java.net.URI resolvePath(javax.ide.extension.Extension extension,
                                java.lang.String path)
Resolve a (relative) path referenced in the manifest file for this extension source.


getInputStream

public java.io.InputStream getInputStream()
                                   throws java.io.IOException
Get an input stream for this sources manifest.


getManifestURI

public java.net.URI getManifestURI()
Get the URI of the manifest file contained in this source.


getName

public java.lang.String getName()
Get the name of this source. This will be used to present the source in human readable messages.


getURI

public java.net.URI getURI()
Get the URI of this source. This is the container of the extension.