com.ibm.wala.analysis.exceptionanalysis

Class Exception2BitvectorTransformer

java.lang.Object

com.ibm.wala.analysis.exceptionanalysis.Exception2BitvectorTransformer

public class Exception2BitvectorTransformer
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Exception2BitvectorTransformer(java.util.Set<TypeReference> exceptions)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Exception2BitvectorTransformer

public Exception2BitvectorTransformer(java.util.Set<TypeReference> exceptions)

Method Detail

getValues

public com.ibm.wala.util.intset.OrdinalSetMapping<TypeReference> getValues()

computeBitVector

public com.ibm.wala.util.intset.BitVector computeBitVector(java.util.Set<TypeReference> exceptions)

computeExceptions

public java.util.Set<TypeReference> computeExceptions(com.ibm.wala.util.intset.BitVector bitVector)

computeExceptions

public java.util.Set<TypeReference> computeExceptions(com.ibm.wala.fixpoint.BitVectorVariable bitVector)