Struct test_generation::abstract_state::CallGraph

pub struct CallGraph { /* private fields */ }

Implementations

impl CallGraph

pub fn new(max_function_handle_index: usize) -> Self

pub fn add_call( &mut self, caller: FunctionHandleIndex, callee: FunctionHandleIndex )

pub fn can_call(&self, my_index: FunctionHandleIndex) -> Vec<FunctionHandleIndex>

pub fn max_calling_depth(&self, index: FunctionHandleIndex) -> usize

pub fn call_depth( &self, caller: FunctionHandleIndex, callee: FunctionHandleIndex ) -> Option<usize>

None if recursive, Some(index) if non-recursive, and index is the length of the maximal call graph path originating at caller, and calling through callee.

Trait Implementations

impl Clone for CallGraph

fn clone(&self) -> CallGraph

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CallGraph

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

Formats the value using the given formatter.

impl PartialEq<CallGraph> for CallGraph

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CallGraph

impl StructuralEq for CallGraph

impl StructuralPartialEq for CallGraph