ContextVar (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.jimple.spark.geom.dataRep.ContextVar

All Implemented Interfaces:

Numberable

Direct Known Subclasses:

CallsiteContextVar, IntervalContextVar
```
public abstract class ContextVar
extends Object
implements Numberable
```
The root class for representing context sensitive pointer/object in explicit form.

Author:

xiao

Field Summary

Fields
Modifier and Type Field Description

int id

Node var

Constructor Summary

Constructors
Modifier Constructor Description

protected ContextVar()

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	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: