Struct TraceSegment 

pub struct TraceSegment {
    pub span: SourceSpan,
    pub id: TraceSegmentId,
    pub name: Identifier,
    pub size: usize,
    pub bindings: Vec<TraceBinding>,
    pub boundary_constrained: Vec<Span<ColumnBoundaryFlags>>,
}

Fields

span: SourceSpan

id: TraceSegmentId

The index of this segment in the trace_columns declaration

name: Identifier

The name of this trace segment, e.g. $main

NOTE: The name of a trace segment is always a special identifier (i.e. has the $ prefix)

size: usize

The number of columns in this trace segment

bindings: Vec<TraceBinding>

Bindings declared in this segment, without the segment-wide binding, e.g. $main

boundary_constrained: Vec<Span<ColumnBoundaryFlags>>

A vector of size elements which tracks for every column whether a constraint has been applied to that column, and on what boundaries.

Implementations

impl TraceSegment

pub fn new( span: SourceSpan, id: TraceSegmentId, name: Identifier, raw_bindings: Vec<Span<(Identifier, usize)>>, ) -> Self

Constructs a new TraceSegment given a span, segment id, name, and a vector of (Identifier, size) pairs.

pub fn is_boundary_constrained( &self, column: TraceColumnIndex, boundary: Boundary, ) -> bool

Returns true if column is constrained on boundary

pub fn mark_constrained( &mut self, span: SourceSpan, column: TraceColumnIndex, boundary: Boundary, ) -> Option<SourceSpan>

Marks column as constrained on boundary, and associates it with a span that is responsible for the constraint.

Returns None if the column was previously unconstrained on boundary, otherwise it returns the span responsible for the previous constraint for use in diagnostics

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for TraceSegment

fn clone(&self) -> TraceSegment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraceSegment

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

Formats the value using the given formatter.

impl Display for TraceSegment

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

Formats the value using the given formatter.

impl PartialEq for TraceSegment

fn eq(&self, other: &Self) -> 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 Spanned for TraceSegment

fn span(&self) -> SourceSpan

impl Eq for TraceSegment