get_hardware_id

Description:

[ Version ( since = "3.22" ) ]
public uint64 get_hardware_id ()

Gets the hardware ID of this tool, or 0 if it's not known.

When non-zero, the identificator is unique for the given tool model, meaning that two identical tools will share the same hardware_id, but will have different serial numbers (see get_serial).

This is a more concrete (and device specific) method to identify a DeviceTool than get_tool_type, as a tablet may support multiple devices with the same DeviceToolType, but having different hardware identificators.

Parameters:

this	a DeviceTool

Returns:

The hardware identificator of this tool.