Package pascal.taie.analysis.pta.core.cs.selector

Interface ContextSelector

public interface ContextSelector

Represents context sensitivity variants.

Method Summary

Modifier and Type	Method	Description
Context	getEmptyContext()
Context	selectContext(CSCallSite callSite, CSObj recv, JMethod callee)	Selects contexts for instance methods.
Context	selectContext(CSCallSite callSite, JMethod callee)	Selects contexts for static methods.
Context	selectHeapContext(CSMethod method, Obj obj)	Selects heap contexts for new-created abstract objects.

Method Details

getEmptyContext

Context getEmptyContext()

Returns:

the empty context that does not contain any context elements.

selectContext

Context selectContext(CSCallSite callSite,
 JMethod callee)

Selects contexts for static methods.

Parameters:

callSite - the (context-sensitive) call site.

callee - the callee.

Returns:

the context for the callee.

selectContext

Context selectContext(CSCallSite callSite,
 CSObj recv,
 JMethod callee)

Selects contexts for instance methods.

Parameters:

callSite - the (context-sensitive) call site.

recv - the (context-sensitive) receiver object for the callee.

callee - the callee.

Returns:

the context for the callee.

selectHeapContext

Context selectHeapContext(CSMethod method,
 Obj obj)

Selects heap contexts for new-created abstract objects.

Parameters:

method - the (context-sensitive) method that contains the allocation site of the new-created object.

obj - the new-created object.

Returns:

the heap context for the object.