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) |
JNLPFile |
getJNLPFile() |
java.net.URL |
getLocation() |
java.lang.String |
getName() |
Version |
getVersion() |
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)
thisPart - unimplementedpublic 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()