Struct CallEffectSummary 

pub struct CallEffectSummary {
    pub callee: Option<DefId>,
    pub name: String,
    pub destination: Option<Local>,
    pub effects: Vec<CallEffect>,
    pub unsupported: bool,
}

Effect summary consumed by the forward visitor.

Fields

callee: Option<DefId>

Callee definition when the call target is statically known.

name: String

Human-readable callee name.

destination: Option<Local>

Destination local receiving the return value.

effects: Vec<CallEffect>

Effects that can be applied to the path-local abstract state.

unsupported: bool

True when this summary is conservative rather than precise.

Implementations

impl CallEffectSummary

fn unknown( callee: Option<DefId>, name: String, destination: Option<Local>, ) -> Self

Build a conservative summary for an unsupported call.

Trait Implementations

impl Clone for CallEffectSummary

fn clone(&self) -> CallEffectSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CallEffectSummary

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

Formats the value using the given formatter.