|
JPF 0.10 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Base interface for those plug-in manifest element classes that may have UID.
PluginRegistry
Method Summary | |
java.lang.String |
getUniqueId()
|
Methods inherited from interface org.java.plugin.registry.Identity |
getId |
Method Detail |
public java.lang.String getUniqueId()
|
JPF 0.10 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |