Enum OpenCall 

pub enum OpenCall {
    FunctionValue,
    DynamicDispatch,
    ReachedOpenCall,
}

Why a declaration’s derived capability set is a lower bound rather than the whole of what calling it can reach.

ADR 0015 makes a derived set a lower bound and nothing more: it names the capabilities the call graph can see, and a call the call graph cannot follow is reported here rather than left out in silence. A declaration carrying none of these is capability-closed — the call graph followed every call it makes, so its set is the whole of what it needs.

Variants

FunctionValue

The body calls a value rather than a declaration: work() where work is a parameter, a local bound out of a collection, or the result of another call. What that value requires belongs to whoever wrote it, which is somewhere this call graph does not lead.

DynamicDispatch

The body calls a method on a value whose implementation its caller chose: a dyn Trait value, or a value of a generic parameter. The conformance that runs is picked where the value was made.

ReachedOpenCall

Every call in this body is one the call graph followed, but one of them leads to a capability-open declaration, so the incompleteness reaches here too.

Implementations

impl OpenCall

pub fn reason(self) -> &'static str

The clause a report prints to say why a set is a lower bound.

Trait Implementations

impl Clone for OpenCall

fn clone(&self) -> OpenCall

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for OpenCall

impl Debug for OpenCall

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

Formats the value using the given formatter.

impl Eq for OpenCall

impl Hash for OpenCall

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for OpenCall

fn cmp(&self, other: &OpenCall) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for OpenCall

fn eq(&self, other: &OpenCall) -> 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 PartialOrd for OpenCall

fn partial_cmp(&self, other: &OpenCall) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for OpenCall