get_id


Description:

public uint get_id ()

Returns the numeric ID for a particular source.

The ID of a source is a positive integer which is unique within a particular main loop context. The reverse mapping from ID to source is done by find_source_by_id.

Parameters:

this

a SocketSource

Returns:

the ID (greater than 0) for the source