soot.jimple.spark.geom.dataRep

Class CallsiteContextVar

java.lang.Object

soot.jimple.spark.geom.dataRep.ContextVar

soot.jimple.spark.geom.dataRep.CallsiteContextVar

All Implemented Interfaces:

Numberable

public class CallsiteContextVar
extends ContextVar

A general interface for generating the traditional context sensitive variable representation.

Field Summary

Fields

Modifier and Type	Field and Description
CgEdge	context

Fields inherited from class soot.jimple.spark.geom.dataRep.ContextVar

id, var

Constructor Summary

Constructors

Constructor and Description
CallsiteContextVar()
CallsiteContextVar(CallsiteContextVar o)
CallsiteContextVar(CgEdge c, Node v)

Method Summary

Modifier and Type	Method and Description
boolean	contains(ContextVar cv) Test if current context variable contains the information for passed in variable
boolean	equals(java.lang.Object o)
int	hashCode()
boolean	intersect(ContextVar cv) Two context sensitive variables have intersected contexts.
boolean	merge(ContextVar cv) Merge two context variables if possible Merged information is written into current variable.
java.lang.String	toString()

Methods inherited from class soot.jimple.spark.geom.dataRep.ContextVar

getNumber, setNumber

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

context

public CgEdge context

Constructor Detail

CallsiteContextVar

public CallsiteContextVar()

CallsiteContextVar

public CallsiteContextVar(CgEdge c,
                          Node v)

CallsiteContextVar

public CallsiteContextVar(CallsiteContextVar o)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

contains

public boolean contains(ContextVar cv)

Description copied from class: ContextVar

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

Specified by:

contains in class ContextVar

Returns:

merge

public boolean merge(ContextVar cv)

Description copied from class: ContextVar

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

Specified by:

merge in class ContextVar

Returns:

true if mergable.

intersect

public boolean intersect(ContextVar cv)

Description copied from class: ContextVar

Two context sensitive variables have intersected contexts.

Specified by:

intersect in class ContextVar

Returns: