|
JPF 0.10 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExtensionPoint.ParameterDefinition | |
org.java.plugin.registry | This package contains framework registry API. |
Uses of ExtensionPoint.ParameterDefinition in org.java.plugin.registry |
Methods in org.java.plugin.registry that return ExtensionPoint.ParameterDefinition | |
ExtensionPoint.ParameterDefinition |
ExtensionPoint.getParameterDefinition(java.lang.String id)
|
ExtensionPoint.ParameterDefinition |
ExtensionPoint.ParameterDefinition.getSubDefinition(java.lang.String id)
|
ExtensionPoint.ParameterDefinition |
ExtensionPoint.ParameterDefinition.getSuperDefinition()
|
ExtensionPoint.ParameterDefinition |
Extension.Parameter.getDefinition()
Returns definition for this extension parameter. |
|
JPF 0.10 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |