|
JPF 0.10 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Library | |
org.java.plugin.registry | This package contains framework registry API. |
Uses of Library in org.java.plugin.registry |
Methods in org.java.plugin.registry that return Library | |
Library |
PluginDescriptor.getLibrary(java.lang.String id)
|
|
JPF 0.10 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |