|
JPF 0.10 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Extension | |
org.java.plugin.registry | This package contains framework registry API. |
Uses of Extension in org.java.plugin.registry |
Methods in org.java.plugin.registry that return Extension | |
Extension |
PluginDescriptor.getExtension(java.lang.String id)
|
Extension |
ExtensionPoint.getAvailableExtension(java.lang.String uniqueId)
|
Extension |
ExtensionPoint.getConnectedExtension(java.lang.String uniqueId)
|
Extension |
Extension.Parameter.getDeclaringExtension()
|
Extension |
Extension.Parameter.valueAsExtension()
Returns "typed" value of parameter. |
|
JPF 0.10 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |