type Timer_Type is limited private;
function Elapsed
( | t | : Timer_Type ) return Time_Span; |
function Is_Running
( | t | : Timer_Type ) return Boolean; |
procedure Pause
( | t | : in out Timer_Type ); |
procedure Start
( | t | : in out Timer_Type ); |
function Is_Updated
( | t | : Frame_Timer ) return Boolean; |
function Rate
( | t | : access Frame_Timer ) return Natural; |
procedure Set_Update_Delay
( | t | : in out Frame_Timer; |
ts | : Time_Span ); |