get_platform_id

Description:

[ Version ( since = "0.1.1" ) ]
public unowned string get_platform_id ()

Gets the platform identifier for the device.

When the device is removed and then replugged, this value is not expected to be different.

Parameters:

this

a Device

Returns:

The platform ID, e.g. "usb:02:00:03:01"