|
JPF 0.10 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PluginFragment | |
org.java.plugin.registry | This package contains framework registry API. |
org.java.plugin.tools.configuration | Plug-ins configurations related classes. |
Uses of PluginFragment in org.java.plugin.registry |
Methods in org.java.plugin.registry that return PluginFragment | |
PluginFragment |
PluginElement.getDeclaringPluginFragment()
Returns descriptor of plug-in fragment that contributes this element. |
Uses of PluginFragment in org.java.plugin.tools.configuration |
Methods in org.java.plugin.tools.configuration with parameters of type PluginFragment | |
static void |
PluginArchiver.pack(PluginFragment fragment,
PathResolver pathResolver,
java.io.File destFile)
Packs given plug-in fragment into single ZIP file. |
|
JPF 0.10 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |