Struct air::interpreter_data::SubTraceDesc
source · pub struct SubTraceDesc {
pub begin_pos: TracePos,
pub subtrace_len: u32,
}
Expand description
Descriptor of a subtrace inside execution trace.
Fields§
§begin_pos: TracePos
Start position in a trace of this subtrace.
subtrace_len: u32
Length of the subtrace.
Implementations§
source§impl SubTraceDesc
impl SubTraceDesc
pub fn new(begin_pos: TracePos, subtrace_len: usize) -> SubTraceDesc
Trait Implementations§
source§impl Clone for SubTraceDesc
impl Clone for SubTraceDesc
source§fn clone(&self) -> SubTraceDesc
fn clone(&self) -> SubTraceDesc
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for SubTraceDesc
impl Debug for SubTraceDesc
source§impl Default for SubTraceDesc
impl Default for SubTraceDesc
source§fn default() -> SubTraceDesc
fn default() -> SubTraceDesc
Returns the “default value” for a type. Read more
source§impl<'de> Deserialize<'de> for SubTraceDesc
impl<'de> Deserialize<'de> for SubTraceDesc
source§fn deserialize<__D>(
__deserializer: __D
) -> Result<SubTraceDesc, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>( __deserializer: __D ) -> Result<SubTraceDesc, <__D as Deserializer<'de>>::Error>where __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl PartialEq<SubTraceDesc> for SubTraceDesc
impl PartialEq<SubTraceDesc> for SubTraceDesc
source§fn eq(&self, other: &SubTraceDesc) -> bool
fn eq(&self, other: &SubTraceDesc) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl Serialize for SubTraceDesc
impl Serialize for SubTraceDesc
source§fn serialize<__S>(
&self,
__serializer: __S
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
fn serialize<__S>( &self, __serializer: __S ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where __S: Serializer,
Serialize this value into the given Serde serializer. Read more