use serde::{Deserialize, Serialize};
use std::str::FromStr;
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum FileLockState {
Active,
Expired,
Released,
}
impl Default for FileLockState {
fn default() -> Self {
Self::Active
}
}
impl std::fmt::Display for FileLockState {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
match self {
Self::Active => write!(f, "active"),
Self::Expired => write!(f, "expired"),
Self::Released => write!(f, "released"),
}
}
}
impl FromStr for FileLockState {
type Err = StateMachineError;
fn from_str(s: &str) -> Result<Self, Self::Err> {
match s.to_lowercase().as_str() {
"active" => Ok(Self::Active),
"expired" => Ok(Self::Expired),
"released" => Ok(Self::Released),
_ => Err(StateMachineError::InvalidState(s.to_string())),
}
}
}
impl FileLockState {
pub fn is_initial(&self) -> bool {
matches!(self, Self::Active)
}
pub fn is_final(&self) -> bool {
matches!(self, Self::Expired | Self::Released)
}
pub fn all() -> Vec<Self> {
vec![
Self::Active,
Self::Expired,
Self::Released,
]
}
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum FileLockTransition {
Expire,
Release,
Refresh,
}
impl std::fmt::Display for FileLockTransition {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
match self {
Self::Expire => write!(f, "expire"),
Self::Release => write!(f, "release"),
Self::Refresh => write!(f, "refresh"),
}
}
}
impl FromStr for FileLockTransition {
type Err = StateMachineError;
fn from_str(s: &str) -> Result<Self, Self::Err> {
match s.to_lowercase().as_str() {
"expire" => Ok(Self::Expire),
"release" => Ok(Self::Release),
"refresh" => Ok(Self::Refresh),
_ => Err(StateMachineError::InvalidTransition(s.to_string())),
}
}
}
impl FileLockTransition {
pub fn target_state(&self) -> FileLockState {
match self {
Self::Expire => FileLockState::Expired,
Self::Release => FileLockState::Released,
Self::Refresh => FileLockState::Active,
}
}
pub fn all() -> Vec<Self> {
vec![
Self::Expire,
Self::Release,
Self::Refresh,
]
}
pub fn allowed_roles(&self) -> &'static [&'static str] {
match self {
Self::Expire => &["system"],
Self::Release => &["owner", "admin"],
Self::Refresh => &["owner"],
}
}
}
use super::StateMachineError;
#[derive(Debug, Clone)]
pub struct FileLockStateMachine {
current_state: FileLockState,
}
impl FileLockStateMachine {
pub fn new() -> Self {
Self {
current_state: FileLockState::default(),
}
}
pub fn from_state(state: FileLockState) -> Self {
Self { current_state: state }
}
pub fn current_state(&self) -> FileLockState {
self.current_state
}
pub fn can_transition(&self, transition: FileLockTransition) -> bool {
if matches!(self.current_state, FileLockState::Expired | FileLockState::Released) {
return false;
}
match (self.current_state, transition) {
(FileLockState::Active, FileLockTransition::Expire) => true,
(FileLockState::Active, FileLockTransition::Release) => true,
(FileLockState::Active, FileLockTransition::Refresh) => true,
_ => false,
}
}
pub fn can_transition_with_role(&self, transition: FileLockTransition, role: &str) -> bool {
if !self.can_transition(transition) {
return false;
}
let allowed_roles = transition.allowed_roles();
if allowed_roles.is_empty() {
return true; }
allowed_roles.iter().any(|r| *r == role || *r == "*")
}
pub fn transition(&mut self, transition: FileLockTransition) -> Result<FileLockState, StateMachineError> {
if !self.can_transition(transition) {
return Err(StateMachineError::TransitionNotAllowed {
transition: transition.to_string(),
from: self.current_state.to_string(),
});
}
self.current_state = transition.target_state();
Ok(self.current_state)
}
pub fn transition_with_role(&mut self, transition: FileLockTransition, role: &str) -> Result<FileLockState, StateMachineError> {
if !self.can_transition(transition) {
return Err(StateMachineError::TransitionNotAllowed {
transition: transition.to_string(),
from: self.current_state.to_string(),
});
}
if !self.can_transition_with_role(transition, role) {
return Err(StateMachineError::RoleNotAuthorized {
role: role.to_string(),
transition: transition.to_string(),
});
}
self.current_state = transition.target_state();
Ok(self.current_state)
}
pub fn available_transitions(&self) -> Vec<FileLockTransition> {
FileLockTransition::all()
.into_iter()
.filter(|t| self.can_transition(*t))
.collect()
}
pub fn available_transitions_for_role(&self, role: &str) -> Vec<FileLockTransition> {
FileLockTransition::all()
.into_iter()
.filter(|t| self.can_transition_with_role(*t, role))
.collect()
}
pub fn transition_to_state(&mut self, target: FileLockState) -> Result<FileLockState, StateMachineError> {
let valid = FileLockTransition::all().into_iter()
.filter(|t| self.can_transition(*t))
.find(|t| t.target_state() == target);
match valid {
Some(t) => self.transition(t),
None => Err(StateMachineError::TransitionNotAllowed {
transition: target.to_string(),
from: self.current_state.to_string(),
}),
}
}
}
impl Default for FileLockStateMachine {
fn default() -> Self {
Self::new()
}
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn test_initial_state() {
let sm = FileLockStateMachine::new();
assert_eq!(sm.current_state(), FileLockState::Active);
assert!(sm.current_state().is_initial());
}
#[test]
fn test_valid_transition() {
let mut sm = FileLockStateMachine::from_state(FileLockState::Active);
assert!(sm.can_transition(FileLockTransition::Expire));
let result = sm.transition(FileLockTransition::Expire);
assert!(result.is_ok());
assert_eq!(sm.current_state(), FileLockState::Expired);
}
#[test]
fn test_invalid_transition() {
let mut sm = FileLockStateMachine::from_state(FileLockState::Expired);
let result = sm.transition(FileLockTransition::Expire);
assert!(result.is_err());
}
#[test]
fn test_state_parsing() {
let state: FileLockState = "active".parse().unwrap();
assert_eq!(state, FileLockState::Active);
}
#[test]
fn test_available_transitions() {
let sm = FileLockStateMachine::new();
let available = sm.available_transitions();
assert!(!available.is_empty() || sm.current_state().is_final());
}
}