1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Automatically generated C representation of test_da automaton 4 * For further information about this format, see kernel documentation: 5 * Documentation/trace/rv/deterministic_automata.rst 6 */ 7 8 #define MONITOR_NAME test_da 9 10 enum states_test_da { 11 state_a_test_da, 12 state_b_test_da, 13 state_max_test_da, 14 }; 15 16 #define INVALID_STATE state_max_test_da 17 18 enum events_test_da { 19 event_1_test_da, 20 event_2_test_da, 21 event_max_test_da, 22 }; 23 24 struct automaton_test_da { 25 char *state_names[state_max_test_da]; 26 char *event_names[event_max_test_da]; 27 unsigned char function[state_max_test_da][event_max_test_da]; 28 unsigned char initial_state; 29 bool final_states[state_max_test_da]; 30 }; 31 32 static const struct automaton_test_da automaton_test_da = { 33 .state_names = { 34 "state_a", 35 "state_b", 36 }, 37 .event_names = { 38 "event_1", 39 "event_2", 40 }, 41 .function = { 42 { state_b_test_da, state_a_test_da }, 43 { INVALID_STATE, state_a_test_da }, 44 }, 45 .initial_state = state_a_test_da, 46 .final_states = { 1, 0 }, 47 }; 48