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.