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()