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:

java.lang.Comparable<IntervalContextVar>, Numberable

public class IntervalContextVar
extends ContextVar
implements java.lang.Comparable<IntervalContextVar>

A particular class to encode contexts in interval manner.

Field Summary

Fields

Modifier and Type	Field and Description
long	L
long	R

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

id, var

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
int	compareTo(IntervalContextVar o)
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

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 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

compareTo

public int compareTo(IntervalContextVar o)

Specified by:

compareTo in interface java.lang.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: