public interface IPluginManager extends IOperator
Modifier and Type | Method and Description |
---|---|
DeviceDescription |
getDeviceDescription(SystemID system)
Returns the device description of the specified device.
|
SystemID[] |
getDevices()
Returns the system ids of systems that are currently available in
the environment.
|
PluginDescription[] |
getPluginDescriptions(SystemID system)
Returns all plug-in descriptions of all plug-ins that are currently visible.
|
performOperation, performOperation
PluginDescription[] getPluginDescriptions(SystemID system)
system
- The system id of the device.DeviceDescription getDeviceDescription(SystemID system)
system
- The system id of the device.SystemID[] getDevices()