Menu ▾ ▴

#53 misc. exceptions in OffsetBitVector

open
nobody
None
8
2012-12-05
2009-03-31
Stephen Fink
No

all of the following throw unattractive exceptions. handle these cases more robustly, with more informative errors if need be.

/**
* exercise com.ibm.wala.util.intset.OffsetBitVector.and(Lcom/ibm/wala/util/intset/OffsetBitVector;)V
**/
@Test public void test0() throws Exception {
com.ibm.wala.util.intset.OffsetBitVector a = new com.ibm.wala.util.intset.OffsetBitVector();
boolean b = a.intersectionEmpty(a);
com.ibm.wala.util.intset.OffsetBitVector c = new com.ibm.wala.util.intset.OffsetBitVector(2147483647,1);
a.and(c);
}

/**
* exercise com.ibm.wala.util.intset.OffsetBitVector.and(Lcom/ibm/wala/util/intset/OffsetBitVector;Lcom/ibm/wala/util/intset/OffsetBitVector;)Lcom/ibm/wala/util/intset/OffsetBitVector;
**/
@Test public void test1() throws Exception {
com.ibm.wala.util.intset.OffsetBitVector a = new com.ibm.wala.util.intset.OffsetBitVector();
boolean b = a.intersectionEmpty(a);
com.ibm.wala.util.intset.OffsetBitVector c = new com.ibm.wala.util.intset.OffsetBitVector(2147483647,1);
boolean d = c.isSubset(c);
boolean e = c.equals(c);
com.ibm.wala.util.intset.OffsetBitVector f = com.ibm.wala.util.intset.OffsetBitVector.andNot(c,c);
com.ibm.wala.util.intset.OffsetBitVector g = com.ibm.wala.util.intset.OffsetBitVector.and(a,c);
}

/**
* exercise com.ibm.wala.util.intset.OffsetBitVector.not(Lcom/ibm/wala/util/intset/OffsetBitVector;)Lcom/ibm/wala/util/intset/OffsetBitVector;
**/
@Test public void test2() throws Exception {
com.ibm.wala.util.intset.OffsetBitVector a = new com.ibm.wala.util.intset.OffsetBitVector();
boolean b = a.intersectionEmpty(a);
com.ibm.wala.util.intset.OffsetBitVector c = new com.ibm.wala.util.intset.OffsetBitVector(2147483647,1);
boolean d = c.isSubset(c);
java.lang.String e = a.toString();
com.ibm.wala.util.intset.OffsetBitVector f = com.ibm.wala.util.intset.OffsetBitVector.not(c);
}

/**
* exercise com.ibm.wala.util.intset.OffsetBitVector.xor(Lcom/ibm/wala/util/intset/OffsetBitVector;)V
**/
@Test public void test3() throws Exception {
com.ibm.wala.util.intset.OffsetBitVector a = new com.ibm.wala.util.intset.OffsetBitVector();
boolean b = a.intersectionEmpty(a);
com.ibm.wala.util.intset.OffsetBitVector c = new com.ibm.wala.util.intset.OffsetBitVector(2147483647,1);
boolean d = c.isSubset(c);
boolean e = c.sameBits(c);
a.xor(c);
}

Discussion