From d008e46913b46d359e965aa9f866e1bebf975bf1 Mon Sep 17 00:00:00 2001 From: Peter Donovan Date: Fri, 31 Mar 2023 13:38:18 -0700 Subject: [PATCH] Move type definitions for time. This is because although time types are not platform-dependent currently, they could be in the future. --- include/core/platform.h | 16 ++++++++++++++++ include/core/tag.h | 16 ---------------- 2 files changed, 16 insertions(+), 16 deletions(-) diff --git a/include/core/platform.h b/include/core/platform.h index 30fa251ce..14acf38ae 100644 --- a/include/core/platform.h +++ b/include/core/platform.h @@ -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. diff --git a/include/core/tag.h b/include/core/tag.h index 86776983f..1490e7647 100644 --- a/include/core/tag.h +++ b/include/core/tag.h @@ -69,22 +69,6 @@ THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. #include #include -/** - * 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