Uses of Class
org.objectweb.dolphin.resources.DolphinResourcesPlugin

Packages that use DolphinResourcesPlugin
org.objectweb.dolphin.resources   
 

Uses of DolphinResourcesPlugin in org.objectweb.dolphin.resources
 

Methods in org.objectweb.dolphin.resources that return DolphinResourcesPlugin
static DolphinResourcesPlugin DolphinResourcesPlugin.getInstance()