Struct Sources 

pub struct Sources { /* private fields */ }

The pass. It holds nothing, because everything it works out is about one function. Which of the places a fact comes from a run of this pass may ask.

Everything is asked normally and there is one pass in the pipeline. The others are here for the measurement spec/safe-memory/13-performance.md section 13.5 asks for and spec/safe-memory/17-open-questions.md question 3 is: how much each source discharges on its own, and how much the same sources discharge together. A number for a source on its own cannot be read off the remarks of a full run, because the rules are asked in an order and whichever one answers first is the one the remark names, so the second source to be asked about a check two of them could answer looks like it answered nothing.

The four are document 07 section 7.2’s four, with the caveat the measurement found: the ranges are not a fourth kind of fact but a way of asking the other three about a subscript instead of about an address written out in the program.

Implementations

impl Sources

pub const ALL: Self

Every one of them, which is what the pipeline runs.

pub const OBJECTS: Self

What an object says about itself and nothing else.

pub const DOMINANCE: Self

What an earlier check established and nothing else.

pub const SUMMARIES: Self

What every caller guarantees and nothing else.

pub const NARROW: Self

Every fact, asked only about addresses written out in the program.

Trait Implementations

impl Clone for Sources

fn clone(&self) -> Sources

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Sources

impl Debug for Sources

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

Formats the value using the given formatter.

impl Eq for Sources

impl PartialEq for Sources

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Sources