Struct ReadAfterWriteBinding 

pub struct ReadAfterWriteBinding {
    pub bundles: usize,
    pub effects: usize,
    pub gated_writes: usize,
    pub refused: usize,
}

What the read-after-write rule (DW0527) examined, zeroes included.

Fields

bundles: usize

Effect bundles walked — the denominator.

effects: usize

Effects walked across those bundles.

gated_writes: usize

Conditional writes (gated on the datum they write) the walk recorded.

refused: usize

Diagnostics raised (DW0527).

Implementations

impl ReadAfterWriteBinding

pub fn of(c: &Campaign) -> Self

Count what [read_after_write_checks] examines on c.

pub fn line(&self) -> String

The one line this rule owes its reader.

Trait Implementations

impl Clone for ReadAfterWriteBinding

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReadAfterWriteBinding

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

Formats the value using the given formatter.

impl Default for ReadAfterWriteBinding

fn default() -> Self

Returns the “default value” for a type.

impl Eq for ReadAfterWriteBinding

impl PartialEq for ReadAfterWriteBinding

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ReadAfterWriteBinding