public class ExceptionTransferFunctionProvider extends java.lang.Object implements com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>
| Constructor and Description |
|---|
ExceptionTransferFunctionProvider(CGIntraproceduralExceptionAnalysis intraResult,
CallGraph cg,
Exception2BitvectorTransformer transformer) |
| Modifier and Type | Method and Description |
|---|---|
com.ibm.wala.fixpoint.UnaryOperator<com.ibm.wala.fixpoint.BitVectorVariable> |
getEdgeTransferFunction(CGNode dst,
CGNode src) |
com.ibm.wala.dataflow.graph.AbstractMeetOperator<com.ibm.wala.fixpoint.BitVectorVariable> |
getMeetOperator() |
com.ibm.wala.fixpoint.UnaryOperator<com.ibm.wala.fixpoint.BitVectorVariable> |
getNodeTransferFunction(CGNode node) |
boolean |
hasEdgeTransferFunctions() |
boolean |
hasNodeTransferFunctions() |
public ExceptionTransferFunctionProvider(CGIntraproceduralExceptionAnalysis intraResult, CallGraph cg, Exception2BitvectorTransformer transformer)
public boolean hasNodeTransferFunctions()
hasNodeTransferFunctions in interface com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>public boolean hasEdgeTransferFunctions()
hasEdgeTransferFunctions in interface com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>public com.ibm.wala.dataflow.graph.AbstractMeetOperator<com.ibm.wala.fixpoint.BitVectorVariable> getMeetOperator()
getMeetOperator in interface com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>public com.ibm.wala.fixpoint.UnaryOperator<com.ibm.wala.fixpoint.BitVectorVariable> getNodeTransferFunction(CGNode node)
getNodeTransferFunction in interface com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>public com.ibm.wala.fixpoint.UnaryOperator<com.ibm.wala.fixpoint.BitVectorVariable> getEdgeTransferFunction(CGNode dst, CGNode src)
getEdgeTransferFunction in interface com.ibm.wala.dataflow.graph.ITransferFunctionProvider<CGNode,com.ibm.wala.fixpoint.BitVectorVariable>