prusto_rs/models/
stat.rs

1use serde::Deserialize;
2
3#[derive(Deserialize, Debug)]
4#[serde(rename_all = "camelCase")]
5pub struct Stat {
6    pub state: String,
7    pub queued: bool,
8    pub scheduled: bool,
9    pub nodes: u32,
10    pub total_splits: u32,
11    pub queued_splits: u32,
12    pub running_splits: u32,
13    pub completed_splits: u32,
14    pub cpu_time_millis: u64,
15    pub wall_time_millis: u64,
16    pub queued_time_millis: u64,
17    pub elapsed_time_millis: u64,
18    pub processed_rows: u64,
19    pub processed_bytes: u64,
20    pub peak_memory_bytes: u64,
21    pub spilled_bytes: u64,
22    #[serde(skip)] // TODO: remove this when StageStats is implemented
23    pub root_stage: Option<StageStats>,
24}
25
26#[derive(Deserialize, Debug)]
27#[serde(rename_all = "camelCase")]
28pub struct StageStats {
29    //TODO: impl this
30}
prusto_rs/models/stat.rs

prusto_rs/models/
stat.rs
