Struct rupta::pta::context_strategy::KObjectSensitive

pub struct KObjectSensitive { /* private fields */ }

Implementations

impl KObjectSensitive

pub fn new(k: usize) -> Self

pub fn new_context(&mut self, receiver: Rc<CSPath>) -> ContextId

Trait Implementations

impl ContextStrategy for KObjectSensitive

type E = Rc<Path>

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

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

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

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