get_time


Description:

public uint32 get_time ()

Returns the time stamp from this, if there is one; otherwise returns CURRENT_TIME.

Parameters:

this

a Event

Returns:

time stamp field from this