|
JPF 0.10 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Extension.Parameter | |
org.java.plugin.registry | This package contains framework registry API. |
Uses of Extension.Parameter in org.java.plugin.registry |
Methods in org.java.plugin.registry that return Extension.Parameter | |
Extension.Parameter |
Extension.getParameter(java.lang.String id)
Returns top level parameter with given ID or null if no top
level parameters exist. |
Extension.Parameter |
Extension.Parameter.getSubParameter(java.lang.String id)
Returns sub-parameter with given ID or null if no
sub-parameters exist. |
Extension.Parameter |
Extension.Parameter.getSuperParameter()
|
|
JPF 0.10 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |