Struct CallGraph 

pub struct CallGraph<M: Mode, P: Phase = Built> { /* private fields */ }

Implementations

impl<M: Mode> CallGraph<M, Building>

pub fn new() -> Self

pub fn set_builtins(&mut self, b: VertexSet) -> &mut Self

pub fn insert_module(&mut self, name: ModuleName, summary: ModuleSummary)

pub fn record_definition(&mut self, mfa: Mfa, loc: Loc)

pub fn record_on_load(&mut self, mfa: Mfa)

pub fn record_deprecation(&mut self, mfa: Mfa, d: Deprecation)

pub fn insert_local_call(&mut self, caller: Mfa, callee: Mfa)

pub fn insert_external_call(&mut self, caller: Mfa, callee: Mfa)

pub fn insert_unresolved(&mut self, site: UnresolvedCallSite)

pub fn finish(self) -> CallGraph<M, Built>

impl<M: Mode> CallGraph<M, Built>

pub fn modules(&self) -> impl Iterator<Item = (&ModuleName, &ModuleSummary)>

pub fn module(&self, name: &ModuleName) -> Option<&ModuleSummary>

pub fn def_at(&self, mfa: &Mfa) -> Option<&Loc>

pub fn deprecation(&self, mfa: &Mfa) -> Option<&Deprecation>

pub fn deprecated_mfas(&self) -> impl Iterator<Item = (&Mfa, &Deprecation)>

pub fn on_load_functions(&self) -> &BTreeSet<Mfa>

pub fn builtins(&self) -> &VertexSet

pub fn module_edges(&self) -> &Relation

pub fn application_edges(&self) -> &Relation

pub fn behaviour_edges(&self) -> &Relation

pub fn unresolved_calls(&self) -> &BTreeSet<UnresolvedCallSite>

pub fn defined_functions(&self) -> VertexSet

impl CallGraph<Functions, Built>

pub fn local_calls(&self) -> &Relation

pub fn external_calls(&self) -> &Relation

pub fn all_calls(&self) -> Relation

Trait Implementations

impl<M: Clone + Mode, P: Clone + Phase> Clone for CallGraph<M, P>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<M: Debug + Mode, P: Debug + Phase> Debug for CallGraph<M, P>

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

Formats the value using the given formatter.

impl<M: Mode> Default for CallGraph<M, Building>

fn default() -> Self

Returns the “default value” for a type.