mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/netfilter/nf.git
synced 2026-04-03 23:38:12 -04:00
fa9b26dfa1
Previous changes refactored the da_monitor header file to avoid using macros, however empty macros (e.g. DECLARE_DA_FUNCTION) were left to ease review with diff tools. Most macros also get the argument type which doesn't really have a purpose since states have their own enum and the storage in struct da_monitor is fixed to unsigned int. Remove empty and no longer required macros and substitute the type parameter with the appropriate enum. Additionally break long line and adjust the format overall. Reviewed-by: Nam Cao <namcao@linutronix.de> Link: https://lore.kernel.org/r/20251126104241.291258-3-gmonaco@redhat.com Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
82 lines
2.1 KiB
C
82 lines
2.1 KiB
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
/*
|
|
* Copyright (C) 2019-2022 Red Hat, Inc. Daniel Bristot de Oliveira <bristot@kernel.org>
|
|
*
|
|
* Deterministic automata helper functions, to be used with the automata
|
|
* models in C generated by the dot2k tool.
|
|
*/
|
|
|
|
#ifndef _RV_AUTOMATA_H
|
|
#define _RV_AUTOMATA_H
|
|
|
|
#ifndef MONITOR_NAME
|
|
#error "MONITOR_NAME macro is not defined. Did you include $(MODEL_NAME).h generated by rvgen?"
|
|
#endif
|
|
|
|
#define RV_AUTOMATON_NAME CONCATENATE(automaton_, MONITOR_NAME)
|
|
#define EVENT_MAX CONCATENATE(event_max_, MONITOR_NAME)
|
|
#define STATE_MAX CONCATENATE(state_max_, MONITOR_NAME)
|
|
#define events CONCATENATE(events_, MONITOR_NAME)
|
|
#define states CONCATENATE(states_, MONITOR_NAME)
|
|
|
|
/*
|
|
* model_get_state_name - return the (string) name of the given state
|
|
*/
|
|
static char *model_get_state_name(enum states state)
|
|
{
|
|
if ((state < 0) || (state >= STATE_MAX))
|
|
return "INVALID";
|
|
|
|
return RV_AUTOMATON_NAME.state_names[state];
|
|
}
|
|
|
|
/*
|
|
* model_get_event_name - return the (string) name of the given event
|
|
*/
|
|
static char *model_get_event_name(enum events event)
|
|
{
|
|
if ((event < 0) || (event >= EVENT_MAX))
|
|
return "INVALID";
|
|
|
|
return RV_AUTOMATON_NAME.event_names[event];
|
|
}
|
|
|
|
/*
|
|
* model_get_initial_state - return the automaton's initial state
|
|
*/
|
|
static inline enum states model_get_initial_state(void)
|
|
{
|
|
return RV_AUTOMATON_NAME.initial_state;
|
|
}
|
|
|
|
/*
|
|
* model_get_next_state - process an automaton event occurrence
|
|
*
|
|
* Given the current state (curr_state) and the event (event), returns
|
|
* the next state, or INVALID_STATE in case of error.
|
|
*/
|
|
static inline enum states model_get_next_state(enum states curr_state,
|
|
enum events event)
|
|
{
|
|
if ((curr_state < 0) || (curr_state >= STATE_MAX))
|
|
return INVALID_STATE;
|
|
|
|
if ((event < 0) || (event >= EVENT_MAX))
|
|
return INVALID_STATE;
|
|
|
|
return RV_AUTOMATON_NAME.function[curr_state][event];
|
|
}
|
|
|
|
/*
|
|
* model_is_final_state - check if the given state is a final state
|
|
*/
|
|
static inline bool model_is_final_state(enum states state)
|
|
{
|
|
if ((state < 0) || (state >= STATE_MAX))
|
|
return 0;
|
|
|
|
return RV_AUTOMATON_NAME.final_states[state];
|
|
}
|
|
|
|
#endif
|