miden-debug-engine 0.19.0

Core debugger engine for miden-debug
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
31
32

use alloc::{string::String, sync::Arc, vec::Vec};

use serde::{Deserialize, Serialize};

/// A bundled snapshot of the remote state needed by the TUI.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct DapUiState {
    pub cycle: usize,
    pub current_stack: Vec<u64>,
    pub callstack: Vec<DapUiFrame>,
}

/// A single remote frame within a bundled UI-state snapshot.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct DapUiFrame {
    pub name: Arc<str>,
    pub source_path: Option<String>,
    pub line: i64,
    pub column: i64,
    #[serde(default)]
    pub inline: bool,
}

/// A resolved local with both its user-facing display and its canonical first field element.
/// Keeping the raw value separate preserves booleans, signed integers, and aggregate values
/// for bundled clients and scripting without interpreting the display string.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct DapVariableValue {
    pub name: String,
    pub value: String,
    pub raw: Option<u64>,
}