get_device_type


Description:

public DeviceType get_device_type ()

Gets the type of the device file, if any, for this.

Parameters:

this

A Device.

Returns:

The device number for this or NONE if the device does not have a device file.




2022 vala-language.org