summaryrefslogtreecommitdiff
path: root/host/src/netclock.c
diff options
context:
space:
mode:
Diffstat (limited to 'host/src/netclock.c')
-rw-r--r--host/src/netclock.c17
1 files changed, 17 insertions, 0 deletions
diff --git a/host/src/netclock.c b/host/src/netclock.c
index 112ffd8652..31337c20c9 100644
--- a/host/src/netclock.c
+++ b/host/src/netclock.c
@@ -58,6 +58,8 @@ static bool _netclock_node_less(set_node_t *left, set_node_t *right)
*/
int netclock_init(netclock_ctx_t *netclock, sci_ctx_t *sci)
{
+ DBG_ASSERT(netclock);
+ DBG_ASSERT(sci);
if((netclock == NULL)
|| (sci == NULL))
{
@@ -100,6 +102,13 @@ int netclock_schedule(
sci_msg_t msg;
unsigned char buffer[256];
+ DBG_ASSERT(netclock);
+ DBG_ASSERT(callback);
+ DBG_ASSERT(type < NETWORK_CLOCK_TYPE_NB);
+ DBG_ASSERT(schedule_tick >= netclock->sci->station->current_tick_tck);
+ DBG_ASSERT(callback_function);
+ DBG_ASSERT(callback_data);
+ DBG_ASSERT(id);
if((netclock == NULL)
|| (callback == NULL)
|| (type >= NETWORK_CLOCK_TYPE_NB)
@@ -153,6 +162,7 @@ int netclock_unschedule(
sci_msg_t msg;
unsigned char buffer[256];
+ DBG_ASSERT(netclock);
if(netclock == NULL)
{
errno = EINVAL;
@@ -212,6 +222,10 @@ int netclock_fill_hdr(
tick_t tick)
{
+ DBG_ASSERT(netclock);
+ DBG_ASSERT(msg);
+ DBG_ASSERT(type < NETWORK_CLOCK_TYPE_NB);
+ DBG_ASSERT(tick >= netclock->sci->station->current_tick_tck);
if((netclock == NULL)
|| (msg == NULL)
|| (type >= NETWORK_CLOCK_TYPE_NB)
@@ -262,6 +276,8 @@ int netclock_recv(sci_msg_t *msg, void *nclock)
set_node_t *found_node;
netclock_ctx_t *netclock;
+ DBG_ASSERT(msg);
+ DBG_ASSERT(nclock);
if((msg == NULL)
|| (nclock == NULL))
{
@@ -300,6 +316,7 @@ int netclock_recv(sci_msg_t *msg, void *nclock)
netclock->callback_nb--;
/* call the callback function */
+ DBG_ASSERT(found_callback->function);
if(found_callback->function == NULL)
{
station_log(netclock->sci->station, STATION_LOG_WARNING, STATION_LOGTYPE_NETCLOCK, "%s: callback %d is NULL", __FUNCTION__, reference.id);