Struct CoverageAnnotationsV1

pub struct CoverageAnnotationsV1 {
    pub statements_code_locations: HashMap<StatementIdx, Vec<CodeLocation>>,
}

The mapping from sierra statement index to stack of a locations in Cairo code which caused the statement to be generated. And all functions that were inlined or generated along the way up to the first non-inlined function from the original code.

The vector represents the stack from the least meaningful elements.

Introduced in Scarb 2.8.0.

Needs unstable-add-statements-code-locations-debug-info = true under [profile.dev.cairo] in the Scarb config to be generated.

Fields

statements_code_locations: HashMap<StatementIdx, Vec<CodeLocation>>

Trait Implementations

impl Clone for CoverageAnnotationsV1

fn clone(&self) -> CoverageAnnotationsV1

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CoverageAnnotationsV1

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CoverageAnnotationsV1

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CoverageAnnotationsV1

fn eq(&self, other: &CoverageAnnotationsV1) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for CoverageAnnotationsV1

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for CoverageAnnotationsV1

impl StructuralPartialEq for CoverageAnnotationsV1