get_device_number


Description:

public DeviceNumber get_device_number ()

Gets the device number, if any, for this.

Parameters:

this

A Device.

Returns:

The device number for this or 0 if unknown.




2022 vala-language.org