get_timer


Description:

public TaskTimer get_timer ()