mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(core): Ensure FSM state can be created from backend state ref

Browse source 
The action interpreter can not own the backend state, hence it must be
possible to create the required state from a reference to the
backend's state.
This commit is contained in:
Vincent Ambo 2018-12-13 13:39:16 +01:00
parent 1a90856ba4
commit 183ee2accc
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
finito-core/src/lib.rs
View file

@ -166,7 +166,7 @@ pub trait FSM where Self: Sized {
/// `act` interprets and executes FSM actions. This is the only
/// part of an FSM in which side-effects are allowed.
fn act(Self::Action, Self::State) -> Result<Vec<Self::Event>, Self::Error>;
fn act(Self::Action, &Self::State) -> Result<Vec<Self::Event>, Self::Error>;
}
/// This function is the primary function used to advance a state
@ -208,7 +208,7 @@ pub fn advance<S: FSM>(state: S, event: S::Event) -> (S, Vec<S::Action>) {
/// state type which can be used to track application state that must
/// be made available to action handlers, for example to pass along
/// database connections.
pub trait FSMBackend<S> {
pub trait FSMBackend<S: 'static> {
/// Key type used to identify individual state machines in this
/// backend.
///
@ -235,9 +235,9 @@ pub trait FSMBackend<S> {
/// **Note**: Whether actions are automatically executed depends
/// on the backend used. Please consult the backend's
/// documentation for details.
fn advance<F: FSM>(&self, key: Self::Key, event: F::Event) -> Result<F, Self::Error>
fn advance<'a, F: FSM>(&'a self, key: Self::Key, event: F::Event) -> Result<F, Self::Error>
where F: FSM + Serialize + DeserializeOwned,
F::State: From<S>,
F::State: From<&'a S>,
F::Event: Serialize + DeserializeOwned,
F::Action: Serialize + DeserializeOwned;
}