Package soot.jimple.spark.geom.dataRep

Class IntervalContextVar

java.lang.Object

soot.jimple.spark.geom.dataRep.ContextVar

soot.jimple.spark.geom.dataRep.IntervalContextVar

All Implemented Interfaces:

Comparable<IntervalContextVar>, Numberable

public class IntervalContextVar
extends ContextVar
implements Comparable<IntervalContextVar>

A particular class to encode contexts in interval manner.

Author:

xiao

Field Summary

Fields

Modifier and Type	Field	Description
long	L
long	R

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

id, var

Constructor Summary

Constructors

Constructor	Description
IntervalContextVar()
IntervalContextVar(long l, long r, Node v)
IntervalContextVar(IntervalContextVar o)

Method Summary

Modifier and Type	Method	Description
int	compareTo(IntervalContextVar o)
boolean	contains(ContextVar cv)	Test if current context variable contains the information for passed in variable
boolean	equals(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.
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

L

public long L

R

public long R

Constructor Detail

IntervalContextVar

public IntervalContextVar()

IntervalContextVar

public IntervalContextVar(long l,
                          long r,
                          Node v)

IntervalContextVar

public IntervalContextVar(IntervalContextVar o)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

compareTo

public int compareTo(IntervalContextVar o)

Specified by:

compareTo in interface Comparable<IntervalContextVar>

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: