diff options
author | Daniel Willmann <dwillmann@sysmocom.de> | 2018-02-08 18:00:37 +0100 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2018-02-15 18:03:58 +0000 |
commit | b0c43a606334cb6d0796e9fb102823ce040224f6 (patch) | |
tree | 0f783e0c6abded3e5bcd23ed2dd5bd7c4a2275e6 /include | |
parent | 3c38e60cd55814a7b4c34f22e0b2e6e671f883c4 (diff) |
fsm: Add a function to change the FSM instance ID later
Sometimes we want to create an FSM instance before we know its name. In
that case we should be able to update the id later.
Change-Id: Ic216e5b11d4440f8e106a297714f4f06c1152945
Diffstat (limited to 'include')
-rw-r--r-- | include/osmocom/core/fsm.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/osmocom/core/fsm.h b/include/osmocom/core/fsm.h index 8f550d14..bbfe3123 100644 --- a/include/osmocom/core/fsm.h +++ b/include/osmocom/core/fsm.h @@ -156,6 +156,8 @@ void osmo_fsm_inst_change_parent(struct osmo_fsm_inst *fi, uint32_t new_parent_term_event); void osmo_fsm_inst_free(struct osmo_fsm_inst *fi); +int osmo_fsm_inst_update_id(struct osmo_fsm_inst *fi, const char *id); + const char *osmo_fsm_event_name(struct osmo_fsm *fsm, uint32_t event); const char *osmo_fsm_inst_name(struct osmo_fsm_inst *fi); const char *osmo_fsm_state_name(struct osmo_fsm *fsm, uint32_t state); |