Struct Sink

pub struct Sink { /* private fields */ }

A push-only sink for delayed errors, warnings, and traced values.

All tracked methods of this type are of the form (&mut self, ..) -> (), so in principle they do not need validation (though that optimization is not yet implemented in comemo).

Implementations

impl Sink

pub const MAX_VALUES: usize = 10usize

The maximum number of traced values.

pub fn new() -> Self

Create a new empty sink.

pub fn delayed(&mut self) -> EcoVec<SourceDiagnostic>

Get the stored delayed errors.

pub fn warnings(self) -> EcoVec<SourceDiagnostic>

Get the stored warnings.

pub fn values(self) -> EcoVec<(Value, Option<Styles>)>

Get the values for the traced span.

pub fn extend_from_sink(&mut self, other: Sink)

Extend from another sink.

impl Sink

pub fn delay(&mut self, errors: EcoVec<SourceDiagnostic>)

Push delayed errors.

pub fn warn(&mut self, warning: SourceDiagnostic)

Add a warning.

pub fn value(&mut self, value: Value, styles: Option<Styles>)

Trace a value and optionally styles for the traced span.

Trait Implementations

impl Clone for Sink

fn clone(&self) -> Sink

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for Sink

fn default() -> Sink

Returns the “default value” for a type.

impl Track for Sink

fn track(&self) -> Tracked<'_, Self>

Start tracking all accesses to a value.

fn track_mut(&mut self) -> TrackedMut<'_, Self>

Start tracking all accesses and mutations to a value.

fn track_with<'a>( &'a self, constraint: &'a Self::Constraint, ) -> Tracked<'a, Self>

Start tracking all accesses into a constraint.

fn track_mut_with<'a>( &'a mut self, constraint: &'a Self::Constraint, ) -> TrackedMut<'a, Self>

Start tracking all accesses and mutations into a constraint.

impl Validate for Sink

type Constraint = MutableConstraint<__ComemoCall>

The constraints for this type.

fn validate(&self, constraint: &Self::Constraint) -> bool

Whether this value fulfills the given constraints.

fn validate_with_id(&self, constraint: &Self::Constraint, id: usize) -> bool

Accelerated version of validate.

fn replay(&mut self, constraint: &Self::Constraint)

Replay recorded mutations to the value.