Struct rupta::pta::context_strategy::SimpleHybridContextSensitive

pub struct SimpleHybridContextSensitive { /* private fields */ }

Implementations

impl SimpleHybridContextSensitive

pub fn new(k: usize) -> Self

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

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

Trait Implementations

impl ContextStrategy for SimpleHybridContextSensitive

type E = HybridCtxElem

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

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

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

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