com.ibm.wala.fixpoint
Class BitVectorVariable

java.lang.Object
  com.ibm.wala.util.graph.impl.NodeWithNumber
      com.ibm.wala.fixedpoint.impl.AbstractVariable
          com.ibm.wala.fixpoint.BitVectorVariable

All Implemented Interfaces:

IVariable, INodeWithNumber

public class BitVectorVariable
extends AbstractVariable

A BitVector variable for dataflow analysis.

Constructor Summary

BitVectorVariable()

Method Summary

void	addAll(BitVector B)
void	addAll(BitVectorVariable other)
void	clear(int i)
void	copyState(IVariable v) Set this variable to have the same state as another one.
boolean	equals(java.lang.Object obj)
boolean	get(int b) Is a particular bit set?
IntSet	getValue()
int	hashCode()
int	populationCount()
boolean	sameValue(BitVectorVariable other)
void	set(int b) Set a particular bit
java.lang.String	toString()

Methods inherited from class com.ibm.wala.fixedpoint.impl.AbstractVariable

getOrderNumber, setOrderNumber

Methods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber

getGraphNodeId, setGraphNodeId

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber

getGraphNodeId, setGraphNodeId

Constructor Detail

BitVectorVariable

public BitVectorVariable()

Method Detail

copyState

public void copyState(IVariable v)

Description copied from interface: IVariable

Set this variable to have the same state as another one.

addAll

public void addAll(BitVector B)

addAll

public void addAll(BitVectorVariable other)

sameValue

public boolean sameValue(BitVectorVariable other)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

See Also:

Object.toString()

set

public void set(int b)

Set a particular bit

Parameters:

b - the bit to set

get

public boolean get(int b)

Is a particular bit set?

Parameters:

b - the bit to check

getValue

public IntSet getValue()

Returns:

the value of this variable as a bit vector ... null if the bit vector is empty.

clear

public void clear(int i)

Parameters:

i -

hashCode

public int hashCode()

Specified by:

hashCode in class AbstractVariable

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class AbstractVariable

populationCount

public int populationCount()