Skip to main content

libpetri_debug/archive/
session_archive.rs

1//! Metadata header for a session archive file.
2
3use serde::{Deserialize, Serialize};
4
5use crate::debug_response::NetStructure;
6
7/// Current archive format version.
8pub const CURRENT_VERSION: u32 = 1;
9
10/// Metadata header for a session archive.
11#[derive(Debug, Clone, Serialize, Deserialize)]
12#[serde(rename_all = "camelCase")]
13pub struct SessionArchive {
14    pub version: u32,
15    pub session_id: String,
16    pub net_name: String,
17    pub dot_diagram: String,
18    pub start_time: String,
19    pub event_count: usize,
20    pub structure: NetStructure,
21}