public class ExtensionDesc
extends java.lang.Object
| Constructor and Description |
|---|
ExtensionDesc(java.lang.String name,
Version version,
java.net.URL location)
Create an extention descriptor.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
addPart(java.lang.String extPart,
java.lang.String part,
boolean lazy)
Adds an extension part to be downloaded when the specified
part of the main JNLP file is loaded.
|
java.lang.String[] |
getExtensionParts(java.lang.String thisPart)
Returns the parts in the extension JNLP file mapped to the
part of the main file.
|
JNLPFile |
getJNLPFile()
Returns a JNLPFile for the extension, or null if the JNLP
file has not been resolved.
|
java.net.URL |
getLocation()
Returns the location of the extension JNLP file.
|
java.lang.String |
getName()
Returns the name of the extension.
|
Version |
getVersion()
Returns the required version of the extension JNLP file.
|
void |
resolve()
Resolves the extension by creating a JNLPFile from the file
specified by the extension's location property.
|
public ExtensionDesc(java.lang.String name,
Version version,
java.net.URL location)
name - the extension nameversion - the required version of the extention JNLPFilelocation - the location of the extention JNLP fileprotected void addPart(java.lang.String extPart,
java.lang.String part,
boolean lazy)
extPart - the part name in the extension filepart - the part name in the main filelazy - whether to load the part before launchingpublic java.lang.String[] getExtensionParts(java.lang.String thisPart)
public java.lang.String getName()
public Version getVersion()
public java.net.URL getLocation()
public void resolve()
throws ParseException,
java.io.IOException
java.io.IOException - if the extension JNLPFile could not be resolved.ParseException - if the extension JNLPFile could not be
parsed or was not a component or installer descriptor.public JNLPFile getJNLPFile()