#include "ppg_settings.h"
#include <stdint.h>
Go to the source code of this file.
|
typedef void(* | PPG_Time_Fun )(PPG_Time *time) |
| Function type of a callback that computes the current time. More...
|
|
typedef void(* | PPG_Time_Difference_Fun )(PPG_Time time1, PPG_Time time2, PPG_Time *delta) |
| Function type of a callback that computes differences between time values. More...
|
|
typedef
PPG_Time_Comparison_Result_Type(* | PPG_Time_Comparison_Fun )(PPG_Time time1, PPG_Time time2) |
| Function type for time comparisons. More...
|
|
typedef PPG_Time_Comparison_Result_Type(* PPG_Time_Comparison_Fun)(PPG_Time time1, PPG_Time time2) |
Function type for time comparisons.
The function is expected to return a positive value when time1 is greater time2, a negative value it time 1 is less time 2 and zero if both are equal.
- Parameters
-
time1 | The first time value |
time2 | The second time value |
typedef void(* PPG_Time_Difference_Fun)(PPG_Time time1, PPG_Time time2, PPG_Time *delta) |
Function type of a callback that computes differences between time values.
The result is expected as time2 - time1.
- Parameters
-
time1 | The first time value |
time2 | The second time value |
delta | Pointer to the result of the difference computation |
typedef void(* PPG_Time_Fun)(PPG_Time *time) |
Function type of a callback that computes the current time.
- Parameters
-
The | pointer to the time value to receive current time |
Retreives the currently active global time manager.
- Returns
- The currently active global time manager
Sets a new global time manager.
- Parameters
-
time_manager | The new time manager |
- Returns
- The previously used time manager