miden-debug-engine 0.6.1

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

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: String,
    pub source_path: Option<String>,
    pub line: i64,
    pub column: i64,
}