linux/kernel/trace/rv/monitors/snroc/snroc.h
Gabriele Monaco 3d2bfeeef3 verification/dot2c: Remove superfluous enum assignment and add last comma
The header files generated by dot2c currently create enums for states
and events assigning the first element to 0. This is superfluous as it
happens automatically if no value is specified.
Also it doesn't add a comma to the last enum elements, which slightly
complicates the diff if states or events are added.

Remove the assignment to 0 and add a comma to last elements, this
simplifies the logic for the code generator.

Reviewed-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/20251126104241.291258-8-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
2026-01-12 07:43:50 +01:00

50 lines
1.1 KiB
C

/* SPDX-License-Identifier: GPL-2.0 */
/*
* Automatically generated C representation of snroc automaton
* For further information about this format, see kernel documentation:
* Documentation/trace/rv/deterministic_automata.rst
*/
#define MONITOR_NAME snroc
enum states_snroc {
other_context_snroc,
own_context_snroc,
state_max_snroc,
};
#define INVALID_STATE state_max_snroc
enum events_snroc {
sched_set_state_snroc,
sched_switch_in_snroc,
sched_switch_out_snroc,
event_max_snroc,
};
struct automaton_snroc {
char *state_names[state_max_snroc];
char *event_names[event_max_snroc];
unsigned char function[state_max_snroc][event_max_snroc];
unsigned char initial_state;
bool final_states[state_max_snroc];
};
static const struct automaton_snroc automaton_snroc = {
.state_names = {
"other_context",
"own_context",
},
.event_names = {
"sched_set_state",
"sched_switch_in",
"sched_switch_out",
},
.function = {
{ INVALID_STATE, own_context_snroc, INVALID_STATE },
{ own_context_snroc, INVALID_STATE, other_context_snroc },
},
.initial_state = other_context_snroc,
.final_states = { 1, 0 },
};