DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

tweak comments 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3456 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2009-04-14 15:06:24 +00:00
parent 5ceb1f22e0
commit afd2dab14e
1 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
com.ibm.wala.core/src/com/ibm/wala/fixpoint/BitVectorVariable.java
View File

@ -17,7 +17,7 @@ import com.ibm.wala.util.intset.IntSet;
import com.ibm.wala.util.intset.MutableSharedBitVectorIntSet; import com.ibm.wala.util.intset.MutableSharedBitVectorIntSet;
/** /**
* A BitVector variable for dataflow analysis. * A bit vector variable for dataflow analysis.
*/ */
public class BitVectorVariable extends AbstractVariable<BitVectorVariable> { public class BitVectorVariable extends AbstractVariable<BitVectorVariable> {
@ -26,6 +26,9 @@ public class BitVectorVariable extends AbstractVariable<BitVectorVariable> {
public BitVectorVariable() { public BitVectorVariable() {
} }
/*
* @see com.ibm.wala.fixpoint.IVariable#copyState(com.ibm.wala.fixpoint.IVariable)
*/
public void copyState(BitVectorVariable other) { public void copyState(BitVectorVariable other) {
if (other == null) { if (other == null) {
throw new IllegalArgumentException("null other"); throw new IllegalArgumentException("null other");
@ -43,6 +46,9 @@ public class BitVectorVariable extends AbstractVariable<BitVectorVariable> {
} }
} }
/**
* Add all the bits in B to this bit vector
*/
public void addAll(BitVector B) { public void addAll(BitVector B) {
if (B == null) { if (B == null) {
throw new IllegalArgumentException("null B"); throw new IllegalArgumentException("null B");
@ -55,6 +61,9 @@ public class BitVectorVariable extends AbstractVariable<BitVectorVariable> {
} }
} }
/**
* Add all the bits from other to this bit vector
*/
public void addAll(BitVectorVariable other) { public void addAll(BitVectorVariable other) {
if (other == null) { if (other == null) {
throw new IllegalArgumentException("null other"); throw new IllegalArgumentException("null other");
@ -68,6 +77,9 @@ public class BitVectorVariable extends AbstractVariable<BitVectorVariable> {
} }
} }
/**
* Does this variable have the same value as another?
*/
public boolean sameValue(BitVectorVariable other) { public boolean sameValue(BitVectorVariable other) {
if (other == null) { if (other == null) {
throw new IllegalArgumentException("null other"); throw new IllegalArgumentException("null other");
@ -83,9 +95,6 @@ public class BitVectorVariable extends AbstractVariable<BitVectorVariable> {
} }
} }
/**
* @see java.lang.Object#toString()
*/
@Override @Override
public String toString() { public String toString() {
if (V == null) { if (V == null) {
@ -107,6 +116,7 @@ public class BitVectorVariable extends AbstractVariable<BitVectorVariable> {
} }
V.add(b); V.add(b);
} }
/** /**
* Is a particular bit set? * Is a particular bit set?
* @param b the bit to check * @param b the bit to check