dusk-cdf 0.5.0

PLONK debugger CDF implementation
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
33
34
35
36
37
38
39
40
41
42
43
44

use crate::Config;

/// Decoding context of a CDF file
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct DecoderContext<'a> {
    config: &'a Config,
    source_names: &'a [String],
    source_contents: &'a [String],
}

impl<'a> DecoderContext<'a> {
    pub(crate) const BASE: Self = Self {
        config: &Config::DEFAULT,
        source_names: &[],
        source_contents: &[],
    };

    pub(crate) const fn new(
        config: &'a Config,
        source_names: &'a [String],
        source_contents: &'a [String],
    ) -> Self {
        Self {
            config,
            source_names,
            source_contents,
        }
    }

    /// Configuration of the decoding
    pub const fn config(&self) -> &Config {
        self.config
    }

    /// Fetch the name of a file indexed by `id`
    pub fn fetch_name(&self, id: usize) -> Option<&'a str> {
        self.source_names.get(id).map(|s| s.as_str())
    }

    /// Fetch the contents of a file indexed by `id`
    pub fn fetch_contents(&self, id: usize) -> Option<&'a str> {
        self.source_contents.get(id).map(|s| s.as_str())
    }
}