platform.h

Go to the documentation of this file.

#ifndef REACTOR_UC_PLATFORM_H
#define REACTOR_UC_PLATFORM_H
 
#include "reactor-uc/error.h"
#include "reactor-uc/tag.h"
#include <stdarg.h>
 
typedef struct Platform Platform;
 
struct Platform {
  lf_ret_t (*initialize)(Platform *self);
  instant_t (*get_physical_time)(Platform *self);
  lf_ret_t (*wait_until)(Platform *self, instant_t wakeup_time);
  lf_ret_t (*wait_for)(Platform *self, interval_t duration);
  lf_ret_t (*wait_until_interruptible)(Platform *self, instant_t wakeup_time);

  void (*new_async_event)(Platform *self);

  void (*enter_critical_section)(Platform *self);
  void (*leave_critical_section)(Platform *self);
};
 
// Return a pointer to a Platform object. Must be implemented for each
// target platform.
Platform *Platform_new(void);
 
// Construct a Platform object. Must be implemented for each target platform.
void Platform_ctor(Platform *self);
 
// Allow each platform to provide its own implemntation for printing.
void Platform_vprintf(const char *fmt, va_list args);
 
#endif