soot.jimple.spark.geom.dataRep

Class ContextVar

java.lang.Object

soot.jimple.spark.geom.dataRep.ContextVar

All Implemented Interfaces:

Numberable

Direct Known Subclasses:

CallsiteContextVar, IntervalContextVar

public abstract class ContextVar
extends java.lang.Object
implements Numberable

The root class for representing context sensitive pointer/object in explicit form.

Field Summary

Fields

Modifier and Type	Field and Description
int	id
Node	var

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ContextVar()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

var

public Node var

id

public int id

Constructor Detail

ContextVar

protected ContextVar()

Method Detail

setNumber

public void setNumber(int number)

Specified by:

setNumber in interface Numberable

getNumber

public int getNumber()

Specified by:

getNumber in interface Numberable

contains

public abstract boolean contains(ContextVar cv)

Test if current context variable contains the information for passed in variable

Parameters:

cv -

Returns:

merge

public abstract boolean merge(ContextVar cv)

Merge two context variables if possible Merged information is written into current variable.

Parameters:

cv -

Returns:

true if mergable.

intersect

public abstract boolean intersect(ContextVar cv)

Two context sensitive variables have intersected contexts.

Parameters:

cv -

Returns: