|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DolphinPlugin | |
org.objectweb.dolphin |
Uses of DolphinPlugin in org.objectweb.dolphin |
Methods in org.objectweb.dolphin that return DolphinPlugin | |
static DolphinPlugin |
DolphinPlugin.getDefault()
Returns the shared instance. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |