get_device_tool


Description:

public unowned DeviceTool get_device_tool ()

Retrieves the DeviceTool associated to this.

Parameters:

this

a Device

Returns:

the DeviceTool