Skip to content

Commit

Permalink
Move type definitions for time.
Browse files Browse the repository at this point in the history
This is because although time types are not platform-dependent
currently, they could be in the future.
  • Loading branch information
petervdonovan committed Mar 31, 2023
1 parent 9eb95b0 commit d008e46
Show file tree
Hide file tree
Showing 2 changed files with 16 additions and 16 deletions.
16 changes: 16 additions & 0 deletions include/core/platform.h
Original file line number Diff line number Diff line change
Expand Up @@ -81,6 +81,22 @@ THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

#define LF_TIMEOUT _LF_TIMEOUT

/**
* Time instant. Both physical and logical times are represented
* using this typedef.
*/
typedef int64_t instant_t;

/**
* Interval of time.
*/
typedef int64_t interval_t;

/**
* Microstep instant.
*/
typedef uint32_t microstep_t;

/**
* Enter a critical section where logical time and the event queue are guaranteed
* to not change unless they are changed within the critical section.
Expand Down
16 changes: 0 additions & 16 deletions include/core/tag.h
Original file line number Diff line number Diff line change
Expand Up @@ -69,22 +69,6 @@ THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
#include <stddef.h>
#include <limits.h>

/**
* Time instant. Both physical and logical times are represented
* using this typedef.
*/
typedef int64_t instant_t;

/**
* Interval of time.
*/
typedef int64_t interval_t;

/**
* Microstep instant.
*/
typedef uint32_t microstep_t;

/**
* Global physical clock offset.
* Initially set according to the RTI's clock in federated
Expand Down

0 comments on commit d008e46

Please sign in to comment.