Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 1 | #include <stdlib.h> |
| 2 | #include <stdio.h> |
| 3 | #include <stdarg.h> |
| 4 | #include <unistd.h> |
| 5 | #include <string.h> |
| 6 | |
| 7 | #include <osmocom/core/utils.h> |
| 8 | #include <osmocom/core/select.h> |
| 9 | #include <osmocom/core/logging.h> |
| 10 | #include <osmocom/core/fsm.h> |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 11 | #include <osmocom/ctrl/control_if.h> |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 12 | |
| 13 | enum { |
| 14 | DMAIN, |
| 15 | }; |
| 16 | |
| 17 | static void *g_ctx; |
| 18 | |
| 19 | |
| 20 | enum test_fsm_states { |
| 21 | ST_NULL = 0, |
| 22 | ST_ONE, |
| 23 | ST_TWO, |
| 24 | }; |
| 25 | |
| 26 | enum test_fsm_evt { |
| 27 | EV_A, |
| 28 | EV_B, |
| 29 | }; |
| 30 | |
| 31 | static void test_fsm_null(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
| 32 | { |
| 33 | switch (event) { |
| 34 | case EV_A: |
| 35 | OSMO_ASSERT(data == (void *) 23); |
| 36 | osmo_fsm_inst_state_chg(fi, ST_ONE, 0, 0); |
| 37 | break; |
| 38 | default: |
| 39 | OSMO_ASSERT(0); |
| 40 | break; |
| 41 | } |
| 42 | } |
| 43 | |
| 44 | static void test_fsm_one(struct osmo_fsm_inst *fi, uint32_t event, void *data) |
| 45 | { |
| 46 | switch (event) { |
| 47 | case EV_B: |
| 48 | OSMO_ASSERT(data == (void *) 42); |
| 49 | osmo_fsm_inst_state_chg(fi,ST_TWO, 1, 2342); |
| 50 | break; |
| 51 | default: |
| 52 | OSMO_ASSERT(0); |
| 53 | break; |
| 54 | } |
| 55 | } |
| 56 | |
Neels Hofmeyr | cba8eb9 | 2016-12-23 04:32:09 +0100 | [diff] [blame] | 57 | static int test_fsm_tmr_cb(struct osmo_fsm_inst *fi) |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 58 | { |
| 59 | OSMO_ASSERT(fi->T == 2342); |
| 60 | OSMO_ASSERT(fi->state == ST_TWO); |
| 61 | LOGP(DMAIN, LOGL_INFO, "Timer\n"); |
| 62 | |
| 63 | exit(0); |
| 64 | } |
| 65 | |
| 66 | static struct osmo_fsm_state test_fsm_states[] = { |
| 67 | [ST_NULL] = { |
| 68 | .in_event_mask = (1 << EV_A), |
| 69 | .out_state_mask = (1 << ST_ONE), |
| 70 | .name = "NULL", |
| 71 | .action = test_fsm_null, |
| 72 | }, |
| 73 | [ST_ONE]= { |
| 74 | .in_event_mask = (1 << EV_B), |
| 75 | .out_state_mask = (1 << ST_TWO), |
| 76 | .name = "ONE", |
| 77 | .action= test_fsm_one, |
| 78 | }, |
| 79 | [ST_TWO]= { |
| 80 | .in_event_mask = 0, |
| 81 | .name = "TWO", |
| 82 | .action = NULL, |
| 83 | }, |
| 84 | }; |
| 85 | |
| 86 | static struct osmo_fsm fsm = { |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 87 | .name = "Test_FSM", |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 88 | .states = test_fsm_states, |
| 89 | .num_states = ARRAY_SIZE(test_fsm_states), |
| 90 | .log_subsys = DMAIN, |
| 91 | }; |
| 92 | |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 93 | static struct ctrl_handle *g_ctrl; |
| 94 | |
| 95 | static struct ctrl_cmd *exec_ctrl_cmd(const char *cmdstr) |
| 96 | { |
| 97 | struct ctrl_cmd *cmd; |
| 98 | return ctrl_cmd_exec_from_string(g_ctrl, cmdstr); |
| 99 | OSMO_ASSERT(cmd); |
| 100 | return cmd; |
| 101 | } |
| 102 | |
| 103 | static void assert_cmd_reply(const char *cmdstr, const char *expres) |
| 104 | { |
| 105 | struct ctrl_cmd *cmd; |
| 106 | |
| 107 | cmd = exec_ctrl_cmd(cmdstr); |
| 108 | if (strcmp(cmd->reply, expres)) { |
| 109 | fprintf(stderr, "Reply '%s' doesn't match expected '%s'\n", cmd->reply, expres); |
| 110 | OSMO_ASSERT(0); |
| 111 | } |
| 112 | talloc_free(cmd); |
| 113 | } |
| 114 | |
Max | 3de97e1 | 2016-11-02 10:37:58 +0100 | [diff] [blame] | 115 | static struct osmo_fsm_inst *foo(void) |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 116 | { |
| 117 | struct osmo_fsm_inst *fi; |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 118 | struct ctrl_cmd *cmd; |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 119 | |
| 120 | LOGP(DMAIN, LOGL_INFO, "Checking FSM allocation\n"); |
Harald Welte | 4585e67 | 2017-04-16 17:23:56 +0200 | [diff] [blame] | 121 | fi = osmo_fsm_inst_alloc(&fsm, g_ctx, NULL, LOGL_DEBUG, "my_id"); |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 122 | OSMO_ASSERT(fi); |
| 123 | OSMO_ASSERT(fi->fsm == &fsm); |
| 124 | OSMO_ASSERT(!strncmp(osmo_fsm_inst_name(fi), fsm.name, strlen(fsm.name))); |
| 125 | OSMO_ASSERT(fi->state == ST_NULL); |
| 126 | OSMO_ASSERT(fi->log_level == LOGL_DEBUG); |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 127 | assert_cmd_reply("GET 1 fsm.Test_FSM.id.my_id.state", "NULL"); |
| 128 | assert_cmd_reply("GET 1 fsm.Test_FSM.id.my_id.timer", "0,0,0"); |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 129 | |
| 130 | /* Try invalid state transition */ |
| 131 | osmo_fsm_inst_dispatch(fi, EV_B, (void *) 42); |
| 132 | OSMO_ASSERT(fi->state == ST_NULL); |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 133 | assert_cmd_reply("GET 1 fsm.Test_FSM.id.my_id.state", "NULL"); |
| 134 | |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 135 | |
| 136 | /* Legitimate state transition */ |
| 137 | osmo_fsm_inst_dispatch(fi, EV_A, (void *) 23); |
| 138 | OSMO_ASSERT(fi->state == ST_ONE); |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 139 | assert_cmd_reply("GET 1 fsm.Test_FSM.id.my_id.state", "ONE"); |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 140 | |
| 141 | /* Legitimate transition with timer */ |
| 142 | fsm.timer_cb = test_fsm_tmr_cb; |
| 143 | osmo_fsm_inst_dispatch(fi, EV_B, (void *) 42); |
| 144 | OSMO_ASSERT(fi->state == ST_TWO); |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 145 | assert_cmd_reply("GET 1 fsm.Test_FSM.id.my_id.state", "TWO"); |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 146 | |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 147 | cmd = exec_ctrl_cmd("GET 2 fsm.Test_FSM.id.my_id.dump"); |
| 148 | const char *exp = "'Test_FSM(my_id)','my_id','DEBUG','TWO',2342,timeout_sec="; |
| 149 | OSMO_ASSERT(!strncmp(cmd->reply, exp, strlen(exp))); |
| 150 | talloc_free(cmd); |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 151 | |
Max | 3de97e1 | 2016-11-02 10:37:58 +0100 | [diff] [blame] | 152 | return fi; |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 153 | } |
| 154 | |
| 155 | static const struct log_info_cat default_categories[] = { |
| 156 | [DMAIN] = { |
| 157 | .name = "DMAIN", |
| 158 | .description = "Main", |
| 159 | .enabled = 1, .loglevel = LOGL_DEBUG, |
| 160 | }, |
| 161 | }; |
| 162 | |
| 163 | static const struct log_info log_info = { |
| 164 | .cat = default_categories, |
| 165 | .num_cat = ARRAY_SIZE(default_categories), |
| 166 | }; |
| 167 | |
| 168 | int main(int argc, char **argv) |
| 169 | { |
| 170 | struct log_target *stderr_target; |
Max | 3de97e1 | 2016-11-02 10:37:58 +0100 | [diff] [blame] | 171 | struct osmo_fsm_inst *finst; |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 172 | |
| 173 | osmo_fsm_log_addr(false); |
| 174 | |
| 175 | log_init(&log_info, NULL); |
| 176 | stderr_target = log_target_create_stderr(); |
| 177 | log_add_target(stderr_target); |
| 178 | log_set_print_filename(stderr_target, 0); |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 179 | g_ctrl = ctrl_handle_alloc(NULL, NULL, NULL); |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 180 | |
Harald Welte | 4585e67 | 2017-04-16 17:23:56 +0200 | [diff] [blame] | 181 | g_ctx = NULL; |
| 182 | OSMO_ASSERT(osmo_fsm_find_by_name(fsm.name) == NULL); |
| 183 | osmo_fsm_register(&fsm); |
| 184 | OSMO_ASSERT(osmo_fsm_find_by_name(fsm.name) == &fsm); |
| 185 | |
| 186 | OSMO_ASSERT(osmo_fsm_inst_find_by_name(&fsm, "my_id") == NULL); |
Max | 3de97e1 | 2016-11-02 10:37:58 +0100 | [diff] [blame] | 187 | finst = foo(); |
Harald Welte | 4585e67 | 2017-04-16 17:23:56 +0200 | [diff] [blame] | 188 | OSMO_ASSERT(osmo_fsm_inst_find_by_id(&fsm, "my_id") == finst); |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 189 | OSMO_ASSERT(osmo_fsm_inst_find_by_name(&fsm, "Test_FSM(my_id)") == finst); |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 190 | |
| 191 | while (1) { |
| 192 | osmo_select_main(0); |
| 193 | } |
Max | 3de97e1 | 2016-11-02 10:37:58 +0100 | [diff] [blame] | 194 | osmo_fsm_inst_free(finst); |
Max | 8b25a3f | 2016-11-01 11:02:17 +0100 | [diff] [blame] | 195 | osmo_fsm_unregister(&fsm); |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 196 | exit(0); |
| 197 | } |