The plugin timer manager for guh. More...
Header: | #include <PluginTimerManager> |
The plugin timer manager for guh.
The plugin timer manager allows to register and unregister generic timers for device plugins. In order to save resources the PluginTimerManager is responsible to schedule the timers appropriate and stop them if the HardwareResource gets disabled.
You can find an example here.
See also PluginTimer and HardwareResource.