libpetri-debug 1.7.0

Debug protocol for libpetri Coloured Time Petri Net engine
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

//! Storage backend trait for session archives.

/// Summary of an archived session in storage.
#[derive(Debug, Clone)]
pub struct ArchivedSessionSummary {
    pub session_id: String,
    pub key: String,
    pub size_bytes: u64,
    /// Epoch milliseconds.
    pub last_modified: u64,
}

/// Storage backend interface for session archives.
pub trait SessionArchiveStorage: Send + Sync {
    /// Stores a compressed archive for the given session.
    fn store(&self, session_id: &str, data: &[u8]) -> Result<(), String>;

    /// Lists archived sessions, most recent first.
    fn list(
        &self,
        limit: usize,
        prefix: Option<&str>,
    ) -> Result<Vec<ArchivedSessionSummary>, String>;

    /// Retrieves the compressed archive data for a session.
    fn retrieve(&self, session_id: &str) -> Result<Vec<u8>, String>;

    /// Returns `true` if the storage backend is available.
    fn is_available(&self) -> bool;
}