Struct rupta::pta::context_strategy::KCallSiteSensitive

pub struct KCallSiteSensitive { /* private fields */ }

Implementations

impl KCallSiteSensitive

pub fn new(k: usize) -> Self

pub fn new_context(&mut self, callsite: &Rc<CSCallSite>) -> ContextId

Trait Implementations

impl ContextStrategy for KCallSiteSensitive

type E = BaseCallSiteS<FuncId>

fn empty_context(&self) -> Rc<Context<BaseCallSite>>

fn get_context_id(&mut self, context: &Rc<Context<BaseCallSite>>) -> ContextId

fn get_context_by_id(&self, context_id: ContextId) -> Rc<Context<BaseCallSite>>

fn get_empty_context_id(&mut self) -> ContextId

fn new_instance_call_context( &mut self, callsite: &Rc<CSCallSite>, _receiver: Option<&Rc<CSPath>> ) -> Option<ContextId>

fn new_static_call_context(&mut self, callsite: &Rc<CSCallSite>) -> ContextId