public class Exception2BitvectorTransformer
extends java.lang.Object
| Constructor and Description |
|---|
Exception2BitvectorTransformer(java.util.Set<TypeReference> exceptions) |
| Modifier and Type | Method and Description |
|---|---|
com.ibm.wala.util.intset.BitVector |
computeBitVector(java.util.Set<TypeReference> exceptions) |
java.util.Set<TypeReference> |
computeExceptions(com.ibm.wala.util.intset.BitVector bitVector) |
java.util.Set<TypeReference> |
computeExceptions(com.ibm.wala.fixpoint.BitVectorVariable bitVector) |
com.ibm.wala.util.intset.OrdinalSetMapping<TypeReference> |
getValues() |
public Exception2BitvectorTransformer(java.util.Set<TypeReference> exceptions)
public com.ibm.wala.util.intset.OrdinalSetMapping<TypeReference> getValues()
public com.ibm.wala.util.intset.BitVector computeBitVector(java.util.Set<TypeReference> exceptions)
public java.util.Set<TypeReference> computeExceptions(com.ibm.wala.util.intset.BitVector bitVector)
public java.util.Set<TypeReference> computeExceptions(com.ibm.wala.fixpoint.BitVectorVariable bitVector)