Uses of Class
soot.jimple.spark.geom.dataRep.ContextVar

Packages that use ContextVar

Package	Description
soot.jimple.spark.geom.dataMgr
soot.jimple.spark.geom.dataRep

Uses of ContextVar in soot.jimple.spark.geom.dataMgr

Classes in soot.jimple.spark.geom.dataMgr with type parameters of type ContextVar

Modifier and Type	Class	Description
class	PtSensVisitor<VarType extends ContextVar>	A container for storing context sensitive querying result of geomPTA.

Uses of ContextVar in soot.jimple.spark.geom.dataRep

Subclasses of ContextVar in soot.jimple.spark.geom.dataRep

Modifier and Type	Class	Description
class	CallsiteContextVar	A general interface for generating the traditional context sensitive variable representation.
class	IntervalContextVar	A particular class to encode contexts in interval manner.

Methods in soot.jimple.spark.geom.dataRep with parameters of type ContextVar

Modifier and Type	Method	Description
boolean	CallsiteContextVar.contains(ContextVar cv)
abstract boolean	ContextVar.contains(ContextVar cv)	Test if current context variable contains the information for passed in variable
boolean	IntervalContextVar.contains(ContextVar cv)
boolean	CallsiteContextVar.intersect(ContextVar cv)
abstract boolean	ContextVar.intersect(ContextVar cv)	Two context sensitive variables have intersected contexts.
boolean	IntervalContextVar.intersect(ContextVar cv)
boolean	CallsiteContextVar.merge(ContextVar cv)
abstract boolean	ContextVar.merge(ContextVar cv)	Merge two context variables if possible Merged information is written into current variable.
boolean	IntervalContextVar.merge(ContextVar cv)