include/rv/automata.h

12

#ifndef MONITOR_NAME

include/rv/automata.h

16

#define RV_AUTOMATON_NAME CONCATENATE(automaton_, MONITOR_NAME)

include/rv/automata.h

17

#define EVENT_MAX CONCATENATE(event_max_, MONITOR_NAME)

include/rv/automata.h

18

#define STATE_MAX CONCATENATE(state_max_, MONITOR_NAME)

include/rv/automata.h

19

#define events CONCATENATE(events_, MONITOR_NAME)

include/rv/automata.h

20

#define states CONCATENATE(states_, MONITOR_NAME)

include/rv/da_monitor.h

120

CONCATENATE(trace_error_, MONITOR_NAME)(

include/rv/da_monitor.h

126

CONCATENATE(trace_event_, MONITOR_NAME)(

include/rv/da_monitor.h

135

trace_rv_retries_error(__stringify(MONITOR_NAME), model_get_event_name(event));

include/rv/da_monitor.h

138

model_get_event_name(event), __stringify(MONITOR_NAME));

include/rv/da_monitor.h

161

CONCATENATE(trace_error_, MONITOR_NAME)(tsk->pid,

include/rv/da_monitor.h

167

CONCATENATE(trace_event_, MONITOR_NAME)(tsk->pid,

include/rv/da_monitor.h

176

trace_rv_retries_error(__stringify(MONITOR_NAME), model_get_event_name(event));

include/rv/da_monitor.h

179

model_get_event_name(event), __stringify(MONITOR_NAME));

include/rv/da_monitor.h

27

#define DA_MON_NAME CONCATENATE(da_mon_, MONITOR_NAME)

include/rv/da_monitor.h

328

WARN_ONCE(1, "Disabling a disabled monitor: " __stringify(MONITOR_NAME));

include/rv/da_monitor.h

35

__stringify(MONITOR_NAME),

include/rv/ltl_monitor.h

114

if (!CONCATENATE(CONCATENATE(trace_event_, MONITOR_NAME), _enabled)())

include/rv/ltl_monitor.h

127

CONCATENATE(trace_event_, MONITOR_NAME)(task, states, atoms.buffer, next);

include/rv/ltl_monitor.h

15

#ifndef MONITOR_NAME

include/rv/ltl_monitor.h

19

#define RV_MONITOR_NAME CONCATENATE(rv_, MONITOR_NAME)

include/rv/ltl_monitor.h

86

CONCATENATE(trace_error_, MONITOR_NAME)(task);

include/rv/ltl_monitor.h

87

rv_react(&RV_MONITOR_NAME, "rv: "__stringify(MONITOR_NAME)": %s[%d]: violation detected\n",