get_time


Description:

public uint32 get_time ()

Gets the timestamp of when this was received by the input driver that takes care of its device.

Use this timestamp to ensure external factors such as synchronous disk writes don't influence your timing computations.

Parameters:

this

an event

Returns:

the timestamp of when this was received by the input driver